contract_instance_retrieval.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/generated/relations/contract_instance_retrieval_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

Functions
	bb::avm2::ACCUMULATE (contract_instance_retrievalImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge)
	bb::avm2::ACCUMULATE (contract_instance_retrievalImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge)
	bb::avm2::ACCUMULATE (contract_instance_retrievalImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge)
	bb::avm2::ACCUMULATE (contract_instance_retrievalImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge)
	bb::avm2::ACCUMULATE (contract_instance_retrievalImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge)

Macro Definition Documentation

AvmCheckCircuitEdge

#define AvmCheckCircuitEdge

(

Flavor

)

Flavor::PolynomialEntitiesAtFixedRow<Flavor::ProverPolynomials>

Definition at line 8 of file contract_instance_retrieval.cpp.

AvmCheckRelationEdge

#define AvmCheckRelationEdge

(

Flavor

)

::bb::avm2::AvmFullRowProxy

Definition at line 9 of file contract_instance_retrieval.cpp.