civc_recursion_constraints.cpp File Reference

#include "barretenberg/dsl/acir_format/mock_verifier_inputs.hpp"
#include "barretenberg/dsl/acir_format/recursion_constraint.hpp"
#include "barretenberg/stdlib/client_ivc_verifier/client_ivc_recursive_verifier.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include "proof_surgeon.hpp"

Go to the source code of this file.

Namespaces
namespace	acir_format

Typedefs
template<typename Builder >
using	acir_format::HonkRecursionConstraintOutput = bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >

Functions
void	acir_format::create_dummy_vkey_and_proof (Builder &builder, size_t proof_size, size_t public_inputs_size, const std::vector< field_ct > &key_fields, const std::vector< field_ct > &proof_fields)
	Creates a dummy vkey and proof object.
HonkRecursionConstraintOutput< Builder >	acir_format::create_civc_recursion_constraints (Builder &builder, const RecursionConstraint &input, bool has_valid_witness_assignments)
	Add constraints associated with recursive verification of an CIVC proof.