lookups_tx.hpp

Go to the documentation of this file.

// AUTOGENERATED FILE
#pragma once
 
#include <cstddef>
#include <string_view>
#include <tuple>
 
#include "../columns.hpp"
#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
#include "barretenberg/vm2/constraining/relations/interactions_base.hpp"
 
namespace bb::avm2 {
 
 
struct lookup_tx_read_phase_spec_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_READ_PHASE_SPEC";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 16;
    static constexpr Column SRC_SELECTOR = Column::tx_sel;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_phase;
    static constexpr Column COUNTS = Column::lookup_tx_read_phase_spec_counts;
    static constexpr Column INVERSES = Column::lookup_tx_read_phase_spec_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_phase_value,
        ColumnAndShifts::tx_is_public_call_request,
        ColumnAndShifts::tx_is_teardown,
        ColumnAndShifts::tx_is_collect_fee,
        ColumnAndShifts::tx_is_tree_padding,
        ColumnAndShifts::tx_is_cleanup,
        ColumnAndShifts::tx_is_revertible,
        ColumnAndShifts::tx_read_pi_start_offset,
        ColumnAndShifts::tx_read_pi_length_offset,
        ColumnAndShifts::tx_sel_non_revertible_append_note_hash,
        ColumnAndShifts::tx_sel_non_revertible_append_nullifier,
        ColumnAndShifts::tx_sel_non_revertible_append_l2_l1_msg,
        ColumnAndShifts::tx_sel_revertible_append_note_hash,
        ColumnAndShifts::tx_sel_revertible_append_nullifier,
        ColumnAndShifts::tx_sel_revertible_append_l2_l1_msg,
        ColumnAndShifts::tx_next_phase_on_revert
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx,
        ColumnAndShifts::precomputed_is_public_call_request,
        ColumnAndShifts::precomputed_is_teardown,
        ColumnAndShifts::precomputed_is_collect_fee,
        ColumnAndShifts::precomputed_is_tree_padding,
        ColumnAndShifts::precomputed_is_cleanup,
        ColumnAndShifts::precomputed_is_revertible,
        ColumnAndShifts::precomputed_read_pi_start_offset,
        ColumnAndShifts::precomputed_read_pi_length_offset,
        ColumnAndShifts::precomputed_sel_non_revertible_append_note_hash,
        ColumnAndShifts::precomputed_sel_non_revertible_append_nullifier,
        ColumnAndShifts::precomputed_sel_non_revertible_append_l2_l1_msg,
        ColumnAndShifts::precomputed_sel_revertible_append_note_hash,
        ColumnAndShifts::precomputed_sel_revertible_append_nullifier,
        ColumnAndShifts::precomputed_sel_revertible_append_l2_l1_msg,
        ColumnAndShifts::precomputed_next_phase_on_revert
    };
};
 
using lookup_tx_read_phase_spec_settings = lookup_settings<lookup_tx_read_phase_spec_settings_>;
template <typename FF_>
using lookup_tx_read_phase_spec_relation = lookup_relation_base<FF_, lookup_tx_read_phase_spec_settings>;
 
 
struct lookup_tx_read_phase_length_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_READ_PHASE_LENGTH";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::tx_sel_read_phase_length;
    static constexpr Column DST_SELECTOR = Column::public_inputs_sel;
    static constexpr Column COUNTS = Column::lookup_tx_read_phase_length_counts;
    static constexpr Column INVERSES = Column::lookup_tx_read_phase_length_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_read_pi_length_offset, ColumnAndShifts::tx_remaining_phase_counter
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx, ColumnAndShifts::public_inputs_cols_0_
    };
};
 
using lookup_tx_read_phase_length_settings = lookup_settings<lookup_tx_read_phase_length_settings_>;
template <typename FF_>
using lookup_tx_read_phase_length_relation = lookup_relation_base<FF_, lookup_tx_read_phase_length_settings>;
 
 
struct lookup_tx_read_public_call_request_phase_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_READ_PUBLIC_CALL_REQUEST_PHASE";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::tx_should_process_call_request;
    static constexpr Column DST_SELECTOR = Column::public_inputs_sel;
    static constexpr Column COUNTS = Column::lookup_tx_read_public_call_request_phase_counts;
    static constexpr Column INVERSES = Column::lookup_tx_read_public_call_request_phase_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::tx_read_pi_offset,
                                                                                    ColumnAndShifts::tx_msg_sender,
                                                                                    ColumnAndShifts::tx_contract_addr,
                                                                                    ColumnAndShifts::tx_is_static,
                                                                                    ColumnAndShifts::tx_calldata_hash };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx,
        ColumnAndShifts::public_inputs_cols_0_,
        ColumnAndShifts::public_inputs_cols_1_,
        ColumnAndShifts::public_inputs_cols_2_,
        ColumnAndShifts::public_inputs_cols_3_
    };
};
 
using lookup_tx_read_public_call_request_phase_settings =
    lookup_settings<lookup_tx_read_public_call_request_phase_settings_>;
template <typename FF_>
using lookup_tx_read_public_call_request_phase_relation =
    lookup_relation_base<FF_, lookup_tx_read_public_call_request_phase_settings>;
 
 
struct lookup_tx_read_tree_insert_value_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_READ_TREE_INSERT_VALUE";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::tx_is_tree_insert_phase;
    static constexpr Column DST_SELECTOR = Column::public_inputs_sel;
    static constexpr Column COUNTS = Column::lookup_tx_read_tree_insert_value_counts;
    static constexpr Column INVERSES = Column::lookup_tx_read_tree_insert_value_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::tx_read_pi_offset,
                                                                                    ColumnAndShifts::tx_leaf_value };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx, ColumnAndShifts::public_inputs_cols_0_
    };
};
 
using lookup_tx_read_tree_insert_value_settings = lookup_settings<lookup_tx_read_tree_insert_value_settings_>;
template <typename FF_>
using lookup_tx_read_tree_insert_value_relation = lookup_relation_base<FF_, lookup_tx_read_tree_insert_value_settings>;
 
 
struct lookup_tx_note_hash_append_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_NOTE_HASH_APPEND";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 8;
    static constexpr Column SRC_SELECTOR = Column::tx_should_note_hash_append;
    static constexpr Column DST_SELECTOR = Column::note_hash_tree_check_write;
    static constexpr Column COUNTS = Column::lookup_tx_note_hash_append_counts;
    static constexpr Column INVERSES = Column::lookup_tx_note_hash_append_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_leaf_value,
        ColumnAndShifts::tx_prev_note_hash_tree_size,
        ColumnAndShifts::tx_prev_note_hash_tree_root,
        ColumnAndShifts::precomputed_zero,
        ColumnAndShifts::tx_sel_revertible_append_note_hash,
        ColumnAndShifts::tx_prev_num_note_hashes_emitted,
        ColumnAndShifts::tx_discard,
        ColumnAndShifts::tx_next_note_hash_tree_root
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::note_hash_tree_check_note_hash,  ColumnAndShifts::note_hash_tree_check_leaf_index,
        ColumnAndShifts::note_hash_tree_check_prev_root,  ColumnAndShifts::note_hash_tree_check_sel_silo,
        ColumnAndShifts::note_hash_tree_check_sel_unique, ColumnAndShifts::note_hash_tree_check_note_hash_index,
        ColumnAndShifts::note_hash_tree_check_discard,    ColumnAndShifts::note_hash_tree_check_next_root
    };
};
 
using lookup_tx_note_hash_append_settings = lookup_settings<lookup_tx_note_hash_append_settings_>;
template <typename FF_>
using lookup_tx_note_hash_append_relation = lookup_relation_base<FF_, lookup_tx_note_hash_append_settings>;
 
 
struct lookup_tx_nullifier_append_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_NULLIFIER_APPEND";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 9;
    static constexpr Column SRC_SELECTOR = Column::tx_should_nullifier_append;
    static constexpr Column DST_SELECTOR = Column::indexed_tree_check_write;
    static constexpr Column COUNTS = Column::lookup_tx_nullifier_append_counts;
    static constexpr Column INVERSES = Column::lookup_tx_nullifier_append_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_leaf_value,
        ColumnAndShifts::tx_prev_nullifier_tree_root,
        ColumnAndShifts::tx_reverted,
        ColumnAndShifts::tx_next_nullifier_tree_root,
        ColumnAndShifts::tx_prev_nullifier_tree_size,
        ColumnAndShifts::tx_discard,
        ColumnAndShifts::tx_write_nullifier_pi_offset,
        ColumnAndShifts::tx_nullifier_tree_height,
        ColumnAndShifts::precomputed_zero
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::indexed_tree_check_value,
        ColumnAndShifts::indexed_tree_check_root,
        ColumnAndShifts::indexed_tree_check_exists,
        ColumnAndShifts::indexed_tree_check_write_root,
        ColumnAndShifts::indexed_tree_check_tree_size_before_write,
        ColumnAndShifts::indexed_tree_check_discard,
        ColumnAndShifts::indexed_tree_check_public_inputs_index,
        ColumnAndShifts::indexed_tree_check_tree_height,
        ColumnAndShifts::indexed_tree_check_sel_silo
    };
};
 
using lookup_tx_nullifier_append_settings = lookup_settings<lookup_tx_nullifier_append_settings_>;
template <typename FF_>
using lookup_tx_nullifier_append_relation = lookup_relation_base<FF_, lookup_tx_nullifier_append_settings>;
 
 
struct lookup_tx_read_l2_l1_msg_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_READ_L2_L1_MSG";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 4;
    static constexpr Column SRC_SELECTOR = Column::tx_should_try_l2_l1_msg_append;
    static constexpr Column DST_SELECTOR = Column::public_inputs_sel;
    static constexpr Column COUNTS = Column::lookup_tx_read_l2_l1_msg_counts;
    static constexpr Column INVERSES = Column::lookup_tx_read_l2_l1_msg_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_read_pi_offset,
        ColumnAndShifts::tx_l2_l1_msg_recipient,
        ColumnAndShifts::tx_l2_l1_msg_content,
        ColumnAndShifts::tx_l2_l1_msg_contract_address
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx,
        ColumnAndShifts::public_inputs_cols_0_,
        ColumnAndShifts::public_inputs_cols_1_,
        ColumnAndShifts::public_inputs_cols_2_
    };
};
 
using lookup_tx_read_l2_l1_msg_settings = lookup_settings<lookup_tx_read_l2_l1_msg_settings_>;
template <typename FF_>
using lookup_tx_read_l2_l1_msg_relation = lookup_relation_base<FF_, lookup_tx_read_l2_l1_msg_settings>;
 
 
struct lookup_tx_write_l2_l1_msg_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_WRITE_L2_L1_MSG";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 4;
    static constexpr Column SRC_SELECTOR = Column::tx_should_l2_l1_msg_append;
    static constexpr Column DST_SELECTOR = Column::public_inputs_sel;
    static constexpr Column COUNTS = Column::lookup_tx_write_l2_l1_msg_counts;
    static constexpr Column INVERSES = Column::lookup_tx_write_l2_l1_msg_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_write_pi_offset,
        ColumnAndShifts::tx_l2_l1_msg_recipient,
        ColumnAndShifts::tx_l2_l1_msg_content,
        ColumnAndShifts::tx_l2_l1_msg_contract_address
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx,
        ColumnAndShifts::public_inputs_cols_0_,
        ColumnAndShifts::public_inputs_cols_1_,
        ColumnAndShifts::public_inputs_cols_2_
    };
};
 
using lookup_tx_write_l2_l1_msg_settings = lookup_settings<lookup_tx_write_l2_l1_msg_settings_>;
template <typename FF_>
using lookup_tx_write_l2_l1_msg_relation = lookup_relation_base<FF_, lookup_tx_write_l2_l1_msg_settings>;
 
 
struct lookup_tx_read_effective_fee_public_inputs_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_READ_EFFECTIVE_FEE_PUBLIC_INPUTS";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
    static constexpr Column SRC_SELECTOR = Column::tx_is_collect_fee;
    static constexpr Column DST_SELECTOR = Column::public_inputs_sel;
    static constexpr Column COUNTS = Column::lookup_tx_read_effective_fee_public_inputs_counts;
    static constexpr Column INVERSES = Column::lookup_tx_read_effective_fee_public_inputs_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_read_pi_offset,
        ColumnAndShifts::tx_effective_fee_per_da_gas,
        ColumnAndShifts::tx_effective_fee_per_l2_gas
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx, ColumnAndShifts::public_inputs_cols_0_, ColumnAndShifts::public_inputs_cols_1_
    };
};
 
using lookup_tx_read_effective_fee_public_inputs_settings =
    lookup_settings<lookup_tx_read_effective_fee_public_inputs_settings_>;
template <typename FF_>
using lookup_tx_read_effective_fee_public_inputs_relation =
    lookup_relation_base<FF_, lookup_tx_read_effective_fee_public_inputs_settings>;
 
 
struct lookup_tx_read_fee_payer_public_inputs_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_READ_FEE_PAYER_PUBLIC_INPUTS";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::tx_is_collect_fee;
    static constexpr Column DST_SELECTOR = Column::public_inputs_sel;
    static constexpr Column COUNTS = Column::lookup_tx_read_fee_payer_public_inputs_counts;
    static constexpr Column INVERSES = Column::lookup_tx_read_fee_payer_public_inputs_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_fee_payer_pi_offset, ColumnAndShifts::tx_fee_payer
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx, ColumnAndShifts::public_inputs_cols_0_
    };
};
 
using lookup_tx_read_fee_payer_public_inputs_settings =
    lookup_settings<lookup_tx_read_fee_payer_public_inputs_settings_>;
template <typename FF_>
using lookup_tx_read_fee_payer_public_inputs_relation =
    lookup_relation_base<FF_, lookup_tx_read_fee_payer_public_inputs_settings>;
 
 
struct lookup_tx_balance_slot_poseidon2_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_BALANCE_SLOT_POSEIDON2";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::tx_is_collect_fee;
    static constexpr Column DST_SELECTOR = Column::poseidon2_hash_start;
    static constexpr Column COUNTS = Column::lookup_tx_balance_slot_poseidon2_counts;
    static constexpr Column INVERSES = Column::lookup_tx_balance_slot_poseidon2_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_dom_sep_public_storage_map_slot,
        ColumnAndShifts::tx_fee_juice_balances_slot_constant,
        ColumnAndShifts::tx_fee_payer,
        ColumnAndShifts::tx_fee_juice_balance_slot,
        ColumnAndShifts::tx_const_three
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::poseidon2_hash_input_0,
        ColumnAndShifts::poseidon2_hash_input_1,
        ColumnAndShifts::poseidon2_hash_input_2,
        ColumnAndShifts::poseidon2_hash_output,
        ColumnAndShifts::poseidon2_hash_input_len
    };
};
 
using lookup_tx_balance_slot_poseidon2_settings = lookup_settings<lookup_tx_balance_slot_poseidon2_settings_>;
template <typename FF_>
using lookup_tx_balance_slot_poseidon2_relation = lookup_relation_base<FF_, lookup_tx_balance_slot_poseidon2_settings>;
 
 
struct lookup_tx_balance_read_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_BALANCE_READ";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 4;
    static constexpr Column SRC_SELECTOR = Column::tx_is_collect_fee;
    static constexpr Column DST_SELECTOR = Column::public_data_check_sel;
    static constexpr Column COUNTS = Column::lookup_tx_balance_read_counts;
    static constexpr Column INVERSES = Column::lookup_tx_balance_read_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_fee_payer_balance,
        ColumnAndShifts::tx_fee_juice_contract_address,
        ColumnAndShifts::tx_fee_juice_balance_slot,
        ColumnAndShifts::tx_prev_public_data_tree_root
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::public_data_check_value,
        ColumnAndShifts::public_data_check_address,
        ColumnAndShifts::public_data_check_slot,
        ColumnAndShifts::public_data_check_root
    };
};
 
using lookup_tx_balance_read_settings = lookup_settings<lookup_tx_balance_read_settings_>;
template <typename FF_>
using lookup_tx_balance_read_relation = lookup_relation_base<FF_, lookup_tx_balance_read_settings>;
 
 
struct lookup_tx_balance_validation_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_BALANCE_VALIDATION";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
    static constexpr Column SRC_SELECTOR = Column::tx_is_collect_fee;
    static constexpr Column DST_SELECTOR = Column::ff_gt_sel_gt;
    static constexpr Column COUNTS = Column::lookup_tx_balance_validation_counts;
    static constexpr Column INVERSES = Column::lookup_tx_balance_validation_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_fee, ColumnAndShifts::tx_fee_payer_balance, ColumnAndShifts::precomputed_zero
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::ff_gt_a,
                                                                                    ColumnAndShifts::ff_gt_b,
                                                                                    ColumnAndShifts::ff_gt_result };
};
 
using lookup_tx_balance_validation_settings = lookup_settings<lookup_tx_balance_validation_settings_>;
template <typename FF_>
using lookup_tx_balance_validation_relation = lookup_relation_base<FF_, lookup_tx_balance_validation_settings>;
 
 
struct lookup_tx_write_fee_public_inputs_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_WRITE_FEE_PUBLIC_INPUTS";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::tx_is_collect_fee;
    static constexpr Column DST_SELECTOR = Column::public_inputs_sel;
    static constexpr Column COUNTS = Column::lookup_tx_write_fee_public_inputs_counts;
    static constexpr Column INVERSES = Column::lookup_tx_write_fee_public_inputs_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::tx_write_pi_offset,
                                                                                    ColumnAndShifts::tx_fee };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx, ColumnAndShifts::public_inputs_cols_0_
    };
};
 
using lookup_tx_write_fee_public_inputs_settings = lookup_settings<lookup_tx_write_fee_public_inputs_settings_>;
template <typename FF_>
using lookup_tx_write_fee_public_inputs_relation =
    lookup_relation_base<FF_, lookup_tx_write_fee_public_inputs_settings>;
 
} // namespace bb::avm2