Child class of UltraFlavor that runs with ZK Sumcheck. More...

#include <ultra_zk_flavor.hpp>

Inheritance diagram for bb::UltraZKFlavor:

Public Types
template<typename DataType >
using	AllEntities = UltraFlavor::AllEntities_< DataType, HasZK >

using	AllValues = UltraFlavor::AllValues_< HasZK >

using	ProverPolynomials = UltraFlavor::ProverPolynomials_< HasZK >

using	PartiallyEvaluatedMultivariates = UltraFlavor::PartiallyEvaluatedMultivariates_< HasZK >

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

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

using	ExtendedEdges = ProverUnivariates< MAX_PARTIAL_RELATION_LENGTH >

Public Types inherited from bb::UltraFlavor
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	Codec = FrCodec

using	HashFunction = crypto::Poseidon2< crypto::Poseidon2Bn254ScalarFieldParams >

using	Transcript = BaseTranscript< Codec, HashFunction >

template<typename FF >
using	Relations_ = std::tuple< bb::ArithmeticRelation< 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	SubrelationSeparator = FF

template<typename DataType >
using	AllEntities = AllEntities_< DataType, HasZK >

using	AllValues = AllValues_< HasZK >

template<bool HasZK_ = HasZK>
using	ProverPolynomials_ = ProverPolynomialsBase< AllEntities_< Polynomial, HasZK_ >, AllValues_< HasZK_ >, Polynomial >
	A container for polynomials handles.

using	ProverPolynomials = ProverPolynomials_< HasZK >

using	PrecomputedData = PrecomputedData_< Polynomial, NUM_PRECOMPUTED_ENTITIES >

using	VerificationKey = NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction, CommitmentKey >
	The verification key stores commitments to the precomputed (non-witness) polynomials used by the verifier.

using	VKAndHash = VKAndHash_< FF, VerificationKey >

template<bool HasZK_ = HasZK>
using	PartiallyEvaluatedMultivariates_ = PartiallyEvaluatedMultivariatesBase< AllEntities_< Polynomial, HasZK_ >, ProverPolynomials_< HasZK_ >, Polynomial >
	A container for storing the partially evaluated multivariates produced by sumcheck.

using	PartiallyEvaluatedMultivariates = PartiallyEvaluatedMultivariates_< HasZK >

template<size_t LENGTH>
using	ProverUnivariates = AllEntities< bb::Univariate< FF, LENGTH > >
	A container for univariates used in 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, HasZK >

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

Static Public Member Functions inherited from bb::UltraFlavor
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	NUM_MASKING_POLYNOMIALS = 1

static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = UltraFlavor::BATCHED_RELATION_PARTIAL_LENGTH + 1

static constexpr size_t	NUM_WITNESS_ENTITIES = UltraFlavor::NUM_WITNESS_ENTITIES + NUM_MASKING_POLYNOMIALS

static constexpr size_t	NUM_ALL_ENTITIES = UltraFlavor::NUM_ALL_ENTITIES + NUM_MASKING_POLYNOMIALS

static constexpr size_t	NUM_UNSHIFTED_ENTITIES = UltraFlavor::NUM_UNSHIFTED_ENTITIES + NUM_MASKING_POLYNOMIALS

Static Public Attributes inherited from bb::UltraFlavor
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	MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_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	NUM_PRECOMPUTED_ENTITIES = PrecomputedEntities<FF>::_members_size

static constexpr size_t	NUM_WITNESS_ENTITIES = WitnessEntities<FF>::_members_size

static constexpr size_t	NUM_SHIFTED_ENTITIES = ShiftedEntities<FF>::_members_size

static constexpr size_t	NUM_UNSHIFTED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES

static constexpr size_t	NUM_ALL_ENTITIES = NUM_UNSHIFTED_ENTITIES + NUM_SHIFTED_ENTITIES

static constexpr RepeatedCommitmentsData	REPEATED_COMMITMENTS

Detailed Description

Child class of UltraFlavor that runs with ZK Sumcheck.

Most of the properties of UltraFlavor are inherited without any changes. However, the BATCHED_RELATION_PARTIAL_LENGTH is incremented by 1, as we are using the sumcheck with disabled rows, where the main Honk relation is multiplied by a sum of multilinear Lagranges. Additionally, the transcript contains extra elements, such as commitments and evaluations of Libra polynomials used in Sumcheck to make it ZK, as well as a commitment and an evaluation of a hiding polynomials that turns the PCS stage ZK.

Definition at line 23 of file ultra_zk_flavor.hpp.

Member Typedef Documentation

◆ AllEntities

template<typename DataType >

using bb::UltraZKFlavor::AllEntities = UltraFlavor::AllEntities_<DataType, HasZK>

Definition at line 38 of file ultra_zk_flavor.hpp.

◆ AllValues

using bb::UltraZKFlavor::AllValues = UltraFlavor::AllValues_<HasZK>

Definition at line 53 of file ultra_zk_flavor.hpp.

◆ ExtendedEdges

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

Definition at line 60 of file ultra_zk_flavor.hpp.

◆ PartiallyEvaluatedMultivariates

using bb::UltraZKFlavor::PartiallyEvaluatedMultivariates = UltraFlavor::PartiallyEvaluatedMultivariates_<HasZK>

Definition at line 55 of file ultra_zk_flavor.hpp.

◆ ProverPolynomials

using bb::UltraZKFlavor::ProverPolynomials = UltraFlavor::ProverPolynomials_<HasZK>

Definition at line 54 of file ultra_zk_flavor.hpp.

◆ ProverUnivariates

template<size_t LENGTH>

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

Definition at line 59 of file ultra_zk_flavor.hpp.

◆ VerifierCommitments

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

Definition at line 56 of file ultra_zk_flavor.hpp.

Member Function Documentation

◆ FINAL_PCS_MSM_SIZE()

static constexpr size_t bb::UltraZKFlavor::FINAL_PCS_MSM_SIZE ( size_t log_n = CONST_PROOF_SIZE_LOG_N )

inlinestaticconstexpr

Definition at line 48 of file ultra_zk_flavor.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

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

staticconstexpr

Definition at line 33 of file ultra_zk_flavor.hpp.

◆ HasZK

constexpr bool bb::UltraZKFlavor::HasZK = true

staticconstexpr

Definition at line 26 of file ultra_zk_flavor.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::UltraZKFlavor::NUM_ALL_ENTITIES = UltraFlavor::NUM_ALL_ENTITIES + NUM_MASKING_POLYNOMIALS

staticconstexpr

Definition at line 43 of file ultra_zk_flavor.hpp.

◆ NUM_MASKING_POLYNOMIALS

constexpr size_t bb::UltraZKFlavor::NUM_MASKING_POLYNOMIALS = 1

staticconstexpr

Definition at line 29 of file ultra_zk_flavor.hpp.

◆ NUM_UNSHIFTED_ENTITIES

constexpr size_t bb::UltraZKFlavor::NUM_UNSHIFTED_ENTITIES = UltraFlavor::NUM_UNSHIFTED_ENTITIES + NUM_MASKING_POLYNOMIALS

staticconstexpr

Definition at line 45 of file ultra_zk_flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::UltraZKFlavor::NUM_WITNESS_ENTITIES = UltraFlavor::NUM_WITNESS_ENTITIES + NUM_MASKING_POLYNOMIALS

staticconstexpr

Definition at line 41 of file ultra_zk_flavor.hpp.

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

src/barretenberg/flavor/ultra_zk_flavor.hpp

Public Types

Static Public Member Functions

Static Public Attributes

Detailed Description

Member Typedef Documentation

◆ AllEntities

◆ AllValues

◆ ExtendedEdges

◆ PartiallyEvaluatedMultivariates

◆ ProverPolynomials

◆ ProverUnivariates

◆ VerifierCommitments

Member Function Documentation

◆ FINAL_PCS_MSM_SIZE()

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

◆ HasZK

◆ NUM_ALL_ENTITIES

◆ NUM_MASKING_POLYNOMIALS

◆ NUM_UNSHIFTED_ENTITIES

◆ NUM_WITNESS_ENTITIES