#include <mega_zk_flavor_generated.hpp>

Inheritance diagram for bb::MegaZKFlavor_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 , lagrange_ecc_op = 19 , q_busread = 20 , kernel_calldata_indicator = 21 , databus_id = 22 , q_poseidon2_external = 23 , q_poseidon2_external_initial = 24 , q_poseidon2_quad_internal = 25 , q_5 = 26 , q_poseidon2_quad_internal_terminal = 27 , q_poseidon2_transition_entry = 28 , w_l = 29 , w_r = 30 , w_o = 31 , w_4 = 32 , z_perm = 33 , ecc_op_wire_1 = 34 , ecc_op_wire_2 = 35 , ecc_op_wire_3 = 36 , ecc_op_wire_4 = 37 , kernel_calldata = 38 , kernel_calldata_read_counts = 39 , kernel_calldata_inverses = 40 , w_l_shift = 41 , w_r_shift = 42 , w_o_shift = 43 , w_4_shift = 44 , z_perm_shift = 45 }

template<typename FF >
using	Relations_ = std::tuple< bb::ArithmeticRelation< FF >, bb::BilinearOrBatchedEqCheckRelation< FF >, bb::UltraPermutationRelation< FF >, bb::DeltaRangeConstraintRelation< FF >, bb::EccOpQueueRelation< FF >, bb::MegaEccOpBoundaryRelation< FF >, bb::SingleBusLookupRelation< FF, EntityId::kernel_calldata, EntityId::kernel_calldata_read_counts, EntityId::kernel_calldata_inverses, EntityId::kernel_calldata_indicator, EntityId::q_l >, 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 = 29

static constexpr size_t	NUM_WITNESS_ENTITIES = 12

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

static constexpr std::array< size_t, NUM_BUS_COLUMNS >	BUILDER_BUS_INDICES = { 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 = 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, 9 >	GATE_KINDS

Detailed Description

Definition at line 33 of file mega_zk_flavor_generated.hpp.

Member Typedef Documentation

◆ Relations_

template<typename FF >

using bb::MegaZKFlavor_Generated::Relations_ = std::tuple<bb::ArithmeticRelation<FF>, bb::BilinearOrBatchedEqCheckRelation<FF>, bb::UltraPermutationRelation<FF>, bb::DeltaRangeConstraintRelation<FF>, bb::EccOpQueueRelation<FF>, bb::MegaEccOpBoundaryRelation<FF>, bb::SingleBusLookupRelation<FF, EntityId::kernel_calldata, EntityId::kernel_calldata_read_counts, EntityId::kernel_calldata_inverses, EntityId::kernel_calldata_indicator, EntityId::q_l>, bb::Poseidon2ExternalRelation<FF>, bb::Poseidon2InitialExternalRelation<FF>, bb::Poseidon2QuadInternalRelation<FF>, bb::Poseidon2QuadInternalTerminalRelation<FF>, bb::Poseidon2TransitionEntryRelation<FF> >

Definition at line 88 of file mega_zk_flavor_generated.hpp.

Member Enumeration Documentation

◆ EntityId

enum class bb::MegaZKFlavor_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
lagrange_ecc_op
q_busread
kernel_calldata_indicator
databus_id
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
kernel_calldata
kernel_calldata_read_counts
kernel_calldata_inverses
w_l_shift
w_r_shift
w_o_shift
w_4_shift
z_perm_shift

Definition at line 36 of file mega_zk_flavor_generated.hpp.

Member Function Documentation

◆ get_block_non_gate_selectors()

template<typename TraceBlock >

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

inlinestatic

Definition at line 178 of file mega_zk_flavor_generated.hpp.

◆ get_gate_blocks() [1/2]

template<typename TraceBlocks >

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

inlinestatic

Definition at line 132 of file mega_zk_flavor_generated.hpp.

◆ get_gate_blocks() [2/2]

template<typename TraceBlocks >

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

inlinestatic

Definition at line 148 of file mega_zk_flavor_generated.hpp.

Member Data Documentation

◆ BUILDER_BUS_INDICES

constexpr std::array<size_t, NUM_BUS_COLUMNS> bb::MegaZKFlavor_Generated::BUILDER_BUS_INDICES = { 0 }

staticconstexpr

Definition at line 112 of file mega_zk_flavor_generated.hpp.

◆ GATE_KINDS

constexpr std::array<GateKind, 9> bb::MegaZKFlavor_Generated::GATE_KINDS

staticconstexpr

Initial value:

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

Definition at line 165 of file mega_zk_flavor_generated.hpp.

◆ HasDataBus

constexpr bool bb::MegaZKFlavor_Generated::HasDataBus = true

staticconstexpr

Definition at line 110 of file mega_zk_flavor_generated.hpp.

◆ HasEccOpQueue

constexpr bool bb::MegaZKFlavor_Generated::HasEccOpQueue = true

staticconstexpr

Definition at line 117 of file mega_zk_flavor_generated.hpp.

◆ HasElliptic

constexpr bool bb::MegaZKFlavor_Generated::HasElliptic = false

staticconstexpr

Definition at line 114 of file mega_zk_flavor_generated.hpp.

◆ HasLogDerivLookup

constexpr bool bb::MegaZKFlavor_Generated::HasLogDerivLookup = false

staticconstexpr

Definition at line 113 of file mega_zk_flavor_generated.hpp.

◆ HasMemory

constexpr bool bb::MegaZKFlavor_Generated::HasMemory = false

staticconstexpr

Definition at line 115 of file mega_zk_flavor_generated.hpp.

◆ HasNonNativeField

constexpr bool bb::MegaZKFlavor_Generated::HasNonNativeField = false

staticconstexpr

Definition at line 116 of file mega_zk_flavor_generated.hpp.

◆ NUM_ALL_ENTITIES

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

staticconstexpr

Definition at line 120 of file mega_zk_flavor_generated.hpp.

◆ NUM_BUS_COLUMNS

constexpr size_t bb::MegaZKFlavor_Generated::NUM_BUS_COLUMNS = 1

staticconstexpr

Definition at line 111 of file mega_zk_flavor_generated.hpp.

◆ NUM_COMMITTED_WITNESS_ENTITIES

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

staticconstexpr

Definition at line 118 of file mega_zk_flavor_generated.hpp.

◆ NUM_MASKING_ENTITIES

constexpr size_t bb::MegaZKFlavor_Generated::NUM_MASKING_ENTITIES = 0

staticconstexpr

Definition at line 108 of file mega_zk_flavor_generated.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::MegaZKFlavor_Generated::NUM_PRECOMPUTED_ENTITIES = 29

staticconstexpr

Definition at line 106 of file mega_zk_flavor_generated.hpp.

◆ NUM_SHIFTED_ENTITIES

constexpr size_t bb::MegaZKFlavor_Generated::NUM_SHIFTED_ENTITIES = 5

staticconstexpr

Definition at line 109 of file mega_zk_flavor_generated.hpp.

◆ NUM_UNSHIFTED_ENTITIES

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

staticconstexpr

Definition at line 119 of file mega_zk_flavor_generated.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::MegaZKFlavor_Generated::NUM_WITNESS_ENTITIES = 12

staticconstexpr

Definition at line 107 of file mega_zk_flavor_generated.hpp.

◆ REPEATED_COMMITMENT_PAIRS

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

staticconstexpr

Initial value:

= {
        DuplicatePair{ 29, 41 }, DuplicatePair{ 30, 42 }, DuplicatePair{ 31, 43 },
        DuplicatePair{ 32, 44 }, DuplicatePair{ 33, 45 },
    }

Definition at line 124 of file mega_zk_flavor_generated.hpp.

◆ REPEATED_COMMITMENTS

constexpr RepeatedCommitmentsData bb::MegaZKFlavor_Generated::REPEATED_COMMITMENTS

staticconstexpr

Initial value:

=

repeated_commitments_from_pairs(REPEATED_COMMITMENT_PAIRS)

bb::MegaZKFlavor_Generated::REPEATED_COMMITMENT_PAIRS

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

Definition mega_zk_flavor_generated.hpp:124

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 128 of file mega_zk_flavor_generated.hpp.

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

src/barretenberg/flavor/generated/mega_zk_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