bb::UltraKeccakFlavor Class Reference

#include <ultra_keccak_flavor.hpp>

Inheritance diagram for bb::UltraKeccakFlavor:

Public Types
using	Codec = U256Codec
using	HashFunction = bb::crypto::Keccak
using	Transcript = BaseTranscript< Codec, HashFunction >
using	VerificationKey = NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction, CommitmentKey >
using	VerifierCommitments = VerifierCommitments_< Commitment, VerificationKey >
using	VKAndHash = VKAndHash_< FF, VerificationKey >
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	VerifierCommitmentKey = bb::VerifierCommitmentKey< 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 >
using	ProverPolynomials = ProverPolynomials_< HasZK >
using	PrecomputedData = PrecomputedData_< Polynomial, NUM_PRECOMPUTED_ENTITIES >
using	VerificationKey = NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction, CommitmentKey >
	The verification key is responsible for storing the commitments to the precomputed (non-witnessk) polynomials used by the verifier.
using	VKAndHash = VKAndHash_< FF, VerificationKey >
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	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 Member Functions inherited from bb::UltraFlavor
static constexpr size_t	FINAL_PCS_MSM_SIZE (size_t log_n=VIRTUAL_LOG_N)
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 bool	USE_PADDING = false
static constexpr size_t	num_elements_comm = U256Codec::calc_num_fields<Commitment>()
static constexpr size_t	num_elements_fr = U256Codec::calc_num_fields<FF>()
static constexpr size_t	OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS
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	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_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	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 13 of file ultra_keccak_flavor.hpp.

Member Typedef Documentation

Codec

using bb::UltraKeccakFlavor::Codec = U256Codec

Definition at line 15 of file ultra_keccak_flavor.hpp.

HashFunction

using bb::UltraKeccakFlavor::HashFunction = bb::crypto::Keccak

Definition at line 16 of file ultra_keccak_flavor.hpp.

Transcript

using bb::UltraKeccakFlavor::Transcript = BaseTranscript<Codec, HashFunction>

Definition at line 17 of file ultra_keccak_flavor.hpp.

VerificationKey

using bb::UltraKeccakFlavor::VerificationKey = NativeVerificationKey_<PrecomputedEntities<Commitment>, Codec, HashFunction, CommitmentKey>

Definition at line 45 of file ultra_keccak_flavor.hpp.

VerifierCommitments

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

Definition at line 48 of file ultra_keccak_flavor.hpp.

VKAndHash

using bb::UltraKeccakFlavor::VKAndHash = VKAndHash_<FF, VerificationKey>

Definition at line 50 of file ultra_keccak_flavor.hpp.

Member Function Documentation

DECIDER_PROOF_LENGTH()

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

inlinestaticconstexpr

Definition at line 29 of file ultra_keccak_flavor.hpp.

PROOF_LENGTH_WITHOUT_PUB_INPUTS()

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

inlinestaticconstexpr

Definition at line 40 of file ultra_keccak_flavor.hpp.

Member Data Documentation

num_elements_comm

constexpr size_t bb::UltraKeccakFlavor::num_elements_comm = U256Codec::calc_num_fields<Commitment>()

staticconstexpr

Definition at line 22 of file ultra_keccak_flavor.hpp.

num_elements_fr

constexpr size_t bb::UltraKeccakFlavor::num_elements_fr = U256Codec::calc_num_fields<FF>()

staticconstexpr

Definition at line 23 of file ultra_keccak_flavor.hpp.

OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS

constexpr size_t bb::UltraKeccakFlavor::OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS

staticconstexpr

Initial value:

=
         (NUM_WITNESS_ENTITIES * num_elements_comm)

Definition at line 26 of file ultra_keccak_flavor.hpp.

USE_PADDING

constexpr bool bb::UltraKeccakFlavor::USE_PADDING = false

staticconstexpr

Definition at line 19 of file ultra_keccak_flavor.hpp.

---

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

• src/barretenberg/flavor/ultra_keccak_flavor.hpp