Inheritance diagram for bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests:

Classes
struct	ProverOutput

Public Types
using	Builder = GoblinRecursiveVerifier::Builder

using	ECCVMVK = Goblin::ECCVMVerificationKey

using	TranslatorVK = Goblin::TranslatorVerificationKey

using	OuterFlavor = UltraFlavor

using	OuterProver = UltraProver_< OuterFlavor >

using	OuterVerifier = UltraVerifier_< OuterFlavor >

using	OuterDeciderProvingKey = DeciderProvingKey_< OuterFlavor >

using	Commitment = MergeVerifier::Commitment

using	RecursiveCommitment = GoblinRecursiveVerifier::MergeVerifier::Commitment

using	MergeCommitments = MergeVerifier::InputCommitments

using	RecursiveMergeCommitments = GoblinRecursiveVerifier::MergeVerifier::InputCommitments

Static Public Member Functions
static void	SetUpTestSuite ()

static ProverOutput	create_goblin_prover_output (Builder *outer_builder=nullptr, const size_t NUM_CIRCUITS=3)
	Create a goblin proof and the VM verification keys needed by the goblin recursive verifier.

Detailed Description

Definition at line 13 of file goblin_recursive_verifier.test.cpp.

Member Typedef Documentation

◆ Builder

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

Definition at line 15 of file goblin_recursive_verifier.test.cpp.

◆ Commitment

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::Commitment = MergeVerifier::Commitment

Definition at line 24 of file goblin_recursive_verifier.test.cpp.

◆ ECCVMVK

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::ECCVMVK = Goblin::ECCVMVerificationKey

Definition at line 16 of file goblin_recursive_verifier.test.cpp.

◆ MergeCommitments

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

Definition at line 26 of file goblin_recursive_verifier.test.cpp.

◆ OuterDeciderProvingKey

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::OuterDeciderProvingKey = DeciderProvingKey_<OuterFlavor>

Definition at line 22 of file goblin_recursive_verifier.test.cpp.

◆ OuterFlavor

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::OuterFlavor = UltraFlavor

Definition at line 19 of file goblin_recursive_verifier.test.cpp.

◆ OuterProver

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::OuterProver = UltraProver_<OuterFlavor>

Definition at line 20 of file goblin_recursive_verifier.test.cpp.

◆ OuterVerifier

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::OuterVerifier = UltraVerifier_<OuterFlavor>

Definition at line 21 of file goblin_recursive_verifier.test.cpp.

◆ RecursiveCommitment

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::RecursiveCommitment = GoblinRecursiveVerifier::MergeVerifier::Commitment

Definition at line 25 of file goblin_recursive_verifier.test.cpp.

◆ RecursiveMergeCommitments

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::RecursiveMergeCommitments = GoblinRecursiveVerifier::MergeVerifier::InputCommitments

Definition at line 27 of file goblin_recursive_verifier.test.cpp.

◆ TranslatorVK

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::TranslatorVK = Goblin::TranslatorVerificationKey

Definition at line 17 of file goblin_recursive_verifier.test.cpp.

Member Function Documentation

◆ create_goblin_prover_output()

static ProverOutput bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::create_goblin_prover_output	(	Builder *	outer_builder = `nullptr`,
		const size_t	NUM_CIRCUITS = `3`
	)

inlinestatic

Create a goblin proof and the VM verification keys needed by the goblin recursive verifier.

Returns: ProverOutput

Definition at line 43 of file goblin_recursive_verifier.test.cpp.

◆ SetUpTestSuite()

static void bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::SetUpTestSuite ( )