mega_avm_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_avm.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/ultra_arithmetic_relation.hpp"
#include "barretenberg/relations/permutation_relation.hpp"
#include "barretenberg/relations/delta_range_constraint_relation.hpp"
#include "barretenberg/relations/ecc_op_queue_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"
 
namespace bb {
 
class MegaAVMFlavor_Generated {
  public:
    // Dense flavor-local entity index. Layout: [masking | precomputed | witness | shifted].
    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,
    };
 
    // Sumcheck relation tuple. Source of truth is
    // flavor-codegen/src/flavors/mega_avm.ts; structural relations are omitted.
    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 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 =
        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{ 25, 34 },
        DuplicatePair{ 26, 35 },
        DuplicatePair{ 27, 36 },
        DuplicatePair{ 28, 37 },
        DuplicatePair{ 29, 38 },
    };
    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, 7>(std::array<BlockBase*, 7>{
            &blocks.arithmetic,
            &blocks.delta_range,
            &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, 7>(std::array<const BlockBase*, 7>{
            &blocks.arithmetic,
            &blocks.delta_range,
            &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, 7> GATE_KINDS{
        GateKind::Arith,
        GateKind::DeltaRange,
        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 = MegaAVMFlavor_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& 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_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_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_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_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_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& 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_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& 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_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& 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& 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() + (25), 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() + (25), 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_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, 7> get_gate_selectors() { return { (*this)[EntityId::q_arith], (*this)[EntityId::q_delta_range], (*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, 7> get_gate_selectors() const { return { (*this)[EntityId::q_arith], (*this)[EntityId::q_delta_range], (*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_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, 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] }; }
 
        // 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 = {
                "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",
            };
            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& q_m() { return data[0]; }
        const DataType& q_m() const { return data[0]; }
        DataType& q_l() { return data[1]; }
        const DataType& q_l() const { return data[1]; }
        DataType& q_r() { return data[2]; }
        const DataType& q_r() const { return data[2]; }
        DataType& q_o() { return data[3]; }
        const DataType& q_o() const { return data[3]; }
        DataType& q_4() { return data[4]; }
        const DataType& q_4() const { return data[4]; }
        DataType& q_c() { return data[5]; }
        const DataType& q_c() const { return data[5]; }
        DataType& q_arith() { return data[6]; }
        const DataType& q_arith() const { return data[6]; }
        DataType& sigma_1() { return data[7]; }
        const DataType& sigma_1() const { return data[7]; }
        DataType& sigma_2() { return data[8]; }
        const DataType& sigma_2() const { return data[8]; }
        DataType& sigma_3() { return data[9]; }
        const DataType& sigma_3() const { return data[9]; }
        DataType& sigma_4() { return data[10]; }
        const DataType& sigma_4() const { return data[10]; }
        DataType& id_1() { return data[11]; }
        const DataType& id_1() const { return data[11]; }
        DataType& id_2() { return data[12]; }
        const DataType& id_2() const { return data[12]; }
        DataType& id_3() { return data[13]; }
        const DataType& id_3() const { return data[13]; }
        DataType& id_4() { return data[14]; }
        const DataType& id_4() const { return data[14]; }
        DataType& lagrange_first() { return data[15]; }
        const DataType& lagrange_first() const { return data[15]; }
        DataType& lagrange_last() { return data[16]; }
        const DataType& lagrange_last() const { return data[16]; }
        DataType& q_delta_range() { return data[17]; }
        const DataType& q_delta_range() const { return data[17]; }
        DataType& lagrange_ecc_op() { return data[18]; }
        const DataType& lagrange_ecc_op() const { return data[18]; }
        DataType& q_poseidon2_external() { return data[19]; }
        const DataType& q_poseidon2_external() const { return data[19]; }
        DataType& q_poseidon2_external_initial() { return data[20]; }
        const DataType& q_poseidon2_external_initial() const { return data[20]; }
        DataType& q_poseidon2_quad_internal() { return data[21]; }
        const DataType& q_poseidon2_quad_internal() const { return data[21]; }
        DataType& q_5() { return data[22]; }
        const DataType& q_5() const { return data[22]; }
        DataType& q_poseidon2_quad_internal_terminal() { return data[23]; }
        const DataType& q_poseidon2_quad_internal_terminal() const { return data[23]; }
        DataType& q_poseidon2_transition_entry() { return data[24]; }
        const DataType& q_poseidon2_transition_entry() const { return data[24]; }
 
        // Subset views.
        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, 7> get_gate_selectors() { return { this->q_arith(), this->q_delta_range(), 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, 7> get_gate_selectors() const { return { this->q_arith(), this->q_delta_range(), 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_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() }; }
 
        // 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 = {
                "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",
            };
            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& ecc_op_wire_1() { return data[5]; }
        const DataType& ecc_op_wire_1() const { return data[5]; }
        DataType& ecc_op_wire_2() { return data[6]; }
        const DataType& ecc_op_wire_2() const { return data[6]; }
        DataType& ecc_op_wire_3() { return data[7]; }
        const DataType& ecc_op_wire_3() const { return data[7]; }
        DataType& ecc_op_wire_4() { return data[8]; }
        const DataType& ecc_op_wire_4() const { return data[8]; }
 
        // 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, 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", "ECC_OP_WIRE_1", "ECC_OP_WIRE_2", "ECC_OP_WIRE_3",
                "ECC_OP_WIRE_4",
            };
            return labels;
        }
    };
};
 
} // namespace bb