The recursive counterpart to MegaZKFlavor. More...

#include <mega_zk_recursive_flavor.hpp>

Inheritance diagram for bb::MegaZKRecursiveFlavor_< BuilderType >:

Classes
class	AllValues

Public Types
using	NativeFlavor = MegaZKFlavor

using	Commitment = typename MegaRecursiveFlavor_< BuilderType >::Commitment

using	VerificationKey = typename MegaRecursiveFlavor_< BuilderType >::VerificationKey

using	FF = typename MegaRecursiveFlavor_< BuilderType >::FF

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

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

using	Curve = stdlib::bn254< CircuitBuilder >

using	PCS = KZG< Curve >

using	GroupElement = typename Curve::Element

using	FF = typename Curve::ScalarField

using	Commitment = typename Curve::Element

using	NativeFlavor = MegaFlavor

using	Codec = stdlib::StdlibCodec< FF >

using	Transcript = StdlibTranscript< CircuitBuilder >

using	Relations = MegaFlavor::Relations_< FF >

using	SubrelationSeparator = FF

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

using	WitnessCommitments = MegaFlavor::WitnessEntities< Commitment >
	A container for the witness commitments.

using	CommitmentLabels = MegaFlavor::CommitmentLabels

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

using	VKAndHash = VKAndHash_< FF, VerificationKey >

Static Public Member Functions
static constexpr size_t	FINAL_PCS_MSM_SIZE (size_t log_n=VIRTUAL_LOG_N)

Static Public Member Functions inherited from bb::MegaRecursiveFlavor_< 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	VIRTUAL_LOG_N = NativeFlavor::VIRTUAL_LOG_N

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::MegaRecursiveFlavor_< BuilderType >
static constexpr size_t	VIRTUAL_LOG_N = MegaFlavor::VIRTUAL_LOG_N

static constexpr bool	USE_SHORT_MONOMIALS = MegaFlavor::USE_SHORT_MONOMIALS

static constexpr bool	HasZK = false

static constexpr bool	USE_PADDING = MegaFlavor::USE_PADDING

static constexpr size_t	NUM_WIRES = MegaFlavor::NUM_WIRES

static constexpr size_t	NUM_ALL_ENTITIES = MegaFlavor::NUM_ALL_ENTITIES

static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = MegaFlavor::NUM_PRECOMPUTED_ENTITIES

static constexpr size_t	NUM_WITNESS_ENTITIES = MegaFlavor::NUM_WITNESS_ENTITIES

static constexpr size_t	NUM_SHIFTED_ENTITIES = MegaFlavor::NUM_SHIFTED_ENTITIES

static constexpr size_t	NUM_UNSHIFTED_ENTITIES = MegaFlavor::NUM_UNSHIFTED_ENTITIES

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 RepeatedCommitmentsData	REPEATED_COMMITMENTS = MegaFlavor::REPEATED_COMMITMENTS

static constexpr size_t	NUM_RELATIONS = std::tuple_size_v<Relations>

static constexpr size_t	NUM_SUBRELATIONS = MegaFlavor::NUM_SUBRELATIONS