lookups_contract_instance_retrieval.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_contract_instance_retrieval_check_protocol_address_range_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_CONTRACT_INSTANCE_RETRIEVAL_CHECK_PROTOCOL_ADDRESS_RANGE";
    static constexpr std::string_view RELATION_NAME = "contract_instance_retrieval";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
    static constexpr Column SRC_SELECTOR = Column::contract_instance_retrieval_sel;
    static constexpr Column DST_SELECTOR = Column::ff_gt_sel_gt;
    static constexpr Column COUNTS = Column::lookup_contract_instance_retrieval_check_protocol_address_range_counts;
    static constexpr Column INVERSES = Column::lookup_contract_instance_retrieval_check_protocol_address_range_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::contract_instance_retrieval_max_protocol_contracts,
        ColumnAndShifts::contract_instance_retrieval_address_sub_one,
        ColumnAndShifts::contract_instance_retrieval_is_protocol_contract
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::ff_gt_a,
                                                                                    ColumnAndShifts::ff_gt_b,
                                                                                    ColumnAndShifts::ff_gt_result };
};
 
using lookup_contract_instance_retrieval_check_protocol_address_range_settings =
    lookup_settings<lookup_contract_instance_retrieval_check_protocol_address_range_settings_>;
template <typename FF_>
using lookup_contract_instance_retrieval_check_protocol_address_range_relation =
    lookup_relation_base<FF_, lookup_contract_instance_retrieval_check_protocol_address_range_settings>;
 
 
struct lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_settings_ {
    static constexpr std::string_view NAME =
        "LOOKUP_CONTRACT_INSTANCE_RETRIEVAL_READ_DERIVED_ADDRESS_FROM_PUBLIC_INPUTS";
    static constexpr std::string_view RELATION_NAME = "contract_instance_retrieval";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::contract_instance_retrieval_is_protocol_contract;
    static constexpr Column DST_SELECTOR = Column::public_inputs_sel;
    static constexpr Column COUNTS =
        Column::lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_counts;
    static constexpr Column INVERSES =
        Column::lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::contract_instance_retrieval_derived_address_pi_index,
        ColumnAndShifts::contract_instance_retrieval_derived_address
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx, ColumnAndShifts::public_inputs_cols_0_
    };
};
 
using lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_settings =
    lookup_settings<lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_settings_>;
template <typename FF_>
using lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_relation =
    lookup_relation_base<FF_, lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_settings>;
 
 
struct lookup_contract_instance_retrieval_deployment_nullifier_read_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_CONTRACT_INSTANCE_RETRIEVAL_DEPLOYMENT_NULLIFIER_READ";
    static constexpr std::string_view RELATION_NAME = "contract_instance_retrieval";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 8;
    static constexpr Column SRC_SELECTOR = Column::contract_instance_retrieval_should_check_nullifier;
    static constexpr Column DST_SELECTOR = Column::indexed_tree_check_sel;
    static constexpr Column COUNTS = Column::lookup_contract_instance_retrieval_deployment_nullifier_read_counts;
    static constexpr Column INVERSES = Column::lookup_contract_instance_retrieval_deployment_nullifier_read_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::contract_instance_retrieval_exists,
        ColumnAndShifts::contract_instance_retrieval_address,
        ColumnAndShifts::contract_instance_retrieval_nullifier_tree_root,
        ColumnAndShifts::contract_instance_retrieval_nullifier_tree_height,
        ColumnAndShifts::contract_instance_retrieval_nullifier_merkle_separator,
        ColumnAndShifts::contract_instance_retrieval_sel,
        ColumnAndShifts::contract_instance_retrieval_siloing_separator,
        ColumnAndShifts::contract_instance_retrieval_deployer_protocol_contract_address
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::indexed_tree_check_exists,
        ColumnAndShifts::indexed_tree_check_value,
        ColumnAndShifts::indexed_tree_check_root,
        ColumnAndShifts::indexed_tree_check_tree_height,
        ColumnAndShifts::indexed_tree_check_merkle_hash_separator,
        ColumnAndShifts::indexed_tree_check_sel_silo,
        ColumnAndShifts::indexed_tree_check_siloing_separator,
        ColumnAndShifts::indexed_tree_check_address
    };
};
 
using lookup_contract_instance_retrieval_deployment_nullifier_read_settings =
    lookup_settings<lookup_contract_instance_retrieval_deployment_nullifier_read_settings_>;
template <typename FF_>
using lookup_contract_instance_retrieval_deployment_nullifier_read_relation =
    lookup_relation_base<FF_, lookup_contract_instance_retrieval_deployment_nullifier_read_settings>;
 
 
struct lookup_contract_instance_retrieval_address_derivation_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_CONTRACT_INSTANCE_RETRIEVAL_ADDRESS_DERIVATION";
    static constexpr std::string_view RELATION_NAME = "contract_instance_retrieval";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 13;
    static constexpr Column SRC_SELECTOR = Column::contract_instance_retrieval_exists;
    static constexpr Column DST_SELECTOR = Column::address_derivation_sel;
    static constexpr Column COUNTS = Column::lookup_contract_instance_retrieval_address_derivation_counts;
    static constexpr Column INVERSES = Column::lookup_contract_instance_retrieval_address_derivation_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::contract_instance_retrieval_derived_address,
        ColumnAndShifts::contract_instance_retrieval_salt,
        ColumnAndShifts::contract_instance_retrieval_deployer_addr,
        ColumnAndShifts::contract_instance_retrieval_original_class_id,
        ColumnAndShifts::contract_instance_retrieval_init_hash,
        ColumnAndShifts::contract_instance_retrieval_nullifier_key_x,
        ColumnAndShifts::contract_instance_retrieval_nullifier_key_y,
        ColumnAndShifts::contract_instance_retrieval_incoming_viewing_key_x,
        ColumnAndShifts::contract_instance_retrieval_incoming_viewing_key_y,
        ColumnAndShifts::contract_instance_retrieval_outgoing_viewing_key_x,
        ColumnAndShifts::contract_instance_retrieval_outgoing_viewing_key_y,
        ColumnAndShifts::contract_instance_retrieval_tagging_key_x,
        ColumnAndShifts::contract_instance_retrieval_tagging_key_y
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::address_derivation_address,
        ColumnAndShifts::address_derivation_salt,
        ColumnAndShifts::address_derivation_deployer_addr,
        ColumnAndShifts::address_derivation_class_id,
        ColumnAndShifts::address_derivation_init_hash,
        ColumnAndShifts::address_derivation_nullifier_key_x,
        ColumnAndShifts::address_derivation_nullifier_key_y,
        ColumnAndShifts::address_derivation_incoming_viewing_key_x,
        ColumnAndShifts::address_derivation_incoming_viewing_key_y,
        ColumnAndShifts::address_derivation_outgoing_viewing_key_x,
        ColumnAndShifts::address_derivation_outgoing_viewing_key_y,
        ColumnAndShifts::address_derivation_tagging_key_x,
        ColumnAndShifts::address_derivation_tagging_key_y
    };
};
 
using lookup_contract_instance_retrieval_address_derivation_settings =
    lookup_settings<lookup_contract_instance_retrieval_address_derivation_settings_>;
template <typename FF_>
using lookup_contract_instance_retrieval_address_derivation_relation =
    lookup_relation_base<FF_, lookup_contract_instance_retrieval_address_derivation_settings>;
 
 
struct lookup_contract_instance_retrieval_update_check_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_CONTRACT_INSTANCE_RETRIEVAL_UPDATE_CHECK";
    static constexpr std::string_view RELATION_NAME = "contract_instance_retrieval";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 4;
    static constexpr Column SRC_SELECTOR = Column::contract_instance_retrieval_should_check_for_update;
    static constexpr Column DST_SELECTOR = Column::update_check_sel;
    static constexpr Column COUNTS = Column::lookup_contract_instance_retrieval_update_check_counts;
    static constexpr Column INVERSES = Column::lookup_contract_instance_retrieval_update_check_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::contract_instance_retrieval_address,
        ColumnAndShifts::contract_instance_retrieval_current_class_id,
        ColumnAndShifts::contract_instance_retrieval_original_class_id,
        ColumnAndShifts::contract_instance_retrieval_public_data_tree_root
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::update_check_address,
        ColumnAndShifts::update_check_current_class_id,
        ColumnAndShifts::update_check_original_class_id,
        ColumnAndShifts::update_check_public_data_tree_root
    };
};
 
using lookup_contract_instance_retrieval_update_check_settings =
    lookup_settings<lookup_contract_instance_retrieval_update_check_settings_>;
template <typename FF_>
using lookup_contract_instance_retrieval_update_check_relation =
    lookup_relation_base<FF_, lookup_contract_instance_retrieval_update_check_settings>;
 
} // namespace bb::avm2