#include <flavor.hpp>

Classes
class	AllEntities

class	LazilyExtendedProverUnivariates
	A container for univariates used during sumcheck. More...

class	PolynomialEntitiesAtFixedRow

class	PrecomputedEntities

class	ProverPolynomials
	A container for the prover polynomials handles. More...

class	ProvingKey

class	Transcript

class	VerificationKey

class	VerifierCommitments_

class	WitnessEntities

Public Types
using	Curve = AvmFlavorSettings::Curve

using	G1 = AvmFlavorSettings::G1

using	PCS = AvmFlavorSettings::PCS

using	FF = AvmFlavorSettings::FF

using	Polynomial = AvmFlavorSettings::Polynomial

using	PolynomialHandle = AvmFlavorSettings::PolynomialHandle

using	GroupElement = AvmFlavorSettings::GroupElement

using	Commitment = AvmFlavorSettings::Commitment

using	CommitmentHandle = AvmFlavorSettings::CommitmentHandle

using	CommitmentKey = AvmFlavorSettings::CommitmentKey

using	VerifierCommitmentKey = AvmFlavorSettings::VerifierCommitmentKey

template<typename FF_ >
using	MainRelations_ = AvmFlavorVariables::MainRelations_< FF_ >

using	MainRelations = MainRelations_< FF >

template<typename FF_ >
using	LookupRelations_ = AvmFlavorVariables::LookupRelations_< FF_ >

using	LookupRelations = LookupRelations_< FF >

template<typename FF_ >
using	Relations_ = tuple_cat_t< MainRelations_< FF_ >, LookupRelations_< FF_ > >

using	Relations = Relations_< FF >

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

using	AllValues = AllEntities< FF >

using	PartiallyEvaluatedMultivariates = ProverPolynomials

using	ExtendedEdges = LazilyExtendedProverUnivariates
	A container for univariates produced during the hot loop in sumcheck.

template<size_t LENGTH>
using	ProverUnivariates = int

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

using	VerifierCommitments = VerifierCommitments_< Commitment, VerificationKey >

Static Public Attributes
static constexpr bool	IS_AVM = true

static constexpr bool	USE_SHORT_MONOMIALS = false

static constexpr bool	HasZK = false

static constexpr bool	USE_PADDING = true

static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = AvmFlavorVariables::NUM_PRECOMPUTED_ENTITIES

static constexpr size_t	NUM_WITNESS_ENTITIES = AvmFlavorVariables::NUM_WITNESS_ENTITIES

static constexpr size_t	NUM_SHIFTED_ENTITIES = AvmFlavorVariables::NUM_SHIFTED_ENTITIES

static constexpr size_t	NUM_WIRES = AvmFlavorVariables::NUM_WIRES

static constexpr size_t	NUM_ALL_ENTITIES = AvmFlavorVariables::NUM_ALL_ENTITIES

static constexpr size_t	MAX_CHUNK_THREAD_PORTION_SIZE = 32

static constexpr size_t	NUM_SUBRELATIONS = compute_number_of_subrelations<Relations>()

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_v<Relations>

static constexpr bool	has_zero_row = true

static constexpr size_t	NUM_FRS_COM = FrCodec::calc_num_fields<Commitment>()

static constexpr size_t	NUM_FRS_FR = FrCodec::calc_num_fields<FF>()

static constexpr size_t	COMPUTED_AVM_PROOF_LENGTH_IN_FIELDS

Detailed Description

Definition at line 30 of file flavor.hpp.

Member Typedef Documentation

◆ AllValues

using bb::avm2::AvmFlavor::AllValues = AllEntities<FF>

Definition at line 261 of file flavor.hpp.

◆ Commitment

using bb::avm2::AvmFlavor::Commitment = AvmFlavorSettings::Commitment

Definition at line 40 of file flavor.hpp.

◆ CommitmentHandle

using bb::avm2::AvmFlavor::CommitmentHandle = AvmFlavorSettings::CommitmentHandle

Definition at line 41 of file flavor.hpp.

◆ CommitmentKey

using bb::avm2::AvmFlavor::CommitmentKey = AvmFlavorSettings::CommitmentKey

Definition at line 42 of file flavor.hpp.

◆ Curve

using bb::avm2::AvmFlavor::Curve = AvmFlavorSettings::Curve

Definition at line 32 of file flavor.hpp.

◆ ExtendedEdges

using bb::avm2::AvmFlavor::ExtendedEdges = LazilyExtendedProverUnivariates

A container for univariates produced during the hot loop in sumcheck.

Definition at line 326 of file flavor.hpp.

◆ FF

using bb::avm2::AvmFlavor::FF = AvmFlavorSettings::FF

Definition at line 36 of file flavor.hpp.

◆ G1

using bb::avm2::AvmFlavor::G1 = AvmFlavorSettings::G1

Definition at line 33 of file flavor.hpp.

◆ GroupElement

using bb::avm2::AvmFlavor::GroupElement = AvmFlavorSettings::GroupElement

Definition at line 39 of file flavor.hpp.

◆ LookupRelations

using bb::avm2::AvmFlavor::LookupRelations = LookupRelations_<FF>

Definition at line 78 of file flavor.hpp.

◆ LookupRelations_

template<typename FF_ >

using bb::avm2::AvmFlavor::LookupRelations_ = AvmFlavorVariables::LookupRelations_<FF_>

Definition at line 76 of file flavor.hpp.

◆ MainRelations

using bb::avm2::AvmFlavor::MainRelations = MainRelations_<FF>

Definition at line 73 of file flavor.hpp.

◆ MainRelations_

template<typename FF_ >

using bb::avm2::AvmFlavor::MainRelations_ = AvmFlavorVariables::MainRelations_<FF_>

Definition at line 71 of file flavor.hpp.

◆ PartiallyEvaluatedMultivariates

using bb::avm2::AvmFlavor::PartiallyEvaluatedMultivariates = ProverPolynomials

Definition at line 301 of file flavor.hpp.

◆ PCS

using bb::avm2::AvmFlavor::PCS = AvmFlavorSettings::PCS

Definition at line 34 of file flavor.hpp.

◆ Polynomial

using bb::avm2::AvmFlavor::Polynomial = AvmFlavorSettings::Polynomial

Definition at line 37 of file flavor.hpp.

◆ PolynomialHandle

using bb::avm2::AvmFlavor::PolynomialHandle = AvmFlavorSettings::PolynomialHandle

Definition at line 38 of file flavor.hpp.

◆ ProverUnivariates

template<size_t LENGTH>

using bb::avm2::AvmFlavor::ProverUnivariates = int

Definition at line 329 of file flavor.hpp.

◆ Relations

using bb::avm2::AvmFlavor::Relations = Relations_<FF>

Definition at line 82 of file flavor.hpp.

◆ Relations_

template<typename FF_ >

using bb::avm2::AvmFlavor::Relations_ = tuple_cat_t<MainRelations_<FF_>, LookupRelations_<FF_> >

Definition at line 81 of file flavor.hpp.

◆ SubrelationSeparators

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

Definition at line 86 of file flavor.hpp.

◆ VerifierCommitmentKey

using bb::avm2::AvmFlavor::VerifierCommitmentKey = AvmFlavorSettings::VerifierCommitmentKey

Definition at line 43 of file flavor.hpp.

◆ VerifierCommitments

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

Definition at line 353 of file flavor.hpp.

◆ WitnessCommitments

using bb::avm2::AvmFlavor::WitnessCommitments = WitnessEntities<Commitment>

A container for the witness commitments.

Definition at line 335 of file flavor.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

constexpr size_t bb::avm2::AvmFlavor::BATCHED_RELATION_PARTIAL_LENGTH = MAX_PARTIAL_RELATION_LENGTH + 1

staticconstexpr

Definition at line 95 of file flavor.hpp.

◆ COMPUTED_AVM_PROOF_LENGTH_IN_FIELDS

constexpr size_t bb::avm2::AvmFlavor::COMPUTED_AVM_PROOF_LENGTH_IN_FIELDS

staticconstexpr

Initial value:

=
        (NUM_WITNESS_ENTITIES + 1) * NUM_FRS_COM + (NUM_ALL_ENTITIES + 1) * NUM_FRS_FR +
        MAX_AVM_TRACE_LOG_SIZE * (NUM_FRS_COM + NUM_FRS_FR * (BATCHED_RELATION_PARTIAL_LENGTH + 1))

Definition at line 105 of file flavor.hpp.

◆ has_zero_row

constexpr bool bb::avm2::AvmFlavor::has_zero_row = true

staticconstexpr

Definition at line 98 of file flavor.hpp.

◆ HasZK

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

staticconstexpr

Definition at line 50 of file flavor.hpp.

◆ IS_AVM

constexpr bool bb::avm2::AvmFlavor::IS_AVM = true

staticconstexpr

Definition at line 46 of file flavor.hpp.

◆ MAX_CHUNK_THREAD_PORTION_SIZE

constexpr size_t bb::avm2::AvmFlavor::MAX_CHUNK_THREAD_PORTION_SIZE = 32

staticconstexpr

Definition at line 68 of file flavor.hpp.

◆ MAX_PARTIAL_RELATION_LENGTH

constexpr size_t bb::avm2::AvmFlavor::MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()

staticconstexpr

Definition at line 88 of file flavor.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::avm2::AvmFlavor::NUM_ALL_ENTITIES = AvmFlavorVariables::NUM_ALL_ENTITIES

staticconstexpr

Definition at line 58 of file flavor.hpp.

◆ NUM_FRS_COM

constexpr size_t bb::avm2::AvmFlavor::NUM_FRS_COM = FrCodec::calc_num_fields<Commitment>()

staticconstexpr

Definition at line 100 of file flavor.hpp.

◆ NUM_FRS_FR

constexpr size_t bb::avm2::AvmFlavor::NUM_FRS_FR = FrCodec::calc_num_fields<FF>()

staticconstexpr

Definition at line 101 of file flavor.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::avm2::AvmFlavor::NUM_PRECOMPUTED_ENTITIES = AvmFlavorVariables::NUM_PRECOMPUTED_ENTITIES

staticconstexpr

Definition at line 54 of file flavor.hpp.

◆ NUM_RELATIONS

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

staticconstexpr

Definition at line 96 of file flavor.hpp.

◆ NUM_SHIFTED_ENTITIES

constexpr size_t bb::avm2::AvmFlavor::NUM_SHIFTED_ENTITIES = AvmFlavorVariables::NUM_SHIFTED_ENTITIES

staticconstexpr

Definition at line 56 of file flavor.hpp.

◆ NUM_SUBRELATIONS

constexpr size_t bb::avm2::AvmFlavor::NUM_SUBRELATIONS = compute_number_of_subrelations<Relations>()

staticconstexpr

Definition at line 84 of file flavor.hpp.

◆ NUM_WIRES

constexpr size_t bb::avm2::AvmFlavor::NUM_WIRES = AvmFlavorVariables::NUM_WIRES

staticconstexpr

Definition at line 57 of file flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::avm2::AvmFlavor::NUM_WITNESS_ENTITIES = AvmFlavorVariables::NUM_WITNESS_ENTITIES

staticconstexpr

Definition at line 55 of file flavor.hpp.

◆ USE_PADDING

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

staticconstexpr

Definition at line 52 of file flavor.hpp.

◆ USE_SHORT_MONOMIALS

constexpr bool bb::avm2::AvmFlavor::USE_SHORT_MONOMIALS = false

staticconstexpr

Definition at line 48 of file flavor.hpp.

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

src/barretenberg/vm2/constraining/flavor.hpp

Classes

Public Types

Static Public Attributes

Detailed Description

Member Typedef Documentation

◆ AllValues

◆ Commitment

◆ CommitmentHandle

◆ CommitmentKey

◆ Curve

◆ ExtendedEdges

◆ FF

◆ G1

◆ GroupElement

◆ LookupRelations

◆ LookupRelations_

◆ MainRelations

◆ MainRelations_

◆ PartiallyEvaluatedMultivariates

◆ PCS

◆ Polynomial

◆ PolynomialHandle

◆ ProverUnivariates

◆ Relations

◆ Relations_

◆ SubrelationSeparators

◆ VerifierCommitmentKey

◆ VerifierCommitments

◆ WitnessCommitments

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

◆ COMPUTED_AVM_PROOF_LENGTH_IN_FIELDS

◆ has_zero_row

◆ HasZK

◆ IS_AVM

◆ MAX_CHUNK_THREAD_PORTION_SIZE

◆ MAX_PARTIAL_RELATION_LENGTH

◆ NUM_ALL_ENTITIES

◆ NUM_FRS_COM

◆ NUM_FRS_FR

◆ NUM_PRECOMPUTED_ENTITIES

◆ NUM_RELATIONS

◆ NUM_SHIFTED_ENTITIES

◆ NUM_SUBRELATIONS

◆ NUM_WIRES

◆ NUM_WITNESS_ENTITIES

◆ USE_PADDING

◆ USE_SHORT_MONOMIALS