Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | Private Member Functions | List of all members
bb::avm2::AvmVerifier Class Reference

#include <verifier.hpp>

Public Types

using Flavor = AvmFlavor
 
using FF = Flavor::FF
 
using Commitment = Flavor::Commitment
 
using VerificationKey = Flavor::VerificationKey
 
using VerifierCommitmentKey = Flavor::VerifierCommitmentKey
 
using Transcript = Flavor::Transcript
 

Public Member Functions

 AvmVerifier (std::shared_ptr< VerificationKey > verifier_key)
 
 AvmVerifier (AvmVerifier &&other) noexcept
 
 AvmVerifier (const AvmVerifier &other)=delete
 
virtual ~AvmVerifier ()=default
 
AvmVerifier & operator= (const AvmVerifier &other)=delete
 
AvmVerifier & operator= (AvmVerifier &&other) noexcept
 
virtual bool verify_proof (const HonkProof &proof, const std::vector< std::vector< FF > > &public_inputs)
 This function verifies an Avm Honk proof for given program settings.
 

Public Attributes

std::shared_ptr< VerificationKey > key
 
std::map< std::string, Commitment > commitments
 
std::shared_ptr< Transcript > transcript = std::make_shared<Transcript>()
 

Private Member Functions

FF evaluate_public_input_column (const std::vector< FF > &points, std::vector< FF > challenges)
 

Detailed Description

Definition at line 8 of file verifier.hpp.

Member Typedef Documentation

◆ Commitment

using bb::avm2::AvmVerifier::Commitment = Flavor::Commitment

Definition at line 12 of file verifier.hpp.

◆ FF

using bb::avm2::AvmVerifier::FF = Flavor::FF

Definition at line 11 of file verifier.hpp.

◆ Flavor

using bb::avm2::AvmVerifier::Flavor = AvmFlavor

Definition at line 10 of file verifier.hpp.

◆ Transcript

using bb::avm2::AvmVerifier::Transcript = Flavor::Transcript

Definition at line 15 of file verifier.hpp.

◆ VerificationKey

using bb::avm2::AvmVerifier::VerificationKey = Flavor::VerificationKey

Definition at line 13 of file verifier.hpp.

◆ VerifierCommitmentKey

using bb::avm2::AvmVerifier::VerifierCommitmentKey = Flavor::VerifierCommitmentKey

Definition at line 14 of file verifier.hpp.

Constructor & Destructor Documentation

◆ AvmVerifier() [1/3]

bb::avm2::AvmVerifier::AvmVerifier ( std::shared_ptr< VerificationKey >  verifier_key)
explicit

Definition at line 11 of file verifier.cpp.

◆ AvmVerifier() [2/3]

bb::avm2::AvmVerifier::AvmVerifier ( AvmVerifier &&  other)
noexcept

Definition at line 15 of file verifier.cpp.

◆ AvmVerifier() [3/3]

bb::avm2::AvmVerifier::AvmVerifier ( const AvmVerifier &  other)
delete

◆ ~AvmVerifier()

virtual bb::avm2::AvmVerifier::~AvmVerifier ( )
virtualdefault

Member Function Documentation

◆ evaluate_public_input_column()

FF bb::avm2::AvmVerifier::evaluate_public_input_column ( const std::vector< FF > &  points,
std::vector< FF >  challenges 
)
inlineprivate

Definition at line 31 of file verifier.cpp.

◆ operator=() [1/2]

AvmVerifier & bb::avm2::AvmVerifier::operator= ( AvmVerifier &&  other)
noexcept

Definition at line 20 of file verifier.cpp.

◆ operator=() [2/2]

AvmVerifier & bb::avm2::AvmVerifier::operator= ( const AvmVerifier &  other)
delete

◆ verify_proof()

bool bb::avm2::AvmVerifier::verify_proof ( const HonkProof &  proof,
const std::vector< std::vector< FF > > &  public_inputs 
)
virtual

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

Definition at line 41 of file verifier.cpp.

Member Data Documentation

◆ commitments

std::map<std::string, Commitment> bb::avm2::AvmVerifier::commitments

Definition at line 30 of file verifier.hpp.

◆ key

std::shared_ptr<VerificationKey> bb::avm2::AvmVerifier::key

Definition at line 29 of file verifier.hpp.

◆ transcript

std::shared_ptr<Transcript> bb::avm2::AvmVerifier::transcript = std::make_shared<Transcript>()

Definition at line 31 of file verifier.hpp.

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