bb::avm2::AvmRecursiveVerifier Class Reference

#include <recursive_verifier.hpp>

Public Member Functions
	AvmRecursiveVerifier (Builder &builder, const std::shared_ptr< VerificationKey > &vkey)
PairingPoints	verify_proof (const HonkProof &proof, const std::vector< std::vector< fr > > &public_inputs_vec_nt)
PairingPoints	verify_proof (const StdlibProof &stdlib_proof_with_pi_flag, const std::vector< std::vector< typename Flavor::FF > > &public_inputs)

Public Attributes
Builder &	builder
std::shared_ptr< VerificationKey >	key
FF	vk_hash
std::shared_ptr< Transcript >	transcript = std::make_shared<Transcript>()

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 = BaseTranscript< stdlib::recursion::honk::StdlibTranscriptParams< Builder > >
using	VerifierCommitments = typename Flavor::VerifierCommitments
using	PairingPoints = stdlib::recursion::PairingPoints< Builder >
using	StdlibProof = stdlib::Proof< Builder >

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

Detailed Description

Definition at line 10 of file recursive_verifier.hpp.

Member Typedef Documentation

BF

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

private

Definition at line 13 of file recursive_verifier.hpp.

Builder

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

private

Definition at line 19 of file recursive_verifier.hpp.

Commitment

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

private

Definition at line 15 of file recursive_verifier.hpp.

Curve

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

private

Definition at line 14 of file recursive_verifier.hpp.

FF

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

private

Definition at line 12 of file recursive_verifier.hpp.

Flavor

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

private

Definition at line 11 of file recursive_verifier.hpp.

NativeVerificationKey

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

private

Definition at line 18 of file recursive_verifier.hpp.

PairingPoints

using bb::avm2::AvmRecursiveVerifier::PairingPoints = stdlib::recursion::PairingPoints<Builder>

private

Definition at line 23 of file recursive_verifier.hpp.

PCS

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

private

Definition at line 20 of file recursive_verifier.hpp.

StdlibProof

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

private

Definition at line 24 of file recursive_verifier.hpp.

SubrelationSeparators

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

private

Definition at line 16 of file recursive_verifier.hpp.

Transcript

using bb::avm2::AvmRecursiveVerifier::Transcript = BaseTranscript<stdlib::recursion::honk::StdlibTranscriptParams<Builder> >

private

Definition at line 21 of file recursive_verifier.hpp.

VerificationKey

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

private

Definition at line 17 of file recursive_verifier.hpp.

VerifierCommitments

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

private

Definition at line 22 of file recursive_verifier.hpp.

Constructor & Destructor Documentation

AvmRecursiveVerifier()

bb::avm2::AvmRecursiveVerifier::AvmRecursiveVerifier ( Builder &  builder, const std::shared_ptr< VerificationKey > &  vkey  )

explicit

Definition at line 21 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 33 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 49 of file recursive_verifier.cpp.

verify_proof() [2/2]

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

Member Data Documentation

builder

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

Definition at line 36 of file recursive_verifier.hpp.

key

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

Definition at line 37 of file recursive_verifier.hpp.

transcript

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

Definition at line 39 of file recursive_verifier.hpp.

vk_hash

FF bb::avm2::AvmRecursiveVerifier::vk_hash

Definition at line 38 of file recursive_verifier.hpp.

---

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

• src/barretenberg/vm2/constraining/recursion/recursive_verifier.hpp
• src/barretenberg/vm2/constraining/recursion/recursive_verifier.cpp