bb::ECCVMRecursiveVerifier Class Reference

#include <eccvm_recursive_verifier.hpp>

Classes
struct	StdlibProof

Public Member Functions
	ECCVMRecursiveVerifier (Builder *builder, const std::shared_ptr< NativeVerificationKey > &native_verifier_key, const std::shared_ptr< Transcript > &transcript)
IpaClaimAndProof	verify_proof (const ECCVMProof &proof)
	Creates a circuit that executes the ECCVM verifier algorithm up to IPA verification.
IpaClaimAndProof	verify_proof (const StdlibProof &proof)
	Creates a circuit that executes the ECCVM verifier algorithm up to IPA verification.
void	compute_translation_opening_claims (const std::vector< Commitment > &translation_commitments)
	To link the ECCVM Transcript wires op, Px, Py, z1, and z2 to the accumulator computed by the translator, we verify their evaluations as univariates. For efficiency reasons, we batch these evaluations.

Public Attributes
std::shared_ptr< VerificationKey >	key
BF	vk_hash
Builder *	builder
std::shared_ptr< Transcript >	transcript
TranslationEvaluations_< FF >	translation_evaluations
std::array< OpeningClaim< Curve >, NUM_OPENING_CLAIMS >	opening_claims
FF	translation_masking_term_eval
FF	evaluation_challenge_x
FF	batching_challenge_v

Static Public Attributes
static constexpr size_t	NUM_OPENING_CLAIMS = ECCVMFlavor::NUM_TRANSLATION_OPENING_CLAIMS + 1

Private Types
using	Flavor = ECCVMRecursiveFlavor
using	FF = Flavor::FF
using	BF = Flavor::BF
using	Curve = Flavor::Curve
using	Commitment = Flavor::Commitment
using	CommitmentLabels = Flavor::CommitmentLabels
using	VerificationKey = Flavor::VerificationKey
using	NativeVerificationKey = Flavor::NativeVerificationKey
using	VerifierCommitmentKey = Flavor::VerifierCommitmentKey
using	Builder = Flavor::CircuitBuilder
using	PCS = Flavor::PCS
using	Transcript = StdlibTranscript< Builder >
using	VerifierCommitments = Flavor::VerifierCommitments
using	StdlibPreIpaProof = bb::stdlib::Proof< Builder >
using	StdlibIpaProof = bb::stdlib::Proof< Builder >
using	IpaClaimAndProof = std::pair< OpeningClaim< Curve >, StdlibIpaProof >

Detailed Description

Definition at line 14 of file eccvm_recursive_verifier.hpp.

Member Typedef Documentation

BF

using bb::ECCVMRecursiveVerifier::BF = Flavor::BF

private

Definition at line 17 of file eccvm_recursive_verifier.hpp.

Builder

using bb::ECCVMRecursiveVerifier::Builder = Flavor::CircuitBuilder

private

Definition at line 24 of file eccvm_recursive_verifier.hpp.

Commitment

using bb::ECCVMRecursiveVerifier::Commitment = Flavor::Commitment

private

Definition at line 19 of file eccvm_recursive_verifier.hpp.

CommitmentLabels

using bb::ECCVMRecursiveVerifier::CommitmentLabels = Flavor::CommitmentLabels

private

Definition at line 20 of file eccvm_recursive_verifier.hpp.

Curve

using bb::ECCVMRecursiveVerifier::Curve = Flavor::Curve

private

Definition at line 18 of file eccvm_recursive_verifier.hpp.

FF

using bb::ECCVMRecursiveVerifier::FF = Flavor::FF

private

Definition at line 16 of file eccvm_recursive_verifier.hpp.

Flavor

using bb::ECCVMRecursiveVerifier::Flavor = ECCVMRecursiveFlavor

private

Definition at line 15 of file eccvm_recursive_verifier.hpp.

IpaClaimAndProof

using bb::ECCVMRecursiveVerifier::IpaClaimAndProof = std::pair<OpeningClaim<Curve>, StdlibIpaProof>

private

Definition at line 30 of file eccvm_recursive_verifier.hpp.

NativeVerificationKey

using bb::ECCVMRecursiveVerifier::NativeVerificationKey = Flavor::NativeVerificationKey

private

Definition at line 22 of file eccvm_recursive_verifier.hpp.

PCS

using bb::ECCVMRecursiveVerifier::PCS = Flavor::PCS

private

Definition at line 25 of file eccvm_recursive_verifier.hpp.

StdlibIpaProof

using bb::ECCVMRecursiveVerifier::StdlibIpaProof = bb::stdlib::Proof<Builder>

private

Definition at line 29 of file eccvm_recursive_verifier.hpp.

StdlibPreIpaProof

using bb::ECCVMRecursiveVerifier::StdlibPreIpaProof = bb::stdlib::Proof<Builder>

private

Definition at line 28 of file eccvm_recursive_verifier.hpp.

Transcript

using bb::ECCVMRecursiveVerifier::Transcript = StdlibTranscript<Builder>

private

Definition at line 26 of file eccvm_recursive_verifier.hpp.

VerificationKey

using bb::ECCVMRecursiveVerifier::VerificationKey = Flavor::VerificationKey

private

Definition at line 21 of file eccvm_recursive_verifier.hpp.

VerifierCommitmentKey

using bb::ECCVMRecursiveVerifier::VerifierCommitmentKey = Flavor::VerifierCommitmentKey

private

Definition at line 23 of file eccvm_recursive_verifier.hpp.

VerifierCommitments

using bb::ECCVMRecursiveVerifier::VerifierCommitments = Flavor::VerifierCommitments

private

Definition at line 27 of file eccvm_recursive_verifier.hpp.

Constructor & Destructor Documentation

ECCVMRecursiveVerifier()

bb::ECCVMRecursiveVerifier::ECCVMRecursiveVerifier ( Builder *  builder, const std::shared_ptr< NativeVerificationKey > &  native_verifier_key, const std::shared_ptr< Transcript > &  transcript  )

explicit

Definition at line 14 of file eccvm_recursive_verifier.cpp.

Member Function Documentation

compute_translation_opening_claims()

void bb::ECCVMRecursiveVerifier::compute_translation_opening_claims

(

const std::vector< Commitment > &

translation_commitments

)

To link the ECCVM Transcript wires op, Px, Py, z1, and z2 to the accumulator computed by the translator, we verify their evaluations as univariates. For efficiency reasons, we batch these evaluations.

For details, see the docs of ECCVMProver::compute_translation_opening_claims() method.

Parameters

translation_commitments

Commitments to op, Px, Py, z1, and z2

Returns

Populate opening_claims.

Definition at line 168 of file eccvm_recursive_verifier.cpp.

verify_proof() [1/2]

ECCVMRecursiveVerifier::IpaClaimAndProof bb::ECCVMRecursiveVerifier::verify_proof

(

const ECCVMProof &

proof

)

Creates a circuit that executes the ECCVM verifier algorithm up to IPA verification.

Template Parameters

Flavor

Parameters

proof

Native ECCVM proof

Definition at line 33 of file eccvm_recursive_verifier.cpp.

verify_proof() [2/2]

ECCVMRecursiveVerifier::IpaClaimAndProof bb::ECCVMRecursiveVerifier::verify_proof

(

const StdlibProof &

proof

)

Creates a circuit that executes the ECCVM verifier algorithm up to IPA verification.

Template Parameters

Flavor

Parameters

proof

Stdlib ECCVM proof

Definition at line 45 of file eccvm_recursive_verifier.cpp.

Member Data Documentation

batching_challenge_v

FF bb::ECCVMRecursiveVerifier::batching_challenge_v

Definition at line 68 of file eccvm_recursive_verifier.hpp.

builder

Builder* bb::ECCVMRecursiveVerifier::builder

Definition at line 56 of file eccvm_recursive_verifier.hpp.

evaluation_challenge_x

FF bb::ECCVMRecursiveVerifier::evaluation_challenge_x

Definition at line 67 of file eccvm_recursive_verifier.hpp.

key

std::shared_ptr<VerificationKey> bb::ECCVMRecursiveVerifier::key

Definition at line 53 of file eccvm_recursive_verifier.hpp.

NUM_OPENING_CLAIMS

constexpr size_t bb::ECCVMRecursiveVerifier::NUM_OPENING_CLAIMS = ECCVMFlavor::NUM_TRANSLATION_OPENING_CLAIMS + 1

staticconstexpr

Definition at line 62 of file eccvm_recursive_verifier.hpp.

opening_claims

std::array<OpeningClaim<Curve>, NUM_OPENING_CLAIMS> bb::ECCVMRecursiveVerifier::opening_claims

Definition at line 63 of file eccvm_recursive_verifier.hpp.

transcript

std::shared_ptr<Transcript> bb::ECCVMRecursiveVerifier::transcript

Definition at line 57 of file eccvm_recursive_verifier.hpp.

translation_evaluations

TranslationEvaluations_<FF> bb::ECCVMRecursiveVerifier::translation_evaluations

Definition at line 58 of file eccvm_recursive_verifier.hpp.

translation_masking_term_eval

FF bb::ECCVMRecursiveVerifier::translation_masking_term_eval

Definition at line 64 of file eccvm_recursive_verifier.hpp.

vk_hash

BF bb::ECCVMRecursiveVerifier::vk_hash

Definition at line 54 of file eccvm_recursive_verifier.hpp.

---

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

• src/barretenberg/stdlib/eccvm_verifier/eccvm_recursive_verifier.hpp
• src/barretenberg/stdlib/eccvm_verifier/eccvm_recursive_verifier.cpp