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 = Chonk::Proof
using	StdlibProof = ChonkVerifier::StdlibProof
using	RollupFlavor = UltraRollupRecursiveFlavor_< Builder >
using	NativeFlavor = RollupFlavor::NativeFlavor
using	UltraRecursiveVerifier = UltraRecursiveVerifier_< RollupFlavor >
using	MockCircuitProducer = PrivateFunctionExecutionMockCircuitProducer
using	IVCVerificationKey = Chonk::VerificationKey
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 8 of file chonk_recursive_verifier.test.cpp.

Member Typedef Documentation

Builder

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

Definition at line 10 of file chonk_recursive_verifier.test.cpp.

ChonkVerifier

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

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

IVCVerificationKey

using bb::stdlib::recursion::honk::ChonkRecursionTests::IVCVerificationKey = Chonk::VerificationKey

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

MockCircuitProducer

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

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

NativeFlavor

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

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

PairingAccumulator

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

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

Proof

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

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

RollupFlavor

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

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

StdlibProof

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

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

UltraRecursiveVerifier

using bb::stdlib::recursion::honk::ChonkRecursionTests::UltraRecursiveVerifier = UltraRecursiveVerifier_<RollupFlavor>

Definition at line 16 of file chonk_recursive_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 33 of file chonk_recursive_verifier.test.cpp.

SetUpTestSuite()

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

inlinestatic

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

---

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

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