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_table_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_READ_PHASE_TABLE";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 19;
    static constexpr Column SRC_SELECTOR = Column::tx_start_phase;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_phase;
    static constexpr Column COUNTS = Column::lookup_tx_read_phase_table_counts;
    static constexpr Column INVERSES = Column::lookup_tx_read_phase_table_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_phase_value,
        ColumnAndShifts::tx_is_public_call_request,
        ColumnAndShifts::tx_is_collect_fee,
        ColumnAndShifts::tx_is_tree_padding,
        ColumnAndShifts::tx_is_cleanup,
        ColumnAndShifts::tx_is_revertible,
        ColumnAndShifts::tx_read_pi_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_sel_can_emit_note_hash,
        ColumnAndShifts::tx_sel_can_emit_nullifier,
        ColumnAndShifts::tx_sel_can_write_public_data,
        ColumnAndShifts::tx_sel_can_emit_unencrypted_log,
        ColumnAndShifts::tx_sel_can_emit_l2_l1_msg
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_phase_value,
        ColumnAndShifts::precomputed_is_public_call_request_phase,
        ColumnAndShifts::precomputed_sel_collect_fee,
        ColumnAndShifts::precomputed_sel_tree_padding,
        ColumnAndShifts::precomputed_sel_cleanup,
        ColumnAndShifts::precomputed_is_revertible,
        ColumnAndShifts::precomputed_read_public_input_offset,
        ColumnAndShifts::precomputed_read_public_input_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_sel_can_emit_note_hash,
        ColumnAndShifts::precomputed_sel_can_emit_nullifier,
        ColumnAndShifts::precomputed_sel_can_write_public_data,
        ColumnAndShifts::precomputed_sel_can_emit_unencrypted_log,
        ColumnAndShifts::precomputed_sel_can_emit_l2_l1_msg
    };
};
 
using lookup_tx_read_phase_table_settings = lookup_settings<lookup_tx_read_phase_table_settings_>;
template <typename FF_>
using lookup_tx_read_phase_table_relation = lookup_relation_base<FF_, lookup_tx_read_phase_table_settings>;
 
 
struct lookup_tx_phase_jump_on_revert_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_PHASE_JUMP_ON_REVERT";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::tx_reverted;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_phase;
    static constexpr Column COUNTS = Column::lookup_tx_phase_jump_on_revert_counts;
    static constexpr Column INVERSES = Column::lookup_tx_phase_jump_on_revert_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_phase_value, ColumnAndShifts::tx_phase_value_shift
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_phase_value, ColumnAndShifts::precomputed_next_phase_on_revert
    };
};
 
using lookup_tx_phase_jump_on_revert_settings = lookup_settings<lookup_tx_phase_jump_on_revert_settings_>;
template <typename FF_>
using lookup_tx_phase_jump_on_revert_relation = lookup_relation_base<FF_, lookup_tx_phase_jump_on_revert_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_clk, 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_is_public_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_clk,
        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_dispatch_exec_start_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_DISPATCH_EXEC_START";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 23;
    static constexpr Column SRC_SELECTOR = Column::tx_should_process_call_request;
    static constexpr Column DST_SELECTOR = Column::execution_enqueued_call_start;
    static constexpr Column COUNTS = Column::lookup_tx_dispatch_exec_start_counts;
    static constexpr Column INVERSES = Column::lookup_tx_dispatch_exec_start_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_next_context_id,
        ColumnAndShifts::tx_discard,
        ColumnAndShifts::tx_msg_sender,
        ColumnAndShifts::tx_contract_addr,
        ColumnAndShifts::tx_fee,
        ColumnAndShifts::tx_is_static,
        ColumnAndShifts::tx_prev_note_hash_tree_root,
        ColumnAndShifts::tx_prev_note_hash_tree_size,
        ColumnAndShifts::tx_prev_num_note_hashes_emitted,
        ColumnAndShifts::tx_prev_nullifier_tree_root,
        ColumnAndShifts::tx_prev_nullifier_tree_size,
        ColumnAndShifts::tx_prev_num_nullifiers_emitted,
        ColumnAndShifts::tx_prev_public_data_tree_root,
        ColumnAndShifts::tx_prev_public_data_tree_size,
        ColumnAndShifts::tx_prev_written_public_data_slots_tree_root,
        ColumnAndShifts::tx_prev_written_public_data_slots_tree_size,
        ColumnAndShifts::tx_l1_l2_tree_root,
        ColumnAndShifts::tx_prev_num_unencrypted_logs,
        ColumnAndShifts::tx_prev_num_l2_to_l1_messages,
        ColumnAndShifts::tx_prev_l2_gas_used_sent_to_enqueued_call,
        ColumnAndShifts::tx_prev_da_gas_used_sent_to_enqueued_call,
        ColumnAndShifts::tx_l2_gas_limit,
        ColumnAndShifts::tx_da_gas_limit
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::execution_context_id,
        ColumnAndShifts::execution_discard,
        ColumnAndShifts::execution_msg_sender,
        ColumnAndShifts::execution_contract_address,
        ColumnAndShifts::execution_transaction_fee,
        ColumnAndShifts::execution_is_static,
        ColumnAndShifts::execution_prev_note_hash_tree_root,
        ColumnAndShifts::execution_prev_note_hash_tree_size,
        ColumnAndShifts::execution_prev_num_note_hashes_emitted,
        ColumnAndShifts::execution_prev_nullifier_tree_root,
        ColumnAndShifts::execution_prev_nullifier_tree_size,
        ColumnAndShifts::execution_prev_num_nullifiers_emitted,
        ColumnAndShifts::execution_prev_public_data_tree_root,
        ColumnAndShifts::execution_prev_public_data_tree_size,
        ColumnAndShifts::execution_prev_written_public_data_slots_tree_root,
        ColumnAndShifts::execution_prev_written_public_data_slots_tree_size,
        ColumnAndShifts::execution_l1_l2_tree_root,
        ColumnAndShifts::execution_prev_num_unencrypted_logs,
        ColumnAndShifts::execution_prev_num_l2_to_l1_messages,
        ColumnAndShifts::execution_prev_l2_gas_used,
        ColumnAndShifts::execution_prev_da_gas_used,
        ColumnAndShifts::execution_l2_gas_limit,
        ColumnAndShifts::execution_da_gas_limit
    };
};
 
using lookup_tx_dispatch_exec_start_settings = lookup_settings<lookup_tx_dispatch_exec_start_settings_>;
template <typename FF_>
using lookup_tx_dispatch_exec_start_relation = lookup_relation_base<FF_, lookup_tx_dispatch_exec_start_settings>;
 
 
struct lookup_tx_dispatch_exec_end_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_DISPATCH_EXEC_END";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 19;
    static constexpr Column SRC_SELECTOR = Column::tx_should_process_call_request;
    static constexpr Column DST_SELECTOR = Column::execution_enqueued_call_end;
    static constexpr Column COUNTS = Column::lookup_tx_dispatch_exec_end_counts;
    static constexpr Column INVERSES = Column::lookup_tx_dispatch_exec_end_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_next_context_id,
        ColumnAndShifts::tx_next_context_id_shift,
        ColumnAndShifts::tx_reverted,
        ColumnAndShifts::tx_discard,
        ColumnAndShifts::tx_next_note_hash_tree_root,
        ColumnAndShifts::tx_next_note_hash_tree_size,
        ColumnAndShifts::tx_next_num_note_hashes_emitted,
        ColumnAndShifts::tx_next_nullifier_tree_root,
        ColumnAndShifts::tx_next_nullifier_tree_size,
        ColumnAndShifts::tx_next_num_nullifiers_emitted,
        ColumnAndShifts::tx_next_public_data_tree_root,
        ColumnAndShifts::tx_next_public_data_tree_size,
        ColumnAndShifts::tx_next_written_public_data_slots_tree_root,
        ColumnAndShifts::tx_next_written_public_data_slots_tree_size,
        ColumnAndShifts::tx_l1_l2_tree_root,
        ColumnAndShifts::tx_next_num_unencrypted_logs,
        ColumnAndShifts::tx_next_num_l2_to_l1_messages,
        ColumnAndShifts::tx_next_l2_gas_used_sent_to_enqueued_call,
        ColumnAndShifts::tx_next_da_gas_used_sent_to_enqueued_call
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::execution_context_id,
        ColumnAndShifts::execution_next_context_id,
        ColumnAndShifts::execution_sel_failure,
        ColumnAndShifts::execution_discard,
        ColumnAndShifts::execution_note_hash_tree_root,
        ColumnAndShifts::execution_note_hash_tree_size,
        ColumnAndShifts::execution_num_note_hashes_emitted,
        ColumnAndShifts::execution_nullifier_tree_root,
        ColumnAndShifts::execution_nullifier_tree_size,
        ColumnAndShifts::execution_num_nullifiers_emitted,
        ColumnAndShifts::execution_public_data_tree_root,
        ColumnAndShifts::execution_public_data_tree_size,
        ColumnAndShifts::execution_written_public_data_slots_tree_root,
        ColumnAndShifts::execution_written_public_data_slots_tree_size,
        ColumnAndShifts::execution_l1_l2_tree_root,
        ColumnAndShifts::execution_num_unencrypted_logs,
        ColumnAndShifts::execution_num_l2_to_l1_messages,
        ColumnAndShifts::execution_l2_gas_used,
        ColumnAndShifts::execution_da_gas_used
    };
};
 
using lookup_tx_dispatch_exec_end_settings = lookup_settings<lookup_tx_dispatch_exec_end_settings_>;
template <typename FF_>
using lookup_tx_dispatch_exec_end_relation = lookup_relation_base<FF_, lookup_tx_dispatch_exec_end_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_clk, 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_should_silo,
        ColumnAndShifts::note_hash_tree_check_should_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 = 8;
    static constexpr Column SRC_SELECTOR = Column::tx_should_nullifier_append;
    static constexpr Column DST_SELECTOR = Column::nullifier_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_reverted,
        ColumnAndShifts::tx_leaf_value,
        ColumnAndShifts::tx_prev_nullifier_tree_root,
        ColumnAndShifts::tx_next_nullifier_tree_root,
        ColumnAndShifts::tx_prev_nullifier_tree_size,
        ColumnAndShifts::tx_discard,
        ColumnAndShifts::tx_prev_num_nullifiers_emitted,
        ColumnAndShifts::precomputed_zero
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::nullifier_check_exists,
        ColumnAndShifts::nullifier_check_nullifier,
        ColumnAndShifts::nullifier_check_root,
        ColumnAndShifts::nullifier_check_write_root,
        ColumnAndShifts::nullifier_check_tree_size_before_write,
        ColumnAndShifts::nullifier_check_discard,
        ColumnAndShifts::nullifier_check_nullifier_index,
        ColumnAndShifts::nullifier_check_should_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_clk,
        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_clk,
        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_clk, 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_clk, 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_end;
    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_is_collect_fee,
        ColumnAndShifts::tx_fee_juice_balances_slot,
        ColumnAndShifts::tx_fee_payer,
        ColumnAndShifts::precomputed_zero,
        ColumnAndShifts::tx_fee_juice_balance_slot
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::poseidon2_hash_start,
        ColumnAndShifts::poseidon2_hash_input_0,
        ColumnAndShifts::poseidon2_hash_input_1,
        ColumnAndShifts::poseidon2_hash_input_2,
        ColumnAndShifts::poseidon2_hash_output
    };
};
 
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_balance_update_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_TX_BALANCE_UPDATE";
    static constexpr std::string_view RELATION_NAME = "tx";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 8;
    static constexpr Column SRC_SELECTOR = Column::tx_is_collect_fee;
    static constexpr Column DST_SELECTOR = Column::public_data_check_write;
    static constexpr Column COUNTS = Column::lookup_tx_balance_update_counts;
    static constexpr Column INVERSES = Column::lookup_tx_balance_update_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::tx_fee_payer_new_balance,      ColumnAndShifts::tx_fee_juice_contract_address,
        ColumnAndShifts::tx_fee_juice_balance_slot,     ColumnAndShifts::tx_prev_public_data_tree_root,
        ColumnAndShifts::tx_next_public_data_tree_root, ColumnAndShifts::tx_prev_public_data_tree_size,
        ColumnAndShifts::tx_next_public_data_tree_size, ColumnAndShifts::tx_uint32_max
    };
    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,
        ColumnAndShifts::public_data_check_write_root,
        ColumnAndShifts::public_data_check_tree_size_before_write,
        ColumnAndShifts::public_data_check_tree_size_after_write,
        ColumnAndShifts::public_data_check_clk
    };
};
 
using lookup_tx_balance_update_settings = lookup_settings<lookup_tx_balance_update_settings_>;
template <typename FF_>
using lookup_tx_balance_update_relation = lookup_relation_base<FF_, lookup_tx_balance_update_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_clk, 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