The recursive counterpart to UltraZKFlavor. More...

Inheritance diagram for bb::UltraZKRecursiveFlavor_< BuilderType >:

Public Types
using	NativeFlavor = UltraZKFlavor

using	Commitment = typename UltraRecursiveFlavor_< BuilderType >::Commitment

using	VerificationKey = typename UltraRecursiveFlavor_< BuilderType >::VerificationKey

using	FF = typename UltraRecursiveFlavor_< BuilderType >::FF

using	VerifierCommitments = UltraFlavor::VerifierCommitments_< Commitment, VerificationKey, HasZK >

Public Types inherited from bb::UltraRecursiveFlavor_< BuilderType >
using	CircuitBuilder = BuilderType

using	Curve = stdlib::bn254< CircuitBuilder >

using	PCS = KZG< Curve >

using	GroupElement = typename Curve::Element

using	Commitment = typename Curve::Element

using	FF = typename Curve::ScalarField

using	NativeFlavor = UltraFlavor

using	NativeVerificationKey = NativeFlavor::VerificationKey

using	Codec = stdlib::StdlibCodec< FF >

using	Transcript = StdlibTranscript< CircuitBuilder >

using	Relations = UltraFlavor::Relations_< FF >

using	SubrelationSeparator = FF

using	VerificationKey = StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment >, typename NativeFlavor::VerificationKey >

using	CommitmentLabels = UltraFlavor::CommitmentLabels

using	WitnessCommitments = UltraFlavor::WitnessEntities< Commitment >

using	VerifierCommitments = UltraFlavor::VerifierCommitments_< Commitment, VerificationKey >

using	VKAndHash = VKAndHash_< FF, VerificationKey >

Static Public Member Functions
static constexpr size_t	FINAL_PCS_MSM_SIZE (size_t log_n=UltraRecursiveFlavor_< BuilderType >::VIRTUAL_LOG_N)

Static Public Member Functions inherited from bb::UltraRecursiveFlavor_< BuilderType >
static constexpr size_t	FINAL_PCS_MSM_SIZE (size_t log_n=VIRTUAL_LOG_N)

Static Public Attributes
static constexpr bool	HasZK = true

static constexpr size_t	NUM_WITNESS_ENTITIES = NativeFlavor::NUM_WITNESS_ENTITIES

static constexpr size_t	NUM_ALL_ENTITIES = NativeFlavor::NUM_ALL_ENTITIES

static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = NativeFlavor::BATCHED_RELATION_PARTIAL_LENGTH

Static Public Attributes inherited from bb::UltraRecursiveFlavor_< BuilderType >
static constexpr size_t	VIRTUAL_LOG_N = UltraFlavor::VIRTUAL_LOG_N

static constexpr bool	USE_SHORT_MONOMIALS = UltraFlavor::USE_SHORT_MONOMIALS

static constexpr bool	HasZK = false

static constexpr bool	USE_PADDING = UltraFlavor::USE_PADDING

static constexpr size_t	NUM_WIRES = UltraFlavor::NUM_WIRES

static constexpr size_t	NUM_ALL_ENTITIES = UltraFlavor::NUM_ALL_ENTITIES

static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = UltraFlavor::NUM_PRECOMPUTED_ENTITIES

static constexpr size_t	NUM_WITNESS_ENTITIES = UltraFlavor::NUM_WITNESS_ENTITIES

static constexpr RepeatedCommitmentsData	REPEATED_COMMITMENTS = UltraFlavor::REPEATED_COMMITMENTS

static constexpr size_t	MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()

static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = MAX_PARTIAL_RELATION_LENGTH + 1

static constexpr size_t	NUM_RELATIONS = std::tuple_size<Relations>::value

static constexpr size_t	NUM_SUBRELATIONS = NativeFlavor::NUM_SUBRELATIONS

Detailed Description

template<typename BuilderType>
class bb::UltraZKRecursiveFlavor_< BuilderType >

The recursive counterpart to UltraZKFlavor.

Adds ZK overrides (HasZK, BATCHED_RELATION_PARTIAL_LENGTH, AllValues with masking entities) on top of UltraRecursiveFlavor_.