Public Member Functions
	AvmMiniVerifier (std::shared_ptr< VerificationKey > verifier_key=nullptr)

	AvmMiniVerifier (AvmMiniVerifier &&other) noexcept

	AvmMiniVerifier (const AvmMiniVerifier &other)=delete

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

AvmMiniVerifier &	operator= (AvmMiniVerifier &&other) noexcept

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

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

Member Function Documentation

◆ verify_proof()

bool proof_system::honk::AvmMiniVerifier::verify_proof ( const plonk::proof & proof )

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

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