#include <ultra_recursive_verifier.hpp>

Public Types
using	FF = typename Flavor::FF

using	Commitment = typename Flavor::Commitment

using	GroupElement = typename Flavor::GroupElement

using	RecursiveDeciderVK = RecursiveDeciderVerificationKey_< Flavor >

using	VerificationKey = typename Flavor::VerificationKey

using	VKAndHash = typename Flavor::VKAndHash

using	VerifierCommitmentKey = typename Flavor::VerifierCommitmentKey

using	Builder = typename Flavor::CircuitBuilder

using	PairingObject = PairingPoints< Builder >

using	Transcript = bb::BaseTranscript< bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder > >

using	OinkVerifier = OinkRecursiveVerifier_< Flavor >

using	Output = UltraRecursiveVerifierOutput< Builder >

using	StdlibProof = stdlib::Proof< Builder >

Public Member Functions
	UltraRecursiveVerifier_ (Builder *builder, const std::shared_ptr< VKAndHash > &vk_and_hash, const std::shared_ptr< Transcript > &transcript=std::make_shared< Transcript >())

template<class IO >
Output	verify_proof (const StdlibProof &proof)

template<class IO >
UltraRecursiveVerifier_< Flavor >::Output	verify_proof (const stdlib::Proof< Builder > &proof)
	This function constructs a recursive verifier circuit for a native Ultra Honk proof of a given flavor.

Public Attributes
std::shared_ptr< RecursiveDeciderVK >	key

VerifierCommitmentKey	pcs_verification_key

Builder *	builder

std::shared_ptr< Transcript >	transcript

Detailed Description

template<typename Flavor>
class bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >

Definition at line 53 of file ultra_recursive_verifier.hpp.

Member Typedef Documentation

◆ Builder

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::Builder = typename Flavor::CircuitBuilder

Definition at line 62 of file ultra_recursive_verifier.hpp.

◆ Commitment

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::Commitment = typename Flavor::Commitment

Definition at line 56 of file ultra_recursive_verifier.hpp.

◆ FF

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::FF = typename Flavor::FF

Definition at line 55 of file ultra_recursive_verifier.hpp.

◆ GroupElement

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::GroupElement = typename Flavor::GroupElement

Definition at line 57 of file ultra_recursive_verifier.hpp.

◆ OinkVerifier

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::OinkVerifier = OinkRecursiveVerifier_<Flavor>

Definition at line 65 of file ultra_recursive_verifier.hpp.

◆ Output

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::Output = UltraRecursiveVerifierOutput<Builder>

Definition at line 66 of file ultra_recursive_verifier.hpp.

◆ PairingObject

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::PairingObject = PairingPoints<Builder>

Definition at line 63 of file ultra_recursive_verifier.hpp.

◆ RecursiveDeciderVK

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::RecursiveDeciderVK = RecursiveDeciderVerificationKey_<Flavor>

Definition at line 58 of file ultra_recursive_verifier.hpp.

◆ StdlibProof

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::StdlibProof = stdlib::Proof<Builder>

Definition at line 67 of file ultra_recursive_verifier.hpp.

◆ Transcript

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::Transcript = bb::BaseTranscript<bb::stdlib::recursion::honk::StdlibTranscriptParams<Builder> >

Definition at line 64 of file ultra_recursive_verifier.hpp.

◆ VerificationKey

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::VerificationKey = typename Flavor::VerificationKey

Definition at line 59 of file ultra_recursive_verifier.hpp.

◆ VerifierCommitmentKey

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::VerifierCommitmentKey = typename Flavor::VerifierCommitmentKey

Definition at line 61 of file ultra_recursive_verifier.hpp.

◆ VKAndHash

template<typename Flavor >

using bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::VKAndHash = typename Flavor::VKAndHash

Definition at line 60 of file ultra_recursive_verifier.hpp.

Constructor & Destructor Documentation

◆ UltraRecursiveVerifier_()

template<typename Flavor >

bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::UltraRecursiveVerifier_	(	Builder *	builder,
		const std::shared_ptr< VKAndHash > &	vk_and_hash,
		const std::shared_ptr< Transcript > &	transcript = `std::make_shared<Transcript>()`
	)

explicit

Definition at line 21 of file ultra_recursive_verifier.cpp.

Member Function Documentation

◆ verify_proof() [1/2]

template<typename Flavor >

template<class IO >

UltraRecursiveVerifier_< Flavor >::Output bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >::verify_proof ( const stdlib::Proof< Builder > & proof )