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

#include <ultra_keccak_zk_flavor.hpp>

Inheritance diagram for bb::UltraKeccakZKFlavor:
bb::UltraKeccakFlavor bb::UltraFlavor

Classes

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

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::UltraKeccakFlavor
using Transcript = UltraKeccakFlavor::Transcript_< U256Codec, bb::crypto::Keccak >
 
using VerifierCommitments = VerifierCommitments_< Commitment, 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 >
 
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 Transcript = Transcript_< FrCodec, crypto::Poseidon2< crypto::Poseidon2Bn254ScalarFieldParams > >
 
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=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::UltraKeccakFlavor
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 HasZK = true
 
static constexpr size_t NUM_MASKING_POLYNOMIALS = 1
 
static constexpr size_t BATCHED_RELATION_PARTIAL_LENGTH = UltraKeccakFlavor::BATCHED_RELATION_PARTIAL_LENGTH + 1
 
static constexpr size_t NUM_WITNESS_ENTITIES = UltraKeccakFlavor::NUM_WITNESS_ENTITIES + NUM_MASKING_POLYNOMIALS
 
static constexpr size_t NUM_ALL_ENTITIES = UltraKeccakFlavor::NUM_ALL_ENTITIES + NUM_MASKING_POLYNOMIALS
 
static constexpr size_t NUM_UNSHIFTED_ENTITIES
 
static constexpr size_t OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS
 
- Static Public Attributes inherited from bb::UltraKeccakFlavor
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 15 of file ultra_keccak_zk_flavor.hpp.

Member Typedef Documentation

◆ AllEntities

template<typename DataType >
using bb::UltraKeccakZKFlavor::AllEntities = UltraFlavor::AllEntities_<DataType, HasZK>

Definition at line 30 of file ultra_keccak_zk_flavor.hpp.

◆ AllValues

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

Definition at line 51 of file ultra_keccak_zk_flavor.hpp.

◆ ExtendedEdges

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

Definition at line 58 of file ultra_keccak_zk_flavor.hpp.

◆ PartiallyEvaluatedMultivariates

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

Definition at line 53 of file ultra_keccak_zk_flavor.hpp.

◆ ProverPolynomials

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

Definition at line 52 of file ultra_keccak_zk_flavor.hpp.

◆ ProverUnivariates

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

Definition at line 57 of file ultra_keccak_zk_flavor.hpp.

◆ VerifierCommitments

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

Definition at line 54 of file ultra_keccak_zk_flavor.hpp.

Member Function Documentation

◆ FINAL_PCS_MSM_SIZE()

static constexpr size_t bb::UltraKeccakZKFlavor::FINAL_PCS_MSM_SIZE ( size_t  log_n = VIRTUAL_LOG_N)
inlinestaticconstexpr

Definition at line 41 of file ultra_keccak_zk_flavor.hpp.

◆ PROOF_LENGTH_WITHOUT_PUB_INPUTS()

static constexpr size_t bb::UltraKeccakZKFlavor::PROOF_LENGTH_WITHOUT_PUB_INPUTS ( size_t  virtual_log_n = VIRTUAL_LOG_N)
inlinestaticconstexpr

Definition at line 61 of file ultra_keccak_zk_flavor.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

constexpr size_t bb::UltraKeccakZKFlavor::BATCHED_RELATION_PARTIAL_LENGTH = UltraKeccakFlavor::BATCHED_RELATION_PARTIAL_LENGTH + 1
staticconstexpr

Definition at line 25 of file ultra_keccak_zk_flavor.hpp.

◆ HasZK

constexpr bool bb::UltraKeccakZKFlavor::HasZK = true
staticconstexpr

Definition at line 18 of file ultra_keccak_zk_flavor.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::UltraKeccakZKFlavor::NUM_ALL_ENTITIES = UltraKeccakFlavor::NUM_ALL_ENTITIES + NUM_MASKING_POLYNOMIALS
staticconstexpr

Definition at line 35 of file ultra_keccak_zk_flavor.hpp.

◆ NUM_MASKING_POLYNOMIALS

constexpr size_t bb::UltraKeccakZKFlavor::NUM_MASKING_POLYNOMIALS = 1
staticconstexpr

Definition at line 21 of file ultra_keccak_zk_flavor.hpp.

◆ NUM_UNSHIFTED_ENTITIES

constexpr size_t bb::UltraKeccakZKFlavor::NUM_UNSHIFTED_ENTITIES
staticconstexpr
Initial value:
=
UltraKeccakFlavor::NUM_UNSHIFTED_ENTITIES + NUM_MASKING_POLYNOMIALS
bb::UltraFlavor::NUM_UNSHIFTED_ENTITIES
static constexpr size_t NUM_UNSHIFTED_ENTITIES
Definition ultra_flavor.hpp:69
bb::UltraKeccakZKFlavor::NUM_MASKING_POLYNOMIALS
static constexpr size_t NUM_MASKING_POLYNOMIALS
Definition ultra_keccak_zk_flavor.hpp:21

Definition at line 37 of file ultra_keccak_zk_flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::UltraKeccakZKFlavor::NUM_WITNESS_ENTITIES = UltraKeccakFlavor::NUM_WITNESS_ENTITIES + NUM_MASKING_POLYNOMIALS
staticconstexpr

Definition at line 33 of file ultra_keccak_zk_flavor.hpp.

◆ OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS

constexpr size_t bb::UltraKeccakZKFlavor::OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS
staticconstexpr
Initial value:
=
(NUM_WITNESS_ENTITIES *
num_elements_comm)
bb::UltraKeccakFlavor::num_elements_comm
static constexpr size_t num_elements_comm
Definition ultra_keccak_flavor.hpp:20
bb::UltraKeccakZKFlavor::NUM_WITNESS_ENTITIES
static constexpr size_t NUM_WITNESS_ENTITIES
Definition ultra_keccak_zk_flavor.hpp:33

Definition at line 47 of file ultra_keccak_zk_flavor.hpp.

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