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::UltraZKFlavor_Generated Class Reference

#include <ultra_zk_flavor_generated.hpp>

Classes

class  AllEntities
 
class  PrecomputedEntities
 
class  WitnessEntities
 

Public Types

enum class  EntityId : uint16_t {
  gemini_masking_poly = 0 , sigma_1 = 1 , sigma_2 = 2 , sigma_3 = 3 ,
  sigma_4 = 4 , id_1 = 5 , id_2 = 6 , id_3 = 7 ,
  id_4 = 8 , lagrange_first = 9 , lagrange_last = 10 , q_lookup = 11 ,
  table_1 = 12 , table_2 = 13 , table_3 = 14 , table_4 = 15 ,
  q_m = 16 , q_r = 17 , q_o = 18 , q_c = 19 ,
  q_l = 20 , q_4 = 21 , q_arith = 22 , q_delta_range = 23 ,
  q_elliptic = 24 , q_memory = 25 , q_nnf = 26 , q_poseidon2_external = 27 ,
  q_poseidon2_internal = 28 , w_l = 29 , w_r = 30 , w_o = 31 ,
  w_4 = 32 , z_perm = 33 , lookup_inverses = 34 , lookup_read_counts = 35 ,
  lookup_read_tags = 36 , w_l_shift = 37 , w_r_shift = 38 , w_o_shift = 39 ,
  w_4_shift = 40 , z_perm_shift = 41
}
 
template<typename FF >
using Relations_ = std::tuple< bb::UltraPermutationRelation< FF >, bb::LogDerivLookupRelation< FF >, bb::ArithmeticRelation< FF >, bb::DeltaRangeConstraintRelation< FF >, bb::EllipticRelation< FF >, bb::MemoryRelation< FF >, bb::NonNativeFieldRelation< FF >, bb::Poseidon2ExternalRelation< FF >, bb::Poseidon2InternalRelation< FF > >
 

Static Public Member Functions

template<typename TraceBlocks >
static auto get_gate_blocks (TraceBlocks &blocks)
 
template<typename TraceBlocks >
static auto get_gate_blocks (TraceBlocks const &blocks)
 
template<typename TraceBlock >
static auto get_block_non_gate_selectors (TraceBlock &block)
 

Static Public Attributes

static constexpr size_t NUM_PRECOMPUTED_ENTITIES = 28
 
static constexpr size_t NUM_WITNESS_ENTITIES = 8
 
static constexpr size_t NUM_MASKING_ENTITIES = 1
 
static constexpr size_t NUM_SHIFTED_ENTITIES = 5
 
static constexpr bool HasDataBus = false
 
static constexpr size_t NUM_BUS_COLUMNS = 0
 
static constexpr bool HasLogDerivLookup = true
 
static constexpr bool HasElliptic = true
 
static constexpr bool HasMemory = true
 
static constexpr bool HasNonNativeField = true
 
static constexpr bool HasEccOpQueue = false
 
static constexpr size_t NUM_COMMITTED_WITNESS_ENTITIES = NUM_WITNESS_ENTITIES + NUM_MASKING_ENTITIES
 
static constexpr size_t NUM_UNSHIFTED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_COMMITTED_WITNESS_ENTITIES
 
static constexpr size_t NUM_ALL_ENTITIES = NUM_UNSHIFTED_ENTITIES + NUM_SHIFTED_ENTITIES
 
static constexpr std::array< DuplicatePair, NUM_SHIFTED_ENTITIES > REPEATED_COMMITMENT_PAIRS
 
static constexpr RepeatedCommitmentsData REPEATED_COMMITMENTS
 
static constexpr std::array< GateKind, 8 > GATE_KINDS
 

Detailed Description

Definition at line 31 of file ultra_zk_flavor_generated.hpp.

Member Typedef Documentation

◆ Relations_

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

Definition at line 82 of file ultra_zk_flavor_generated.hpp.

Member Enumeration Documentation

◆ EntityId

enum class bb::UltraZKFlavor_Generated::EntityId : uint16_t
strong
Enumerator
gemini_masking_poly 
sigma_1 
sigma_2 
sigma_3 
sigma_4 
id_1 
id_2 
id_3 
id_4 
lagrange_first 
lagrange_last 
q_lookup 
table_1 
table_2 
table_3 
table_4 
q_m 
q_r 
q_o 
q_c 
q_l 
q_4 
q_arith 
q_delta_range 
q_elliptic 
q_memory 
q_nnf 
q_poseidon2_external 
q_poseidon2_internal 
w_l 
w_r 
w_o 
w_4 
z_perm 
lookup_inverses 
lookup_read_counts 
lookup_read_tags 
w_l_shift 
w_r_shift 
w_o_shift 
w_4_shift 
z_perm_shift 

Definition at line 34 of file ultra_zk_flavor_generated.hpp.

Member Function Documentation

◆ get_block_non_gate_selectors()

template<typename TraceBlock >
static auto bb::UltraZKFlavor_Generated::get_block_non_gate_selectors ( TraceBlock &  block)
inlinestatic

Definition at line 154 of file ultra_zk_flavor_generated.hpp.

◆ get_gate_blocks() [1/2]

template<typename TraceBlocks >
static auto bb::UltraZKFlavor_Generated::get_gate_blocks ( TraceBlocks &  blocks)
inlinestatic

Definition at line 117 of file ultra_zk_flavor_generated.hpp.

◆ get_gate_blocks() [2/2]

template<typename TraceBlocks >
static auto bb::UltraZKFlavor_Generated::get_gate_blocks ( TraceBlocks const &  blocks)
inlinestatic

Definition at line 132 of file ultra_zk_flavor_generated.hpp.

Member Data Documentation

◆ GATE_KINDS

constexpr std::array<GateKind, 8> bb::UltraZKFlavor_Generated::GATE_KINDS
staticconstexpr
Initial value:
{
GateKind::Lookup, GateKind::Arith, GateKind::DeltaRange, GateKind::Elliptic,
GateKind::Memory, GateKind::Nnf, GateKind::Poseidon2Ext, GateKind::Poseidon2Int,
}

Definition at line 148 of file ultra_zk_flavor_generated.hpp.

◆ HasDataBus

constexpr bool bb::UltraZKFlavor_Generated::HasDataBus = false
staticconstexpr

Definition at line 96 of file ultra_zk_flavor_generated.hpp.

◆ HasEccOpQueue

constexpr bool bb::UltraZKFlavor_Generated::HasEccOpQueue = false
staticconstexpr

Definition at line 102 of file ultra_zk_flavor_generated.hpp.

◆ HasElliptic

constexpr bool bb::UltraZKFlavor_Generated::HasElliptic = true
staticconstexpr

Definition at line 99 of file ultra_zk_flavor_generated.hpp.

◆ HasLogDerivLookup

constexpr bool bb::UltraZKFlavor_Generated::HasLogDerivLookup = true
staticconstexpr

Definition at line 98 of file ultra_zk_flavor_generated.hpp.

◆ HasMemory

constexpr bool bb::UltraZKFlavor_Generated::HasMemory = true
staticconstexpr

Definition at line 100 of file ultra_zk_flavor_generated.hpp.

◆ HasNonNativeField

constexpr bool bb::UltraZKFlavor_Generated::HasNonNativeField = true
staticconstexpr

Definition at line 101 of file ultra_zk_flavor_generated.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::UltraZKFlavor_Generated::NUM_ALL_ENTITIES = NUM_UNSHIFTED_ENTITIES + NUM_SHIFTED_ENTITIES
staticconstexpr

Definition at line 105 of file ultra_zk_flavor_generated.hpp.

◆ NUM_BUS_COLUMNS

constexpr size_t bb::UltraZKFlavor_Generated::NUM_BUS_COLUMNS = 0
staticconstexpr

Definition at line 97 of file ultra_zk_flavor_generated.hpp.

◆ NUM_COMMITTED_WITNESS_ENTITIES

constexpr size_t bb::UltraZKFlavor_Generated::NUM_COMMITTED_WITNESS_ENTITIES = NUM_WITNESS_ENTITIES + NUM_MASKING_ENTITIES
staticconstexpr

Definition at line 103 of file ultra_zk_flavor_generated.hpp.

◆ NUM_MASKING_ENTITIES

constexpr size_t bb::UltraZKFlavor_Generated::NUM_MASKING_ENTITIES = 1
staticconstexpr

Definition at line 94 of file ultra_zk_flavor_generated.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::UltraZKFlavor_Generated::NUM_PRECOMPUTED_ENTITIES = 28
staticconstexpr

Definition at line 92 of file ultra_zk_flavor_generated.hpp.

◆ NUM_SHIFTED_ENTITIES

constexpr size_t bb::UltraZKFlavor_Generated::NUM_SHIFTED_ENTITIES = 5
staticconstexpr

Definition at line 95 of file ultra_zk_flavor_generated.hpp.

◆ NUM_UNSHIFTED_ENTITIES

constexpr size_t bb::UltraZKFlavor_Generated::NUM_UNSHIFTED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_COMMITTED_WITNESS_ENTITIES
staticconstexpr

Definition at line 104 of file ultra_zk_flavor_generated.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::UltraZKFlavor_Generated::NUM_WITNESS_ENTITIES = 8
staticconstexpr

Definition at line 93 of file ultra_zk_flavor_generated.hpp.

◆ REPEATED_COMMITMENT_PAIRS

constexpr std::array<DuplicatePair, NUM_SHIFTED_ENTITIES> bb::UltraZKFlavor_Generated::REPEATED_COMMITMENT_PAIRS
staticconstexpr
Initial value:
= {
DuplicatePair{ 29, 37 }, DuplicatePair{ 30, 38 }, DuplicatePair{ 31, 39 },
DuplicatePair{ 32, 40 }, DuplicatePair{ 33, 41 },
}
bb::DuplicatePair
One commitment shared by an unshifted polynomial and its shifted copy.
Definition repeated_commitments_data.hpp:72

Definition at line 109 of file ultra_zk_flavor_generated.hpp.

◆ REPEATED_COMMITMENTS

constexpr RepeatedCommitmentsData bb::UltraZKFlavor_Generated::REPEATED_COMMITMENTS
staticconstexpr
Initial value:
=
repeated_commitments_from_pairs(REPEATED_COMMITMENT_PAIRS)
bb::UltraZKFlavor_Generated::REPEATED_COMMITMENT_PAIRS
static constexpr std::array< DuplicatePair, NUM_SHIFTED_ENTITIES > REPEATED_COMMITMENT_PAIRS
Definition ultra_zk_flavor_generated.hpp:109
bb::repeated_commitments_from_pairs
constexpr RepeatedCommitmentsData repeated_commitments_from_pairs(std::span< const DuplicatePair > pairs)
Collapse a span of (original, duplicate) pairs into a RepeatedCommitmentsData of up to two contiguous...
Definition repeated_commitments_data.hpp:86

Definition at line 113 of file ultra_zk_flavor_generated.hpp.

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