Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Static Public Attributes | List of all members
bb::avm2::AvmFlavor Class Reference

#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  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 VerificationKey = FixedVKAndHash_< PrecomputedEntities< Commitment >, FF, typename constraining::AvmHardCodedVKAndHash >
 Verification key of the AVM. It is fixed and reconstructed from precomputed values.
 
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 size_t TRACE_OFFSET = 0
 
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 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 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 37 of file flavor.hpp.

Member Typedef Documentation

◆ AllValues

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

Definition at line 230 of file flavor.hpp.

◆ Commitment

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

Definition at line 47 of file flavor.hpp.

◆ CommitmentHandle

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

Definition at line 48 of file flavor.hpp.

◆ CommitmentKey

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

Definition at line 49 of file flavor.hpp.

◆ Curve

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

Definition at line 39 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 295 of file flavor.hpp.

◆ FF

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

Definition at line 43 of file flavor.hpp.

◆ G1

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

Definition at line 40 of file flavor.hpp.

◆ GroupElement

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

Definition at line 46 of file flavor.hpp.

◆ LookupRelations

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

Definition at line 76 of file flavor.hpp.

◆ LookupRelations_

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

Definition at line 74 of file flavor.hpp.

◆ MainRelations

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

Definition at line 71 of file flavor.hpp.

◆ MainRelations_

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

Definition at line 69 of file flavor.hpp.

◆ PartiallyEvaluatedMultivariates

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

Definition at line 270 of file flavor.hpp.

◆ PCS

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

Definition at line 41 of file flavor.hpp.

◆ Polynomial

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

Definition at line 44 of file flavor.hpp.

◆ PolynomialHandle

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

Definition at line 45 of file flavor.hpp.

◆ ProverUnivariates

template<size_t LENGTH>
using bb::avm2::AvmFlavor::ProverUnivariates = int

Definition at line 298 of file flavor.hpp.

◆ Relations

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

Definition at line 80 of file flavor.hpp.

◆ Relations_

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

Definition at line 79 of file flavor.hpp.

◆ VerificationKey

using bb::avm2::AvmFlavor::VerificationKey = FixedVKAndHash_<PrecomputedEntities<Commitment>, FF, typename constraining::AvmHardCodedVKAndHash>

Verification key of the AVM. It is fixed and reconstructed from precomputed values.

Definition at line 226 of file flavor.hpp.

◆ VerifierCommitmentKey

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

Definition at line 50 of file flavor.hpp.

◆ VerifierCommitments

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

Definition at line 322 of file flavor.hpp.

◆ WitnessCommitments

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

A container for the witness commitments.

Definition at line 304 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 91 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 * NUM_FRS_COM +
NUM_ALL_ENTITIES * NUM_FRS_FR +
MAX_AVM_TRACE_LOG_SIZE * NUM_FRS_FR * BATCHED_RELATION_PARTIAL_LENGTH +
(MAX_AVM_TRACE_LOG_SIZE - 1) * NUM_FRS_COM +
MAX_AVM_TRACE_LOG_SIZE * NUM_FRS_FR +
2 * NUM_FRS_COM
bb::avm2::AvmFlavor::NUM_FRS_FR
static constexpr size_t NUM_FRS_FR
Definition flavor.hpp:95
bb::avm2::AvmFlavor::NUM_WITNESS_ENTITIES
static constexpr size_t NUM_WITNESS_ENTITIES
Definition flavor.hpp:63
bb::avm2::AvmFlavor::BATCHED_RELATION_PARTIAL_LENGTH
static constexpr size_t BATCHED_RELATION_PARTIAL_LENGTH
Definition flavor.hpp:91
bb::avm2::AvmFlavor::NUM_FRS_COM
static constexpr size_t NUM_FRS_COM
Definition flavor.hpp:94
bb::avm2::AvmFlavor::NUM_ALL_ENTITIES
static constexpr size_t NUM_ALL_ENTITIES
Definition flavor.hpp:66
bb::avm2::MAX_AVM_TRACE_LOG_SIZE
constexpr std::size_t MAX_AVM_TRACE_LOG_SIZE
Definition constants.hpp:12

Definition at line 100 of file flavor.hpp.

◆ HasZK

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

Definition at line 57 of file flavor.hpp.

◆ IS_AVM

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

Definition at line 53 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 84 of file flavor.hpp.

◆ NUM_ALL_ENTITIES

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

Definition at line 66 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 94 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 95 of file flavor.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

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

Definition at line 62 of file flavor.hpp.

◆ NUM_RELATIONS

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

Definition at line 92 of file flavor.hpp.

◆ NUM_SHIFTED_ENTITIES

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

Definition at line 64 of file flavor.hpp.

◆ NUM_SUBRELATIONS

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

Definition at line 82 of file flavor.hpp.

◆ NUM_WIRES

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

Definition at line 65 of file flavor.hpp.

◆ NUM_WITNESS_ENTITIES

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

Definition at line 63 of file flavor.hpp.

◆ TRACE_OFFSET

constexpr size_t bb::avm2::AvmFlavor::TRACE_OFFSET = 0
staticconstexpr

Definition at line 58 of file flavor.hpp.

◆ USE_PADDING

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

Definition at line 60 of file flavor.hpp.

◆ USE_SHORT_MONOMIALS

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

Definition at line 55 of file flavor.hpp.

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