honk_recursion_constraint.cpp File Reference

#include "honk_recursion_constraint.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/constants.hpp"
#include "barretenberg/dsl/acir_format/mock_verifier_inputs.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/ultra_recursive_flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_recursive_flavor.hpp"
#include "barretenberg/flavor/ultra_zk_recursive_flavor.hpp"
#include "barretenberg/stdlib/honk_verifier/ultra_recursive_verifier.hpp"
#include "barretenberg/stdlib/primitives/bigfield/constants.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "proof_surgeon.hpp"
#include "recursion_constraint.hpp"
#include <cstddef>

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, bool has_valid_witness_assignments)
	Add constraints required to recursively verify an UltraHonk proof.
template HonkRecursionConstraintOutput< UltraCircuitBuilder >	acir_format::create_honk_recursion_constraints< UltraRecursiveFlavor_< UltraCircuitBuilder > > (UltraCircuitBuilder &builder, const RecursionConstraint &input, bool has_valid_witness_assignments)
template HonkRecursionConstraintOutput< UltraCircuitBuilder >	acir_format::create_honk_recursion_constraints< UltraRollupRecursiveFlavor_< UltraCircuitBuilder > > (UltraCircuitBuilder &builder, const RecursionConstraint &input, bool has_valid_witness_assignments)
template HonkRecursionConstraintOutput< MegaCircuitBuilder >	acir_format::create_honk_recursion_constraints< UltraRecursiveFlavor_< MegaCircuitBuilder > > (MegaCircuitBuilder &builder, const RecursionConstraint &input, bool has_valid_witness_assignments)
template HonkRecursionConstraintOutput< MegaCircuitBuilder >	acir_format::create_honk_recursion_constraints< UltraZKRecursiveFlavor_< MegaCircuitBuilder > > (MegaCircuitBuilder &builder, const RecursionConstraint &input, bool has_valid_witness_assignments)
template HonkRecursionConstraintOutput< UltraCircuitBuilder >	acir_format::create_honk_recursion_constraints< UltraZKRecursiveFlavor_< UltraCircuitBuilder > > (UltraCircuitBuilder &builder, const RecursionConstraint &input, bool has_valid_witness_assignments)