lookups_sha256.cpp

Go to the documentation of this file.

// AUTOGENERATED FILE
#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"
 
#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)                                        \
    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&);
 
#define INSTANTIATE_LOOKUP(RelationName)                                                                               \
    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);
 
namespace bb::avm2 {
 
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_w_lhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_w_rhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_w_7_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_w_18_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_w_3_relation);
INSTANTIATE_LOOKUP(lookup_sha256_w_s_0_xor_0_relation);
INSTANTIATE_LOOKUP(lookup_sha256_w_s_0_xor_1_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_w_17_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_w_19_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_w_10_relation);
INSTANTIATE_LOOKUP(lookup_sha256_w_s_1_xor_0_relation);
INSTANTIATE_LOOKUP(lookup_sha256_w_s_1_xor_1_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_e_6_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_e_11_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_e_25_relation);
INSTANTIATE_LOOKUP(lookup_sha256_s_1_xor_0_relation);
INSTANTIATE_LOOKUP(lookup_sha256_s_1_xor_1_relation);
INSTANTIATE_LOOKUP(lookup_sha256_ch_and_0_relation);
INSTANTIATE_LOOKUP(lookup_sha256_ch_and_1_relation);
INSTANTIATE_LOOKUP(lookup_sha256_ch_xor_relation);
INSTANTIATE_LOOKUP(lookup_sha256_round_constant_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_a_2_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_a_13_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_rhs_a_22_relation);
INSTANTIATE_LOOKUP(lookup_sha256_s_0_xor_0_relation);
INSTANTIATE_LOOKUP(lookup_sha256_s_0_xor_1_relation);
INSTANTIATE_LOOKUP(lookup_sha256_maj_and_0_relation);
INSTANTIATE_LOOKUP(lookup_sha256_maj_and_1_relation);
INSTANTIATE_LOOKUP(lookup_sha256_maj_and_2_relation);
INSTANTIATE_LOOKUP(lookup_sha256_maj_xor_0_relation);
INSTANTIATE_LOOKUP(lookup_sha256_maj_xor_1_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_next_a_lhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_next_a_rhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_next_e_lhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_next_e_rhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_a_lhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_a_rhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_b_lhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_b_rhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_c_lhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_c_rhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_d_lhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_d_rhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_e_lhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_e_rhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_f_lhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_f_rhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_g_lhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_g_rhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_h_lhs_relation);
INSTANTIATE_LOOKUP(lookup_sha256_range_comp_h_rhs_relation);
 
} // namespace bb::avm2