bb::stdlib::recursion::honk::ChonkRecursionTests Class Reference

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

Classes
struct	ChonkProverOutput

Public Types
using	Builder = UltraCircuitBuilder
using	ChonkVerifier = ChonkRecursiveVerifier
using	Proof = ChonkProof
using	StdlibProof = ChonkStdlibProof
using	RollupFlavor = UltraRollupRecursiveFlavor_< Builder >
using	NativeFlavor = RollupFlavor::NativeFlavor
using	UltraRecursiveVerifier = UltraVerifier_< RollupFlavor, RollupIO >
using	MockCircuitProducer = PrivateFunctionExecutionMockCircuitProducer
using	VKAndHash = MegaZKFlavor::VKAndHash
using	PairingAccumulator = PairingPoints< Builder >

Static Public Member Functions
static void	SetUpTestSuite ()
static ChonkProverOutput	construct_chonk_prover_output (const size_t num_app_circuits=1)
	Construct a genuine Chonk prover output based on accumulation of an arbitrary set of mock circuits.

Detailed Description

Definition at line 9 of file chonk_verifier.test.cpp.

Member Typedef Documentation

Builder

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

Definition at line 11 of file chonk_verifier.test.cpp.

ChonkVerifier

using bb::stdlib::recursion::honk::ChonkRecursionTests::ChonkVerifier = ChonkRecursiveVerifier

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

MockCircuitProducer

using bb::stdlib::recursion::honk::ChonkRecursionTests::MockCircuitProducer = PrivateFunctionExecutionMockCircuitProducer

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

NativeFlavor

using bb::stdlib::recursion::honk::ChonkRecursionTests::NativeFlavor = RollupFlavor::NativeFlavor

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

PairingAccumulator

using bb::stdlib::recursion::honk::ChonkRecursionTests::PairingAccumulator = PairingPoints<Builder>

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

Proof

using bb::stdlib::recursion::honk::ChonkRecursionTests::Proof = ChonkProof

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

RollupFlavor

using bb::stdlib::recursion::honk::ChonkRecursionTests::RollupFlavor = UltraRollupRecursiveFlavor_<Builder>

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

StdlibProof

using bb::stdlib::recursion::honk::ChonkRecursionTests::StdlibProof = ChonkStdlibProof

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

UltraRecursiveVerifier

using bb::stdlib::recursion::honk::ChonkRecursionTests::UltraRecursiveVerifier = UltraVerifier_<RollupFlavor, RollupIO>

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

VKAndHash

using bb::stdlib::recursion::honk::ChonkRecursionTests::VKAndHash = MegaZKFlavor::VKAndHash

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

Member Function Documentation

construct_chonk_prover_output()

static ChonkProverOutput bb::stdlib::recursion::honk::ChonkRecursionTests::construct_chonk_prover_output ( const size_t  num_app_circuits = 1 )

inlinestatic

Construct a genuine Chonk prover output based on accumulation of an arbitrary set of mock circuits.

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

SetUpTestSuite()

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

inlinestatic

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

---

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

• src/barretenberg/chonk/chonk_verifier.test.cpp