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

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_instr_fetching_pc_abs_diff_positive_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_instr_fetching_instr_abs_diff_positive_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_instr_fetching_tag_value_validation_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_instr_fetching_bytecode_size_from_bc_dec_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_instr_fetching_bytes_from_bc_dec_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_instr_fetching_wire_instruction_info_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_instr_fetching.cpp.

◆ ACCUMULATE_FOR_LOOKUP

#define ACCUMULATE_FOR_LOOKUP ( ... ) _ACCUMULATE_FOR_LOOKUP(__VA_ARGS__)

Definition at line 11 of file lookups_instr_fetching.cpp.

◆ AvmCheckCircuitEdge

#define AvmCheckCircuitEdge ( Flavor ) Flavor::PolynomialEntitiesAtFixedRow<Flavor::ProverPolynomials>

Definition at line 8 of file lookups_instr_fetching.cpp.

◆ AvmCheckRelationEdge

#define AvmCheckRelationEdge ( Flavor ) ::bb::avm2::AvmFullRowProxy

Definition at line 9 of file lookups_instr_fetching.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_instr_fetching.cpp.

Namespaces