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

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	OuterProverInstance = ProverInstance_< OuterFlavor >
using	Commitment = MergeVerifier::Commitment
using	RecursiveCommitment = GoblinRecursiveVerifier::MergeVerifier::Commitment
using	MergeCommitments = MergeVerifier::InputCommitments
using	RecursiveMergeCommitments = GoblinRecursiveVerifier::MergeVerifier::InputCommitments
using	FF = TranslatorFlavor::FF
using	BF = TranslatorFlavor::BF

Static Public Member Functions
static void	SetUpTestSuite ()
static void	tamper_with_op_commitment (HonkProof &translator_proof)
static void	tamper_with_libra_eval (HonkProof &translator_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.

Static Public Attributes
static constexpr size_t	comm_frs = FrCodec::calc_num_fields<Commitment>()
static constexpr size_t	eval_frs = FrCodec::calc_num_fields<FF>()
static constexpr size_t	offset = FrCodec::calc_num_fields<BF>()

Detailed Description

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

Member Typedef Documentation

BF

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

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

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.

FF

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

Definition at line 28 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.

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.

OuterProverInstance

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

Definition at line 22 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 = 5  )

inlinestatic

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

Returns

ProverOutput

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

SetUpTestSuite()

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

inlinestatic

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

tamper_with_libra_eval()

static void bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::tamper_with_libra_eval ( HonkProof &  translator_proof )

inlinestatic

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

tamper_with_op_commitment()

static void bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::tamper_with_op_commitment ( HonkProof &  translator_proof )

inlinestatic

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

Member Data Documentation

comm_frs

constexpr size_t bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::comm_frs = FrCodec::calc_num_fields<Commitment>()

staticconstexpr

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

eval_frs

constexpr size_t bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::eval_frs = FrCodec::calc_num_fields<FF>()

staticconstexpr

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

offset

constexpr size_t bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::offset = FrCodec::calc_num_fields<BF>()

staticconstexpr

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

---

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

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