#include <ultra_flavor.hpp>

Inheritance diagram for bb::UltraFlavor:

Classes
class	AllEntities
	A base class labelling all entities (for instance, all of the polynomials used by the prover during sumcheck) in this Honk variant along with particular subsets of interest. More...

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

class	CommitmentLabels
	A container for commitment labels. More...

class	PartiallyEvaluatedMultivariates
	A container for storing the partially evaluated multivariates produced by sumcheck. More...

class	PrecomputedEntities
	A base class labelling precomputed entities and (ordered) subsets of interest. More...

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

class	ShiftedEntities
	Class for ShitftedEntities, containing shifted witness polynomials. More...

class	Transcript_
	Derived class that defines proof structure for Ultra proofs, as well as supporting functions. More...

class	VerificationKey
	The verification key is responsible for storing the commitments to the precomputed (non-witnessk) polynomials used by the verifier. More...

class	VerifierCommitments_
	A container encapsulating all the commitments that the verifier receives (to precomputed polynomials and witness polynomials). More...

class	WitnessEntities
	Container for all witness polynomials used/constructed by the prover. More...

Public Types
using	CircuitBuilder = UltraCircuitBuilder

using	Curve = curve::BN254

using	FF = Curve::ScalarField

using	GroupElement = Curve::Element

using	Commitment = Curve::AffineElement

using	PCS = KZG< Curve >

using	Polynomial = bb::Polynomial< FF >

using	CommitmentKey = bb::CommitmentKey< Curve >

using	VerifierCommitmentKey = bb::VerifierCommitmentKey< Curve >

template<typename FF >
using	Relations_ = std::tuple< bb::UltraArithmeticRelation< FF >, bb::UltraPermutationRelation< FF >, bb::LogDerivLookupRelation< FF >, bb::DeltaRangeConstraintRelation< FF >, bb::EllipticRelation< FF >, bb::MemoryRelation< FF >, bb::NonNativeFieldRelation< FF >, bb::Poseidon2ExternalRelation< FF >, bb::Poseidon2InternalRelation< FF > >

using	Relations = Relations_< FF >

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

template<size_t NUM_INSTANCES>
using	ProtogalaxyTupleOfTuplesOfUnivariatesNoOptimisticSkipping = decltype(create_protogalaxy_tuple_of_tuples_of_univariates< Relations, NUM_INSTANCES >())

template<size_t NUM_INSTANCES>
using	ProtogalaxyTupleOfTuplesOfUnivariates = decltype(create_protogalaxy_tuple_of_tuples_of_univariates< Relations, NUM_INSTANCES, true >())

using	PrecomputedData = PrecomputedData_< Polynomial, NUM_PRECOMPUTED_ENTITIES >

using	Transcript = Transcript_< FrCodec, crypto::Poseidon2< crypto::Poseidon2Bn254ScalarFieldParams > >

template<size_t LENGTH>
using	ProverUnivariates = AllEntities< bb::Univariate< FF, LENGTH > >
	A container for univariates used during Protogalaxy folding and sumcheck.

template<size_t LENGTH, size_t SKIP_COUNT>
using	ProverUnivariatesWithOptimisticSkipping = AllEntities< bb::Univariate< FF, LENGTH, 0, SKIP_COUNT > >
	A container for univariates used during Protogalaxy folding and sumcheck.

using	ExtendedEdges = ProverUnivariates< MAX_PARTIAL_RELATION_LENGTH >
	A container for univariates produced during the hot loop in sumcheck.

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

using	VerifierCommitments = VerifierCommitments_< Commitment, VerificationKey >

Static Public Member Functions
static constexpr size_t	DECIDER_PROOF_LENGTH (size_t virtual_log_n=VIRTUAL_LOG_N)

static constexpr size_t	PROOF_LENGTH_WITHOUT_PUB_INPUTS (size_t virtual_log_n=VIRTUAL_LOG_N)

Static Public Attributes
static constexpr size_t	VIRTUAL_LOG_N = CONST_PROOF_SIZE_LOG_N

static constexpr bool	USE_SHORT_MONOMIALS = true

static constexpr bool	HasZK = false

static constexpr bool	USE_PADDING = true

static constexpr size_t	NUM_WIRES = CircuitBuilder::NUM_WIRES

static constexpr size_t	NUM_ALL_ENTITIES = 41

static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = 28

static constexpr size_t	NUM_WITNESS_ENTITIES = 8

static constexpr size_t	NUM_FOLDED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES

static constexpr size_t	NUM_SHIFTED_ENTITIES = 5

static constexpr size_t	NUM_UNSHIFTED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES

static constexpr RepeatedCommitmentsData	REPEATED_COMMITMENTS

static constexpr size_t	MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()

static constexpr size_t	MAX_TOTAL_RELATION_LENGTH = compute_max_total_relation_length<Relations>()

static constexpr size_t	NUM_SUBRELATIONS = compute_number_of_subrelations<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_comm = FrCodec::calc_num_fields<Commitment>()

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

static constexpr size_t	OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS

static constexpr bool	has_zero_row = true

static constexpr bool	is_decider = true

Detailed Description

Definition at line 35 of file ultra_flavor.hpp.

Member Typedef Documentation

◆ CircuitBuilder

using bb::UltraFlavor::CircuitBuilder = UltraCircuitBuilder

Definition at line 37 of file ultra_flavor.hpp.

◆ Commitment

using bb::UltraFlavor::Commitment = Curve::AffineElement

Definition at line 41 of file ultra_flavor.hpp.

◆ CommitmentKey

using bb::UltraFlavor::CommitmentKey = bb::CommitmentKey<Curve>

Definition at line 44 of file ultra_flavor.hpp.

◆ Curve

using bb::UltraFlavor::Curve = curve::BN254

Definition at line 38 of file ultra_flavor.hpp.

◆ ExtendedEdges

using bb::UltraFlavor::ExtendedEdges = ProverUnivariates<MAX_PARTIAL_RELATION_LENGTH>

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

Definition at line 537 of file ultra_flavor.hpp.

◆ FF

using bb::UltraFlavor::FF = Curve::ScalarField

Definition at line 39 of file ultra_flavor.hpp.

◆ GroupElement

using bb::UltraFlavor::GroupElement = Curve::Element

Definition at line 40 of file ultra_flavor.hpp.

◆ PCS

using bb::UltraFlavor::PCS = KZG<Curve>

Definition at line 42 of file ultra_flavor.hpp.

◆ Polynomial

using bb::UltraFlavor::Polynomial = bb::Polynomial<FF>

Definition at line 43 of file ultra_flavor.hpp.

◆ PrecomputedData

using bb::UltraFlavor::PrecomputedData = PrecomputedData_<Polynomial, NUM_PRECOMPUTED_ENTITIES>

Definition at line 343 of file ultra_flavor.hpp.

◆ ProtogalaxyTupleOfTuplesOfUnivariates

template<size_t NUM_INSTANCES>

using bb::UltraFlavor::ProtogalaxyTupleOfTuplesOfUnivariates = decltype(create_protogalaxy_tuple_of_tuples_of_univariates<Relations, NUM_INSTANCES, true>())

Definition at line 139 of file ultra_flavor.hpp.

◆ ProtogalaxyTupleOfTuplesOfUnivariatesNoOptimisticSkipping

template<size_t NUM_INSTANCES>

using bb::UltraFlavor::ProtogalaxyTupleOfTuplesOfUnivariatesNoOptimisticSkipping = decltype(create_protogalaxy_tuple_of_tuples_of_univariates<Relations, NUM_INSTANCES>())

Definition at line 136 of file ultra_flavor.hpp.

◆ ProverUnivariates

template<size_t LENGTH>

using bb::UltraFlavor::ProverUnivariates = AllEntities<bb::Univariate<FF, LENGTH> >

A container for univariates used during Protogalaxy folding and sumcheck.

During folding and sumcheck, the prover evaluates the relations on these univariates.

Definition at line 526 of file ultra_flavor.hpp.

◆ ProverUnivariatesWithOptimisticSkipping

template<size_t LENGTH, size_t SKIP_COUNT>

using bb::UltraFlavor::ProverUnivariatesWithOptimisticSkipping = AllEntities<bb::Univariate<FF, LENGTH, 0, SKIP_COUNT> >

A container for univariates used during Protogalaxy folding and sumcheck.

During folding and sumcheck, the prover evaluates the relations on these univariates.

Definition at line 532 of file ultra_flavor.hpp.

◆ Relations

using bb::UltraFlavor::Relations = Relations_<FF>

Definition at line 94 of file ultra_flavor.hpp.

◆ Relations_

template<typename FF >

using bb::UltraFlavor::Relations_ = std::tuple<bb::UltraArithmeticRelation<FF>, bb::UltraPermutationRelation<FF>, bb::LogDerivLookupRelation<FF>, bb::DeltaRangeConstraintRelation<FF>, bb::EllipticRelation<FF>, bb::MemoryRelation<FF>, bb::NonNativeFieldRelation<FF>, bb::Poseidon2ExternalRelation<FF>, bb::Poseidon2InternalRelation<FF> >

Definition at line 84 of file ultra_flavor.hpp.

◆ SubrelationSeparators

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

Definition at line 104 of file ultra_flavor.hpp.

◆ Transcript

using bb::UltraFlavor::Transcript = Transcript_<FrCodec, crypto::Poseidon2<crypto::Poseidon2Bn254ScalarFieldParams> >

Definition at line 464 of file ultra_flavor.hpp.

◆ VerifierCommitmentKey

using bb::UltraFlavor::VerifierCommitmentKey = bb::VerifierCommitmentKey<Curve>

Definition at line 45 of file ultra_flavor.hpp.

◆ VerifierCommitments

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

Definition at line 627 of file ultra_flavor.hpp.

◆ WitnessCommitments

using bb::UltraFlavor::WitnessCommitments = WitnessEntities<Commitment>

A container for the witness commitments.

Definition at line 542 of file ultra_flavor.hpp.

Member Function Documentation

◆ DECIDER_PROOF_LENGTH()

static constexpr size_t bb::UltraFlavor::DECIDER_PROOF_LENGTH ( size_t virtual_log_n = VIRTUAL_LOG_N )

inlinestaticconstexpr

Definition at line 119 of file ultra_flavor.hpp.

◆ PROOF_LENGTH_WITHOUT_PUB_INPUTS()

static constexpr size_t bb::UltraFlavor::PROOF_LENGTH_WITHOUT_PUB_INPUTS ( size_t virtual_log_n = VIRTUAL_LOG_N )

inlinestaticconstexpr

Definition at line 130 of file ultra_flavor.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

constexpr size_t bb::UltraFlavor::BATCHED_RELATION_PARTIAL_LENGTH = MAX_PARTIAL_RELATION_LENGTH + 1

staticconstexpr

Definition at line 109 of file ultra_flavor.hpp.

◆ has_zero_row

constexpr bool bb::UltraFlavor::has_zero_row = true

staticconstexpr

Definition at line 145 of file ultra_flavor.hpp.

◆ HasZK

constexpr bool bb::UltraFlavor::HasZK = false

staticconstexpr

Definition at line 52 of file ultra_flavor.hpp.

◆ is_decider

constexpr bool bb::UltraFlavor::is_decider = true

staticconstexpr

Definition at line 147 of file ultra_flavor.hpp.

◆ MAX_PARTIAL_RELATION_LENGTH

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

staticconstexpr

Definition at line 96 of file ultra_flavor.hpp.

◆ MAX_TOTAL_RELATION_LENGTH

constexpr size_t bb::UltraFlavor::MAX_TOTAL_RELATION_LENGTH = compute_max_total_relation_length<Relations>()

staticconstexpr

Definition at line 98 of file ultra_flavor.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::UltraFlavor::NUM_ALL_ENTITIES = 41

staticconstexpr

Definition at line 60 of file ultra_flavor.hpp.

◆ NUM_FOLDED_ENTITIES

constexpr size_t bb::UltraFlavor::NUM_FOLDED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES

staticconstexpr

Definition at line 67 of file ultra_flavor.hpp.

◆ num_frs_comm

constexpr size_t bb::UltraFlavor::num_frs_comm = FrCodec::calc_num_fields<Commitment>()

staticconstexpr

Definition at line 112 of file ultra_flavor.hpp.

◆ num_frs_fr

constexpr size_t bb::UltraFlavor::num_frs_fr = FrCodec::calc_num_fields<FF>()

staticconstexpr

Definition at line 113 of file ultra_flavor.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::UltraFlavor::NUM_PRECOMPUTED_ENTITIES = 28

staticconstexpr

Definition at line 63 of file ultra_flavor.hpp.

◆ NUM_RELATIONS

constexpr size_t bb::UltraFlavor::NUM_RELATIONS = std::tuple_size_v<Relations>

staticconstexpr

Definition at line 110 of file ultra_flavor.hpp.

◆ NUM_SHIFTED_ENTITIES

constexpr size_t bb::UltraFlavor::NUM_SHIFTED_ENTITIES = 5

staticconstexpr

Definition at line 69 of file ultra_flavor.hpp.

◆ NUM_SUBRELATIONS

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

staticconstexpr

Definition at line 100 of file ultra_flavor.hpp.

◆ NUM_UNSHIFTED_ENTITIES

constexpr size_t bb::UltraFlavor::NUM_UNSHIFTED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES

staticconstexpr

Definition at line 71 of file ultra_flavor.hpp.

◆ NUM_WIRES

constexpr size_t bb::UltraFlavor::NUM_WIRES = CircuitBuilder::NUM_WIRES

staticconstexpr

Definition at line 56 of file ultra_flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::UltraFlavor::NUM_WITNESS_ENTITIES = 8

staticconstexpr

Definition at line 65 of file ultra_flavor.hpp.

◆ OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS

constexpr size_t bb::UltraFlavor::OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS

staticconstexpr

Initial value:

=

(NUM_WITNESS_ENTITIES * num_frs_comm)

bb::UltraFlavor::num_frs_comm

static constexpr size_t num_frs_comm

Definition ultra_flavor.hpp:112

bb::UltraFlavor::NUM_WITNESS_ENTITIES

static constexpr size_t NUM_WITNESS_ENTITIES

Definition ultra_flavor.hpp:65

Definition at line 116 of file ultra_flavor.hpp.

◆ REPEATED_COMMITMENTS

constexpr RepeatedCommitmentsData bb::UltraFlavor::REPEATED_COMMITMENTS

staticconstexpr

Initial value:

= RepeatedCommitmentsData(

NUM_PRECOMPUTED_ENTITIES, NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES, NUM_SHIFTED_ENTITIES)

bb::UltraFlavor::NUM_PRECOMPUTED_ENTITIES

static constexpr size_t NUM_PRECOMPUTED_ENTITIES

Definition ultra_flavor.hpp:63

bb::UltraFlavor::NUM_SHIFTED_ENTITIES

static constexpr size_t NUM_SHIFTED_ENTITIES

Definition ultra_flavor.hpp:69

Definition at line 74 of file ultra_flavor.hpp.

◆ USE_PADDING

constexpr bool bb::UltraFlavor::USE_PADDING = true

staticconstexpr

Definition at line 55 of file ultra_flavor.hpp.

◆ USE_SHORT_MONOMIALS

constexpr bool bb::UltraFlavor::USE_SHORT_MONOMIALS = true

staticconstexpr

Definition at line 49 of file ultra_flavor.hpp.

◆ VIRTUAL_LOG_N

constexpr size_t bb::UltraFlavor::VIRTUAL_LOG_N = CONST_PROOF_SIZE_LOG_N

staticconstexpr

Definition at line 47 of file ultra_flavor.hpp.

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

src/barretenberg/flavor/ultra_flavor.hpp

Classes

Public Types

Static Public Member Functions

Static Public Attributes

Detailed Description

Member Typedef Documentation

◆ CircuitBuilder

◆ Commitment

◆ CommitmentKey

◆ Curve

◆ ExtendedEdges

◆ FF

◆ GroupElement

◆ PCS

◆ Polynomial

◆ PrecomputedData

◆ ProtogalaxyTupleOfTuplesOfUnivariates

◆ ProtogalaxyTupleOfTuplesOfUnivariatesNoOptimisticSkipping

◆ ProverUnivariates

◆ ProverUnivariatesWithOptimisticSkipping

◆ Relations

◆ Relations_

◆ SubrelationSeparators

◆ Transcript

◆ VerifierCommitmentKey

◆ VerifierCommitments

◆ WitnessCommitments

Member Function Documentation

◆ DECIDER_PROOF_LENGTH()

◆ PROOF_LENGTH_WITHOUT_PUB_INPUTS()

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

◆ has_zero_row

◆ HasZK

◆ is_decider

◆ MAX_PARTIAL_RELATION_LENGTH

◆ MAX_TOTAL_RELATION_LENGTH

◆ NUM_ALL_ENTITIES

◆ NUM_FOLDED_ENTITIES

◆ num_frs_comm

◆ num_frs_fr

◆ NUM_PRECOMPUTED_ENTITIES

◆ NUM_RELATIONS

◆ NUM_SHIFTED_ENTITIES

◆ NUM_SUBRELATIONS

◆ NUM_UNSHIFTED_ENTITIES

◆ NUM_WIRES

◆ NUM_WITNESS_ENTITIES

◆ OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS

◆ REPEATED_COMMITMENTS

◆ USE_PADDING

◆ USE_SHORT_MONOMIALS

◆ VIRTUAL_LOG_N