bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests Class Reference

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

Classes
struct	ProverOutput

Public Types
using	Builder = UltraCircuitBuilder
using	ECCVMVK = Goblin::ECCVMVerificationKey
using	TranslatorVK = Goblin::TranslatorVerificationKey
using	OuterFlavor = UltraFlavor
using	OuterProver = UltraProver_< OuterFlavor >
using	OuterVerifier = UltraRollupVerifier
using	OuterProverInstance = ProverInstance_< OuterFlavor >
using	Commitment = MergeVerifier::Commitment
using	RecursiveCommitment = bb::GoblinRecursiveVerifier::MergeVerifier::Commitment
using	MergeCommitments = MergeVerifier::InputCommitments
using	RecursiveMergeCommitments = bb::GoblinRecursiveVerifier::MergeVerifier::InputCommitments
using	Transcript = UltraStdlibTranscript
using	FF = TranslatorFlavor::FF

Static Public Member Functions
static void	SetUpTestSuite ()
static void	tamper_with_op_commitment (MergeCommitments &merge_commitments)
static void	tamper_with_eccvm_op_eval (HonkProof &eccvm_proof)
static ProverOutput	create_goblin_prover_output (Builder *outer_builder=nullptr, const size_t num_circuits=5)
	Create a goblin proof and the VM verification keys needed by the goblin recursive verifier.

Detailed Description

Definition at line 12 of file goblin_verifier.test.cpp.

Member Typedef Documentation

Builder

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

Definition at line 14 of file goblin_verifier.test.cpp.

Commitment

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

Definition at line 23 of file goblin_verifier.test.cpp.

ECCVMVK

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

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

FF

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::FF = TranslatorFlavor::FF

Definition at line 28 of file goblin_verifier.test.cpp.

MergeCommitments

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

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

OuterFlavor

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

Definition at line 18 of file goblin_verifier.test.cpp.

OuterProver

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

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

OuterProverInstance

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::OuterProverInstance = ProverInstance_<OuterFlavor>

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

OuterVerifier

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::OuterVerifier = UltraRollupVerifier

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

RecursiveCommitment

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

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

RecursiveMergeCommitments

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

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

Transcript

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

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

TranslatorVK

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

Definition at line 16 of file goblin_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 = 5  )

inlinestatic

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

Returns

ProverOutput

Definition at line 61 of file goblin_verifier.test.cpp.

SetUpTestSuite()

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

inlinestatic

Definition at line 29 of file goblin_verifier.test.cpp.

tamper_with_eccvm_op_eval()

static void bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::tamper_with_eccvm_op_eval ( HonkProof &  eccvm_proof )

inlinestatic

Definition at line 45 of file goblin_verifier.test.cpp.

tamper_with_op_commitment()

static void bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::tamper_with_op_commitment ( MergeCommitments &  merge_commitments )

inlinestatic

Definition at line 36 of file goblin_verifier.test.cpp.

---

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

• src/barretenberg/goblin/goblin_verifier.test.cpp