lookups_poseidon2_mem.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_poseidon2_mem_check_src_addr_in_range_settings_
struct	bb::avm2::lookup_poseidon2_mem_check_dst_addr_in_range_settings_
struct	bb::avm2::lookup_poseidon2_mem_pos_read_mem_0_settings_
struct	bb::avm2::lookup_poseidon2_mem_pos_read_mem_1_settings_
struct	bb::avm2::lookup_poseidon2_mem_pos_read_mem_2_settings_
struct	bb::avm2::lookup_poseidon2_mem_pos_read_mem_3_settings_
struct	bb::avm2::lookup_poseidon2_mem_input_output_poseidon2_perm_settings_
struct	bb::avm2::lookup_poseidon2_mem_pos_write_mem_0_settings_
struct	bb::avm2::lookup_poseidon2_mem_pos_write_mem_1_settings_
struct	bb::avm2::lookup_poseidon2_mem_pos_write_mem_2_settings_
struct	bb::avm2::lookup_poseidon2_mem_pos_write_mem_3_settings_

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

Typedefs
using	bb::avm2::lookup_poseidon2_mem_check_src_addr_in_range_settings = lookup_settings< lookup_poseidon2_mem_check_src_addr_in_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_poseidon2_mem_check_src_addr_in_range_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_check_src_addr_in_range_settings >
using	bb::avm2::lookup_poseidon2_mem_check_dst_addr_in_range_settings = lookup_settings< lookup_poseidon2_mem_check_dst_addr_in_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_poseidon2_mem_check_dst_addr_in_range_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_check_dst_addr_in_range_settings >
using	bb::avm2::lookup_poseidon2_mem_pos_read_mem_0_settings = lookup_settings< lookup_poseidon2_mem_pos_read_mem_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_poseidon2_mem_pos_read_mem_0_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_pos_read_mem_0_settings >
using	bb::avm2::lookup_poseidon2_mem_pos_read_mem_1_settings = lookup_settings< lookup_poseidon2_mem_pos_read_mem_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_poseidon2_mem_pos_read_mem_1_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_pos_read_mem_1_settings >
using	bb::avm2::lookup_poseidon2_mem_pos_read_mem_2_settings = lookup_settings< lookup_poseidon2_mem_pos_read_mem_2_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_poseidon2_mem_pos_read_mem_2_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_pos_read_mem_2_settings >
using	bb::avm2::lookup_poseidon2_mem_pos_read_mem_3_settings = lookup_settings< lookup_poseidon2_mem_pos_read_mem_3_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_poseidon2_mem_pos_read_mem_3_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_pos_read_mem_3_settings >
using	bb::avm2::lookup_poseidon2_mem_input_output_poseidon2_perm_settings = lookup_settings< lookup_poseidon2_mem_input_output_poseidon2_perm_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_poseidon2_mem_input_output_poseidon2_perm_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_input_output_poseidon2_perm_settings >
using	bb::avm2::lookup_poseidon2_mem_pos_write_mem_0_settings = lookup_settings< lookup_poseidon2_mem_pos_write_mem_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_poseidon2_mem_pos_write_mem_0_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_pos_write_mem_0_settings >
using	bb::avm2::lookup_poseidon2_mem_pos_write_mem_1_settings = lookup_settings< lookup_poseidon2_mem_pos_write_mem_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_poseidon2_mem_pos_write_mem_1_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_pos_write_mem_1_settings >
using	bb::avm2::lookup_poseidon2_mem_pos_write_mem_2_settings = lookup_settings< lookup_poseidon2_mem_pos_write_mem_2_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_poseidon2_mem_pos_write_mem_2_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_pos_write_mem_2_settings >
using	bb::avm2::lookup_poseidon2_mem_pos_write_mem_3_settings = lookup_settings< lookup_poseidon2_mem_pos_write_mem_3_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_poseidon2_mem_pos_write_mem_3_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_pos_write_mem_3_settings >