bb::stdlib::recursion::honk::ChonkRecursiveVerifier Class Reference

#include <chonk_recursive_verifier.hpp>

Classes
struct	StdlibProof

Public Types
using	GoblinVerificationKey = Goblin::VerificationKey
using	Output = GoblinRecursiveVerifierOutput
using	RecursiveVKAndHash = RecursiveVerifierInstance::VKAndHash
using	RecursiveVK = RecursiveFlavor::VerificationKey

Public Member Functions
	ChonkRecursiveVerifier (Builder *builder, const std::shared_ptr< VerificationKey > &native_mega_vk)
	ChonkRecursiveVerifier (Builder *builder, const std::shared_ptr< RecursiveVKAndHash > &stdlib_mega_vk_and_hash)
Output	verify (const StdlibProof &)
	Creates a circuit that executes the Chonk verification algorithm.

Private Types
using	Builder = UltraCircuitBuilder
using	RecursiveFlavor = MegaZKRecursiveFlavor_< Builder >
using	RecursiveVerifierInstance = RecursiveVerifierInstance_< RecursiveFlavor >
using	RecursiveVerificationKey = RecursiveVerifierInstance::VerificationKey
using	MegaVerifier = UltraRecursiveVerifier_< RecursiveFlavor >
using	GoblinVerifier = GoblinRecursiveVerifier
using	Flavor = RecursiveFlavor::NativeFlavor
using	VerificationKey = Flavor::VerificationKey
using	Transcript = GoblinRecursiveVerifier::Transcript

Private Attributes
Builder *	builder
std::shared_ptr< RecursiveVKAndHash >	stdlib_mega_vk_and_hash

Detailed Description

Definition at line 12 of file chonk_recursive_verifier.hpp.

Member Typedef Documentation

Builder

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

private

Definition at line 13 of file chonk_recursive_verifier.hpp.

Flavor

using bb::stdlib::recursion::honk::ChonkRecursiveVerifier::Flavor = RecursiveFlavor::NativeFlavor

private

Definition at line 19 of file chonk_recursive_verifier.hpp.

GoblinVerificationKey

using bb::stdlib::recursion::honk::ChonkRecursiveVerifier::GoblinVerificationKey = Goblin::VerificationKey

Definition at line 24 of file chonk_recursive_verifier.hpp.

GoblinVerifier

using bb::stdlib::recursion::honk::ChonkRecursiveVerifier::GoblinVerifier = GoblinRecursiveVerifier

private

Definition at line 18 of file chonk_recursive_verifier.hpp.

MegaVerifier

using bb::stdlib::recursion::honk::ChonkRecursiveVerifier::MegaVerifier = UltraRecursiveVerifier_<RecursiveFlavor>

private

Definition at line 17 of file chonk_recursive_verifier.hpp.

Output

using bb::stdlib::recursion::honk::ChonkRecursiveVerifier::Output = GoblinRecursiveVerifierOutput

Definition at line 25 of file chonk_recursive_verifier.hpp.

RecursiveFlavor

using bb::stdlib::recursion::honk::ChonkRecursiveVerifier::RecursiveFlavor = MegaZKRecursiveFlavor_<Builder>

private

Definition at line 14 of file chonk_recursive_verifier.hpp.

RecursiveVerificationKey

using bb::stdlib::recursion::honk::ChonkRecursiveVerifier::RecursiveVerificationKey = RecursiveVerifierInstance::VerificationKey

private

Definition at line 16 of file chonk_recursive_verifier.hpp.

RecursiveVerifierInstance

using bb::stdlib::recursion::honk::ChonkRecursiveVerifier::RecursiveVerifierInstance = RecursiveVerifierInstance_<RecursiveFlavor>

private

Definition at line 15 of file chonk_recursive_verifier.hpp.

RecursiveVK

using bb::stdlib::recursion::honk::ChonkRecursiveVerifier::RecursiveVK = RecursiveFlavor::VerificationKey

Definition at line 27 of file chonk_recursive_verifier.hpp.

RecursiveVKAndHash

using bb::stdlib::recursion::honk::ChonkRecursiveVerifier::RecursiveVKAndHash = RecursiveVerifierInstance::VKAndHash

Definition at line 26 of file chonk_recursive_verifier.hpp.

Transcript

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

private

Definition at line 21 of file chonk_recursive_verifier.hpp.

VerificationKey

using bb::stdlib::recursion::honk::ChonkRecursiveVerifier::VerificationKey = Flavor::VerificationKey

private

Definition at line 20 of file chonk_recursive_verifier.hpp.

Constructor & Destructor Documentation

ChonkRecursiveVerifier() [1/2]

bb::stdlib::recursion::honk::ChonkRecursiveVerifier::ChonkRecursiveVerifier ( Builder *  builder, const std::shared_ptr< VerificationKey > &  native_mega_vk  )

inline

Definition at line 100 of file chonk_recursive_verifier.hpp.

ChonkRecursiveVerifier() [2/2]

bb::stdlib::recursion::honk::ChonkRecursiveVerifier::ChonkRecursiveVerifier ( Builder *  builder, const std::shared_ptr< RecursiveVKAndHash > &  stdlib_mega_vk_and_hash  )

inline

Definition at line 104 of file chonk_recursive_verifier.hpp.

Member Function Documentation

verify()

ChonkRecursiveVerifier::Output bb::stdlib::recursion::honk::ChonkRecursiveVerifier::verify

(

const StdlibProof &

proof

)

Creates a circuit that executes the Chonk verification algorithm.

Parameters

proof

Stdlib proof

Returns

ChonkRecursiveVerifier::Output

Definition at line 17 of file chonk_recursive_verifier.cpp.

Member Data Documentation

builder

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

private

Definition at line 111 of file chonk_recursive_verifier.hpp.

stdlib_mega_vk_and_hash

std::shared_ptr<RecursiveVKAndHash> bb::stdlib::recursion::honk::ChonkRecursiveVerifier::stdlib_mega_vk_and_hash

private

Definition at line 113 of file chonk_recursive_verifier.hpp.

---

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

• src/barretenberg/stdlib/chonk_verifier/chonk_recursive_verifier.hpp
• src/barretenberg/stdlib/chonk_verifier/chonk_recursive_verifier.cpp