chonk_recursion_constraints.hpp File Reference

#include "barretenberg/dsl/acir_format/honk_recursion_constraint.hpp"
#include "barretenberg/dsl/acir_format/recursion_constraint.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"

Go to the source code of this file.

Namespaces
namespace	acir_format

Functions
HonkRecursionConstraintOutput< bb::UltraCircuitBuilder >	acir_format::create_chonk_recursion_constraints (bb::UltraCircuitBuilder &builder, const RecursionConstraint &input)
	Add constraints associated with recursive verification of a Chonk proof.
void	acir_format::create_dummy_vkey_and_proof (UltraCircuitBuilder &builder, size_t proof_size, size_t public_inputs_size, const std::vector< stdlib::field_t< UltraCircuitBuilder > > &key_fields, const std::vector< stdlib::field_t< UltraCircuitBuilder > > &proof_fields)
	Creates a dummy vkey and proof object.