Public Member Functions
	VerifierBase (std::shared_ptr< verification_key > verifier_key=nullptr, const transcript::Manifest &manifest=transcript::Manifest())

	VerifierBase (VerifierBase &&other)

	VerifierBase (const VerifierBase &other)=delete

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

VerifierBase &	operator= (VerifierBase &&other)

bool	validate_commitments ()

bool	validate_scalars ()

bool	verify_proof (const plonk::proof &proof)

Public Attributes
transcript::Manifest	manifest

std::shared_ptr< verification_key >	key

std::map< std::string, barretenberg::g1::affine_element >	kate_g1_elements

std::map< std::string, barretenberg::fr >	kate_fr_elements

std::unique_ptr< CommitmentScheme >	commitment_scheme

Member Function Documentation

◆ verify_proof()

template<typename program_settings >

bool proof_system::plonk::VerifierBase< program_settings >::verify_proof ( const plonk::proof & proof )

TODO: can we add these lagrange evaluations to the transcript? They get recalcualted after this multiple times,

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