bb::stdlib::recursion::honk Namespace Reference

Classes
class	BoomerangGoblinRecursiveVerifierTests
class	BoomerangRecursiveVerifierTest
	Test suite for recursive verification of Honk proofs for both Ultra and Mega arithmetisation. More...
class	ChonkRecursionTests
class	ChonkRecursiveVerifier
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	GoblinRecursiveVerifier
struct	GoblinRecursiveVerifierOutput
class	GoblinRecursiveVerifierTests
class	HidingKernelIO
	Manages the data that is propagated on the public inputs of a hiding kernel circuit. More...
struct	IpaAccumulator
class	KernelIO
	Manages the data that is propagated on the public inputs of a kernel circuit. More...
class	RecursiveVerifierInstance_
	The stdlib counterpart of VerifierInstance, used in recursive folding verification. 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
class	UltraRecursiveVerifier_
struct	UltraRecursiveVerifierOutput

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.

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 205 of file special_public_inputs.hpp.

Flavors

typedef testing::Types< MegaRecursiveFlavor_< MegaCircuitBuilder >, MegaRecursiveFlavor_< UltraCircuitBuilder >, UltraRecursiveFlavor_< UltraCircuitBuilder >, UltraRecursiveFlavor_< MegaCircuitBuilder >, UltraZKRecursiveFlavor_< UltraCircuitBuilder >, UltraZKRecursiveFlavor_< MegaCircuitBuilder >, UltraRollupRecursiveFlavor_< UltraCircuitBuilder >, MegaZKRecursiveFlavor_< MegaCircuitBuilder >, MegaZKRecursiveFlavor_< UltraCircuitBuilder > > bb::stdlib::recursion::honk::Flavors

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

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 36 of file special_public_inputs.hpp.

HEAVY_TYPED_TEST() [1/6]

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

Definition at line 152 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 416 of file ultra_recursive_verifier.test.cpp.

HEAVY_TYPED_TEST() [3/6]

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

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

HEAVY_TYPED_TEST() [4/6]

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

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

HEAVY_TYPED_TEST() [5/6]

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

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

HEAVY_TYPED_TEST() [6/6]

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

Definition at line 429 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 64 of file chonk_recursive_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 52 of file chonk_recursive_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 141 of file goblin_recursive_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 216 of file goblin_recursive_verifier.test.cpp.

TEST_F() [6/14]

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

Definition at line 176 of file goblin_recursive_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 128 of file goblin_recursive_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 312 of file goblin_recursive_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 251 of file goblin_recursive_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 333 of file goblin_recursive_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
	)