mega_app_flavor_generated.hpp

Go to the documentation of this file.

// AUTOGENERATED FILE — do not edit. Regenerate via:
//   node barretenberg/cpp/scripts/flavor-codegen/dist/main.js
//
// Source: barretenberg/cpp/scripts/flavor-codegen/src/flavors/mega_app.ts
#pragma once
 
#include <array>
#include <cstddef>
#include <cstdint>
#include <span>
#include <string>
#include <tuple>
#include <vector>
 
#include "barretenberg/common/ref_array.hpp"
#include "barretenberg/common/ref_vector.hpp"
#include "barretenberg/flavor/repeated_commitments_data.hpp"
#include "barretenberg/honk/execution_trace/execution_trace_block.hpp"
#include "barretenberg/relations/bilinear_or_batched_eq_check_relation.hpp"
#include "barretenberg/relations/databus_lookup_relation.hpp"
#include "barretenberg/relations/delta_range_constraint_relation.hpp"
#include "barretenberg/relations/ecc_op_queue_relation.hpp"
#include "barretenberg/relations/elliptic_relation.hpp"
#include "barretenberg/relations/logderiv_lookup_relation.hpp"
#include "barretenberg/relations/memory_relation.hpp"
#include "barretenberg/relations/non_native_field_relation.hpp"
#include "barretenberg/relations/permutation_relation.hpp"
#include "barretenberg/relations/poseidon2_external_relation.hpp"
#include "barretenberg/relations/poseidon2_initial_external_relation.hpp"
#include "barretenberg/relations/poseidon2_quad_internal_relation.hpp"
#include "barretenberg/relations/poseidon2_quad_internal_terminal_relation.hpp"
#include "barretenberg/relations/poseidon2_transition_entry_relation.hpp"
#include "barretenberg/relations/ultra_arithmetic_relation.hpp"
 
namespace bb {
 
class MegaAppFlavor_Generated {
  public:
    // Dense flavor-local entity index. Layout: [masking | precomputed | witness | shifted].
    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,
        return_data_indicator = 29,
        databus_id = 30,
        q_poseidon2_external = 31,
        q_poseidon2_external_initial = 32,
        q_poseidon2_quad_internal = 33,
        q_5 = 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,
        lookup_inverses = 42,
        lookup_read_counts = 43,
        lookup_read_tags = 44,
        ecc_op_wire_1 = 45,
        ecc_op_wire_2 = 46,
        ecc_op_wire_3 = 47,
        ecc_op_wire_4 = 48,
        return_data = 49,
        return_data_read_counts = 50,
        return_data_inverses = 51,
        w_l_shift = 52,
        w_r_shift = 53,
        w_o_shift = 54,
        w_4_shift = 55,
        z_perm_shift = 56,
    };
 
    // Sumcheck relation tuple. Source of truth is
    // flavor-codegen/src/flavors/mega_app.ts; structural relations are omitted.
    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::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 constexpr size_t NUM_PRECOMPUTED_ENTITIES = 37;
    static constexpr size_t NUM_WITNESS_ENTITIES = 15;
    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 = { 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;
 
    // Per-shifted-entity (original, duplicate) index pairs in AllEntities, one per shifted
    // entity. Collapsed into `RepeatedCommitmentsData` below for Shplemini compatibility.
    static constexpr std::array<DuplicatePair, NUM_SHIFTED_ENTITIES> REPEATED_COMMITMENT_PAIRS = {
        DuplicatePair{ 37, 52 }, DuplicatePair{ 38, 53 }, DuplicatePair{ 39, 54 },
        DuplicatePair{ 40, 55 }, DuplicatePair{ 41, 56 },
    };
    static constexpr RepeatedCommitmentsData REPEATED_COMMITMENTS =
        repeated_commitments_from_pairs(REPEATED_COMMITMENT_PAIRS);
 
    // Gate-selector blocks, parallel to `get_gate_selectors()`.
    template <typename TraceBlocks> static auto get_gate_blocks(TraceBlocks& blocks)
    {
        using BlockBase = typename TraceBlocks::BlockBase;
        return RefArray<BlockBase, 13>(std::array<BlockBase*, 13>{
            &blocks.lookup,
            &blocks.arithmetic,
            &blocks.arithmetic,
            &blocks.delta_range,
            &blocks.elliptic,
            &blocks.memory,
            &blocks.nnf,
            &blocks.busread,
            &blocks.poseidon2,
            &blocks.poseidon2,
            &blocks.poseidon2,
            &blocks.poseidon2,
            &blocks.poseidon2,
        });
    }
 
    template <typename TraceBlocks> static auto get_gate_blocks(TraceBlocks const& blocks)
    {
        using BlockBase = typename TraceBlocks::BlockBase;
        return RefArray<const BlockBase, 13>(std::array<const BlockBase*, 13>{
            &blocks.lookup,
            &blocks.arithmetic,
            &blocks.arithmetic,
            &blocks.delta_range,
            &blocks.elliptic,
            &blocks.memory,
            &blocks.nnf,
            &blocks.busread,
            &blocks.poseidon2,
            &blocks.poseidon2,
            &blocks.poseidon2,
            &blocks.poseidon2,
            &blocks.poseidon2,
        });
    }
 
    // GateKind for each gate selector, parallel to `get_gate_blocks()`.
    static constexpr std::array<GateKind, 13> GATE_KINDS{
        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,
    };
 
    // Non-gate selectors in `get_non_gate_selectors()` order, as references into a single block.
    template <typename TraceBlock> static auto get_block_non_gate_selectors(TraceBlock& block)
    {
        using SelT = std::remove_reference_t<decltype(block.q_m())>;
        return RefArray<SelT, 7>{
            block.q_m(), block.q_1(), block.q_2(), block.q_3(), block.q_4(), block.q_c(), block.q_5(),
        };
    }
 
    // AllEntities: flat `std::array` storage with EntityId-keyed access and named accessors.
    template <typename DataType> class AllEntities {
      public:
        using EntityId = MegaAppFlavor_Generated::EntityId;
        std::array<DataType, NUM_ALL_ENTITIES> data{};
 
        DataType& operator[](EntityId id) { return data[static_cast<size_t>(id)]; }
        const DataType& operator[](EntityId id) const { return data[static_cast<size_t>(id)]; }
 
        std::span<DataType, NUM_ALL_ENTITIES> get_all() { return data; }
        std::span<const DataType, NUM_ALL_ENTITIES> get_all() const { return data; }
 
        // Named accessors (unshifted + shifted): mutable + const overloads.
        DataType& sigma_1() { return data[static_cast<size_t>(EntityId::sigma_1)]; }
        const DataType& sigma_1() const { return data[static_cast<size_t>(EntityId::sigma_1)]; }
        DataType& sigma_2() { return data[static_cast<size_t>(EntityId::sigma_2)]; }
        const DataType& sigma_2() const { return data[static_cast<size_t>(EntityId::sigma_2)]; }
        DataType& sigma_3() { return data[static_cast<size_t>(EntityId::sigma_3)]; }
        const DataType& sigma_3() const { return data[static_cast<size_t>(EntityId::sigma_3)]; }
        DataType& sigma_4() { return data[static_cast<size_t>(EntityId::sigma_4)]; }
        const DataType& sigma_4() const { return data[static_cast<size_t>(EntityId::sigma_4)]; }
        DataType& id_1() { return data[static_cast<size_t>(EntityId::id_1)]; }
        const DataType& id_1() const { return data[static_cast<size_t>(EntityId::id_1)]; }
        DataType& id_2() { return data[static_cast<size_t>(EntityId::id_2)]; }
        const DataType& id_2() const { return data[static_cast<size_t>(EntityId::id_2)]; }
        DataType& id_3() { return data[static_cast<size_t>(EntityId::id_3)]; }
        const DataType& id_3() const { return data[static_cast<size_t>(EntityId::id_3)]; }
        DataType& id_4() { return data[static_cast<size_t>(EntityId::id_4)]; }
        const DataType& id_4() const { return data[static_cast<size_t>(EntityId::id_4)]; }
        DataType& lagrange_first() { return data[static_cast<size_t>(EntityId::lagrange_first)]; }
        const DataType& lagrange_first() const { return data[static_cast<size_t>(EntityId::lagrange_first)]; }
        DataType& lagrange_last() { return data[static_cast<size_t>(EntityId::lagrange_last)]; }
        const DataType& lagrange_last() const { return data[static_cast<size_t>(EntityId::lagrange_last)]; }
        DataType& q_lookup() { return data[static_cast<size_t>(EntityId::q_lookup)]; }
        const DataType& q_lookup() const { return data[static_cast<size_t>(EntityId::q_lookup)]; }
        DataType& table_1() { return data[static_cast<size_t>(EntityId::table_1)]; }
        const DataType& table_1() const { return data[static_cast<size_t>(EntityId::table_1)]; }
        DataType& table_2() { return data[static_cast<size_t>(EntityId::table_2)]; }
        const DataType& table_2() const { return data[static_cast<size_t>(EntityId::table_2)]; }
        DataType& table_3() { return data[static_cast<size_t>(EntityId::table_3)]; }
        const DataType& table_3() const { return data[static_cast<size_t>(EntityId::table_3)]; }
        DataType& table_4() { return data[static_cast<size_t>(EntityId::table_4)]; }
        const DataType& table_4() const { return data[static_cast<size_t>(EntityId::table_4)]; }
        DataType& q_m() { return data[static_cast<size_t>(EntityId::q_m)]; }
        const DataType& q_m() const { return data[static_cast<size_t>(EntityId::q_m)]; }
        DataType& q_r() { return data[static_cast<size_t>(EntityId::q_r)]; }
        const DataType& q_r() const { return data[static_cast<size_t>(EntityId::q_r)]; }
        DataType& q_o() { return data[static_cast<size_t>(EntityId::q_o)]; }
        const DataType& q_o() const { return data[static_cast<size_t>(EntityId::q_o)]; }
        DataType& q_c() { return data[static_cast<size_t>(EntityId::q_c)]; }
        const DataType& q_c() const { return data[static_cast<size_t>(EntityId::q_c)]; }
        DataType& q_l() { return data[static_cast<size_t>(EntityId::q_l)]; }
        const DataType& q_l() const { return data[static_cast<size_t>(EntityId::q_l)]; }
        DataType& q_4() { return data[static_cast<size_t>(EntityId::q_4)]; }
        const DataType& q_4() const { return data[static_cast<size_t>(EntityId::q_4)]; }
        DataType& q_arith() { return data[static_cast<size_t>(EntityId::q_arith)]; }
        const DataType& q_arith() const { return data[static_cast<size_t>(EntityId::q_arith)]; }
        DataType& q_bilinear_batched_eq() { return data[static_cast<size_t>(EntityId::q_bilinear_batched_eq)]; }
        const DataType& q_bilinear_batched_eq() const
        {
            return data[static_cast<size_t>(EntityId::q_bilinear_batched_eq)];
        }
        DataType& q_delta_range() { return data[static_cast<size_t>(EntityId::q_delta_range)]; }
        const DataType& q_delta_range() const { return data[static_cast<size_t>(EntityId::q_delta_range)]; }
        DataType& q_elliptic() { return data[static_cast<size_t>(EntityId::q_elliptic)]; }
        const DataType& q_elliptic() const { return data[static_cast<size_t>(EntityId::q_elliptic)]; }
        DataType& q_memory() { return data[static_cast<size_t>(EntityId::q_memory)]; }
        const DataType& q_memory() const { return data[static_cast<size_t>(EntityId::q_memory)]; }
        DataType& q_nnf() { return data[static_cast<size_t>(EntityId::q_nnf)]; }
        const DataType& q_nnf() const { return data[static_cast<size_t>(EntityId::q_nnf)]; }
        DataType& lagrange_ecc_op() { return data[static_cast<size_t>(EntityId::lagrange_ecc_op)]; }
        const DataType& lagrange_ecc_op() const { return data[static_cast<size_t>(EntityId::lagrange_ecc_op)]; }
        DataType& q_busread() { return data[static_cast<size_t>(EntityId::q_busread)]; }
        const DataType& q_busread() const { return data[static_cast<size_t>(EntityId::q_busread)]; }
        DataType& return_data_indicator() { return data[static_cast<size_t>(EntityId::return_data_indicator)]; }
        const DataType& return_data_indicator() const
        {
            return data[static_cast<size_t>(EntityId::return_data_indicator)];
        }
        DataType& databus_id() { return data[static_cast<size_t>(EntityId::databus_id)]; }
        const DataType& databus_id() const { return data[static_cast<size_t>(EntityId::databus_id)]; }
        DataType& q_poseidon2_external() { return data[static_cast<size_t>(EntityId::q_poseidon2_external)]; }
        const DataType& q_poseidon2_external() const
        {
            return data[static_cast<size_t>(EntityId::q_poseidon2_external)];
        }
        DataType& q_poseidon2_external_initial()
        {
            return data[static_cast<size_t>(EntityId::q_poseidon2_external_initial)];
        }
        const DataType& q_poseidon2_external_initial() const
        {
            return data[static_cast<size_t>(EntityId::q_poseidon2_external_initial)];
        }
        DataType& q_poseidon2_quad_internal() { return data[static_cast<size_t>(EntityId::q_poseidon2_quad_internal)]; }
        const DataType& q_poseidon2_quad_internal() const
        {
            return data[static_cast<size_t>(EntityId::q_poseidon2_quad_internal)];
        }
        DataType& q_5() { return data[static_cast<size_t>(EntityId::q_5)]; }
        const DataType& q_5() const { return data[static_cast<size_t>(EntityId::q_5)]; }
        DataType& q_poseidon2_quad_internal_terminal()
        {
            return data[static_cast<size_t>(EntityId::q_poseidon2_quad_internal_terminal)];
        }
        const DataType& q_poseidon2_quad_internal_terminal() const
        {
            return data[static_cast<size_t>(EntityId::q_poseidon2_quad_internal_terminal)];
        }
        DataType& q_poseidon2_transition_entry()
        {
            return data[static_cast<size_t>(EntityId::q_poseidon2_transition_entry)];
        }
        const DataType& q_poseidon2_transition_entry() const
        {
            return data[static_cast<size_t>(EntityId::q_poseidon2_transition_entry)];
        }
        DataType& w_l() { return data[static_cast<size_t>(EntityId::w_l)]; }
        const DataType& w_l() const { return data[static_cast<size_t>(EntityId::w_l)]; }
        DataType& w_r() { return data[static_cast<size_t>(EntityId::w_r)]; }
        const DataType& w_r() const { return data[static_cast<size_t>(EntityId::w_r)]; }
        DataType& w_o() { return data[static_cast<size_t>(EntityId::w_o)]; }
        const DataType& w_o() const { return data[static_cast<size_t>(EntityId::w_o)]; }
        DataType& w_4() { return data[static_cast<size_t>(EntityId::w_4)]; }
        const DataType& w_4() const { return data[static_cast<size_t>(EntityId::w_4)]; }
        DataType& z_perm() { return data[static_cast<size_t>(EntityId::z_perm)]; }
        const DataType& z_perm() const { return data[static_cast<size_t>(EntityId::z_perm)]; }
        DataType& lookup_inverses() { return data[static_cast<size_t>(EntityId::lookup_inverses)]; }
        const DataType& lookup_inverses() const { return data[static_cast<size_t>(EntityId::lookup_inverses)]; }
        DataType& lookup_read_counts() { return data[static_cast<size_t>(EntityId::lookup_read_counts)]; }
        const DataType& lookup_read_counts() const { return data[static_cast<size_t>(EntityId::lookup_read_counts)]; }
        DataType& lookup_read_tags() { return data[static_cast<size_t>(EntityId::lookup_read_tags)]; }
        const DataType& lookup_read_tags() const { return data[static_cast<size_t>(EntityId::lookup_read_tags)]; }
        DataType& ecc_op_wire_1() { return data[static_cast<size_t>(EntityId::ecc_op_wire_1)]; }
        const DataType& ecc_op_wire_1() const { return data[static_cast<size_t>(EntityId::ecc_op_wire_1)]; }
        DataType& ecc_op_wire_2() { return data[static_cast<size_t>(EntityId::ecc_op_wire_2)]; }
        const DataType& ecc_op_wire_2() const { return data[static_cast<size_t>(EntityId::ecc_op_wire_2)]; }
        DataType& ecc_op_wire_3() { return data[static_cast<size_t>(EntityId::ecc_op_wire_3)]; }
        const DataType& ecc_op_wire_3() const { return data[static_cast<size_t>(EntityId::ecc_op_wire_3)]; }
        DataType& ecc_op_wire_4() { return data[static_cast<size_t>(EntityId::ecc_op_wire_4)]; }
        const DataType& ecc_op_wire_4() const { return data[static_cast<size_t>(EntityId::ecc_op_wire_4)]; }
        DataType& return_data() { return data[static_cast<size_t>(EntityId::return_data)]; }
        const DataType& return_data() const { return data[static_cast<size_t>(EntityId::return_data)]; }
        DataType& return_data_read_counts() { return data[static_cast<size_t>(EntityId::return_data_read_counts)]; }
        const DataType& return_data_read_counts() const
        {
            return data[static_cast<size_t>(EntityId::return_data_read_counts)];
        }
        DataType& return_data_inverses() { return data[static_cast<size_t>(EntityId::return_data_inverses)]; }
        const DataType& return_data_inverses() const
        {
            return data[static_cast<size_t>(EntityId::return_data_inverses)];
        }
        DataType& w_l_shift() { return data[static_cast<size_t>(EntityId::w_l_shift)]; }
        const DataType& w_l_shift() const { return data[static_cast<size_t>(EntityId::w_l_shift)]; }
        DataType& w_r_shift() { return data[static_cast<size_t>(EntityId::w_r_shift)]; }
        const DataType& w_r_shift() const { return data[static_cast<size_t>(EntityId::w_r_shift)]; }
        DataType& w_o_shift() { return data[static_cast<size_t>(EntityId::w_o_shift)]; }
        const DataType& w_o_shift() const { return data[static_cast<size_t>(EntityId::w_o_shift)]; }
        DataType& w_4_shift() { return data[static_cast<size_t>(EntityId::w_4_shift)]; }
        const DataType& w_4_shift() const { return data[static_cast<size_t>(EntityId::w_4_shift)]; }
        DataType& z_perm_shift() { return data[static_cast<size_t>(EntityId::z_perm_shift)]; }
        const DataType& z_perm_shift() const { return data[static_cast<size_t>(EntityId::z_perm_shift)]; }
 
        // Kind/shift partitions: contiguous slices of `data`.
        std::span<DataType, NUM_UNSHIFTED_ENTITIES> get_unshifted()
        {
            return std::span<DataType, NUM_UNSHIFTED_ENTITIES>{ data.data() + (0), NUM_UNSHIFTED_ENTITIES };
        }
        std::span<const DataType, NUM_UNSHIFTED_ENTITIES> get_unshifted() const
        {
            return std::span<const DataType, NUM_UNSHIFTED_ENTITIES>{ data.data() + (0), NUM_UNSHIFTED_ENTITIES };
        }
        std::span<DataType, NUM_PRECOMPUTED_ENTITIES> get_precomputed()
        {
            return std::span<DataType, NUM_PRECOMPUTED_ENTITIES>{ data.data() + (NUM_MASKING_ENTITIES),
                                                                  NUM_PRECOMPUTED_ENTITIES };
        }
        std::span<const DataType, NUM_PRECOMPUTED_ENTITIES> get_precomputed() const
        {
            return std::span<const DataType, NUM_PRECOMPUTED_ENTITIES>{ data.data() + (NUM_MASKING_ENTITIES),
                                                                        NUM_PRECOMPUTED_ENTITIES };
        }
        std::span<DataType, NUM_WITNESS_ENTITIES> get_witness()
        {
            return std::span<DataType, NUM_WITNESS_ENTITIES>{
                data.data() + (NUM_MASKING_ENTITIES + NUM_PRECOMPUTED_ENTITIES), NUM_WITNESS_ENTITIES
            };
        }
        std::span<const DataType, NUM_WITNESS_ENTITIES> get_witness() const
        {
            return std::span<const DataType, NUM_WITNESS_ENTITIES>{
                data.data() + (NUM_MASKING_ENTITIES + NUM_PRECOMPUTED_ENTITIES), NUM_WITNESS_ENTITIES
            };
        }
        std::span<DataType, NUM_SHIFTED_ENTITIES> get_to_be_shifted()
        {
            return std::span<DataType, NUM_SHIFTED_ENTITIES>{ data.data() + (37), NUM_SHIFTED_ENTITIES };
        }
        std::span<const DataType, NUM_SHIFTED_ENTITIES> get_to_be_shifted() const
        {
            return std::span<const DataType, NUM_SHIFTED_ENTITIES>{ data.data() + (37), NUM_SHIFTED_ENTITIES };
        }
        std::span<DataType, NUM_SHIFTED_ENTITIES> get_shifted()
        {
            return std::span<DataType, NUM_SHIFTED_ENTITIES>{ data.data() + (NUM_UNSHIFTED_ENTITIES),
                                                              NUM_SHIFTED_ENTITIES };
        }
        std::span<const DataType, NUM_SHIFTED_ENTITIES> get_shifted() const
        {
            return std::span<const DataType, NUM_SHIFTED_ENTITIES>{ data.data() + (NUM_UNSHIFTED_ENTITIES),
                                                                    NUM_SHIFTED_ENTITIES };
        }
 
        // Subset views (relation-declared groupings in layout order).
        RefArray<DataType, 4> get_sigmas()
        {
            return { (*this)[EntityId::sigma_1],
                     (*this)[EntityId::sigma_2],
                     (*this)[EntityId::sigma_3],
                     (*this)[EntityId::sigma_4] };
        }
        RefArray<const DataType, 4> get_sigmas() const
        {
            return { (*this)[EntityId::sigma_1],
                     (*this)[EntityId::sigma_2],
                     (*this)[EntityId::sigma_3],
                     (*this)[EntityId::sigma_4] };
        }
        RefArray<DataType, 4> get_ids()
        {
            return {
                (*this)[EntityId::id_1], (*this)[EntityId::id_2], (*this)[EntityId::id_3], (*this)[EntityId::id_4]
            };
        }
        RefArray<const DataType, 4> get_ids() const
        {
            return {
                (*this)[EntityId::id_1], (*this)[EntityId::id_2], (*this)[EntityId::id_3], (*this)[EntityId::id_4]
            };
        }
        RefArray<DataType, 13> get_gate_selectors()
        {
            return { (*this)[EntityId::q_lookup],
                     (*this)[EntityId::q_arith],
                     (*this)[EntityId::q_bilinear_batched_eq],
                     (*this)[EntityId::q_delta_range],
                     (*this)[EntityId::q_elliptic],
                     (*this)[EntityId::q_memory],
                     (*this)[EntityId::q_nnf],
                     (*this)[EntityId::q_busread],
                     (*this)[EntityId::q_poseidon2_external],
                     (*this)[EntityId::q_poseidon2_external_initial],
                     (*this)[EntityId::q_poseidon2_quad_internal],
                     (*this)[EntityId::q_poseidon2_quad_internal_terminal],
                     (*this)[EntityId::q_poseidon2_transition_entry] };
        }
        RefArray<const DataType, 13> get_gate_selectors() const
        {
            return { (*this)[EntityId::q_lookup],
                     (*this)[EntityId::q_arith],
                     (*this)[EntityId::q_bilinear_batched_eq],
                     (*this)[EntityId::q_delta_range],
                     (*this)[EntityId::q_elliptic],
                     (*this)[EntityId::q_memory],
                     (*this)[EntityId::q_nnf],
                     (*this)[EntityId::q_busread],
                     (*this)[EntityId::q_poseidon2_external],
                     (*this)[EntityId::q_poseidon2_external_initial],
                     (*this)[EntityId::q_poseidon2_quad_internal],
                     (*this)[EntityId::q_poseidon2_quad_internal_terminal],
                     (*this)[EntityId::q_poseidon2_transition_entry] };
        }
        RefArray<DataType, 4> get_tables()
        {
            return { (*this)[EntityId::table_1],
                     (*this)[EntityId::table_2],
                     (*this)[EntityId::table_3],
                     (*this)[EntityId::table_4] };
        }
        RefArray<const DataType, 4> get_tables() const
        {
            return { (*this)[EntityId::table_1],
                     (*this)[EntityId::table_2],
                     (*this)[EntityId::table_3],
                     (*this)[EntityId::table_4] };
        }
        RefArray<DataType, 4> get_wires()
        {
            return { (*this)[EntityId::w_l], (*this)[EntityId::w_r], (*this)[EntityId::w_o], (*this)[EntityId::w_4] };
        }
        RefArray<const DataType, 4> get_wires() const
        {
            return { (*this)[EntityId::w_l], (*this)[EntityId::w_r], (*this)[EntityId::w_o], (*this)[EntityId::w_4] };
        }
        RefArray<DataType, 7> get_non_gate_selectors()
        {
            return { (*this)[EntityId::q_m], (*this)[EntityId::q_l], (*this)[EntityId::q_r], (*this)[EntityId::q_o],
                     (*this)[EntityId::q_4], (*this)[EntityId::q_c], (*this)[EntityId::q_5] };
        }
        RefArray<const DataType, 7> get_non_gate_selectors() const
        {
            return { (*this)[EntityId::q_m], (*this)[EntityId::q_l], (*this)[EntityId::q_r], (*this)[EntityId::q_o],
                     (*this)[EntityId::q_4], (*this)[EntityId::q_c], (*this)[EntityId::q_5] };
        }
        RefArray<DataType, 4> get_ecc_op_wires()
        {
            return { (*this)[EntityId::ecc_op_wire_1],
                     (*this)[EntityId::ecc_op_wire_2],
                     (*this)[EntityId::ecc_op_wire_3],
                     (*this)[EntityId::ecc_op_wire_4] };
        }
        RefArray<const DataType, 4> get_ecc_op_wires() const
        {
            return { (*this)[EntityId::ecc_op_wire_1],
                     (*this)[EntityId::ecc_op_wire_2],
                     (*this)[EntityId::ecc_op_wire_3],
                     (*this)[EntityId::ecc_op_wire_4] };
        }
        RefArray<DataType, 2> get_databus_entities()
        {
            return { (*this)[EntityId::return_data], (*this)[EntityId::return_data_read_counts] };
        }
        RefArray<const DataType, 2> get_databus_entities() const
        {
            return { (*this)[EntityId::return_data], (*this)[EntityId::return_data_read_counts] };
        }
        RefArray<DataType, 1> get_databus_inverses() { return { (*this)[EntityId::return_data_inverses] }; }
        RefArray<const DataType, 1> get_databus_inverses() const { return { (*this)[EntityId::return_data_inverses] }; }
        RefArray<DataType, 1> get_databus_indicators() { return { (*this)[EntityId::return_data_indicator] }; }
        RefArray<const DataType, 1> get_databus_indicators() const
        {
            return { (*this)[EntityId::return_data_indicator] };
        }
        RefArray<DataType, 1> get_databus_selectors() { return { (*this)[EntityId::q_m] }; }
        RefArray<const DataType, 1> get_databus_selectors() const { return { (*this)[EntityId::q_m] }; }
 
        // Composite views: concatenations of subset views.
        auto get_selectors() { return concatenate(get_non_gate_selectors(), get_gate_selectors()); }
        auto get_selectors() const { return concatenate(get_non_gate_selectors(), get_gate_selectors()); }
 
        // Labels — uppercase, layout order.
        static const std::vector<std::string>& get_labels()
        {
            static const std::vector<std::string> labels = {
                "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",
                "RETURN_DATA_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",
                "LOOKUP_INVERSES",
                "LOOKUP_READ_COUNTS",
                "LOOKUP_READ_TAGS",
                "ECC_OP_WIRE_1",
                "ECC_OP_WIRE_2",
                "ECC_OP_WIRE_3",
                "ECC_OP_WIRE_4",
                "RETURN_DATA",
                "RETURN_DATA_READ_COUNTS",
                "RETURN_DATA_INVERSES",
                "W_L_SHIFT",
                "W_R_SHIFT",
                "W_O_SHIFT",
                "W_4_SHIFT",
                "Z_PERM_SHIFT",
            };
            return labels;
        }
    };
 
    // Verification-key transport class. Owns its own storage; not a slice of AllEntities.
    template <typename DataType_> class PrecomputedEntities {
      public:
        using DataType = DataType_;
        std::array<DataType, NUM_PRECOMPUTED_ENTITIES> data{};
 
        bool operator==(const PrecomputedEntities&) const = default;
 
        std::span<DataType, NUM_PRECOMPUTED_ENTITIES> get_all() { return data; }
        std::span<const DataType, NUM_PRECOMPUTED_ENTITIES> get_all() const { return data; }
 
        static constexpr size_t size() { return NUM_PRECOMPUTED_ENTITIES; }
 
        // Named accessor methods — index into local `data` (NOT the AllEntities layout).
        DataType& sigma_1() { return data[0]; }
        const DataType& sigma_1() const { return data[0]; }
        DataType& sigma_2() { return data[1]; }
        const DataType& sigma_2() const { return data[1]; }
        DataType& sigma_3() { return data[2]; }
        const DataType& sigma_3() const { return data[2]; }
        DataType& sigma_4() { return data[3]; }
        const DataType& sigma_4() const { return data[3]; }
        DataType& id_1() { return data[4]; }
        const DataType& id_1() const { return data[4]; }
        DataType& id_2() { return data[5]; }
        const DataType& id_2() const { return data[5]; }
        DataType& id_3() { return data[6]; }
        const DataType& id_3() const { return data[6]; }
        DataType& id_4() { return data[7]; }
        const DataType& id_4() const { return data[7]; }
        DataType& lagrange_first() { return data[8]; }
        const DataType& lagrange_first() const { return data[8]; }
        DataType& lagrange_last() { return data[9]; }
        const DataType& lagrange_last() const { return data[9]; }
        DataType& q_lookup() { return data[10]; }
        const DataType& q_lookup() const { return data[10]; }
        DataType& table_1() { return data[11]; }
        const DataType& table_1() const { return data[11]; }
        DataType& table_2() { return data[12]; }
        const DataType& table_2() const { return data[12]; }
        DataType& table_3() { return data[13]; }
        const DataType& table_3() const { return data[13]; }
        DataType& table_4() { return data[14]; }
        const DataType& table_4() const { return data[14]; }
        DataType& q_m() { return data[15]; }
        const DataType& q_m() const { return data[15]; }
        DataType& q_r() { return data[16]; }
        const DataType& q_r() const { return data[16]; }
        DataType& q_o() { return data[17]; }
        const DataType& q_o() const { return data[17]; }
        DataType& q_c() { return data[18]; }
        const DataType& q_c() const { return data[18]; }
        DataType& q_l() { return data[19]; }
        const DataType& q_l() const { return data[19]; }
        DataType& q_4() { return data[20]; }
        const DataType& q_4() const { return data[20]; }
        DataType& q_arith() { return data[21]; }
        const DataType& q_arith() const { return data[21]; }
        DataType& q_bilinear_batched_eq() { return data[22]; }
        const DataType& q_bilinear_batched_eq() const { return data[22]; }
        DataType& q_delta_range() { return data[23]; }
        const DataType& q_delta_range() const { return data[23]; }
        DataType& q_elliptic() { return data[24]; }
        const DataType& q_elliptic() const { return data[24]; }
        DataType& q_memory() { return data[25]; }
        const DataType& q_memory() const { return data[25]; }
        DataType& q_nnf() { return data[26]; }
        const DataType& q_nnf() const { return data[26]; }
        DataType& lagrange_ecc_op() { return data[27]; }
        const DataType& lagrange_ecc_op() const { return data[27]; }
        DataType& q_busread() { return data[28]; }
        const DataType& q_busread() const { return data[28]; }
        DataType& return_data_indicator() { return data[29]; }
        const DataType& return_data_indicator() const { return data[29]; }
        DataType& databus_id() { return data[30]; }
        const DataType& databus_id() const { return data[30]; }
        DataType& q_poseidon2_external() { return data[31]; }
        const DataType& q_poseidon2_external() const { return data[31]; }
        DataType& q_poseidon2_external_initial() { return data[32]; }
        const DataType& q_poseidon2_external_initial() const { return data[32]; }
        DataType& q_poseidon2_quad_internal() { return data[33]; }
        const DataType& q_poseidon2_quad_internal() const { return data[33]; }
        DataType& q_5() { return data[34]; }
        const DataType& q_5() const { return data[34]; }
        DataType& q_poseidon2_quad_internal_terminal() { return data[35]; }
        const DataType& q_poseidon2_quad_internal_terminal() const { return data[35]; }
        DataType& q_poseidon2_transition_entry() { return data[36]; }
        const DataType& q_poseidon2_transition_entry() const { return data[36]; }
 
        // Subset views.
        RefArray<DataType, 4> get_sigmas()
        {
            return { this->sigma_1(), this->sigma_2(), this->sigma_3(), this->sigma_4() };
        }
        RefArray<const DataType, 4> get_sigmas() const
        {
            return { this->sigma_1(), this->sigma_2(), this->sigma_3(), this->sigma_4() };
        }
        RefArray<DataType, 4> get_ids() { return { this->id_1(), this->id_2(), this->id_3(), this->id_4() }; }
        RefArray<const DataType, 4> get_ids() const
        {
            return { this->id_1(), this->id_2(), this->id_3(), this->id_4() };
        }
        RefArray<DataType, 13> get_gate_selectors()
        {
            return { this->q_lookup(),
                     this->q_arith(),
                     this->q_bilinear_batched_eq(),
                     this->q_delta_range(),
                     this->q_elliptic(),
                     this->q_memory(),
                     this->q_nnf(),
                     this->q_busread(),
                     this->q_poseidon2_external(),
                     this->q_poseidon2_external_initial(),
                     this->q_poseidon2_quad_internal(),
                     this->q_poseidon2_quad_internal_terminal(),
                     this->q_poseidon2_transition_entry() };
        }
        RefArray<const DataType, 13> get_gate_selectors() const
        {
            return { this->q_lookup(),
                     this->q_arith(),
                     this->q_bilinear_batched_eq(),
                     this->q_delta_range(),
                     this->q_elliptic(),
                     this->q_memory(),
                     this->q_nnf(),
                     this->q_busread(),
                     this->q_poseidon2_external(),
                     this->q_poseidon2_external_initial(),
                     this->q_poseidon2_quad_internal(),
                     this->q_poseidon2_quad_internal_terminal(),
                     this->q_poseidon2_transition_entry() };
        }
        RefArray<DataType, 4> get_tables()
        {
            return { this->table_1(), this->table_2(), this->table_3(), this->table_4() };
        }
        RefArray<const DataType, 4> get_tables() const
        {
            return { this->table_1(), this->table_2(), this->table_3(), this->table_4() };
        }
        RefArray<DataType, 7> get_non_gate_selectors()
        {
            return { this->q_m(), this->q_l(), this->q_r(), this->q_o(), this->q_4(), this->q_c(), this->q_5() };
        }
        RefArray<const DataType, 7> get_non_gate_selectors() const
        {
            return { this->q_m(), this->q_l(), this->q_r(), this->q_o(), this->q_4(), this->q_c(), this->q_5() };
        }
        RefArray<DataType, 1> get_databus_indicators() { return { this->return_data_indicator() }; }
        RefArray<const DataType, 1> get_databus_indicators() const { return { this->return_data_indicator() }; }
        RefArray<DataType, 1> get_databus_selectors() { return { this->q_m() }; }
        RefArray<const DataType, 1> get_databus_selectors() const { return { this->q_m() }; }
 
        // Composite views.
        auto get_selectors() { return concatenate(get_non_gate_selectors(), get_gate_selectors()); }
        auto get_selectors() const { return concatenate(get_non_gate_selectors(), get_gate_selectors()); }
 
        static const std::vector<std::string>& get_labels()
        {
            static const std::vector<std::string> labels = {
                "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",
                "RETURN_DATA_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",
            };
            return labels;
        }
    };
 
    // Prover-commitment transport class (witness only). Owns its own storage.
    template <typename DataType_> class WitnessEntities {
      public:
        using DataType = DataType_;
        std::array<DataType, NUM_WITNESS_ENTITIES> data{};
 
        bool operator==(const WitnessEntities&) const = default;
 
        std::span<DataType, NUM_WITNESS_ENTITIES> get_all() { return data; }
        std::span<const DataType, NUM_WITNESS_ENTITIES> get_all() const { return data; }
 
        static constexpr size_t size() { return NUM_WITNESS_ENTITIES; }
 
        // Named accessor methods — index into local `data` (NOT the AllEntities layout).
        DataType& w_l() { return data[0]; }
        const DataType& w_l() const { return data[0]; }
        DataType& w_r() { return data[1]; }
        const DataType& w_r() const { return data[1]; }
        DataType& w_o() { return data[2]; }
        const DataType& w_o() const { return data[2]; }
        DataType& w_4() { return data[3]; }
        const DataType& w_4() const { return data[3]; }
        DataType& z_perm() { return data[4]; }
        const DataType& z_perm() const { return data[4]; }
        DataType& lookup_inverses() { return data[5]; }
        const DataType& lookup_inverses() const { return data[5]; }
        DataType& lookup_read_counts() { return data[6]; }
        const DataType& lookup_read_counts() const { return data[6]; }
        DataType& lookup_read_tags() { return data[7]; }
        const DataType& lookup_read_tags() const { return data[7]; }
        DataType& ecc_op_wire_1() { return data[8]; }
        const DataType& ecc_op_wire_1() const { return data[8]; }
        DataType& ecc_op_wire_2() { return data[9]; }
        const DataType& ecc_op_wire_2() const { return data[9]; }
        DataType& ecc_op_wire_3() { return data[10]; }
        const DataType& ecc_op_wire_3() const { return data[10]; }
        DataType& ecc_op_wire_4() { return data[11]; }
        const DataType& ecc_op_wire_4() const { return data[11]; }
        DataType& return_data() { return data[12]; }
        const DataType& return_data() const { return data[12]; }
        DataType& return_data_read_counts() { return data[13]; }
        const DataType& return_data_read_counts() const { return data[13]; }
        DataType& return_data_inverses() { return data[14]; }
        const DataType& return_data_inverses() const { return data[14]; }
 
        // Subset views.
        RefArray<DataType, 4> get_wires() { return { this->w_l(), this->w_r(), this->w_o(), this->w_4() }; }
        RefArray<const DataType, 4> get_wires() const { return { this->w_l(), this->w_r(), this->w_o(), this->w_4() }; }
        RefArray<DataType, 4> get_ecc_op_wires()
        {
            return { this->ecc_op_wire_1(), this->ecc_op_wire_2(), this->ecc_op_wire_3(), this->ecc_op_wire_4() };
        }
        RefArray<const DataType, 4> get_ecc_op_wires() const
        {
            return { this->ecc_op_wire_1(), this->ecc_op_wire_2(), this->ecc_op_wire_3(), this->ecc_op_wire_4() };
        }
        RefArray<DataType, 2> get_databus_entities()
        {
            return { this->return_data(), this->return_data_read_counts() };
        }
        RefArray<const DataType, 2> get_databus_entities() const
        {
            return { this->return_data(), this->return_data_read_counts() };
        }
        RefArray<DataType, 1> get_databus_inverses() { return { this->return_data_inverses() }; }
        RefArray<const DataType, 1> get_databus_inverses() const { return { this->return_data_inverses() }; }
 
        RefArray<DataType, 5> get_to_be_shifted()
        {
            return { this->w_l(), this->w_r(), this->w_o(), this->w_4(), this->z_perm() };
        }
        RefArray<const DataType, 5> get_to_be_shifted() const
        {
            return { this->w_l(), this->w_r(), this->w_o(), this->w_4(), this->z_perm() };
        }
 
        static const std::vector<std::string>& get_labels()
        {
            static const std::vector<std::string> labels = {
                "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",
                "RETURN_DATA",
                "RETURN_DATA_READ_COUNTS",
                "RETURN_DATA_INVERSES",
            };
            return labels;
        }
    };
};
 
} // namespace bb