lookups_sha256.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_sha256_range_comp_w_lhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_w_rhs_settings_
struct	bb::avm2::lookup_sha256_range_rhs_w_7_settings_
struct	bb::avm2::lookup_sha256_range_rhs_w_18_settings_
struct	bb::avm2::lookup_sha256_range_rhs_w_3_settings_
struct	bb::avm2::lookup_sha256_w_s_0_xor_0_settings_
struct	bb::avm2::lookup_sha256_w_s_0_xor_1_settings_
struct	bb::avm2::lookup_sha256_range_rhs_w_17_settings_
struct	bb::avm2::lookup_sha256_range_rhs_w_19_settings_
struct	bb::avm2::lookup_sha256_range_rhs_w_10_settings_
struct	bb::avm2::lookup_sha256_w_s_1_xor_0_settings_
struct	bb::avm2::lookup_sha256_w_s_1_xor_1_settings_
struct	bb::avm2::lookup_sha256_range_rhs_e_6_settings_
struct	bb::avm2::lookup_sha256_range_rhs_e_11_settings_
struct	bb::avm2::lookup_sha256_range_rhs_e_25_settings_
struct	bb::avm2::lookup_sha256_s_1_xor_0_settings_
struct	bb::avm2::lookup_sha256_s_1_xor_1_settings_
struct	bb::avm2::lookup_sha256_ch_and_0_settings_
struct	bb::avm2::lookup_sha256_ch_and_1_settings_
struct	bb::avm2::lookup_sha256_ch_xor_settings_
struct	bb::avm2::lookup_sha256_round_constant_settings_
struct	bb::avm2::lookup_sha256_range_rhs_a_2_settings_
struct	bb::avm2::lookup_sha256_range_rhs_a_13_settings_
struct	bb::avm2::lookup_sha256_range_rhs_a_22_settings_
struct	bb::avm2::lookup_sha256_s_0_xor_0_settings_
struct	bb::avm2::lookup_sha256_s_0_xor_1_settings_
struct	bb::avm2::lookup_sha256_maj_and_0_settings_
struct	bb::avm2::lookup_sha256_maj_and_1_settings_
struct	bb::avm2::lookup_sha256_maj_and_2_settings_
struct	bb::avm2::lookup_sha256_maj_xor_0_settings_
struct	bb::avm2::lookup_sha256_maj_xor_1_settings_
struct	bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_a_lhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_a_rhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_b_lhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_b_rhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_c_lhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_c_rhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_d_lhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_d_rhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_e_lhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_e_rhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_f_lhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_f_rhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_g_lhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_g_rhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_h_lhs_settings_
struct	bb::avm2::lookup_sha256_range_comp_h_rhs_settings_

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

Typedefs
using	bb::avm2::lookup_sha256_range_comp_w_lhs_settings = lookup_settings< lookup_sha256_range_comp_w_lhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_w_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_w_lhs_settings >
using	bb::avm2::lookup_sha256_range_comp_w_rhs_settings = lookup_settings< lookup_sha256_range_comp_w_rhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_w_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_w_rhs_settings >
using	bb::avm2::lookup_sha256_range_rhs_w_7_settings = lookup_settings< lookup_sha256_range_rhs_w_7_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_w_7_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_7_settings >
using	bb::avm2::lookup_sha256_range_rhs_w_18_settings = lookup_settings< lookup_sha256_range_rhs_w_18_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_w_18_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_18_settings >
using	bb::avm2::lookup_sha256_range_rhs_w_3_settings = lookup_settings< lookup_sha256_range_rhs_w_3_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_w_3_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_3_settings >
using	bb::avm2::lookup_sha256_w_s_0_xor_0_settings = lookup_settings< lookup_sha256_w_s_0_xor_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_w_s_0_xor_0_relation = lookup_relation_base< FF_, lookup_sha256_w_s_0_xor_0_settings >
using	bb::avm2::lookup_sha256_w_s_0_xor_1_settings = lookup_settings< lookup_sha256_w_s_0_xor_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_w_s_0_xor_1_relation = lookup_relation_base< FF_, lookup_sha256_w_s_0_xor_1_settings >
using	bb::avm2::lookup_sha256_range_rhs_w_17_settings = lookup_settings< lookup_sha256_range_rhs_w_17_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_w_17_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_17_settings >
using	bb::avm2::lookup_sha256_range_rhs_w_19_settings = lookup_settings< lookup_sha256_range_rhs_w_19_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_w_19_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_19_settings >
using	bb::avm2::lookup_sha256_range_rhs_w_10_settings = lookup_settings< lookup_sha256_range_rhs_w_10_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_w_10_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_10_settings >
using	bb::avm2::lookup_sha256_w_s_1_xor_0_settings = lookup_settings< lookup_sha256_w_s_1_xor_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_w_s_1_xor_0_relation = lookup_relation_base< FF_, lookup_sha256_w_s_1_xor_0_settings >
using	bb::avm2::lookup_sha256_w_s_1_xor_1_settings = lookup_settings< lookup_sha256_w_s_1_xor_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_w_s_1_xor_1_relation = lookup_relation_base< FF_, lookup_sha256_w_s_1_xor_1_settings >
using	bb::avm2::lookup_sha256_range_rhs_e_6_settings = lookup_settings< lookup_sha256_range_rhs_e_6_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_e_6_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_e_6_settings >
using	bb::avm2::lookup_sha256_range_rhs_e_11_settings = lookup_settings< lookup_sha256_range_rhs_e_11_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_e_11_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_e_11_settings >
using	bb::avm2::lookup_sha256_range_rhs_e_25_settings = lookup_settings< lookup_sha256_range_rhs_e_25_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_e_25_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_e_25_settings >
using	bb::avm2::lookup_sha256_s_1_xor_0_settings = lookup_settings< lookup_sha256_s_1_xor_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_s_1_xor_0_relation = lookup_relation_base< FF_, lookup_sha256_s_1_xor_0_settings >
using	bb::avm2::lookup_sha256_s_1_xor_1_settings = lookup_settings< lookup_sha256_s_1_xor_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_s_1_xor_1_relation = lookup_relation_base< FF_, lookup_sha256_s_1_xor_1_settings >
using	bb::avm2::lookup_sha256_ch_and_0_settings = lookup_settings< lookup_sha256_ch_and_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_ch_and_0_relation = lookup_relation_base< FF_, lookup_sha256_ch_and_0_settings >
using	bb::avm2::lookup_sha256_ch_and_1_settings = lookup_settings< lookup_sha256_ch_and_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_ch_and_1_relation = lookup_relation_base< FF_, lookup_sha256_ch_and_1_settings >
using	bb::avm2::lookup_sha256_ch_xor_settings = lookup_settings< lookup_sha256_ch_xor_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_ch_xor_relation = lookup_relation_base< FF_, lookup_sha256_ch_xor_settings >
using	bb::avm2::lookup_sha256_round_constant_settings = lookup_settings< lookup_sha256_round_constant_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_round_constant_relation = lookup_relation_base< FF_, lookup_sha256_round_constant_settings >
using	bb::avm2::lookup_sha256_range_rhs_a_2_settings = lookup_settings< lookup_sha256_range_rhs_a_2_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_a_2_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_a_2_settings >
using	bb::avm2::lookup_sha256_range_rhs_a_13_settings = lookup_settings< lookup_sha256_range_rhs_a_13_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_a_13_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_a_13_settings >
using	bb::avm2::lookup_sha256_range_rhs_a_22_settings = lookup_settings< lookup_sha256_range_rhs_a_22_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_rhs_a_22_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_a_22_settings >
using	bb::avm2::lookup_sha256_s_0_xor_0_settings = lookup_settings< lookup_sha256_s_0_xor_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_s_0_xor_0_relation = lookup_relation_base< FF_, lookup_sha256_s_0_xor_0_settings >
using	bb::avm2::lookup_sha256_s_0_xor_1_settings = lookup_settings< lookup_sha256_s_0_xor_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_s_0_xor_1_relation = lookup_relation_base< FF_, lookup_sha256_s_0_xor_1_settings >
using	bb::avm2::lookup_sha256_maj_and_0_settings = lookup_settings< lookup_sha256_maj_and_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_maj_and_0_relation = lookup_relation_base< FF_, lookup_sha256_maj_and_0_settings >
using	bb::avm2::lookup_sha256_maj_and_1_settings = lookup_settings< lookup_sha256_maj_and_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_maj_and_1_relation = lookup_relation_base< FF_, lookup_sha256_maj_and_1_settings >
using	bb::avm2::lookup_sha256_maj_and_2_settings = lookup_settings< lookup_sha256_maj_and_2_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_maj_and_2_relation = lookup_relation_base< FF_, lookup_sha256_maj_and_2_settings >
using	bb::avm2::lookup_sha256_maj_xor_0_settings = lookup_settings< lookup_sha256_maj_xor_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_maj_xor_0_relation = lookup_relation_base< FF_, lookup_sha256_maj_xor_0_settings >
using	bb::avm2::lookup_sha256_maj_xor_1_settings = lookup_settings< lookup_sha256_maj_xor_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_maj_xor_1_relation = lookup_relation_base< FF_, lookup_sha256_maj_xor_1_settings >
using	bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings = lookup_settings< lookup_sha256_range_comp_next_a_lhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_next_a_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_next_a_lhs_settings >
using	bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings = lookup_settings< lookup_sha256_range_comp_next_a_rhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_next_a_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_next_a_rhs_settings >
using	bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings = lookup_settings< lookup_sha256_range_comp_next_e_lhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_next_e_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_next_e_lhs_settings >
using	bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings = lookup_settings< lookup_sha256_range_comp_next_e_rhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_next_e_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_next_e_rhs_settings >
using	bb::avm2::lookup_sha256_range_comp_a_lhs_settings = lookup_settings< lookup_sha256_range_comp_a_lhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_a_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_a_lhs_settings >
using	bb::avm2::lookup_sha256_range_comp_a_rhs_settings = lookup_settings< lookup_sha256_range_comp_a_rhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_a_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_a_rhs_settings >
using	bb::avm2::lookup_sha256_range_comp_b_lhs_settings = lookup_settings< lookup_sha256_range_comp_b_lhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_b_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_b_lhs_settings >
using	bb::avm2::lookup_sha256_range_comp_b_rhs_settings = lookup_settings< lookup_sha256_range_comp_b_rhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_b_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_b_rhs_settings >
using	bb::avm2::lookup_sha256_range_comp_c_lhs_settings = lookup_settings< lookup_sha256_range_comp_c_lhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_c_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_c_lhs_settings >
using	bb::avm2::lookup_sha256_range_comp_c_rhs_settings = lookup_settings< lookup_sha256_range_comp_c_rhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_c_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_c_rhs_settings >
using	bb::avm2::lookup_sha256_range_comp_d_lhs_settings = lookup_settings< lookup_sha256_range_comp_d_lhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_d_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_d_lhs_settings >
using	bb::avm2::lookup_sha256_range_comp_d_rhs_settings = lookup_settings< lookup_sha256_range_comp_d_rhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_d_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_d_rhs_settings >
using	bb::avm2::lookup_sha256_range_comp_e_lhs_settings = lookup_settings< lookup_sha256_range_comp_e_lhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_e_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_e_lhs_settings >
using	bb::avm2::lookup_sha256_range_comp_e_rhs_settings = lookup_settings< lookup_sha256_range_comp_e_rhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_e_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_e_rhs_settings >
using	bb::avm2::lookup_sha256_range_comp_f_lhs_settings = lookup_settings< lookup_sha256_range_comp_f_lhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_f_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_f_lhs_settings >
using	bb::avm2::lookup_sha256_range_comp_f_rhs_settings = lookup_settings< lookup_sha256_range_comp_f_rhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_f_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_f_rhs_settings >
using	bb::avm2::lookup_sha256_range_comp_g_lhs_settings = lookup_settings< lookup_sha256_range_comp_g_lhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_g_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_g_lhs_settings >
using	bb::avm2::lookup_sha256_range_comp_g_rhs_settings = lookup_settings< lookup_sha256_range_comp_g_rhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_g_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_g_rhs_settings >
using	bb::avm2::lookup_sha256_range_comp_h_lhs_settings = lookup_settings< lookup_sha256_range_comp_h_lhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_h_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_h_lhs_settings >
using	bb::avm2::lookup_sha256_range_comp_h_rhs_settings = lookup_settings< lookup_sha256_range_comp_h_rhs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_sha256_range_comp_h_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_h_rhs_settings >