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

#include <recursive_verifier.hpp>

Public Member Functions

 AvmRecursiveVerifier (Builder &builder, const std::shared_ptr< Transcript > &transcript=std::make_shared< Transcript >())
 
PairingPoints verify_proof (const HonkProof &proof, const std::vector< std::vector< fr > > &public_inputs_vec_nt)
 
PairingPoints verify_proof (const StdlibProof &stdlib_proof, const std::vector< std::vector< typename Flavor::FF > > &public_inputs)
 
FF hash_avm_transcript (const StdlibProof &stdlib_proof)
 Hash the transcript after verification is complete to produce a hash of the public inputs and proofs that have been verified.
 

Private Types

using Flavor = AvmRecursiveFlavor
 
using FF = typename Flavor::FF
 
using BF = typename Flavor::BF
 
using Curve = typename Flavor::Curve
 
using Commitment = typename Flavor::Commitment
 
using SubrelationSeparators = typename Flavor::SubrelationSeparators
 
using VerificationKey = typename Flavor::VerificationKey
 
using NativeVerificationKey = typename Flavor::NativeVerificationKey
 
using Builder = typename Flavor::CircuitBuilder
 
using PCS = typename Flavor::PCS
 
using Transcript = Flavor::Transcript
 
using VerifierCommitments = typename Flavor::VerifierCommitments
 
using PairingPoints = stdlib::recursion::PairingPoints< Curve >
 
using StdlibProof = stdlib::Proof< Builder >
 

Private Member Functions

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

Private Attributes

Builder & builder
 
std::shared_ptr< VerificationKey > key
 
FF vk_hash
 
std::shared_ptr< Transcript > transcript
 
bool is_verification_complete = false
 

Detailed Description

Definition at line 16 of file recursive_verifier.hpp.

Member Typedef Documentation

◆ BF

using bb::avm2::AvmRecursiveVerifier::BF = typename Flavor::BF
private

Definition at line 19 of file recursive_verifier.hpp.

◆ Builder

using bb::avm2::AvmRecursiveVerifier::Builder = typename Flavor::CircuitBuilder
private

Definition at line 25 of file recursive_verifier.hpp.

◆ Commitment

using bb::avm2::AvmRecursiveVerifier::Commitment = typename Flavor::Commitment
private

Definition at line 21 of file recursive_verifier.hpp.

◆ Curve

using bb::avm2::AvmRecursiveVerifier::Curve = typename Flavor::Curve
private

Definition at line 20 of file recursive_verifier.hpp.

◆ FF

using bb::avm2::AvmRecursiveVerifier::FF = typename Flavor::FF
private

Definition at line 18 of file recursive_verifier.hpp.

◆ Flavor

using bb::avm2::AvmRecursiveVerifier::Flavor = AvmRecursiveFlavor
private

Definition at line 17 of file recursive_verifier.hpp.

◆ NativeVerificationKey

using bb::avm2::AvmRecursiveVerifier::NativeVerificationKey = typename Flavor::NativeVerificationKey
private

Definition at line 24 of file recursive_verifier.hpp.

◆ PairingPoints

using bb::avm2::AvmRecursiveVerifier::PairingPoints = stdlib::recursion::PairingPoints<Curve>
private

Definition at line 29 of file recursive_verifier.hpp.

◆ PCS

using bb::avm2::AvmRecursiveVerifier::PCS = typename Flavor::PCS
private

Definition at line 26 of file recursive_verifier.hpp.

◆ StdlibProof

using bb::avm2::AvmRecursiveVerifier::StdlibProof = stdlib::Proof<Builder>
private

Definition at line 30 of file recursive_verifier.hpp.

◆ SubrelationSeparators

using bb::avm2::AvmRecursiveVerifier::SubrelationSeparators = typename Flavor::SubrelationSeparators
private

Definition at line 22 of file recursive_verifier.hpp.

◆ Transcript

using bb::avm2::AvmRecursiveVerifier::Transcript = Flavor::Transcript
private

Definition at line 27 of file recursive_verifier.hpp.

◆ VerificationKey

using bb::avm2::AvmRecursiveVerifier::VerificationKey = typename Flavor::VerificationKey
private

Definition at line 23 of file recursive_verifier.hpp.

◆ VerifierCommitments

using bb::avm2::AvmRecursiveVerifier::VerifierCommitments = typename Flavor::VerifierCommitments
private

Definition at line 28 of file recursive_verifier.hpp.

Constructor & Destructor Documentation

◆ AvmRecursiveVerifier()

bb::avm2::AvmRecursiveVerifier::AvmRecursiveVerifier ( Builder &  builder,
const std::shared_ptr< Transcript > &  transcript = std::make_shared<Transcript>() 
)
explicit

Definition at line 27 of file recursive_verifier.cpp.

Member Function Documentation

◆ evaluate_public_input_column()

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

Definition at line 42 of file recursive_verifier.cpp.

◆ hash_avm_transcript()

AvmRecursiveVerifier::FF bb::avm2::AvmRecursiveVerifier::hash_avm_transcript ( const StdlibProof &  stdlib_proof)

Hash the transcript after verification is complete to produce a hash of the public inputs and proofs that have been verified.

Definition at line 219 of file recursive_verifier.cpp.

◆ verify_proof() [1/2]

AvmRecursiveVerifier::PairingPoints bb::avm2::AvmRecursiveVerifier::verify_proof ( const HonkProof &  proof,
const std::vector< std::vector< fr > > &  public_inputs_vec_nt 
)

Definition at line 58 of file recursive_verifier.cpp.

◆ verify_proof() [2/2]

PairingPoints bb::avm2::AvmRecursiveVerifier::verify_proof ( const StdlibProof &  stdlib_proof,
const std::vector< std::vector< typename Flavor::FF > > &  public_inputs 
)

Member Data Documentation

◆ builder

Builder& bb::avm2::AvmRecursiveVerifier::builder
private

Definition at line 49 of file recursive_verifier.hpp.

◆ is_verification_complete

bool bb::avm2::AvmRecursiveVerifier::is_verification_complete = false
private

Definition at line 54 of file recursive_verifier.hpp.

◆ key

std::shared_ptr<VerificationKey> bb::avm2::AvmRecursiveVerifier::key
private

Definition at line 50 of file recursive_verifier.hpp.

◆ transcript

std::shared_ptr<Transcript> bb::avm2::AvmRecursiveVerifier::transcript
private

Definition at line 52 of file recursive_verifier.hpp.

◆ vk_hash

FF bb::avm2::AvmRecursiveVerifier::vk_hash
private

Definition at line 51 of file recursive_verifier.hpp.

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