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

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

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

Functions
	TYPED_TEST_SUITE (RecursiveMergeVerifierTest, Builders)
	TYPED_TEST (RecursiveMergeVerifierTest, SingleRecursiveVerification)
	TYPED_TEST (RecursiveMergeVerifierTest, DegreeCheckFailure)
	TYPED_TEST (RecursiveMergeVerifierTest, MergeFailure)
	TYPED_TEST (RecursiveMergeVerifierTest, EvalFailure)

Typedef Documentation

Builders

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

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

Function Documentation

TYPED_TEST() [1/4]

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

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

TYPED_TEST() [2/4]

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

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

TYPED_TEST() [3/4]

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

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

TYPED_TEST() [4/4]

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

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

TYPED_TEST_SUITE()

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