lookups_sha256.cpp File Reference

#include "barretenberg/flavor/relation_definitions.hpp"
#include "barretenberg/vm2/constraining/flavor.hpp"
#include "barretenberg/vm2/constraining/full_row.hpp"
#include "barretenberg/vm2/constraining/recursion/recursive_flavor.hpp"
#include "barretenberg/vm2/constraining/relations/interactions_base_impl.hpp"

Go to the source code of this file.

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

Macros
#define	AvmCheckCircuitEdge(Flavor)   Flavor::PolynomialEntitiesAtFixedRow<Flavor::ProverPolynomials>
#define	AvmCheckRelationEdge(Flavor)   ::bb::avm2::AvmFullRowProxy
#define	ACCUMULATE_FOR_LOOKUP(...)   _ACCUMULATE_FOR_LOOKUP(__VA_ARGS__)
#define	_ACCUMULATE_FOR_LOOKUP(RelationName, Flavor, AccumulatorType, EdgeType)
#define	INSTANTIATE_LOOKUP(RelationName)

Functions
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_w_lhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_w_rhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_7_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_18_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_3_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_w_s_0_xor_0_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_w_s_0_xor_1_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_17_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_19_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_10_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_w_s_1_xor_0_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_w_s_1_xor_1_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_e_6_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_e_11_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_e_25_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_s_1_xor_0_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_s_1_xor_1_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_ch_and_0_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_ch_and_1_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_ch_xor_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_round_constant_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_a_2_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_a_13_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_a_22_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_s_0_xor_0_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_s_0_xor_1_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_maj_and_0_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_maj_and_1_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_maj_and_2_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_maj_xor_0_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_maj_xor_1_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_next_a_lhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_next_a_rhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_next_e_lhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_next_e_rhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_a_lhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_a_rhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_b_lhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_b_rhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_c_lhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_c_rhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_d_lhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_d_rhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_e_lhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_e_rhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_f_lhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_f_rhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_g_lhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_g_rhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_h_lhs_relation)
	bb::avm2::INSTANTIATE_LOOKUP (lookup_sha256_range_comp_h_rhs_relation)

Macro Definition Documentation

_ACCUMULATE_FOR_LOOKUP

#define _ACCUMULATE_FOR_LOOKUP	(		RelationName,
			Flavor,
			AccumulatorType,
			EdgeType
	)

Value:

    template void RelationName<Flavor::FF>::accumulate<RelationName<Flavor::FF>::AccumulatorType, EdgeType(Flavor)>(   \
        RelationName<Flavor::FF>::AccumulatorType&,                                                                    \
        EdgeType(Flavor) const&,                                                                                       \
        RelationParameters<Flavor::FF> const&,                                                                         \
        Flavor::FF const&);

Definition at line 12 of file lookups_sha256.cpp.

ACCUMULATE_FOR_LOOKUP

#define ACCUMULATE_FOR_LOOKUP

(

...

)

_ACCUMULATE_FOR_LOOKUP(__VA_ARGS__)

Definition at line 11 of file lookups_sha256.cpp.

AvmCheckCircuitEdge

#define AvmCheckCircuitEdge

(

Flavor

)

Flavor::PolynomialEntitiesAtFixedRow<Flavor::ProverPolynomials>

Definition at line 8 of file lookups_sha256.cpp.

AvmCheckRelationEdge

#define AvmCheckRelationEdge

(

Flavor

)

::bb::avm2::AvmFullRowProxy

Definition at line 9 of file lookups_sha256.cpp.

INSTANTIATE_LOOKUP

#define INSTANTIATE_LOOKUP

(

RelationName

)

Value:

    ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge);          \
    ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge);             \
    ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge);        \
    ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge);       \
    ACCUMULATE_FOR_LOOKUP(RelationName, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge);

Definition at line 19 of file lookups_sha256.cpp.