bb::stdlib::recursion::honk::GoblinRecursiveVerifier Class Reference

#include <goblin_recursive_verifier.hpp>

Classes
struct	StdlibProof

Public Types
using	Builder = UltraCircuitBuilder
using	MergeVerifier = goblin::MergeRecursiveVerifier_< Builder >
using	Transcript = UltraStdlibTranscript
using	TranslatorFlavor = TranslatorRecursiveFlavor
using	TranslatorVerifier = TranslatorRecursiveVerifier
using	TranslationEvaluations = TranslatorVerifier::TranslationEvaluations
using	ECCVMVerifier = ECCVMRecursiveVerifier
using	VerificationKey = Goblin::VerificationKey
using	MergeCommitments = MergeVerifier::InputCommitments

Public Member Functions
	GoblinRecursiveVerifier (Builder *builder, const VerificationKey &verification_keys, const std::shared_ptr< Transcript > &transcript=std::make_shared< Transcript >())
GoblinRecursiveVerifierOutput	verify (const GoblinProof &, const MergeCommitments &merge_commitments, const MergeSettings merge_settings=MergeSettings::PREPEND)
	Creates a circuit that executes the ECCVM, Translator and Merge verifiers.
GoblinRecursiveVerifierOutput	verify (const StdlibProof &, const MergeCommitments &merge_commitments, const MergeSettings merge_settings=MergeSettings::PREPEND)
	Creates a circuit that executes the ECCVM, Translator and Merge verifiers.

Private Attributes
Builder *	builder
VerificationKey	verification_keys
std::shared_ptr< Transcript >	transcript

Detailed Description

Definition at line 24 of file goblin_recursive_verifier.hpp.

Member Typedef Documentation

Builder

using bb::stdlib::recursion::honk::GoblinRecursiveVerifier::Builder = UltraCircuitBuilder

Definition at line 27 of file goblin_recursive_verifier.hpp.

ECCVMVerifier

using bb::stdlib::recursion::honk::GoblinRecursiveVerifier::ECCVMVerifier = ECCVMRecursiveVerifier

Definition at line 35 of file goblin_recursive_verifier.hpp.

MergeCommitments

using bb::stdlib::recursion::honk::GoblinRecursiveVerifier::MergeCommitments = MergeVerifier::InputCommitments

Definition at line 41 of file goblin_recursive_verifier.hpp.

MergeVerifier

using bb::stdlib::recursion::honk::GoblinRecursiveVerifier::MergeVerifier = goblin::MergeRecursiveVerifier_<Builder>

Definition at line 28 of file goblin_recursive_verifier.hpp.

Transcript

using bb::stdlib::recursion::honk::GoblinRecursiveVerifier::Transcript = UltraStdlibTranscript

Definition at line 29 of file goblin_recursive_verifier.hpp.

TranslationEvaluations

using bb::stdlib::recursion::honk::GoblinRecursiveVerifier::TranslationEvaluations = TranslatorVerifier::TranslationEvaluations

Definition at line 33 of file goblin_recursive_verifier.hpp.

TranslatorFlavor

using bb::stdlib::recursion::honk::GoblinRecursiveVerifier::TranslatorFlavor = TranslatorRecursiveFlavor

Definition at line 31 of file goblin_recursive_verifier.hpp.

TranslatorVerifier

using bb::stdlib::recursion::honk::GoblinRecursiveVerifier::TranslatorVerifier = TranslatorRecursiveVerifier

Definition at line 32 of file goblin_recursive_verifier.hpp.

VerificationKey

using bb::stdlib::recursion::honk::GoblinRecursiveVerifier::VerificationKey = Goblin::VerificationKey

Definition at line 38 of file goblin_recursive_verifier.hpp.

Constructor & Destructor Documentation

GoblinRecursiveVerifier()

bb::stdlib::recursion::honk::GoblinRecursiveVerifier::GoblinRecursiveVerifier ( Builder *  builder, const VerificationKey &  verification_keys, const std::shared_ptr< Transcript > &  transcript = std::make_shared<Transcript>()  )

inline

Definition at line 61 of file goblin_recursive_verifier.hpp.

Member Function Documentation

verify() [1/2]

GoblinRecursiveVerifierOutput bb::stdlib::recursion::honk::GoblinRecursiveVerifier::verify	(	const GoblinProof &	proof,
		const MergeCommitments &	merge_commitments,
		const MergeSettings	merge_settings = MergeSettings::PREPEND
	)

Creates a circuit that executes the ECCVM, Translator and Merge verifiers.

Parameters

proof	Native Goblin proof
t_commitments	The commitments to the subtable for the merge being verified

Definition at line 18 of file goblin_recursive_verifier.cpp.

verify() [2/2]

GoblinRecursiveVerifierOutput bb::stdlib::recursion::honk::GoblinRecursiveVerifier::verify	(	const StdlibProof &	proof,
		const MergeCommitments &	merge_commitments,
		const MergeSettings	merge_settings = MergeSettings::PREPEND
	)

Creates a circuit that executes the ECCVM, Translator and Merge verifiers.

Parameters

proof	Stdlib Goblin proof
t_commitments	The commitments to the subtable for the merge being verified

Definition at line 33 of file goblin_recursive_verifier.cpp.

Member Data Documentation

builder

Builder* bb::stdlib::recursion::honk::GoblinRecursiveVerifier::builder

private

Definition at line 78 of file goblin_recursive_verifier.hpp.

transcript

std::shared_ptr<Transcript> bb::stdlib::recursion::honk::GoblinRecursiveVerifier::transcript

private

Definition at line 80 of file goblin_recursive_verifier.hpp.

verification_keys

VerificationKey bb::stdlib::recursion::honk::GoblinRecursiveVerifier::verification_keys

private

Definition at line 79 of file goblin_recursive_verifier.hpp.

---

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

• src/barretenberg/stdlib/goblin_verifier/goblin_recursive_verifier.hpp
• src/barretenberg/stdlib/goblin_verifier/goblin_recursive_verifier.cpp