avm2_recursion_constraint.hpp File Reference

#include "barretenberg/dsl/acir_format/recursion_constraint.hpp"
#include "barretenberg/eccvm/eccvm_verifier.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"

Go to the source code of this file.

Classes
struct	acir_format::AvmRecursionConstraintOutput

Namespaces
namespace	acir_format

Functions
AvmRecursionConstraintOutput	acir_format::create_avm2_recursion_constraints_goblin (UltraCircuitBuilder &builder, const RecursionConstraint &input)
	Add constraints associated with recursive verification of an AVM2 proof using Goblin.