Public Member Functions
	ECCVMVerifier_ (const std::shared_ptr< VerificationKey > &verifier_key=nullptr)

	ECCVMVerifier_ (const std::shared_ptr< VerificationKey > &key, std::map< std::string, Commitment > commitments, std::map< std::string, FF > pcs_fr_elements, const std::shared_ptr< VerifierCommitmentKey > &pcs_verification_key, const std::shared_ptr< Transcript > &transcript)

	ECCVMVerifier_ (ECCVMVerifier_ &&other) noexcept

	ECCVMVerifier_ (const ECCVMVerifier_ &other)=delete

ECCVMVerifier_ &	operator= (const ECCVMVerifier_ &other)=delete

ECCVMVerifier_ &	operator= (ECCVMVerifier_ &&other) noexcept

bool	verify_proof (const plonk::proof &proof)
	This function verifies an ECCVM Honk proof for given program settings.

Public Attributes
std::shared_ptr< VerificationKey >	key

std::map< std::string, Commitment >	commitments

std::map< std::string, FF >	pcs_fr_elements

std::shared_ptr< VerifierCommitmentKey >	pcs_verification_key

std::shared_ptr< Transcript >	transcript

Member Function Documentation

◆ verify_proof()

template<typename Flavor >

bool proof_system::honk::ECCVMVerifier_< Flavor >::verify_proof ( const plonk::proof & proof )

This function verifies an ECCVM Honk proof for given program settings.

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