proof_system::honk::UltraVerifier_< Flavor > Class Template Reference

Public Member Functions
	UltraVerifier_ (const std::shared_ptr< Transcript > &transcript, const std::shared_ptr< VerificationKey > &verifier_key=nullptr)
	UltraVerifier_ (const std::shared_ptr< VerificationKey > &verifier_key)
	Construct an UltraVerifier directly from a verification key.
	UltraVerifier_ (UltraVerifier_ &&other)
UltraVerifier_ &	operator= (const UltraVerifier_ &other)=delete
UltraVerifier_ &	operator= (UltraVerifier_ &&other)
bool	verify_proof (const plonk::proof &proof)
	This function verifies an Ultra Honk proof for a given Flavor.

Public Attributes
std::shared_ptr< VerificationKey >	key
std::map< std::string, Commitment >	commitments
std::shared_ptr< VerifierCommitmentKey >	pcs_verification_key
std::shared_ptr< Transcript >	transcript

Constructor & Destructor Documentation

UltraVerifier_()

template<typename Flavor >

proof_system::honk::UltraVerifier_< Flavor >::UltraVerifier_ ( const std::shared_ptr< VerificationKey > &  verifier_key )

explicit

Construct an UltraVerifier directly from a verification key.

Template Parameters

Flavor

Parameters

verifier_key

Member Function Documentation

verify_proof()

template<typename Flavor >

bool proof_system::honk::UltraVerifier_< Flavor >::verify_proof

(

const plonk::proof &

proof

)

This function verifies an Ultra Honk proof for a given Flavor.

---

The documentation for this class was generated from the following files:

• src/barretenberg/ultra_honk/ultra_verifier.hpp
• src/barretenberg/ultra_honk/ultra_verifier.cpp