honk_recursion_constraint.cpp File Reference

#include "honk_recursion_constraint.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/dsl/acir_format/mock_verifier_inputs.hpp"
#include "barretenberg/dsl/acir_format/utils.hpp"
#include "barretenberg/dsl/acir_format/witness_constant.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/ultra_recursive_flavor.hpp"
#include "barretenberg/flavor/ultra_zk_recursive_flavor.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "recursion_constraint.hpp"
#include <cstddef>

Go to the source code of this file.

Namespaces
namespace	acir_format

Macros
#define	INSTANTIATE_HONK_RECURSION_CONSTRAINT(Flavor, IO)
#define	INSTANTIATE_NATIVE_VERIFICATION_DEBUG(Flavor, IO)

Functions
template<typename Flavor , typename IO > 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 , typename IO >
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.
	acir_format::INSTANTIATE_HONK_RECURSION_CONSTRAINT (UltraRecursiveFlavor_< UltraCircuitBuilder >, stdlib::recursion::honk::DefaultIO< UltraCircuitBuilder >) INSTANTIATE_HONK_RECURSION_CONSTRAINT(UltraRecursiveFlavor_< MegaCircuitBuilder >
	acir_format::INSTANTIATE_NATIVE_VERIFICATION_DEBUG (UltraRecursiveFlavor_< UltraCircuitBuilder >, stdlib::recursion::honk::DefaultIO< UltraCircuitBuilder >) INSTANTIATE_NATIVE_VERIFICATION_DEBUG(UltraRecursiveFlavor_< MegaCircuitBuilder >

Variables
stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder >	acir_format::INSTANTIATE_HONK_RECURSION_CONSTRAINT (UltraZKRecursiveFlavor_< MegaCircuitBuilder >, stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder >) INSTANTIATE_HONK_RECURSION_CONSTRAINT(UltraZKRecursiveFlavor_< UltraCircuitBuilder >
stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder >	acir_format::INSTANTIATE_NATIVE_VERIFICATION_DEBUG (UltraZKRecursiveFlavor_< MegaCircuitBuilder >, stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder >) INSTANTIATE_NATIVE_VERIFICATION_DEBUG(UltraZKRecursiveFlavor_< UltraCircuitBuilder >

Macro Definition Documentation

INSTANTIATE_HONK_RECURSION_CONSTRAINT

#define INSTANTIATE_HONK_RECURSION_CONSTRAINT	(		Flavor,
			IO
	)

Value:

    template HonkRecursionConstraintOutput<typename Flavor::CircuitBuilder>                                            \
    create_honk_recursion_constraints<Flavor, IO>(typename Flavor::CircuitBuilder & builder,                           \
                                                  const RecursionConstraint& input);

Definition at line 165 of file honk_recursion_constraint.cpp.

INSTANTIATE_NATIVE_VERIFICATION_DEBUG

#define INSTANTIATE_NATIVE_VERIFICATION_DEBUG	(		Flavor,
			IO
	)

Value:

    template void native_verification_debug<Flavor, IO>(const std::shared_ptr<typename Flavor::VerificationKey>,       \
                                                        const typename Flavor::NativeFlavor::FF vkey_hash,             \
                                                        const bb::stdlib::Proof<typename Flavor::CircuitBuilder>&);

Definition at line 183 of file honk_recursion_constraint.cpp.