lookups_execution.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_execution_bytecode_retrieval_result_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_BYTECODE_RETRIEVAL_RESULT";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 9;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_first_row_in_context;
    static constexpr Column DST_SELECTOR = Column::bc_retrieval_sel;
    static constexpr Column COUNTS = Column::lookup_execution_bytecode_retrieval_result_counts;
    static constexpr Column INVERSES = Column::lookup_execution_bytecode_retrieval_result_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_bytecode_id,
        ColumnAndShifts::execution_contract_address,
        ColumnAndShifts::execution_prev_nullifier_tree_root,
        ColumnAndShifts::execution_prev_public_data_tree_root,
        ColumnAndShifts::execution_prev_retrieved_bytecodes_tree_root,
        ColumnAndShifts::execution_prev_retrieved_bytecodes_tree_size,
        ColumnAndShifts::execution_retrieved_bytecodes_tree_root,
        ColumnAndShifts::execution_retrieved_bytecodes_tree_size,
        ColumnAndShifts::execution_sel_bytecode_retrieval_failure
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::bc_retrieval_bytecode_id,
        ColumnAndShifts::bc_retrieval_address,
        ColumnAndShifts::bc_retrieval_nullifier_tree_root,
        ColumnAndShifts::bc_retrieval_public_data_tree_root,
        ColumnAndShifts::bc_retrieval_prev_retrieved_bytecodes_tree_root,
        ColumnAndShifts::bc_retrieval_prev_retrieved_bytecodes_tree_size,
        ColumnAndShifts::bc_retrieval_next_retrieved_bytecodes_tree_root,
        ColumnAndShifts::bc_retrieval_next_retrieved_bytecodes_tree_size,
        ColumnAndShifts::bc_retrieval_error
    };
};
 
using lookup_execution_bytecode_retrieval_result_settings =
    lookup_settings<lookup_execution_bytecode_retrieval_result_settings_>;
template <typename FF_>
using lookup_execution_bytecode_retrieval_result_relation =
    lookup_relation_base<FF_, lookup_execution_bytecode_retrieval_result_settings>;
 
 
struct lookup_execution_instruction_fetching_result_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_INSTRUCTION_FETCHING_RESULT";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_bytecode_retrieval_success;
    static constexpr Column DST_SELECTOR = Column::instr_fetching_sel;
    static constexpr Column COUNTS = Column::lookup_execution_instruction_fetching_result_counts;
    static constexpr Column INVERSES = Column::lookup_execution_instruction_fetching_result_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_pc,
        ColumnAndShifts::execution_bytecode_id,
        ColumnAndShifts::execution_sel_instruction_fetching_failure
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::instr_fetching_pc,
        ColumnAndShifts::instr_fetching_bytecode_id,
        ColumnAndShifts::instr_fetching_sel_parsing_err
    };
};
 
using lookup_execution_instruction_fetching_result_settings =
    lookup_settings<lookup_execution_instruction_fetching_result_settings_>;
template <typename FF_>
using lookup_execution_instruction_fetching_result_relation =
    lookup_relation_base<FF_, lookup_execution_instruction_fetching_result_settings>;
 
 
struct lookup_execution_instruction_fetching_body_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_INSTRUCTION_FETCHING_BODY";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 12;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_instruction_fetching_success;
    static constexpr Column DST_SELECTOR = Column::instr_fetching_sel;
    static constexpr Column COUNTS = Column::lookup_execution_instruction_fetching_body_counts;
    static constexpr Column INVERSES = Column::lookup_execution_instruction_fetching_body_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_pc,        ColumnAndShifts::execution_bytecode_id,
        ColumnAndShifts::execution_ex_opcode, ColumnAndShifts::execution_instr_length,
        ColumnAndShifts::execution_indirect,  ColumnAndShifts::execution_op_0_,
        ColumnAndShifts::execution_op_1_,     ColumnAndShifts::execution_op_2_,
        ColumnAndShifts::execution_op_3_,     ColumnAndShifts::execution_op_4_,
        ColumnAndShifts::execution_op_5_,     ColumnAndShifts::execution_op_6_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::instr_fetching_pc,          ColumnAndShifts::instr_fetching_bytecode_id,
        ColumnAndShifts::instr_fetching_exec_opcode, ColumnAndShifts::instr_fetching_instr_size,
        ColumnAndShifts::instr_fetching_indirect,    ColumnAndShifts::instr_fetching_op1,
        ColumnAndShifts::instr_fetching_op2,         ColumnAndShifts::instr_fetching_op3,
        ColumnAndShifts::instr_fetching_op4,         ColumnAndShifts::instr_fetching_op5,
        ColumnAndShifts::instr_fetching_op6,         ColumnAndShifts::instr_fetching_op7
    };
};
 
using lookup_execution_instruction_fetching_body_settings =
    lookup_settings<lookup_execution_instruction_fetching_body_settings_>;
template <typename FF_>
using lookup_execution_instruction_fetching_body_relation =
    lookup_relation_base<FF_, lookup_execution_instruction_fetching_body_settings>;
 
 
struct lookup_execution_exec_spec_read_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_EXEC_SPEC_READ";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 39;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_instruction_fetching_success;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_exec_spec;
    static constexpr Column COUNTS = Column::lookup_execution_exec_spec_read_counts;
    static constexpr Column INVERSES = Column::lookup_execution_exec_spec_read_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_ex_opcode,
        ColumnAndShifts::execution_opcode_gas,
        ColumnAndShifts::execution_base_da_gas,
        ColumnAndShifts::execution_dynamic_l2_gas,
        ColumnAndShifts::execution_dynamic_da_gas,
        ColumnAndShifts::execution_sel_op_is_address_0_,
        ColumnAndShifts::execution_sel_op_is_address_1_,
        ColumnAndShifts::execution_sel_op_is_address_2_,
        ColumnAndShifts::execution_sel_op_is_address_3_,
        ColumnAndShifts::execution_sel_op_is_address_4_,
        ColumnAndShifts::execution_sel_op_is_address_5_,
        ColumnAndShifts::execution_sel_op_is_address_6_,
        ColumnAndShifts::execution_subtrace_id,
        ColumnAndShifts::execution_subtrace_operation_id,
        ColumnAndShifts::execution_dyn_gas_id,
        ColumnAndShifts::execution_sel_mem_op_reg_0_,
        ColumnAndShifts::execution_sel_mem_op_reg_1_,
        ColumnAndShifts::execution_sel_mem_op_reg_2_,
        ColumnAndShifts::execution_sel_mem_op_reg_3_,
        ColumnAndShifts::execution_sel_mem_op_reg_4_,
        ColumnAndShifts::execution_sel_mem_op_reg_5_,
        ColumnAndShifts::execution_rw_reg_0_,
        ColumnAndShifts::execution_rw_reg_1_,
        ColumnAndShifts::execution_rw_reg_2_,
        ColumnAndShifts::execution_rw_reg_3_,
        ColumnAndShifts::execution_rw_reg_4_,
        ColumnAndShifts::execution_rw_reg_5_,
        ColumnAndShifts::execution_sel_tag_check_reg_0_,
        ColumnAndShifts::execution_sel_tag_check_reg_1_,
        ColumnAndShifts::execution_sel_tag_check_reg_2_,
        ColumnAndShifts::execution_sel_tag_check_reg_3_,
        ColumnAndShifts::execution_sel_tag_check_reg_4_,
        ColumnAndShifts::execution_sel_tag_check_reg_5_,
        ColumnAndShifts::execution_expected_tag_reg_0_,
        ColumnAndShifts::execution_expected_tag_reg_1_,
        ColumnAndShifts::execution_expected_tag_reg_2_,
        ColumnAndShifts::execution_expected_tag_reg_3_,
        ColumnAndShifts::execution_expected_tag_reg_4_,
        ColumnAndShifts::execution_expected_tag_reg_5_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_clk,
        ColumnAndShifts::precomputed_exec_opcode_opcode_gas,
        ColumnAndShifts::precomputed_exec_opcode_base_da_gas,
        ColumnAndShifts::precomputed_exec_opcode_dynamic_l2_gas,
        ColumnAndShifts::precomputed_exec_opcode_dynamic_da_gas,
        ColumnAndShifts::precomputed_sel_op_is_address_0_,
        ColumnAndShifts::precomputed_sel_op_is_address_1_,
        ColumnAndShifts::precomputed_sel_op_is_address_2_,
        ColumnAndShifts::precomputed_sel_op_is_address_3_,
        ColumnAndShifts::precomputed_sel_op_is_address_4_,
        ColumnAndShifts::precomputed_sel_op_is_address_5_,
        ColumnAndShifts::precomputed_sel_op_is_address_6_,
        ColumnAndShifts::precomputed_subtrace_id,
        ColumnAndShifts::precomputed_subtrace_operation_id,
        ColumnAndShifts::precomputed_dyn_gas_id,
        ColumnAndShifts::precomputed_sel_mem_op_reg_0_,
        ColumnAndShifts::precomputed_sel_mem_op_reg_1_,
        ColumnAndShifts::precomputed_sel_mem_op_reg_2_,
        ColumnAndShifts::precomputed_sel_mem_op_reg_3_,
        ColumnAndShifts::precomputed_sel_mem_op_reg_4_,
        ColumnAndShifts::precomputed_sel_mem_op_reg_5_,
        ColumnAndShifts::precomputed_rw_reg_0_,
        ColumnAndShifts::precomputed_rw_reg_1_,
        ColumnAndShifts::precomputed_rw_reg_2_,
        ColumnAndShifts::precomputed_rw_reg_3_,
        ColumnAndShifts::precomputed_rw_reg_4_,
        ColumnAndShifts::precomputed_rw_reg_5_,
        ColumnAndShifts::precomputed_sel_tag_check_reg_0_,
        ColumnAndShifts::precomputed_sel_tag_check_reg_1_,
        ColumnAndShifts::precomputed_sel_tag_check_reg_2_,
        ColumnAndShifts::precomputed_sel_tag_check_reg_3_,
        ColumnAndShifts::precomputed_sel_tag_check_reg_4_,
        ColumnAndShifts::precomputed_sel_tag_check_reg_5_,
        ColumnAndShifts::precomputed_expected_tag_reg_0_,
        ColumnAndShifts::precomputed_expected_tag_reg_1_,
        ColumnAndShifts::precomputed_expected_tag_reg_2_,
        ColumnAndShifts::precomputed_expected_tag_reg_3_,
        ColumnAndShifts::precomputed_expected_tag_reg_4_,
        ColumnAndShifts::precomputed_expected_tag_reg_5_
    };
};
 
using lookup_execution_exec_spec_read_settings = lookup_settings<lookup_execution_exec_spec_read_settings_>;
template <typename FF_>
using lookup_execution_exec_spec_read_relation = lookup_relation_base<FF_, lookup_execution_exec_spec_read_settings>;
 
 
struct lookup_execution_dyn_l2_factor_bitwise_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_DYN_L2_FACTOR_BITWISE";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_gas_bitwise;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_tag_parameters;
    static constexpr Column COUNTS = Column::lookup_execution_dyn_l2_factor_bitwise_counts;
    static constexpr Column INVERSES = Column::lookup_execution_dyn_l2_factor_bitwise_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_mem_tag_reg_0_, ColumnAndShifts::execution_dynamic_l2_gas_factor
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_clk, ColumnAndShifts::precomputed_tag_byte_length
    };
};
 
using lookup_execution_dyn_l2_factor_bitwise_settings =
    lookup_settings<lookup_execution_dyn_l2_factor_bitwise_settings_>;
template <typename FF_>
using lookup_execution_dyn_l2_factor_bitwise_relation =
    lookup_relation_base<FF_, lookup_execution_dyn_l2_factor_bitwise_settings>;
 
 
struct lookup_execution_check_radix_gt_256_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_CHECK_RADIX_GT_256";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_gas_to_radix;
    static constexpr Column DST_SELECTOR = Column::gt_sel_others;
    static constexpr Column COUNTS = Column::lookup_execution_check_radix_gt_256_counts;
    static constexpr Column INVERSES = Column::lookup_execution_check_radix_gt_256_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_register_1_,
        ColumnAndShifts::execution_two_five_six,
        ColumnAndShifts::execution_sel_radix_gt_256
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
                                                                                    ColumnAndShifts::gt_input_b,
                                                                                    ColumnAndShifts::gt_res };
};
 
using lookup_execution_check_radix_gt_256_settings = lookup_settings<lookup_execution_check_radix_gt_256_settings_>;
template <typename FF_>
using lookup_execution_check_radix_gt_256_relation =
    lookup_relation_base<FF_, lookup_execution_check_radix_gt_256_settings>;
 
 
struct lookup_execution_get_p_limbs_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_GET_P_LIMBS";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_lookup_num_p_limbs;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_to_radix_p_limb_counts;
    static constexpr Column COUNTS = Column::lookup_execution_get_p_limbs_counts;
    static constexpr Column INVERSES = Column::lookup_execution_get_p_limbs_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_register_1_, ColumnAndShifts::execution_num_p_limbs
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_clk, ColumnAndShifts::precomputed_to_radix_num_limbs_for_p
    };
};
 
using lookup_execution_get_p_limbs_settings = lookup_settings<lookup_execution_get_p_limbs_settings_>;
template <typename FF_>
using lookup_execution_get_p_limbs_relation = lookup_relation_base<FF_, lookup_execution_get_p_limbs_settings>;
 
 
struct lookup_execution_get_max_limbs_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_GET_MAX_LIMBS";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_gas_to_radix;
    static constexpr Column DST_SELECTOR = Column::gt_sel_others;
    static constexpr Column COUNTS = Column::lookup_execution_get_max_limbs_counts;
    static constexpr Column INVERSES = Column::lookup_execution_get_max_limbs_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_register_2_,
        ColumnAndShifts::execution_num_p_limbs,
        ColumnAndShifts::execution_sel_use_num_limbs
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
                                                                                    ColumnAndShifts::gt_input_b,
                                                                                    ColumnAndShifts::gt_res };
};
 
using lookup_execution_get_max_limbs_settings = lookup_settings<lookup_execution_get_max_limbs_settings_>;
template <typename FF_>
using lookup_execution_get_max_limbs_relation = lookup_relation_base<FF_, lookup_execution_get_max_limbs_settings>;
 
 
struct lookup_execution_check_written_storage_slot_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_CHECK_WRITTEN_STORAGE_SLOT";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 4;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_gas_sstore;
    static constexpr Column DST_SELECTOR = Column::written_public_data_slots_tree_check_sel;
    static constexpr Column COUNTS = Column::lookup_execution_check_written_storage_slot_counts;
    static constexpr Column INVERSES = Column::lookup_execution_check_written_storage_slot_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_contract_address,
        ColumnAndShifts::execution_register_1_,
        ColumnAndShifts::execution_dynamic_da_gas_factor,
        ColumnAndShifts::execution_prev_written_public_data_slots_tree_root
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::written_public_data_slots_tree_check_address,
        ColumnAndShifts::written_public_data_slots_tree_check_slot,
        ColumnAndShifts::written_public_data_slots_tree_check_leaf_not_exists,
        ColumnAndShifts::written_public_data_slots_tree_check_root
    };
};
 
using lookup_execution_check_written_storage_slot_settings =
    lookup_settings<lookup_execution_check_written_storage_slot_settings_>;
template <typename FF_>
using lookup_execution_check_written_storage_slot_relation =
    lookup_relation_base<FF_, lookup_execution_check_written_storage_slot_settings>;
 
 
struct lookup_execution_dispatch_to_alu_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_DISPATCH_TO_ALU";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 8;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_exec_dispatch_alu;
    static constexpr Column DST_SELECTOR = Column::alu_sel;
    static constexpr Column COUNTS = Column::lookup_execution_dispatch_to_alu_counts;
    static constexpr Column INVERSES = Column::lookup_execution_dispatch_to_alu_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_register_0_,           ColumnAndShifts::execution_mem_tag_reg_0_,
        ColumnAndShifts::execution_register_1_,           ColumnAndShifts::execution_mem_tag_reg_1_,
        ColumnAndShifts::execution_register_2_,           ColumnAndShifts::execution_mem_tag_reg_2_,
        ColumnAndShifts::execution_subtrace_operation_id, ColumnAndShifts::execution_sel_opcode_error
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::alu_ia, ColumnAndShifts::alu_ia_tag, ColumnAndShifts::alu_ib,    ColumnAndShifts::alu_ib_tag,
        ColumnAndShifts::alu_ic, ColumnAndShifts::alu_ic_tag, ColumnAndShifts::alu_op_id, ColumnAndShifts::alu_sel_err
    };
};
 
using lookup_execution_dispatch_to_alu_settings = lookup_settings<lookup_execution_dispatch_to_alu_settings_>;
template <typename FF_>
using lookup_execution_dispatch_to_alu_relation = lookup_relation_base<FF_, lookup_execution_dispatch_to_alu_settings>;
 
 
struct lookup_execution_dispatch_to_bitwise_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_DISPATCH_TO_BITWISE";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 8;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_exec_dispatch_bitwise;
    static constexpr Column DST_SELECTOR = Column::bitwise_sel;
    static constexpr Column COUNTS = Column::lookup_execution_dispatch_to_bitwise_counts;
    static constexpr Column INVERSES = Column::lookup_execution_dispatch_to_bitwise_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_subtrace_operation_id, ColumnAndShifts::execution_sel_opcode_error,
        ColumnAndShifts::execution_register_0_,           ColumnAndShifts::execution_mem_tag_reg_0_,
        ColumnAndShifts::execution_register_1_,           ColumnAndShifts::execution_mem_tag_reg_1_,
        ColumnAndShifts::execution_register_2_,           ColumnAndShifts::execution_mem_tag_reg_2_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::bitwise_op_id,  ColumnAndShifts::bitwise_err,    ColumnAndShifts::bitwise_acc_ia,
        ColumnAndShifts::bitwise_tag_a,  ColumnAndShifts::bitwise_acc_ib, ColumnAndShifts::bitwise_tag_b,
        ColumnAndShifts::bitwise_acc_ic, ColumnAndShifts::bitwise_tag_c
    };
};
 
using lookup_execution_dispatch_to_bitwise_settings = lookup_settings<lookup_execution_dispatch_to_bitwise_settings_>;
template <typename FF_>
using lookup_execution_dispatch_to_bitwise_relation =
    lookup_relation_base<FF_, lookup_execution_dispatch_to_bitwise_settings>;
 
 
struct lookup_execution_dispatch_to_cast_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_DISPATCH_TO_CAST";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 6;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_exec_dispatch_cast;
    static constexpr Column DST_SELECTOR = Column::alu_sel_op_truncate;
    static constexpr Column COUNTS = Column::lookup_execution_dispatch_to_cast_counts;
    static constexpr Column INVERSES = Column::lookup_execution_dispatch_to_cast_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_register_0_,           ColumnAndShifts::execution_rop_2_,
        ColumnAndShifts::execution_subtrace_operation_id, ColumnAndShifts::execution_register_1_,
        ColumnAndShifts::execution_mem_tag_reg_1_,        ColumnAndShifts::execution_sel_opcode_error
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::alu_ia, ColumnAndShifts::alu_ia_tag, ColumnAndShifts::alu_op_id,
        ColumnAndShifts::alu_ic, ColumnAndShifts::alu_ia_tag, ColumnAndShifts::precomputed_zero
    };
};
 
using lookup_execution_dispatch_to_cast_settings = lookup_settings<lookup_execution_dispatch_to_cast_settings_>;
template <typename FF_>
using lookup_execution_dispatch_to_cast_relation =
    lookup_relation_base<FF_, lookup_execution_dispatch_to_cast_settings>;
 
 
struct lookup_execution_dispatch_to_set_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_DISPATCH_TO_SET";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 6;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_exec_dispatch_set;
    static constexpr Column DST_SELECTOR = Column::alu_sel_op_truncate;
    static constexpr Column COUNTS = Column::lookup_execution_dispatch_to_set_counts;
    static constexpr Column INVERSES = Column::lookup_execution_dispatch_to_set_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::execution_rop_2_,
        ColumnAndShifts::execution_rop_1_,
        ColumnAndShifts::execution_subtrace_operation_id,
        ColumnAndShifts::execution_register_0_,
        ColumnAndShifts::execution_mem_tag_reg_0_,
        ColumnAndShifts::execution_sel_opcode_error
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::alu_ia, ColumnAndShifts::alu_ia_tag, ColumnAndShifts::alu_op_id,
        ColumnAndShifts::alu_ic, ColumnAndShifts::alu_ia_tag, ColumnAndShifts::precomputed_zero
    };
};
 
using lookup_execution_dispatch_to_set_settings = lookup_settings<lookup_execution_dispatch_to_set_settings_>;
template <typename FF_>
using lookup_execution_dispatch_to_set_relation = lookup_relation_base<FF_, lookup_execution_dispatch_to_set_settings>;
 
 
struct lookup_execution_dispatch_to_emit_unencrypted_log_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_EXECUTION_DISPATCH_TO_EMIT_UNENCRYPTED_LOG";
    static constexpr std::string_view RELATION_NAME = "execution";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 10;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_exec_dispatch_emit_unencrypted_log;
    static constexpr Column DST_SELECTOR = Column::emit_unencrypted_log_start;
    static constexpr Column COUNTS = Column::lookup_execution_dispatch_to_emit_unencrypted_log_counts;
    static constexpr Column INVERSES = Column::lookup_execution_dispatch_to_emit_unencrypted_log_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::precomputed_clk,
        ColumnAndShifts::execution_context_id,
        ColumnAndShifts::execution_rop_1_,
        ColumnAndShifts::execution_register_0_,
        ColumnAndShifts::execution_contract_address,
        ColumnAndShifts::execution_prev_num_unencrypted_log_fields,
        ColumnAndShifts::execution_num_unencrypted_log_fields,
        ColumnAndShifts::execution_is_static,
        ColumnAndShifts::execution_sel_opcode_error,
        ColumnAndShifts::execution_discard
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::emit_unencrypted_log_execution_clk,
        ColumnAndShifts::emit_unencrypted_log_space_id,
        ColumnAndShifts::emit_unencrypted_log_log_address,
        ColumnAndShifts::emit_unencrypted_log_log_size,
        ColumnAndShifts::emit_unencrypted_log_contract_address,
        ColumnAndShifts::emit_unencrypted_log_prev_num_unencrypted_log_fields,
        ColumnAndShifts::emit_unencrypted_log_next_num_unencrypted_log_fields,
        ColumnAndShifts::emit_unencrypted_log_is_static,
        ColumnAndShifts::emit_unencrypted_log_error,
        ColumnAndShifts::emit_unencrypted_log_discard
    };
};
 
using lookup_execution_dispatch_to_emit_unencrypted_log_settings =
    lookup_settings<lookup_execution_dispatch_to_emit_unencrypted_log_settings_>;
template <typename FF_>
using lookup_execution_dispatch_to_emit_unencrypted_log_relation =
    lookup_relation_base<FF_, lookup_execution_dispatch_to_emit_unencrypted_log_settings>;
 
} // namespace bb::avm2