bb::stdlib::recursion::goblin Namespace Reference

Classes
class	BoomerangRecursiveMergeVerifierTest
	Test suite for recursive verification of Goblin Merge proofs. More...
class	MergeRecursiveVerifier_
class	RecursiveMergeVerifierTest
	Test suite for recursive verification of Goblin Merge proofs. More...

Typedefs
using	Builder = testing::Types< MegaCircuitBuilder >
using	Builders = testing::Types< MegaCircuitBuilder, UltraCircuitBuilder >

Functions
	TYPED_TEST_SUITE (BoomerangRecursiveMergeVerifierTest, Builder)
	TYPED_TEST (BoomerangRecursiveMergeVerifierTest, RecursiveVerificationPrepend)
	TYPED_TEST (BoomerangRecursiveMergeVerifierTest, RecursiveVerificationAppend)
	TYPED_TEST_SUITE (RecursiveMergeVerifierTest, Builders)
	TYPED_TEST (RecursiveMergeVerifierTest, SingleRecursiveVerification)
	TYPED_TEST (RecursiveMergeVerifierTest, DegreeCheckFailure)
	TYPED_TEST (RecursiveMergeVerifierTest, MergeFailure)
	TYPED_TEST (RecursiveMergeVerifierTest, EvalFailure)

Typedef Documentation

Builder

using bb::stdlib::recursion::goblin::Builder = typedef testing::Types<MegaCircuitBuilder>

Definition at line 140 of file graph_description_merge_recursive_verifier.test.cpp.

Builders

using bb::stdlib::recursion::goblin::Builders = typedef testing::Types<MegaCircuitBuilder, UltraCircuitBuilder>

Definition at line 198 of file merge_verifier.test.cpp.

Function Documentation

TYPED_TEST() [1/6]

bb::stdlib::recursion::goblin::TYPED_TEST	(	BoomerangRecursiveMergeVerifierTest	,
		RecursiveVerificationAppend
	)

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

TYPED_TEST() [2/6]

bb::stdlib::recursion::goblin::TYPED_TEST	(	BoomerangRecursiveMergeVerifierTest	,
		RecursiveVerificationPrepend
	)

Definition at line 144 of file graph_description_merge_recursive_verifier.test.cpp.

TYPED_TEST() [3/6]

bb::stdlib::recursion::goblin::TYPED_TEST	(	RecursiveMergeVerifierTest	,
		DegreeCheckFailure
	)

Definition at line 207 of file merge_verifier.test.cpp.

TYPED_TEST() [4/6]

bb::stdlib::recursion::goblin::TYPED_TEST	(	RecursiveMergeVerifierTest	,
		EvalFailure
	)

Definition at line 217 of file merge_verifier.test.cpp.

TYPED_TEST() [5/6]

bb::stdlib::recursion::goblin::TYPED_TEST	(	RecursiveMergeVerifierTest	,
		MergeFailure
	)

Definition at line 212 of file merge_verifier.test.cpp.

TYPED_TEST() [6/6]

bb::stdlib::recursion::goblin::TYPED_TEST	(	RecursiveMergeVerifierTest	,
		SingleRecursiveVerification
	)

Definition at line 202 of file merge_verifier.test.cpp.

TYPED_TEST_SUITE() [1/2]

bb::stdlib::recursion::goblin::TYPED_TEST_SUITE	(	BoomerangRecursiveMergeVerifierTest	,
		Builder
	)

TYPED_TEST_SUITE() [2/2]

bb::stdlib::recursion::goblin::TYPED_TEST_SUITE	(	RecursiveMergeVerifierTest	,
		Builders
	)