#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_execution_bytecode_retrieval_result_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_execution_instruction_fetching_result_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_execution_instruction_fetching_body_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_execution_exec_spec_read_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_execution_dyn_l2_factor_bitwise_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_execution_check_radix_gt_256_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_execution_get_p_limbs_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_execution_get_max_limbs_relation)

	bb::avm2::INSTANTIATE_LOOKUP (lookup_execution_check_written_storage_slot_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_execution.cpp.

◆ ACCUMULATE_FOR_LOOKUP

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

Definition at line 11 of file lookups_execution.cpp.

◆ AvmCheckCircuitEdge

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

Definition at line 8 of file lookups_execution.cpp.

◆ AvmCheckRelationEdge

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

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

Namespaces