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

#include <mega_avm_flavor_generated.hpp>

Inheritance diagram for bb::MegaAVMFlavor_Generated:
bb::MegaAvmFlavor

Classes

class  AllEntities
 
class  PrecomputedEntities
 
class  WitnessEntities
 

Public Types

enum class  EntityId : uint16_t {
  q_m = 0 , q_l = 1 , q_r = 2 , q_o = 3 ,
  q_4 = 4 , q_c = 5 , q_arith = 6 , sigma_1 = 7 ,
  sigma_2 = 8 , sigma_3 = 9 , sigma_4 = 10 , id_1 = 11 ,
  id_2 = 12 , id_3 = 13 , id_4 = 14 , lagrange_first = 15 ,
  lagrange_last = 16 , q_delta_range = 17 , lagrange_ecc_op = 18 , q_poseidon2_external = 19 ,
  q_poseidon2_external_initial = 20 , q_poseidon2_quad_internal = 21 , q_5 = 22 , q_poseidon2_quad_internal_terminal = 23 ,
  q_poseidon2_transition_entry = 24 , w_l = 25 , w_r = 26 , w_o = 27 ,
  w_4 = 28 , z_perm = 29 , ecc_op_wire_1 = 30 , ecc_op_wire_2 = 31 ,
  ecc_op_wire_3 = 32 , ecc_op_wire_4 = 33 , w_l_shift = 34 , w_r_shift = 35 ,
  w_o_shift = 36 , w_4_shift = 37 , z_perm_shift = 38
}
 
template<typename FF >
using Relations_ = std::tuple< bb::ArithmeticRelation< FF >, bb::UltraPermutationRelation< FF >, bb::DeltaRangeConstraintRelation< FF >, bb::EccOpQueueRelation< FF >, bb::Poseidon2ExternalRelation< FF >, bb::Poseidon2InitialExternalRelation< FF >, bb::Poseidon2QuadInternalRelation< FF >, bb::Poseidon2QuadInternalTerminalRelation< FF >, bb::Poseidon2TransitionEntryRelation< 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 = 25
 
static constexpr size_t NUM_WITNESS_ENTITIES = 9
 
static constexpr size_t NUM_MASKING_ENTITIES = 0
 
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 = false
 
static constexpr bool HasElliptic = false
 
static constexpr bool HasMemory = false
 
static constexpr bool HasNonNativeField = false
 
static constexpr bool HasEccOpQueue = true
 
static constexpr size_t NUM_COMMITTED_WITNESS_ENTITIES
 
static constexpr size_t NUM_UNSHIFTED_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, 7 > GATE_KINDS
 

Detailed Description

Definition at line 31 of file mega_avm_flavor_generated.hpp.

Member Typedef Documentation

◆ Relations_

template<typename FF >
using bb::MegaAVMFlavor_Generated::Relations_ = std::tuple< bb::ArithmeticRelation<FF>, bb::UltraPermutationRelation<FF>, bb::DeltaRangeConstraintRelation<FF>, bb::EccOpQueueRelation<FF>, bb::Poseidon2ExternalRelation<FF>, bb::Poseidon2InitialExternalRelation<FF>, bb::Poseidon2QuadInternalRelation<FF>, bb::Poseidon2QuadInternalTerminalRelation<FF>, bb::Poseidon2TransitionEntryRelation<FF> >

Definition at line 79 of file mega_avm_flavor_generated.hpp.

Member Enumeration Documentation

◆ EntityId

enum class bb::MegaAVMFlavor_Generated::EntityId : uint16_t
strong
Enumerator
q_m 
q_l 
q_r 
q_o 
q_4 
q_c 
q_arith 
sigma_1 
sigma_2 
sigma_3 
sigma_4 
id_1 
id_2 
id_3 
id_4 
lagrange_first 
lagrange_last 
q_delta_range 
lagrange_ecc_op 
q_poseidon2_external 
q_poseidon2_external_initial 
q_poseidon2_quad_internal 
q_5 
q_poseidon2_quad_internal_terminal 
q_poseidon2_transition_entry 
w_l 
w_r 
w_o 
w_4 
z_perm 
ecc_op_wire_1 
ecc_op_wire_2 
ecc_op_wire_3 
ecc_op_wire_4 
w_l_shift 
w_r_shift 
w_o_shift 
w_4_shift 
z_perm_shift 

Definition at line 34 of file mega_avm_flavor_generated.hpp.

Member Function Documentation

◆ get_block_non_gate_selectors()

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

Definition at line 163 of file mega_avm_flavor_generated.hpp.

◆ get_gate_blocks() [1/2]

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

Definition at line 121 of file mega_avm_flavor_generated.hpp.

◆ get_gate_blocks() [2/2]

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

Definition at line 136 of file mega_avm_flavor_generated.hpp.

Member Data Documentation

◆ GATE_KINDS

constexpr std::array<GateKind, 7> bb::MegaAVMFlavor_Generated::GATE_KINDS
staticconstexpr
Initial value:
{
GateKind::Arith,
GateKind::DeltaRange,
GateKind::Poseidon2Ext,
GateKind::Poseidon2ExtInitial,
GateKind::Poseidon2QuadInt,
GateKind::Poseidon2QuadIntTerminal,
GateKind::Poseidon2TransitionEntry,
}
bb::GateKind::Poseidon2QuadIntTerminal
@ Poseidon2QuadIntTerminal
bb::GateKind::Poseidon2TransitionEntry
@ Poseidon2TransitionEntry

Definition at line 151 of file mega_avm_flavor_generated.hpp.

◆ HasDataBus

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

Definition at line 94 of file mega_avm_flavor_generated.hpp.

◆ HasEccOpQueue

constexpr bool bb::MegaAVMFlavor_Generated::HasEccOpQueue = true
staticconstexpr

Definition at line 100 of file mega_avm_flavor_generated.hpp.

◆ HasElliptic

constexpr bool bb::MegaAVMFlavor_Generated::HasElliptic = false
staticconstexpr

Definition at line 97 of file mega_avm_flavor_generated.hpp.

◆ HasLogDerivLookup

constexpr bool bb::MegaAVMFlavor_Generated::HasLogDerivLookup = false
staticconstexpr

Definition at line 96 of file mega_avm_flavor_generated.hpp.

◆ HasMemory

constexpr bool bb::MegaAVMFlavor_Generated::HasMemory = false
staticconstexpr

Definition at line 98 of file mega_avm_flavor_generated.hpp.

◆ HasNonNativeField

constexpr bool bb::MegaAVMFlavor_Generated::HasNonNativeField = false
staticconstexpr

Definition at line 99 of file mega_avm_flavor_generated.hpp.

◆ NUM_ALL_ENTITIES

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

Definition at line 105 of file mega_avm_flavor_generated.hpp.

◆ NUM_BUS_COLUMNS

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

Definition at line 95 of file mega_avm_flavor_generated.hpp.

◆ NUM_COMMITTED_WITNESS_ENTITIES

constexpr size_t bb::MegaAVMFlavor_Generated::NUM_COMMITTED_WITNESS_ENTITIES
staticconstexpr
Initial value:
=
NUM_WITNESS_ENTITIES + NUM_MASKING_ENTITIES
bb::MegaAVMFlavor_Generated::NUM_MASKING_ENTITIES
static constexpr size_t NUM_MASKING_ENTITIES
Definition mega_avm_flavor_generated.hpp:92
bb::MegaAVMFlavor_Generated::NUM_WITNESS_ENTITIES
static constexpr size_t NUM_WITNESS_ENTITIES
Definition mega_avm_flavor_generated.hpp:91

Definition at line 101 of file mega_avm_flavor_generated.hpp.

◆ NUM_MASKING_ENTITIES

constexpr size_t bb::MegaAVMFlavor_Generated::NUM_MASKING_ENTITIES = 0
staticconstexpr

Definition at line 92 of file mega_avm_flavor_generated.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::MegaAVMFlavor_Generated::NUM_PRECOMPUTED_ENTITIES = 25
staticconstexpr

Definition at line 90 of file mega_avm_flavor_generated.hpp.

◆ NUM_SHIFTED_ENTITIES

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

Definition at line 93 of file mega_avm_flavor_generated.hpp.

◆ NUM_UNSHIFTED_ENTITIES

constexpr size_t bb::MegaAVMFlavor_Generated::NUM_UNSHIFTED_ENTITIES
staticconstexpr
Initial value:
=
NUM_PRECOMPUTED_ENTITIES + NUM_COMMITTED_WITNESS_ENTITIES
bb::MegaAVMFlavor_Generated::NUM_COMMITTED_WITNESS_ENTITIES
static constexpr size_t NUM_COMMITTED_WITNESS_ENTITIES
Definition mega_avm_flavor_generated.hpp:101
bb::MegaAVMFlavor_Generated::NUM_PRECOMPUTED_ENTITIES
static constexpr size_t NUM_PRECOMPUTED_ENTITIES
Definition mega_avm_flavor_generated.hpp:90

Definition at line 103 of file mega_avm_flavor_generated.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::MegaAVMFlavor_Generated::NUM_WITNESS_ENTITIES = 9
staticconstexpr

Definition at line 91 of file mega_avm_flavor_generated.hpp.

◆ REPEATED_COMMITMENT_PAIRS

constexpr std::array<DuplicatePair, NUM_SHIFTED_ENTITIES> bb::MegaAVMFlavor_Generated::REPEATED_COMMITMENT_PAIRS
staticconstexpr
Initial value:
= {
DuplicatePair{ 25, 34 },
DuplicatePair{ 26, 35 },
DuplicatePair{ 27, 36 },
DuplicatePair{ 28, 37 },
DuplicatePair{ 29, 38 },
}
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 mega_avm_flavor_generated.hpp.

◆ REPEATED_COMMITMENTS

constexpr RepeatedCommitmentsData bb::MegaAVMFlavor_Generated::REPEATED_COMMITMENTS
staticconstexpr
Initial value:
=
repeated_commitments_from_pairs(REPEATED_COMMITMENT_PAIRS)
bb::MegaAVMFlavor_Generated::REPEATED_COMMITMENT_PAIRS
static constexpr std::array< DuplicatePair, NUM_SHIFTED_ENTITIES > REPEATED_COMMITMENT_PAIRS
Definition mega_avm_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 116 of file mega_avm_flavor_generated.hpp.

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