avm2_recursion_constraint.cpp File Reference

#include "avm2_recursion_constraint.hpp"
#include "barretenberg/common/throw_or_abort.hpp"
#include <stdexcept>

Go to the source code of this file.

Namespaces
namespace	acir_format

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