lookups_alu.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_alu_tag_max_bits_value_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_TAG_MAX_BITS_VALUE";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
    static constexpr Column SRC_SELECTOR = Column::alu_sel;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_tag_parameters;
    static constexpr Column COUNTS = Column::lookup_alu_tag_max_bits_value_counts;
    static constexpr Column INVERSES = Column::lookup_alu_tag_max_bits_value_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::alu_ia_tag,
                                                                                    ColumnAndShifts::alu_max_bits,
                                                                                    ColumnAndShifts::alu_max_value };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx,
        ColumnAndShifts::precomputed_tag_max_bits,
        ColumnAndShifts::precomputed_tag_max_value
    };
};
 
using lookup_alu_tag_max_bits_value_settings = lookup_settings<lookup_alu_tag_max_bits_value_settings_>;
template <typename FF_>
using lookup_alu_tag_max_bits_value_relation = lookup_relation_base<FF_, lookup_alu_tag_max_bits_value_settings>;
 
 
struct lookup_alu_range_check_decomposition_a_lo_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_RANGE_CHECK_DECOMPOSITION_A_LO";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::alu_sel_decompose_a;
    static constexpr Column DST_SELECTOR = Column::range_check_sel_alu;
    static constexpr Column COUNTS = Column::lookup_alu_range_check_decomposition_a_lo_counts;
    static constexpr Column INVERSES = Column::lookup_alu_range_check_decomposition_a_lo_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::alu_a_lo,
                                                                                    ColumnAndShifts::alu_a_lo_bits };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::range_check_value, ColumnAndShifts::range_check_rng_chk_bits
    };
};
 
using lookup_alu_range_check_decomposition_a_lo_settings =
    lookup_settings<lookup_alu_range_check_decomposition_a_lo_settings_>;
template <typename FF_>
using lookup_alu_range_check_decomposition_a_lo_relation =
    lookup_relation_base<FF_, lookup_alu_range_check_decomposition_a_lo_settings>;
 
 
struct lookup_alu_range_check_decomposition_a_hi_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_RANGE_CHECK_DECOMPOSITION_A_HI";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::alu_sel_decompose_a;
    static constexpr Column DST_SELECTOR = Column::range_check_sel_alu;
    static constexpr Column COUNTS = Column::lookup_alu_range_check_decomposition_a_hi_counts;
    static constexpr Column INVERSES = Column::lookup_alu_range_check_decomposition_a_hi_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::alu_a_hi,
                                                                                    ColumnAndShifts::alu_a_hi_bits };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::range_check_value, ColumnAndShifts::range_check_rng_chk_bits
    };
};
 
using lookup_alu_range_check_decomposition_a_hi_settings =
    lookup_settings<lookup_alu_range_check_decomposition_a_hi_settings_>;
template <typename FF_>
using lookup_alu_range_check_decomposition_a_hi_relation =
    lookup_relation_base<FF_, lookup_alu_range_check_decomposition_a_hi_settings>;
 
 
struct lookup_alu_range_check_decomposition_b_lo_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_RANGE_CHECK_DECOMPOSITION_B_LO";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::alu_sel_mul_div_u128;
    static constexpr Column DST_SELECTOR = Column::range_check_sel_alu;
    static constexpr Column COUNTS = Column::lookup_alu_range_check_decomposition_b_lo_counts;
    static constexpr Column INVERSES = Column::lookup_alu_range_check_decomposition_b_lo_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::alu_b_lo,
                                                                                    ColumnAndShifts::alu_constant_64 };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::range_check_value, ColumnAndShifts::range_check_rng_chk_bits
    };
};
 
using lookup_alu_range_check_decomposition_b_lo_settings =
    lookup_settings<lookup_alu_range_check_decomposition_b_lo_settings_>;
template <typename FF_>
using lookup_alu_range_check_decomposition_b_lo_relation =
    lookup_relation_base<FF_, lookup_alu_range_check_decomposition_b_lo_settings>;
 
 
struct lookup_alu_range_check_decomposition_b_hi_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_RANGE_CHECK_DECOMPOSITION_B_HI";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::alu_sel_mul_div_u128;
    static constexpr Column DST_SELECTOR = Column::range_check_sel_alu;
    static constexpr Column COUNTS = Column::lookup_alu_range_check_decomposition_b_hi_counts;
    static constexpr Column INVERSES = Column::lookup_alu_range_check_decomposition_b_hi_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::alu_b_hi,
                                                                                    ColumnAndShifts::alu_constant_64 };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::range_check_value, ColumnAndShifts::range_check_rng_chk_bits
    };
};
 
using lookup_alu_range_check_decomposition_b_hi_settings =
    lookup_settings<lookup_alu_range_check_decomposition_b_hi_settings_>;
template <typename FF_>
using lookup_alu_range_check_decomposition_b_hi_relation =
    lookup_relation_base<FF_, lookup_alu_range_check_decomposition_b_hi_settings>;
 
 
struct lookup_alu_range_check_mul_c_hi_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_RANGE_CHECK_MUL_C_HI";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::alu_sel_mul_no_err_non_ff;
    static constexpr Column DST_SELECTOR = Column::range_check_sel_alu;
    static constexpr Column COUNTS = Column::lookup_alu_range_check_mul_c_hi_counts;
    static constexpr Column INVERSES = Column::lookup_alu_range_check_mul_c_hi_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::alu_c_hi,
                                                                                    ColumnAndShifts::alu_constant_64 };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::range_check_value, ColumnAndShifts::range_check_rng_chk_bits
    };
};
 
using lookup_alu_range_check_mul_c_hi_settings = lookup_settings<lookup_alu_range_check_mul_c_hi_settings_>;
template <typename FF_>
using lookup_alu_range_check_mul_c_hi_relation = lookup_relation_base<FF_, lookup_alu_range_check_mul_c_hi_settings>;
 
 
struct lookup_alu_range_check_div_remainder_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_RANGE_CHECK_DIV_REMAINDER";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::alu_sel_div_no_err;
    static constexpr Column DST_SELECTOR = Column::range_check_sel_alu;
    static constexpr Column COUNTS = Column::lookup_alu_range_check_div_remainder_counts;
    static constexpr Column INVERSES = Column::lookup_alu_range_check_div_remainder_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::alu_helper1,
                                                                                    ColumnAndShifts::alu_max_bits };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::range_check_value, ColumnAndShifts::range_check_rng_chk_bits
    };
};
 
using lookup_alu_range_check_div_remainder_settings = lookup_settings<lookup_alu_range_check_div_remainder_settings_>;
template <typename FF_>
using lookup_alu_range_check_div_remainder_relation =
    lookup_relation_base<FF_, lookup_alu_range_check_div_remainder_settings>;
 
 
struct lookup_alu_ff_gt_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_FF_GT";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
    static constexpr Column SRC_SELECTOR = Column::alu_sel_ff_gt;
    static constexpr Column DST_SELECTOR = Column::ff_gt_sel_gt;
    static constexpr Column COUNTS = Column::lookup_alu_ff_gt_counts;
    static constexpr Column INVERSES = Column::lookup_alu_ff_gt_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::alu_gt_input_a,
                                                                                    ColumnAndShifts::alu_gt_input_b,
                                                                                    ColumnAndShifts::alu_gt_result_c };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::ff_gt_a,
                                                                                    ColumnAndShifts::ff_gt_b,
                                                                                    ColumnAndShifts::ff_gt_result };
};
 
using lookup_alu_ff_gt_settings = lookup_settings<lookup_alu_ff_gt_settings_>;
template <typename FF_> using lookup_alu_ff_gt_relation = lookup_relation_base<FF_, lookup_alu_ff_gt_settings>;
 
 
struct lookup_alu_int_gt_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_INT_GT";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
    static constexpr Column SRC_SELECTOR = Column::alu_sel_int_gt;
    static constexpr Column DST_SELECTOR = Column::gt_sel_alu;
    static constexpr Column COUNTS = Column::lookup_alu_int_gt_counts;
    static constexpr Column INVERSES = Column::lookup_alu_int_gt_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::alu_gt_input_a,
                                                                                    ColumnAndShifts::alu_gt_input_b,
                                                                                    ColumnAndShifts::alu_gt_result_c };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
                                                                                    ColumnAndShifts::gt_input_b,
                                                                                    ColumnAndShifts::gt_res };
};
 
using lookup_alu_int_gt_settings = lookup_settings<lookup_alu_int_gt_settings_>;
template <typename FF_> using lookup_alu_int_gt_relation = lookup_relation_base<FF_, lookup_alu_int_gt_settings>;
 
 
struct lookup_alu_shifts_two_pow_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_SHIFTS_TWO_POW";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::alu_sel_shift_ops_no_overflow;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_range_8;
    static constexpr Column COUNTS = Column::lookup_alu_shifts_two_pow_counts;
    static constexpr Column INVERSES = Column::lookup_alu_shifts_two_pow_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::alu_shift_lo_bits, ColumnAndShifts::alu_two_pow_shift_lo_bits
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx, ColumnAndShifts::precomputed_power_of_2
    };
};
 
using lookup_alu_shifts_two_pow_settings = lookup_settings<lookup_alu_shifts_two_pow_settings_>;
template <typename FF_>
using lookup_alu_shifts_two_pow_relation = lookup_relation_base<FF_, lookup_alu_shifts_two_pow_settings>;
 
 
struct lookup_alu_large_trunc_canonical_dec_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_LARGE_TRUNC_CANONICAL_DEC";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::alu_sel_trunc_gte_128;
    static constexpr Column DST_SELECTOR = Column::ff_gt_sel_dec;
    static constexpr Column COUNTS = Column::lookup_alu_large_trunc_canonical_dec_counts;
    static constexpr Column INVERSES = Column::lookup_alu_large_trunc_canonical_dec_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::alu_ia,
                                                                                    ColumnAndShifts::alu_a_lo };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::ff_gt_a,
                                                                                    ColumnAndShifts::ff_gt_a_lo };
};
 
using lookup_alu_large_trunc_canonical_dec_settings = lookup_settings<lookup_alu_large_trunc_canonical_dec_settings_>;
template <typename FF_>
using lookup_alu_large_trunc_canonical_dec_relation =
    lookup_relation_base<FF_, lookup_alu_large_trunc_canonical_dec_settings>;
 
 
struct lookup_alu_range_check_trunc_mid_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_ALU_RANGE_CHECK_TRUNC_MID";
    static constexpr std::string_view RELATION_NAME = "alu";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::alu_sel_trunc_non_trivial;
    static constexpr Column DST_SELECTOR = Column::range_check_sel_alu;
    static constexpr Column COUNTS = Column::lookup_alu_range_check_trunc_mid_counts;
    static constexpr Column INVERSES = Column::lookup_alu_range_check_trunc_mid_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::alu_mid,
                                                                                    ColumnAndShifts::alu_mid_bits };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::range_check_value, ColumnAndShifts::range_check_rng_chk_bits
    };
};
 
using lookup_alu_range_check_trunc_mid_settings = lookup_settings<lookup_alu_range_check_trunc_mid_settings_>;
template <typename FF_>
using lookup_alu_range_check_trunc_mid_relation = lookup_relation_base<FF_, lookup_alu_range_check_trunc_mid_settings>;
 
} // namespace bb::avm2