lookups_public_data_check.hpp File Reference

#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"

Go to the source code of this file.

Classes
struct	bb::avm2::lookup_public_data_check_clk_diff_range_lo_settings_
struct	bb::avm2::lookup_public_data_check_clk_diff_range_hi_settings_
struct	bb::avm2::lookup_public_data_check_silo_poseidon2_settings_
struct	bb::avm2::lookup_public_data_check_low_leaf_slot_validation_settings_
struct	bb::avm2::lookup_public_data_check_low_leaf_next_slot_validation_settings_
struct	bb::avm2::lookup_public_data_check_low_leaf_poseidon2_0_settings_
struct	bb::avm2::lookup_public_data_check_low_leaf_poseidon2_1_settings_
struct	bb::avm2::lookup_public_data_check_updated_low_leaf_poseidon2_0_settings_
struct	bb::avm2::lookup_public_data_check_updated_low_leaf_poseidon2_1_settings_
struct	bb::avm2::lookup_public_data_check_low_leaf_merkle_check_settings_
struct	bb::avm2::lookup_public_data_check_new_leaf_poseidon2_0_settings_
struct	bb::avm2::lookup_public_data_check_new_leaf_poseidon2_1_settings_
struct	bb::avm2::lookup_public_data_check_new_leaf_merkle_check_settings_
struct	bb::avm2::lookup_public_data_check_write_public_data_to_public_inputs_settings_
struct	bb::avm2::lookup_public_data_check_write_writes_length_to_public_inputs_settings_

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2

Typedefs
using	bb::avm2::lookup_public_data_check_clk_diff_range_lo_settings = lookup_settings< lookup_public_data_check_clk_diff_range_lo_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_clk_diff_range_lo_relation = lookup_relation_base< FF_, lookup_public_data_check_clk_diff_range_lo_settings >
using	bb::avm2::lookup_public_data_check_clk_diff_range_hi_settings = lookup_settings< lookup_public_data_check_clk_diff_range_hi_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_clk_diff_range_hi_relation = lookup_relation_base< FF_, lookup_public_data_check_clk_diff_range_hi_settings >
using	bb::avm2::lookup_public_data_check_silo_poseidon2_settings = lookup_settings< lookup_public_data_check_silo_poseidon2_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_silo_poseidon2_relation = lookup_relation_base< FF_, lookup_public_data_check_silo_poseidon2_settings >
using	bb::avm2::lookup_public_data_check_low_leaf_slot_validation_settings = lookup_settings< lookup_public_data_check_low_leaf_slot_validation_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_low_leaf_slot_validation_relation = lookup_relation_base< FF_, lookup_public_data_check_low_leaf_slot_validation_settings >
using	bb::avm2::lookup_public_data_check_low_leaf_next_slot_validation_settings = lookup_settings< lookup_public_data_check_low_leaf_next_slot_validation_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_low_leaf_next_slot_validation_relation = lookup_relation_base< FF_, lookup_public_data_check_low_leaf_next_slot_validation_settings >
using	bb::avm2::lookup_public_data_check_low_leaf_poseidon2_0_settings = lookup_settings< lookup_public_data_check_low_leaf_poseidon2_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_low_leaf_poseidon2_0_relation = lookup_relation_base< FF_, lookup_public_data_check_low_leaf_poseidon2_0_settings >
using	bb::avm2::lookup_public_data_check_low_leaf_poseidon2_1_settings = lookup_settings< lookup_public_data_check_low_leaf_poseidon2_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_low_leaf_poseidon2_1_relation = lookup_relation_base< FF_, lookup_public_data_check_low_leaf_poseidon2_1_settings >
using	bb::avm2::lookup_public_data_check_updated_low_leaf_poseidon2_0_settings = lookup_settings< lookup_public_data_check_updated_low_leaf_poseidon2_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_updated_low_leaf_poseidon2_0_relation = lookup_relation_base< FF_, lookup_public_data_check_updated_low_leaf_poseidon2_0_settings >
using	bb::avm2::lookup_public_data_check_updated_low_leaf_poseidon2_1_settings = lookup_settings< lookup_public_data_check_updated_low_leaf_poseidon2_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_updated_low_leaf_poseidon2_1_relation = lookup_relation_base< FF_, lookup_public_data_check_updated_low_leaf_poseidon2_1_settings >
using	bb::avm2::lookup_public_data_check_low_leaf_merkle_check_settings = lookup_settings< lookup_public_data_check_low_leaf_merkle_check_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_low_leaf_merkle_check_relation = lookup_relation_base< FF_, lookup_public_data_check_low_leaf_merkle_check_settings >
using	bb::avm2::lookup_public_data_check_new_leaf_poseidon2_0_settings = lookup_settings< lookup_public_data_check_new_leaf_poseidon2_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_new_leaf_poseidon2_0_relation = lookup_relation_base< FF_, lookup_public_data_check_new_leaf_poseidon2_0_settings >
using	bb::avm2::lookup_public_data_check_new_leaf_poseidon2_1_settings = lookup_settings< lookup_public_data_check_new_leaf_poseidon2_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_new_leaf_poseidon2_1_relation = lookup_relation_base< FF_, lookup_public_data_check_new_leaf_poseidon2_1_settings >
using	bb::avm2::lookup_public_data_check_new_leaf_merkle_check_settings = lookup_settings< lookup_public_data_check_new_leaf_merkle_check_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_new_leaf_merkle_check_relation = lookup_relation_base< FF_, lookup_public_data_check_new_leaf_merkle_check_settings >
using	bb::avm2::lookup_public_data_check_write_public_data_to_public_inputs_settings = lookup_settings< lookup_public_data_check_write_public_data_to_public_inputs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_write_public_data_to_public_inputs_relation = lookup_relation_base< FF_, lookup_public_data_check_write_public_data_to_public_inputs_settings >
using	bb::avm2::lookup_public_data_check_write_writes_length_to_public_inputs_settings = lookup_settings< lookup_public_data_check_write_writes_length_to_public_inputs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_public_data_check_write_writes_length_to_public_inputs_relation = lookup_relation_base< FF_, lookup_public_data_check_write_writes_length_to_public_inputs_settings >