#include <mega_kernel_flavor_generated.hpp>

Inheritance diagram for bb::MegaKernelFlavor_Generated:

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 , q_bilinear_batched_eq = 7 , sigma_1 = 8 , sigma_2 = 9 , sigma_3 = 10 , sigma_4 = 11 , id_1 = 12 , id_2 = 13 , id_3 = 14 , id_4 = 15 , lagrange_first = 16 , lagrange_last = 17 , q_delta_range = 18 , q_elliptic = 19 , q_memory = 20 , lagrange_ecc_op = 21 , q_busread = 22 , kernel_calldata_indicator = 23 , databus_id = 24 , first_app_calldata_indicator = 25 , second_app_calldata_indicator = 26 , third_app_calldata_indicator = 27 , fourth_app_calldata_indicator = 28 , q_5 = 29 , fifth_app_calldata_indicator = 30 , return_data_indicator = 31 , q_poseidon2_external = 32 , q_poseidon2_external_initial = 33 , q_poseidon2_quad_internal = 34 , q_poseidon2_quad_internal_terminal = 35 , q_poseidon2_transition_entry = 36 , w_l = 37 , w_r = 38 , w_o = 39 , w_4 = 40 , z_perm = 41 , ecc_op_wire_1 = 42 , ecc_op_wire_2 = 43 , ecc_op_wire_3 = 44 , ecc_op_wire_4 = 45 , kernel_calldata = 46 , kernel_calldata_read_counts = 47 , kernel_calldata_inverses = 48 , first_app_calldata = 49 , first_app_calldata_read_counts = 50 , first_app_calldata_inverses = 51 , second_app_calldata = 52 , second_app_calldata_read_counts = 53 , second_app_calldata_inverses = 54 , third_app_calldata = 55 , third_app_calldata_read_counts = 56 , third_app_calldata_inverses = 57 , fourth_app_calldata = 58 , fourth_app_calldata_read_counts = 59 , fourth_app_calldata_inverses = 60 , fifth_app_calldata = 61 , fifth_app_calldata_read_counts = 62 , fifth_app_calldata_inverses = 63 , return_data = 64 , return_data_read_counts = 65 , return_data_inverses = 66 , w_l_shift = 67 , w_r_shift = 68 , w_o_shift = 69 , w_4_shift = 70 , z_perm_shift = 71 }

template<typename FF >
using	Relations_ = std::tuple< bb::ArithmeticRelation< FF >, bb::BilinearOrBatchedEqCheckRelation< FF >, bb::UltraPermutationRelation< FF >, bb::DeltaRangeConstraintRelation< FF >, bb::EllipticRelation< FF >, bb::MemoryRelation< 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 = 37

static constexpr size_t	NUM_WITNESS_ENTITIES = 30

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 = false

static constexpr bool	HasElliptic = true

static constexpr bool	HasMemory = true

static constexpr bool	HasNonNativeField = false

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, 11 >	GATE_KINDS

Detailed Description

Definition at line 35 of file mega_kernel_flavor_generated.hpp.

Member Typedef Documentation

◆ Relations_

template<typename FF >

using bb::MegaKernelFlavor_Generated::Relations_ = std::tuple<bb::ArithmeticRelation<FF>, bb::BilinearOrBatchedEqCheckRelation<FF>, bb::UltraPermutationRelation<FF>, bb::DeltaRangeConstraintRelation<FF>, bb::EllipticRelation<FF>, bb::MemoryRelation<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 116 of file mega_kernel_flavor_generated.hpp.

Member Enumeration Documentation

◆ EntityId

enum class bb::MegaKernelFlavor_Generated::EntityId : uint16_t

strong

Enumerator
q_m
q_l
q_r
q_o
q_4
q_c
q_arith
q_bilinear_batched_eq
sigma_1
sigma_2
sigma_3
sigma_4
id_1
id_2
id_3
id_4
lagrange_first
lagrange_last
q_delta_range
q_elliptic
q_memory
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
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 38 of file mega_kernel_flavor_generated.hpp.

Member Function Documentation

◆ get_block_non_gate_selectors()

template<typename TraceBlock >

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

inlinestatic

Definition at line 249 of file mega_kernel_flavor_generated.hpp.

◆ get_gate_blocks() [1/2]

template<typename TraceBlocks >

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

inlinestatic

Definition at line 197 of file mega_kernel_flavor_generated.hpp.

◆ get_gate_blocks() [2/2]

template<typename TraceBlocks >

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

inlinestatic

Definition at line 215 of file mega_kernel_flavor_generated.hpp.

Member Data Documentation

◆ BUILDER_BUS_INDICES

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

staticconstexpr

Definition at line 177 of file mega_kernel_flavor_generated.hpp.

◆ GATE_KINDS

constexpr std::array<GateKind, 11> bb::MegaKernelFlavor_Generated::GATE_KINDS

staticconstexpr

Initial value:

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

Definition at line 234 of file mega_kernel_flavor_generated.hpp.

◆ HasDataBus

constexpr bool bb::MegaKernelFlavor_Generated::HasDataBus = true

staticconstexpr

Definition at line 175 of file mega_kernel_flavor_generated.hpp.

◆ HasEccOpQueue

constexpr bool bb::MegaKernelFlavor_Generated::HasEccOpQueue = true

staticconstexpr

Definition at line 182 of file mega_kernel_flavor_generated.hpp.

◆ HasElliptic

constexpr bool bb::MegaKernelFlavor_Generated::HasElliptic = true

staticconstexpr

Definition at line 179 of file mega_kernel_flavor_generated.hpp.

◆ HasLogDerivLookup

constexpr bool bb::MegaKernelFlavor_Generated::HasLogDerivLookup = false

staticconstexpr

Definition at line 178 of file mega_kernel_flavor_generated.hpp.

◆ HasMemory

constexpr bool bb::MegaKernelFlavor_Generated::HasMemory = true

staticconstexpr

Definition at line 180 of file mega_kernel_flavor_generated.hpp.

◆ HasNonNativeField

constexpr bool bb::MegaKernelFlavor_Generated::HasNonNativeField = false

staticconstexpr

Definition at line 181 of file mega_kernel_flavor_generated.hpp.

◆ NUM_ALL_ENTITIES

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

staticconstexpr

Definition at line 185 of file mega_kernel_flavor_generated.hpp.

◆ NUM_BUS_COLUMNS

constexpr size_t bb::MegaKernelFlavor_Generated::NUM_BUS_COLUMNS = 7

staticconstexpr

Definition at line 176 of file mega_kernel_flavor_generated.hpp.

◆ NUM_COMMITTED_WITNESS_ENTITIES

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

staticconstexpr

Definition at line 183 of file mega_kernel_flavor_generated.hpp.

◆ NUM_MASKING_ENTITIES

constexpr size_t bb::MegaKernelFlavor_Generated::NUM_MASKING_ENTITIES = 0

staticconstexpr

Definition at line 173 of file mega_kernel_flavor_generated.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::MegaKernelFlavor_Generated::NUM_PRECOMPUTED_ENTITIES = 37

staticconstexpr

Definition at line 171 of file mega_kernel_flavor_generated.hpp.

◆ NUM_SHIFTED_ENTITIES

constexpr size_t bb::MegaKernelFlavor_Generated::NUM_SHIFTED_ENTITIES = 5

staticconstexpr

Definition at line 174 of file mega_kernel_flavor_generated.hpp.

◆ NUM_UNSHIFTED_ENTITIES

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

staticconstexpr

Definition at line 184 of file mega_kernel_flavor_generated.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::MegaKernelFlavor_Generated::NUM_WITNESS_ENTITIES = 30

staticconstexpr

Definition at line 172 of file mega_kernel_flavor_generated.hpp.

◆ REPEATED_COMMITMENT_PAIRS

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

staticconstexpr

Initial value:

= {
        DuplicatePair{ 37, 67 }, DuplicatePair{ 38, 68 }, DuplicatePair{ 39, 69 },
        DuplicatePair{ 40, 70 }, DuplicatePair{ 41, 71 },
    }

Definition at line 189 of file mega_kernel_flavor_generated.hpp.

◆ REPEATED_COMMITMENTS

constexpr RepeatedCommitmentsData bb::MegaKernelFlavor_Generated::REPEATED_COMMITMENTS

staticconstexpr

Initial value:

=

repeated_commitments_from_pairs(REPEATED_COMMITMENT_PAIRS)

bb::MegaKernelFlavor_Generated::REPEATED_COMMITMENT_PAIRS

static constexpr std::array< DuplicatePair, NUM_SHIFTED_ENTITIES > REPEATED_COMMITMENT_PAIRS

Definition mega_kernel_flavor_generated.hpp:189

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 193 of file mega_kernel_flavor_generated.hpp.

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

src/barretenberg/flavor/generated/mega_kernel_flavor_generated.hpp

Classes

Public Types

Static Public Member Functions

Static Public Attributes

Detailed Description

Member Typedef Documentation

◆ Relations_

Member Enumeration Documentation

◆ EntityId

Member Function Documentation

◆ get_block_non_gate_selectors()

◆ get_gate_blocks() [1/2]

◆ get_gate_blocks() [2/2]

Member Data Documentation

◆ BUILDER_BUS_INDICES

◆ GATE_KINDS

◆ HasDataBus

◆ HasEccOpQueue

◆ HasElliptic

◆ HasLogDerivLookup

◆ HasMemory

◆ HasNonNativeField

◆ NUM_ALL_ENTITIES

◆ NUM_BUS_COLUMNS

◆ NUM_COMMITTED_WITNESS_ENTITIES

◆ NUM_MASKING_ENTITIES

◆ NUM_PRECOMPUTED_ENTITIES

◆ NUM_SHIFTED_ENTITIES

◆ NUM_UNSHIFTED_ENTITIES

◆ NUM_WITNESS_ENTITIES

◆ REPEATED_COMMITMENT_PAIRS

◆ REPEATED_COMMITMENTS