bb::MegaFlavor_Generated Class Reference

#include <mega_flavor_generated.hpp>

Inheritance diagram for bb::MegaFlavor_Generated:

Classes
class	AllEntities
class	PrecomputedEntities
class	WitnessEntities

Public Types
enum class	EntityId : uint16_t {   sigma_1 = 0 , sigma_2 = 1 , sigma_3 = 2 , sigma_4 = 3 ,   id_1 = 4 , id_2 = 5 , id_3 = 6 , id_4 = 7 ,   lagrange_first = 8 , lagrange_last = 9 , q_lookup = 10 , table_1 = 11 ,   table_2 = 12 , table_3 = 13 , table_4 = 14 , q_m = 15 ,   q_r = 16 , q_o = 17 , q_c = 18 , q_l = 19 ,   q_4 = 20 , q_arith = 21 , q_bilinear_batched_eq = 22 , q_delta_range = 23 ,   q_elliptic = 24 , q_memory = 25 , q_nnf = 26 , lagrange_ecc_op = 27 ,   q_busread = 28 , kernel_calldata_indicator = 29 , databus_id = 30 , first_app_calldata_indicator = 31 ,   second_app_calldata_indicator = 32 , third_app_calldata_indicator = 33 , fourth_app_calldata_indicator = 34 , q_5 = 35 ,   fifth_app_calldata_indicator = 36 , return_data_indicator = 37 , q_poseidon2_external = 38 , q_poseidon2_external_initial = 39 ,   q_poseidon2_quad_internal = 40 , q_poseidon2_quad_internal_terminal = 41 , q_poseidon2_transition_entry = 42 , w_l = 43 ,   w_r = 44 , w_o = 45 , w_4 = 46 , z_perm = 47 ,   lookup_inverses = 48 , lookup_read_counts = 49 , lookup_read_tags = 50 , ecc_op_wire_1 = 51 ,   ecc_op_wire_2 = 52 , ecc_op_wire_3 = 53 , ecc_op_wire_4 = 54 , kernel_calldata = 55 ,   kernel_calldata_read_counts = 56 , kernel_calldata_inverses = 57 , first_app_calldata = 58 , first_app_calldata_read_counts = 59 ,   first_app_calldata_inverses = 60 , second_app_calldata = 61 , second_app_calldata_read_counts = 62 , second_app_calldata_inverses = 63 ,   third_app_calldata = 64 , third_app_calldata_read_counts = 65 , third_app_calldata_inverses = 66 , fourth_app_calldata = 67 ,   fourth_app_calldata_read_counts = 68 , fourth_app_calldata_inverses = 69 , fifth_app_calldata = 70 , fifth_app_calldata_read_counts = 71 ,   fifth_app_calldata_inverses = 72 , return_data = 73 , return_data_read_counts = 74 , return_data_inverses = 75 ,   w_l_shift = 76 , w_r_shift = 77 , w_o_shift = 78 , w_4_shift = 79 ,   z_perm_shift = 80 }
template<typename FF >
using	Relations_ = std::tuple< bb::UltraPermutationRelation< FF >, bb::LogDerivLookupRelation< FF >, bb::ArithmeticRelation< FF >, bb::BilinearOrBatchedEqCheckRelation< FF >, bb::DeltaRangeConstraintRelation< FF >, bb::EllipticRelation< FF >, bb::MemoryRelation< FF >, bb::NonNativeFieldRelation< FF >, bb::EccOpQueueRelation< FF >, bb::SingleBusLookupRelation< FF, EntityId::kernel_calldata, EntityId::kernel_calldata_read_counts, EntityId::kernel_calldata_inverses, EntityId::kernel_calldata_indicator, EntityId::q_l >, bb::SingleBusLookupRelation< FF, EntityId::first_app_calldata, EntityId::first_app_calldata_read_counts, EntityId::first_app_calldata_inverses, EntityId::first_app_calldata_indicator, EntityId::q_r >, bb::SingleBusLookupRelation< FF, EntityId::second_app_calldata, EntityId::second_app_calldata_read_counts, EntityId::second_app_calldata_inverses, EntityId::second_app_calldata_indicator, EntityId::q_o >, bb::SingleBusLookupRelation< FF, EntityId::third_app_calldata, EntityId::third_app_calldata_read_counts, EntityId::third_app_calldata_inverses, EntityId::third_app_calldata_indicator, EntityId::q_4 >, bb::SingleBusLookupRelation< FF, EntityId::fourth_app_calldata, EntityId::fourth_app_calldata_read_counts, EntityId::fourth_app_calldata_inverses, EntityId::fourth_app_calldata_indicator, EntityId::q_5 >, bb::SingleBusLookupRelation< FF, EntityId::fifth_app_calldata, EntityId::fifth_app_calldata_read_counts, EntityId::fifth_app_calldata_inverses, EntityId::fifth_app_calldata_indicator, EntityId::q_c >, bb::SingleBusLookupRelation< FF, EntityId::return_data, EntityId::return_data_read_counts, EntityId::return_data_inverses, EntityId::return_data_indicator, EntityId::q_m >, 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 = 43
static constexpr size_t	NUM_WITNESS_ENTITIES = 33
static constexpr size_t	NUM_MASKING_ENTITIES = 0
static constexpr size_t	NUM_SHIFTED_ENTITIES = 5
static constexpr bool	HasDataBus = true
static constexpr size_t	NUM_BUS_COLUMNS = 7
static constexpr std::array< size_t, NUM_BUS_COLUMNS >	BUILDER_BUS_INDICES = { 0, 1, 2, 3, 4, 5, 6 }
static constexpr bool	HasLogDerivLookup = true
static constexpr bool	HasElliptic = true
static constexpr bool	HasMemory = true
static constexpr bool	HasNonNativeField = true
static constexpr bool	HasEccOpQueue = true
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, 13 >	GATE_KINDS

Detailed Description

Definition at line 37 of file mega_flavor_generated.hpp.

Member Typedef Documentation

Relations_

template<typename FF >

using bb::MegaFlavor_Generated::Relations_ = std::tuple<bb::UltraPermutationRelation<FF>, bb::LogDerivLookupRelation<FF>, bb::ArithmeticRelation<FF>, bb::BilinearOrBatchedEqCheckRelation<FF>, bb::DeltaRangeConstraintRelation<FF>, bb::EllipticRelation<FF>, bb::MemoryRelation<FF>, bb::NonNativeFieldRelation<FF>, bb::EccOpQueueRelation<FF>, bb::SingleBusLookupRelation<FF, EntityId::kernel_calldata, EntityId::kernel_calldata_read_counts, EntityId::kernel_calldata_inverses, EntityId::kernel_calldata_indicator, EntityId::q_l>, bb::SingleBusLookupRelation<FF, EntityId::first_app_calldata, EntityId::first_app_calldata_read_counts, EntityId::first_app_calldata_inverses, EntityId::first_app_calldata_indicator, EntityId::q_r>, bb::SingleBusLookupRelation<FF, EntityId::second_app_calldata, EntityId::second_app_calldata_read_counts, EntityId::second_app_calldata_inverses, EntityId::second_app_calldata_indicator, EntityId::q_o>, bb::SingleBusLookupRelation<FF, EntityId::third_app_calldata, EntityId::third_app_calldata_read_counts, EntityId::third_app_calldata_inverses, EntityId::third_app_calldata_indicator, EntityId::q_4>, bb::SingleBusLookupRelation<FF, EntityId::fourth_app_calldata, EntityId::fourth_app_calldata_read_counts, EntityId::fourth_app_calldata_inverses, EntityId::fourth_app_calldata_indicator, EntityId::q_5>, bb::SingleBusLookupRelation<FF, EntityId::fifth_app_calldata, EntityId::fifth_app_calldata_read_counts, EntityId::fifth_app_calldata_inverses, EntityId::fifth_app_calldata_indicator, EntityId::q_c>, bb::SingleBusLookupRelation<FF, EntityId::return_data, EntityId::return_data_read_counts, EntityId::return_data_inverses, EntityId::return_data_indicator, EntityId::q_m>, bb::Poseidon2ExternalRelation<FF>, bb::Poseidon2InitialExternalRelation<FF>, bb::Poseidon2QuadInternalRelation<FF>, bb::Poseidon2QuadInternalTerminalRelation<FF>, bb::Poseidon2TransitionEntryRelation<FF> >

Definition at line 127 of file mega_flavor_generated.hpp.

Member Enumeration Documentation

EntityId

enum class bb::MegaFlavor_Generated::EntityId : uint16_t

strong

Enumerator
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_bilinear_batched_eq
q_delta_range
q_elliptic
q_memory
q_nnf
lagrange_ecc_op
q_busread
kernel_calldata_indicator
databus_id
first_app_calldata_indicator
second_app_calldata_indicator
third_app_calldata_indicator
fourth_app_calldata_indicator
q_5
fifth_app_calldata_indicator
return_data_indicator
q_poseidon2_external
q_poseidon2_external_initial
q_poseidon2_quad_internal
q_poseidon2_quad_internal_terminal
q_poseidon2_transition_entry
w_l
w_r
w_o
w_4
z_perm
lookup_inverses
lookup_read_counts
lookup_read_tags
ecc_op_wire_1
ecc_op_wire_2
ecc_op_wire_3
ecc_op_wire_4
kernel_calldata
kernel_calldata_read_counts
kernel_calldata_inverses
first_app_calldata
first_app_calldata_read_counts
first_app_calldata_inverses
second_app_calldata
second_app_calldata_read_counts
second_app_calldata_inverses
third_app_calldata
third_app_calldata_read_counts
third_app_calldata_inverses
fourth_app_calldata
fourth_app_calldata_read_counts
fourth_app_calldata_inverses
fifth_app_calldata
fifth_app_calldata_read_counts
fifth_app_calldata_inverses
return_data
return_data_read_counts
return_data_inverses
w_l_shift
w_r_shift
w_o_shift
w_4_shift
z_perm_shift

Definition at line 40 of file mega_flavor_generated.hpp.

Member Function Documentation

get_block_non_gate_selectors()

template<typename TraceBlock >

static auto bb::MegaFlavor_Generated::get_block_non_gate_selectors ( TraceBlock &  block )

inlinestatic

Definition at line 268 of file mega_flavor_generated.hpp.

get_gate_blocks() [1/2]

template<typename TraceBlocks >

static auto bb::MegaFlavor_Generated::get_gate_blocks ( TraceBlocks &  blocks )

inlinestatic

Definition at line 210 of file mega_flavor_generated.hpp.

get_gate_blocks() [2/2]

template<typename TraceBlocks >

static auto bb::MegaFlavor_Generated::get_gate_blocks ( TraceBlocks const &  blocks )

inlinestatic

Definition at line 230 of file mega_flavor_generated.hpp.

Member Data Documentation

BUILDER_BUS_INDICES

constexpr std::array<size_t, NUM_BUS_COLUMNS> bb::MegaFlavor_Generated::BUILDER_BUS_INDICES = { 0, 1, 2, 3, 4, 5, 6 }

staticconstexpr

Definition at line 190 of file mega_flavor_generated.hpp.

GATE_KINDS

constexpr std::array<GateKind, 13> bb::MegaFlavor_Generated::GATE_KINDS

staticconstexpr

Initial value:

{
        GateKind::Lookup,
        GateKind::Arith,
        GateKind::BilinearBatchedEq,
        GateKind::DeltaRange,
        GateKind::Elliptic,
        GateKind::Memory,
        GateKind::Nnf,
        GateKind::BusRead,
        GateKind::Poseidon2Ext,
        GateKind::Poseidon2ExtInitial,
        GateKind::Poseidon2QuadInt,
        GateKind::Poseidon2QuadIntTerminal,
        GateKind::Poseidon2TransitionEntry,
    }

Definition at line 251 of file mega_flavor_generated.hpp.

HasDataBus

constexpr bool bb::MegaFlavor_Generated::HasDataBus = true

staticconstexpr

Definition at line 188 of file mega_flavor_generated.hpp.

HasEccOpQueue

constexpr bool bb::MegaFlavor_Generated::HasEccOpQueue = true

staticconstexpr

Definition at line 195 of file mega_flavor_generated.hpp.

HasElliptic

constexpr bool bb::MegaFlavor_Generated::HasElliptic = true

staticconstexpr

Definition at line 192 of file mega_flavor_generated.hpp.

HasLogDerivLookup

constexpr bool bb::MegaFlavor_Generated::HasLogDerivLookup = true

staticconstexpr

Definition at line 191 of file mega_flavor_generated.hpp.

HasMemory

constexpr bool bb::MegaFlavor_Generated::HasMemory = true

staticconstexpr

Definition at line 193 of file mega_flavor_generated.hpp.

HasNonNativeField

constexpr bool bb::MegaFlavor_Generated::HasNonNativeField = true

staticconstexpr

Definition at line 194 of file mega_flavor_generated.hpp.

NUM_ALL_ENTITIES

constexpr size_t bb::MegaFlavor_Generated::NUM_ALL_ENTITIES = NUM_UNSHIFTED_ENTITIES + NUM_SHIFTED_ENTITIES

staticconstexpr

Definition at line 198 of file mega_flavor_generated.hpp.

NUM_BUS_COLUMNS

constexpr size_t bb::MegaFlavor_Generated::NUM_BUS_COLUMNS = 7

staticconstexpr

Definition at line 189 of file mega_flavor_generated.hpp.

NUM_COMMITTED_WITNESS_ENTITIES

constexpr size_t bb::MegaFlavor_Generated::NUM_COMMITTED_WITNESS_ENTITIES = NUM_WITNESS_ENTITIES + NUM_MASKING_ENTITIES

staticconstexpr

Definition at line 196 of file mega_flavor_generated.hpp.

NUM_MASKING_ENTITIES

constexpr size_t bb::MegaFlavor_Generated::NUM_MASKING_ENTITIES = 0

staticconstexpr

Definition at line 186 of file mega_flavor_generated.hpp.

NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::MegaFlavor_Generated::NUM_PRECOMPUTED_ENTITIES = 43

staticconstexpr

Definition at line 184 of file mega_flavor_generated.hpp.

NUM_SHIFTED_ENTITIES

constexpr size_t bb::MegaFlavor_Generated::NUM_SHIFTED_ENTITIES = 5

staticconstexpr

Definition at line 187 of file mega_flavor_generated.hpp.

NUM_UNSHIFTED_ENTITIES

constexpr size_t bb::MegaFlavor_Generated::NUM_UNSHIFTED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_COMMITTED_WITNESS_ENTITIES

staticconstexpr

Definition at line 197 of file mega_flavor_generated.hpp.

NUM_WITNESS_ENTITIES

constexpr size_t bb::MegaFlavor_Generated::NUM_WITNESS_ENTITIES = 33

staticconstexpr

Definition at line 185 of file mega_flavor_generated.hpp.

REPEATED_COMMITMENT_PAIRS

constexpr std::array<DuplicatePair, NUM_SHIFTED_ENTITIES> bb::MegaFlavor_Generated::REPEATED_COMMITMENT_PAIRS

staticconstexpr

Initial value:

= {
        DuplicatePair{ 43, 76 }, DuplicatePair{ 44, 77 }, DuplicatePair{ 45, 78 },
        DuplicatePair{ 46, 79 }, DuplicatePair{ 47, 80 },
    }

Definition at line 202 of file mega_flavor_generated.hpp.

REPEATED_COMMITMENTS

constexpr RepeatedCommitmentsData bb::MegaFlavor_Generated::REPEATED_COMMITMENTS

staticconstexpr

Initial value:

=
        repeated_commitments_from_pairs(REPEATED_COMMITMENT_PAIRS)

Definition at line 206 of file mega_flavor_generated.hpp.

---

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

• src/barretenberg/flavor/generated/mega_flavor_generated.hpp