Classes
class	AppIOSerde
	Native representation and serde for AppIO public inputs. More...

class	BoomerangGoblinRecursiveVerifierTests

class	BoomerangRecursiveVerifierTest
	Test suite for recursive verification of Honk proofs for both Ultra and Mega arithmetisation. More...

class	ChonkRecursionTests

class	DefaultIO
	Manages the data that is propagated on the public inputs of an application/function circuit. More...

class	GoblinAvmIO
	The data that is propagated on the public inputs of the inner GoblinAvmRecursiveVerifier circuit. More...

class	GoblinRecursiveVerifierTests

class	HidingKernelIO
	Manages the data that is propagated on the public inputs of a hiding kernel circuit. More...

class	HidingKernelIOSerde
	Native representation and serde for HidingKernelIO public inputs. More...

struct	IpaAccumulator

class	KernelIO
	Manages the data that is propagated on the public inputs of a kernel circuit. More...

class	KernelIOSerde
	For test purposes only: Native representation and serde for KernelIO public inputs More...

class	RecursiveVerifierTest
	Test suite for recursive verification of Honk proofs for both Ultra and Mega arithmetisation. More...

class	RollupIO
	The data that is propagated on the public inputs of a rollup circuit. More...

class	SpecialPublicInputsTests

struct	UltraRecursiveVerifierOutput
	Output type for recursive ultra verification. More...

Typedefs
using	Flavors = testing::Types< UltraRecursiveFlavor_< UltraCircuitBuilder > >

using	AppIO = DefaultIO< MegaCircuitBuilder >
	The data that is propagated on the public inputs of an application/function circuit.

template<typename Flavor >
using	DefaultRecursiveIO = std::conditional_t< HasIPAAccumulator< Flavor >, RollupIO, DefaultIO< typename Flavor::CircuitBuilder > >

Functions
	TEST_F (BoomerangGoblinRecursiveVerifierTests, graph_description_basic)
	Construct and check a goblin recursive verification circuit.

	TYPED_TEST_SUITE (BoomerangRecursiveVerifierTest, Flavors)

	HEAVY_TYPED_TEST (BoomerangRecursiveVerifierTest, SingleRecursiveVerification)

	TEST_F (ChonkRecursionTests, NativeVerification)
	Ensure the Chonk proof used herein can be natively verified.

	TEST_F (ChonkRecursionTests, Basic)
	Construct and Check a recursive Chonk verification circuit.

	TEST_F (GoblinRecursiveVerifierTests, NativeVerification)
	Ensure the Goblin proof produced by the test method can be natively verified.

	TEST_F (GoblinRecursiveVerifierTests, Basic)
	Construct and check a goblin recursive verification circuit.

	TEST_F (GoblinRecursiveVerifierTests, IndependentVKHash)

	TEST_F (GoblinRecursiveVerifierTests, ECCVMFailure)
	Ensure failure of the goblin recursive verification circuit for a bad ECCVM proof.

	TEST_F (GoblinRecursiveVerifierTests, TranslatorFailure)
	Ensure failure of the goblin recursive verification circuit for a bad Translator proof.

	TEST_F (GoblinRecursiveVerifierTests, TranslationEvaluationsFailure)
	Ensure failure of the goblin recursive verification circuit for bad translation evaluations.

	TEST_F (GoblinRecursiveVerifierTests, TranslatorMergeConsistencyFailure)
	Ensure failure of the goblin recursive verification circuit for bad translation evaluations.

	TYPED_TEST_SUITE (RecursiveVerifierTest, Flavors)

	HEAVY_TYPED_TEST (RecursiveVerifierTest, InnerCircuit)

	HEAVY_TYPED_TEST (RecursiveVerifierTest, RecursiveVerificationKey)

	HEAVY_TYPED_TEST (RecursiveVerifierTest, SingleRecursiveVerification)

	HEAVY_TYPED_TEST (RecursiveVerifierTest, IndependentVKHash)

	HEAVY_TYPED_TEST (RecursiveVerifierTest, SingleRecursiveVerificationFailure)

template<typename Builder >
std::array< typename bn254< Builder >::Group, Builder::NUM_WIRES >	empty_ecc_op_tables (Builder &builder)
	Construct commitments to empty subtables.

	TEST_F (SpecialPublicInputsTests, Basic)

	TEST_F (SpecialPublicInputsTests, Default)

	TEST_F (SpecialPublicInputsTests, RollUpIO)

	TEST_F (SpecialPublicInputsTests, HidingKernel)

Typedef Documentation

◆ AppIO

using bb::stdlib::recursion::honk::AppIO = typedef DefaultIO<MegaCircuitBuilder>

The data that is propagated on the public inputs of an application/function circuit.

Definition at line 216 of file special_public_inputs.hpp.

◆ DefaultRecursiveIO

template<typename Flavor >

using bb::stdlib::recursion::honk::DefaultRecursiveIO = typedef std::conditional_t<HasIPAAccumulator<Flavor>, RollupIO, DefaultIO<typename Flavor::CircuitBuilder> >

Definition at line 428 of file special_public_inputs.hpp.

◆ Flavors

Function Documentation

◆ empty_ecc_op_tables()

template<typename Builder >

std::array< typename bn254< Builder >::Group, Builder::NUM_WIRES > bb::stdlib::recursion::honk::empty_ecc_op_tables ( Builder & builder )

Construct commitments to empty subtables.

In the first iteration of the Merge, the verifier sets the commitments to the previous full state of the op_queue equal to the commitments to the empty tables. This ensures that prover cannot lie, as the starting point of the merge is fixed.

Parameters

builder

Returns: std::array<typename bn254<Builder>::Group, Builder::NUM_WIRES>

Definition at line 44 of file special_public_inputs.hpp.

◆ HEAVY_TYPED_TEST() [1/6]

bb::stdlib::recursion::honk::HEAVY_TYPED_TEST	(	BoomerangRecursiveVerifierTest	,
		SingleRecursiveVerification
	)

Definition at line 154 of file graph_description_ultra_recursive_verifier.test.cpp.

◆ HEAVY_TYPED_TEST() [2/6]

bb::stdlib::recursion::honk::HEAVY_TYPED_TEST	(	RecursiveVerifierTest	,
		IndependentVKHash
	)

Definition at line 417 of file ultra_recursive_verifier.test.cpp.

◆ HEAVY_TYPED_TEST() [3/6]

bb::stdlib::recursion::honk::HEAVY_TYPED_TEST	(	RecursiveVerifierTest	,
		InnerCircuit
	)

Definition at line 402 of file ultra_recursive_verifier.test.cpp.

◆ HEAVY_TYPED_TEST() [4/6]

bb::stdlib::recursion::honk::HEAVY_TYPED_TEST	(	RecursiveVerifierTest	,
		RecursiveVerificationKey
	)

Definition at line 407 of file ultra_recursive_verifier.test.cpp.

◆ HEAVY_TYPED_TEST() [5/6]

bb::stdlib::recursion::honk::HEAVY_TYPED_TEST	(	RecursiveVerifierTest	,
		SingleRecursiveVerification
	)

Definition at line 412 of file ultra_recursive_verifier.test.cpp.

◆ HEAVY_TYPED_TEST() [6/6]

bb::stdlib::recursion::honk::HEAVY_TYPED_TEST	(	RecursiveVerifierTest	,
		SingleRecursiveVerificationFailure
	)

Definition at line 430 of file ultra_recursive_verifier.test.cpp.

◆ TEST_F() [1/14]

bb::stdlib::recursion::honk::TEST_F	(	BoomerangGoblinRecursiveVerifierTests	,
		graph_description_basic
	)

Construct and check a goblin recursive verification circuit.

Definition at line 69 of file graph_description_goblin.test.cpp.

◆ TEST_F() [2/14]

bb::stdlib::recursion::honk::TEST_F	(	ChonkRecursionTests	,
		Basic
	)

Construct and Check a recursive Chonk verification circuit.

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

◆ TEST_F() [3/14]

bb::stdlib::recursion::honk::TEST_F	(	ChonkRecursionTests	,
		NativeVerification
	)

Ensure the Chonk proof used herein can be natively verified.

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

◆ TEST_F() [4/14]

bb::stdlib::recursion::honk::TEST_F	(	GoblinRecursiveVerifierTests	,
		Basic
	)

Construct and check a goblin recursive verification circuit.

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

◆ TEST_F() [5/14]

bb::stdlib::recursion::honk::TEST_F	(	GoblinRecursiveVerifierTests	,
		ECCVMFailure
	)

Ensure failure of the goblin recursive verification circuit for a bad ECCVM proof.

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

◆ TEST_F() [6/14]

bb::stdlib::recursion::honk::TEST_F	(	GoblinRecursiveVerifierTests	,
		IndependentVKHash
	)

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

◆ TEST_F() [7/14]

bb::stdlib::recursion::honk::TEST_F	(	GoblinRecursiveVerifierTests	,
		NativeVerification
	)

Ensure the Goblin proof produced by the test method can be natively verified.

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

◆ TEST_F() [8/14]

bb::stdlib::recursion::honk::TEST_F	(	GoblinRecursiveVerifierTests	,
		TranslationEvaluationsFailure
	)

Ensure failure of the goblin recursive verification circuit for bad translation evaluations.

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

◆ TEST_F() [9/14]

bb::stdlib::recursion::honk::TEST_F	(	GoblinRecursiveVerifierTests	,
		TranslatorFailure
	)

Ensure failure of the goblin recursive verification circuit for a bad Translator proof.

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

◆ TEST_F() [10/14]

bb::stdlib::recursion::honk::TEST_F	(	GoblinRecursiveVerifierTests	,
		TranslatorMergeConsistencyFailure
	)

Ensure failure of the goblin recursive verification circuit for bad translation evaluations.

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

◆ TEST_F() [11/14]

bb::stdlib::recursion::honk::TEST_F	(	SpecialPublicInputsTests	,
		Basic
	)

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

◆ TEST_F() [12/14]

bb::stdlib::recursion::honk::TEST_F	(	SpecialPublicInputsTests	,
		Default
	)

Definition at line 89 of file special_public_inputs.test.cpp.

◆ TEST_F() [13/14]

bb::stdlib::recursion::honk::TEST_F	(	SpecialPublicInputsTests	,
		HidingKernel
	)

Definition at line 246 of file special_public_inputs.test.cpp.

◆ TEST_F() [14/14]

bb::stdlib::recursion::honk::TEST_F	(	SpecialPublicInputsTests	,
		RollUpIO
	)

Definition at line 158 of file special_public_inputs.test.cpp.

◆ TYPED_TEST_SUITE() [1/2]

bb::stdlib::recursion::honk::TYPED_TEST_SUITE	(	BoomerangRecursiveVerifierTest	,
		Flavors
	)

◆ TYPED_TEST_SUITE() [2/2]

bb::stdlib::recursion::honk::TYPED_TEST_SUITE	(	RecursiveVerifierTest	,
		Flavors
	)

Classes

Typedefs

Functions