perms_bc_hashing.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_bc_hashing_bytecode_length_bytes_settings_ {
    static constexpr std::string_view NAME = "PERM_BC_HASHING_BYTECODE_LENGTH_BYTES";
    static constexpr std::string_view RELATION_NAME = "bc_hashing";
    static constexpr size_t COLUMNS_PER_SET = 3;
    static constexpr Column SRC_SELECTOR = Column::bc_hashing_start;
    static constexpr Column DST_SELECTOR = Column::bc_decomposition_start;
    static constexpr Column INVERSES = Column::perm_bc_hashing_bytecode_length_bytes_inv;
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> SRC_COLUMNS = {
        ColumnAndShifts::precomputed_zero,
        ColumnAndShifts::bc_hashing_bytecode_id,
        ColumnAndShifts::bc_hashing_size_in_bytes
    };
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> DST_COLUMNS = {
        ColumnAndShifts::bc_decomposition_pc,
        ColumnAndShifts::bc_decomposition_id,
        ColumnAndShifts::bc_decomposition_bytes_remaining
    };
};
 
using perm_bc_hashing_bytecode_length_bytes_settings =
    permutation_settings<perm_bc_hashing_bytecode_length_bytes_settings_>;
template <typename FF_>
using perm_bc_hashing_bytecode_length_bytes_relation =
    permutation_relation_base<FF_, perm_bc_hashing_bytecode_length_bytes_settings>;
 
 
struct perm_bc_hashing_get_packed_field_0_settings_ {
    static constexpr std::string_view NAME = "PERM_BC_HASHING_GET_PACKED_FIELD_0";
    static constexpr std::string_view RELATION_NAME = "bc_hashing";
    static constexpr size_t COLUMNS_PER_SET = 3;
    static constexpr Column SRC_SELECTOR = Column::bc_hashing_sel_not_start;
    static constexpr Column DST_SELECTOR = Column::bc_decomposition_sel_packed_read_0_;
    static constexpr Column INVERSES = Column::perm_bc_hashing_get_packed_field_0_inv;
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> SRC_COLUMNS = {
        ColumnAndShifts::bc_hashing_pc_index,
        ColumnAndShifts::bc_hashing_bytecode_id,
        ColumnAndShifts::bc_hashing_packed_fields_0
    };
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> DST_COLUMNS = {
        ColumnAndShifts::bc_decomposition_pc,
        ColumnAndShifts::bc_decomposition_id,
        ColumnAndShifts::bc_decomposition_packed_field
    };
};
 
using perm_bc_hashing_get_packed_field_0_settings = permutation_settings<perm_bc_hashing_get_packed_field_0_settings_>;
template <typename FF_>
using perm_bc_hashing_get_packed_field_0_relation =
    permutation_relation_base<FF_, perm_bc_hashing_get_packed_field_0_settings>;
 
 
struct perm_bc_hashing_get_packed_field_1_settings_ {
    static constexpr std::string_view NAME = "PERM_BC_HASHING_GET_PACKED_FIELD_1";
    static constexpr std::string_view RELATION_NAME = "bc_hashing";
    static constexpr size_t COLUMNS_PER_SET = 3;
    static constexpr Column SRC_SELECTOR = Column::bc_hashing_sel_not_padding_1;
    static constexpr Column DST_SELECTOR = Column::bc_decomposition_sel_packed_read_1_;
    static constexpr Column INVERSES = Column::perm_bc_hashing_get_packed_field_1_inv;
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> SRC_COLUMNS = {
        ColumnAndShifts::bc_hashing_pc_index_1,
        ColumnAndShifts::bc_hashing_bytecode_id,
        ColumnAndShifts::bc_hashing_packed_fields_1
    };
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> DST_COLUMNS = {
        ColumnAndShifts::bc_decomposition_pc,
        ColumnAndShifts::bc_decomposition_id,
        ColumnAndShifts::bc_decomposition_packed_field
    };
};
 
using perm_bc_hashing_get_packed_field_1_settings = permutation_settings<perm_bc_hashing_get_packed_field_1_settings_>;
template <typename FF_>
using perm_bc_hashing_get_packed_field_1_relation =
    permutation_relation_base<FF_, perm_bc_hashing_get_packed_field_1_settings>;
 
 
struct perm_bc_hashing_get_packed_field_2_settings_ {
    static constexpr std::string_view NAME = "PERM_BC_HASHING_GET_PACKED_FIELD_2";
    static constexpr std::string_view RELATION_NAME = "bc_hashing";
    static constexpr size_t COLUMNS_PER_SET = 3;
    static constexpr Column SRC_SELECTOR = Column::bc_hashing_sel_not_padding_2;
    static constexpr Column DST_SELECTOR = Column::bc_decomposition_sel_packed_read_2_;
    static constexpr Column INVERSES = Column::perm_bc_hashing_get_packed_field_2_inv;
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> SRC_COLUMNS = {
        ColumnAndShifts::bc_hashing_pc_index_2,
        ColumnAndShifts::bc_hashing_bytecode_id,
        ColumnAndShifts::bc_hashing_packed_fields_2
    };
    static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> DST_COLUMNS = {
        ColumnAndShifts::bc_decomposition_pc,
        ColumnAndShifts::bc_decomposition_id,
        ColumnAndShifts::bc_decomposition_packed_field
    };
};
 
using perm_bc_hashing_get_packed_field_2_settings = permutation_settings<perm_bc_hashing_get_packed_field_2_settings_>;
template <typename FF_>
using perm_bc_hashing_get_packed_field_2_relation =
    permutation_relation_base<FF_, perm_bc_hashing_get_packed_field_2_settings>;
 
} // namespace bb::avm2