perms_addressing.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_permutation/generic_permutation_relation.hpp"
#include "barretenberg/vm2/constraining/relations/interactions_base.hpp"
 
namespace bb::avm2 {
 
 
struct perm_addressing_base_address_from_memory_settings_ {
    static constexpr std::string_view NAME = "PERM_ADDRESSING_BASE_ADDRESS_FROM_MEMORY";
    static constexpr std::string_view RELATION_NAME = "addressing";
    static constexpr size_t COLUMNS_PER_SET = 6;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_do_base_check;
    static constexpr Column DST_SELECTOR = Column::memory_sel_addressing_base;
    static constexpr Column INVERSES = Column::perm_addressing_base_address_from_memory_inv;
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> SRC_COLUMNS = {
        ColumnAndShifts::execution_clk,
        ColumnAndShifts::execution_context_id,
        ColumnAndShifts::precomputed_zero,
        ColumnAndShifts::execution_base_address_val,
        ColumnAndShifts::execution_base_address_tag,
        ColumnAndShifts::precomputed_zero
    };
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> DST_COLUMNS = {
        ColumnAndShifts::memory_clk,   ColumnAndShifts::memory_space_id, ColumnAndShifts::memory_address,
        ColumnAndShifts::memory_value, ColumnAndShifts::memory_tag,      ColumnAndShifts::memory_rw
    };
};
 
using perm_addressing_base_address_from_memory_settings =
    permutation_settings<perm_addressing_base_address_from_memory_settings_>;
template <typename FF_>
using perm_addressing_base_address_from_memory_relation =
    permutation_relation_base<FF_, perm_addressing_base_address_from_memory_settings>;
 
 
struct perm_addressing_indirect_from_memory_0_settings_ {
    static constexpr std::string_view NAME = "PERM_ADDRESSING_INDIRECT_FROM_MEMORY_0";
    static constexpr std::string_view RELATION_NAME = "addressing";
    static constexpr size_t COLUMNS_PER_SET = 6;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_apply_indirection_0_;
    static constexpr Column DST_SELECTOR = Column::memory_sel_addressing_indirect_0_;
    static constexpr Column INVERSES = Column::perm_addressing_indirect_from_memory_0_inv;
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> SRC_COLUMNS = {
        ColumnAndShifts::execution_clk,
        ColumnAndShifts::execution_context_id,
        ColumnAndShifts::execution_op_after_relative_0_,
        ColumnAndShifts::execution_rop_0_,
        ColumnAndShifts::execution_rop_tag_0_,
        ColumnAndShifts::precomputed_zero
    };
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> DST_COLUMNS = {
        ColumnAndShifts::memory_clk,   ColumnAndShifts::memory_space_id, ColumnAndShifts::memory_address,
        ColumnAndShifts::memory_value, ColumnAndShifts::memory_tag,      ColumnAndShifts::memory_rw
    };
};
 
using perm_addressing_indirect_from_memory_0_settings =
    permutation_settings<perm_addressing_indirect_from_memory_0_settings_>;
template <typename FF_>
using perm_addressing_indirect_from_memory_0_relation =
    permutation_relation_base<FF_, perm_addressing_indirect_from_memory_0_settings>;
 
 
struct perm_addressing_indirect_from_memory_1_settings_ {
    static constexpr std::string_view NAME = "PERM_ADDRESSING_INDIRECT_FROM_MEMORY_1";
    static constexpr std::string_view RELATION_NAME = "addressing";
    static constexpr size_t COLUMNS_PER_SET = 6;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_apply_indirection_1_;
    static constexpr Column DST_SELECTOR = Column::memory_sel_addressing_indirect_1_;
    static constexpr Column INVERSES = Column::perm_addressing_indirect_from_memory_1_inv;
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> SRC_COLUMNS = {
        ColumnAndShifts::execution_clk,
        ColumnAndShifts::execution_context_id,
        ColumnAndShifts::execution_op_after_relative_1_,
        ColumnAndShifts::execution_rop_1_,
        ColumnAndShifts::execution_rop_tag_1_,
        ColumnAndShifts::precomputed_zero
    };
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> DST_COLUMNS = {
        ColumnAndShifts::memory_clk,   ColumnAndShifts::memory_space_id, ColumnAndShifts::memory_address,
        ColumnAndShifts::memory_value, ColumnAndShifts::memory_tag,      ColumnAndShifts::memory_rw
    };
};
 
using perm_addressing_indirect_from_memory_1_settings =
    permutation_settings<perm_addressing_indirect_from_memory_1_settings_>;
template <typename FF_>
using perm_addressing_indirect_from_memory_1_relation =
    permutation_relation_base<FF_, perm_addressing_indirect_from_memory_1_settings>;
 
 
struct perm_addressing_indirect_from_memory_2_settings_ {
    static constexpr std::string_view NAME = "PERM_ADDRESSING_INDIRECT_FROM_MEMORY_2";
    static constexpr std::string_view RELATION_NAME = "addressing";
    static constexpr size_t COLUMNS_PER_SET = 6;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_apply_indirection_2_;
    static constexpr Column DST_SELECTOR = Column::memory_sel_addressing_indirect_2_;
    static constexpr Column INVERSES = Column::perm_addressing_indirect_from_memory_2_inv;
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> SRC_COLUMNS = {
        ColumnAndShifts::execution_clk,
        ColumnAndShifts::execution_context_id,
        ColumnAndShifts::execution_op_after_relative_2_,
        ColumnAndShifts::execution_rop_2_,
        ColumnAndShifts::execution_rop_tag_2_,
        ColumnAndShifts::precomputed_zero
    };
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> DST_COLUMNS = {
        ColumnAndShifts::memory_clk,   ColumnAndShifts::memory_space_id, ColumnAndShifts::memory_address,
        ColumnAndShifts::memory_value, ColumnAndShifts::memory_tag,      ColumnAndShifts::memory_rw
    };
};
 
using perm_addressing_indirect_from_memory_2_settings =
    permutation_settings<perm_addressing_indirect_from_memory_2_settings_>;
template <typename FF_>
using perm_addressing_indirect_from_memory_2_relation =
    permutation_relation_base<FF_, perm_addressing_indirect_from_memory_2_settings>;
 
 
struct perm_addressing_indirect_from_memory_3_settings_ {
    static constexpr std::string_view NAME = "PERM_ADDRESSING_INDIRECT_FROM_MEMORY_3";
    static constexpr std::string_view RELATION_NAME = "addressing";
    static constexpr size_t COLUMNS_PER_SET = 6;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_apply_indirection_3_;
    static constexpr Column DST_SELECTOR = Column::memory_sel_addressing_indirect_3_;
    static constexpr Column INVERSES = Column::perm_addressing_indirect_from_memory_3_inv;
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> SRC_COLUMNS = {
        ColumnAndShifts::execution_clk,
        ColumnAndShifts::execution_context_id,
        ColumnAndShifts::execution_op_after_relative_3_,
        ColumnAndShifts::execution_rop_3_,
        ColumnAndShifts::execution_rop_tag_3_,
        ColumnAndShifts::precomputed_zero
    };
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> DST_COLUMNS = {
        ColumnAndShifts::memory_clk,   ColumnAndShifts::memory_space_id, ColumnAndShifts::memory_address,
        ColumnAndShifts::memory_value, ColumnAndShifts::memory_tag,      ColumnAndShifts::memory_rw
    };
};
 
using perm_addressing_indirect_from_memory_3_settings =
    permutation_settings<perm_addressing_indirect_from_memory_3_settings_>;
template <typename FF_>
using perm_addressing_indirect_from_memory_3_relation =
    permutation_relation_base<FF_, perm_addressing_indirect_from_memory_3_settings>;
 
 
struct perm_addressing_indirect_from_memory_4_settings_ {
    static constexpr std::string_view NAME = "PERM_ADDRESSING_INDIRECT_FROM_MEMORY_4";
    static constexpr std::string_view RELATION_NAME = "addressing";
    static constexpr size_t COLUMNS_PER_SET = 6;
    static constexpr Column SRC_SELECTOR = Column::execution_sel_apply_indirection_4_;
    static constexpr Column DST_SELECTOR = Column::memory_sel_addressing_indirect_4_;
    static constexpr Column INVERSES = Column::perm_addressing_indirect_from_memory_4_inv;
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> SRC_COLUMNS = {
        ColumnAndShifts::execution_clk,
        ColumnAndShifts::execution_context_id,
        ColumnAndShifts::execution_op_after_relative_4_,
        ColumnAndShifts::execution_rop_4_,
        ColumnAndShifts::execution_rop_tag_4_,
        ColumnAndShifts::precomputed_zero
    };
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> DST_COLUMNS = {
        ColumnAndShifts::memory_clk,   ColumnAndShifts::memory_space_id, ColumnAndShifts::memory_address,
        ColumnAndShifts::memory_value, ColumnAndShifts::memory_tag,      ColumnAndShifts::memory_rw
    };
};
 
using perm_addressing_indirect_from_memory_4_settings =
    permutation_settings<perm_addressing_indirect_from_memory_4_settings_>;
template <typename FF_>
using perm_addressing_indirect_from_memory_4_relation =
    permutation_relation_base<FF_, perm_addressing_indirect_from_memory_4_settings>;
 
} // namespace bb::avm2