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

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

Typedefs
using	Builder = testing::Types< MegaCircuitBuilder >
template<typename Builder >
using	MergeRecursiveVerifier = MergeVerifier_< bn254< Builder > >

Functions
	TYPED_TEST_SUITE (BoomerangRecursiveMergeVerifierTest, Builder)
	TYPED_TEST (BoomerangRecursiveMergeVerifierTest, RecursiveVerificationPrepend)
	TYPED_TEST (BoomerangRecursiveMergeVerifierTest, RecursiveVerificationAppend)

Typedef Documentation

Builder

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

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

MergeRecursiveVerifier

template<typename Builder >

using bb::stdlib::recursion::goblin::MergeRecursiveVerifier = typedef MergeVerifier_<bn254<Builder> >

Definition at line 121 of file merge_verifier.hpp.

Function Documentation

TYPED_TEST() [1/2]

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

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

TYPED_TEST() [2/2]

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

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

TYPED_TEST_SUITE()

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