civc_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< 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.