honk_recursion_constraint.hpp File Reference

#include "barretenberg/dsl/acir_format/recursion_constraint.hpp"
#include "barretenberg/dsl/acir_format/recursion_constraint_output.hpp"
#include <vector>

Go to the source code of this file.

Namespaces
namespace	acir_format

Functions
template<typename Flavor > requires (IsRecursiveFlavor<Flavor> && IsUltraHonk<typename Flavor::NativeFlavor>)
HonkRecursionConstraintOutput< typename Flavor::CircuitBuilder >	acir_format::create_honk_recursion_constraints (typename Flavor::CircuitBuilder &builder, const RecursionConstraint &input)
	Add to the builder the constraints to recursively verify a Honk proof.
template<typename Flavor >
void	acir_format::native_verification_debug (const std::shared_ptr< typename Flavor::VerificationKey > vkey, const typename Flavor::NativeFlavor::FF vkey_hash, const bb::stdlib::Proof< typename Flavor::CircuitBuilder > &proof_fields)
	Natively verify the stdlib proof for debugging.