bb::avm2::AvmRecursiveFlavor Class Reference

#include <recursive_flavor.hpp>

Classes
class	AllValues
	A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point. More...
class	TemplatedTranscript

Public Types
using	CircuitBuilder = MegaCircuitBuilder
using	Curve = stdlib::bn254< CircuitBuilder >
using	PCS = KZG< Curve >
using	GroupElement = Curve::Element
using	Commitment = Curve::AffineElement
using	FF = Curve::ScalarField
using	BF = Curve::BaseField
using	NativeFlavor = avm2::AvmFlavor
using	NativeVerificationKey = NativeFlavor::VerificationKey
using	VerifierCommitmentKey = NativeFlavor::VerifierCommitmentKey
using	Relations = NativeFlavor::Relations_< FF >
using	SubrelationSeparators = std::array< FF, NUM_SUBRELATIONS - 1 >
using	VerificationKey = FixedStdlibVKAndHash_< CircuitBuilder, AvmFlavor::PrecomputedEntities< Commitment >, NativeVerificationKey >
	In-circuit representation of the verification key of the AVM. It is reconstructed from precomputed values and fixed as a constant of the circuit when the AVM verifier is constructed. The vk commitments and vk hash are stored in the selectors of the circuit that contains an AVM verifier.
using	Transcript = TemplatedTranscript< CircuitBuilder >
using	UltraTranscript = TemplatedTranscript< UltraCircuitBuilder >
using	WitnessCommitments = NativeFlavor::WitnessEntities< Commitment >
using	VerifierCommitments = NativeFlavor::VerifierCommitments_< Commitment, VerificationKey >

Static Public Attributes
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 constexpr size_t	NUM_RELATIONS = std::tuple_size_v<Relations>
static constexpr size_t	NUM_SUBRELATIONS = NativeFlavor::NUM_SUBRELATIONS
static constexpr bool	HasZK = false
static constexpr bool	USE_PADDING = true

Detailed Description

Definition at line 22 of file recursive_flavor.hpp.

Member Typedef Documentation

BF

using bb::avm2::AvmRecursiveFlavor::BF = Curve::BaseField

Definition at line 30 of file recursive_flavor.hpp.

CircuitBuilder

using bb::avm2::AvmRecursiveFlavor::CircuitBuilder = MegaCircuitBuilder

Definition at line 24 of file recursive_flavor.hpp.

Commitment

using bb::avm2::AvmRecursiveFlavor::Commitment = Curve::AffineElement

Definition at line 28 of file recursive_flavor.hpp.

Curve

using bb::avm2::AvmRecursiveFlavor::Curve = stdlib::bn254<CircuitBuilder>

Definition at line 25 of file recursive_flavor.hpp.

FF

using bb::avm2::AvmRecursiveFlavor::FF = Curve::ScalarField

Definition at line 29 of file recursive_flavor.hpp.

GroupElement

using bb::avm2::AvmRecursiveFlavor::GroupElement = Curve::Element

Definition at line 27 of file recursive_flavor.hpp.

NativeFlavor

using bb::avm2::AvmRecursiveFlavor::NativeFlavor = avm2::AvmFlavor

Definition at line 32 of file recursive_flavor.hpp.

NativeVerificationKey

using bb::avm2::AvmRecursiveFlavor::NativeVerificationKey = NativeFlavor::VerificationKey

Definition at line 33 of file recursive_flavor.hpp.

PCS

using bb::avm2::AvmRecursiveFlavor::PCS = KZG<Curve>

Definition at line 26 of file recursive_flavor.hpp.

Relations

using bb::avm2::AvmRecursiveFlavor::Relations = NativeFlavor::Relations_<FF>

Definition at line 38 of file recursive_flavor.hpp.

SubrelationSeparators

using bb::avm2::AvmRecursiveFlavor::SubrelationSeparators = std::array<FF, NUM_SUBRELATIONS - 1>

Definition at line 45 of file recursive_flavor.hpp.

Transcript

using bb::avm2::AvmRecursiveFlavor::Transcript = TemplatedTranscript<CircuitBuilder>

Definition at line 242 of file recursive_flavor.hpp.

UltraTranscript

using bb::avm2::AvmRecursiveFlavor::UltraTranscript = TemplatedTranscript<UltraCircuitBuilder>

Definition at line 243 of file recursive_flavor.hpp.

VerificationKey

using bb::avm2::AvmRecursiveFlavor::VerificationKey = FixedStdlibVKAndHash_<CircuitBuilder, AvmFlavor::PrecomputedEntities<Commitment>, NativeVerificationKey>

In-circuit representation of the verification key of the AVM. It is reconstructed from precomputed values and fixed as a constant of the circuit when the AVM verifier is constructed. The vk commitments and vk hash are stored in the selectors of the circuit that contains an AVM verifier.

Definition at line 70 of file recursive_flavor.hpp.

VerifierCommitmentKey

using bb::avm2::AvmRecursiveFlavor::VerifierCommitmentKey = NativeFlavor::VerifierCommitmentKey

Definition at line 36 of file recursive_flavor.hpp.

VerifierCommitments

using bb::avm2::AvmRecursiveFlavor::VerifierCommitments = NativeFlavor::VerifierCommitments_<Commitment, VerificationKey>

Definition at line 245 of file recursive_flavor.hpp.

WitnessCommitments

using bb::avm2::AvmRecursiveFlavor::WitnessCommitments = NativeFlavor::WitnessEntities<Commitment>

Definition at line 244 of file recursive_flavor.hpp.

Member Data Documentation

BATCHED_RELATION_PARTIAL_LENGTH

constexpr size_t bb::avm2::AvmRecursiveFlavor::BATCHED_RELATION_PARTIAL_LENGTH = NativeFlavor::BATCHED_RELATION_PARTIAL_LENGTH

staticconstexpr

Definition at line 41 of file recursive_flavor.hpp.

HasZK

constexpr bool bb::avm2::AvmRecursiveFlavor::HasZK = false

staticconstexpr

Definition at line 48 of file recursive_flavor.hpp.

NUM_ALL_ENTITIES

constexpr size_t bb::avm2::AvmRecursiveFlavor::NUM_ALL_ENTITIES = NativeFlavor::NUM_ALL_ENTITIES

staticconstexpr

Definition at line 40 of file recursive_flavor.hpp.

NUM_RELATIONS

constexpr size_t bb::avm2::AvmRecursiveFlavor::NUM_RELATIONS = std::tuple_size_v<Relations>

staticconstexpr

Definition at line 42 of file recursive_flavor.hpp.

NUM_SUBRELATIONS

constexpr size_t bb::avm2::AvmRecursiveFlavor::NUM_SUBRELATIONS = NativeFlavor::NUM_SUBRELATIONS

staticconstexpr

Definition at line 44 of file recursive_flavor.hpp.

USE_PADDING

constexpr bool bb::avm2::AvmRecursiveFlavor::USE_PADDING = true

staticconstexpr

Definition at line 52 of file recursive_flavor.hpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/vm2/constraining/recursion/recursive_flavor.hpp