bb::stdlib::recursion Namespace Reference

Namespaces
namespace	goblin
namespace	honk

Classes
struct	PairingPoints
	An object storing two EC points that represent the inputs to a pairing check. More...
class	PairingPointsTaggingTests
class	PairingPointsTests

Typedefs
using	Curves = testing::Types< stdlib::bn254< UltraCircuitBuilder >, stdlib::bn254< MegaCircuitBuilder > >

Functions
template<typename NCT >
std::ostream &	operator<< (std::ostream &os, PairingPoints< NCT > const &as)
	TYPED_TEST_SUITE (PairingPointsTests, Curves)
	TYPED_TEST (PairingPointsTests, EmptyPairingPointsProtection)
	TYPED_TEST (PairingPointsTests, ConstructDefault)
	TYPED_TEST (PairingPointsTests, DefaultPointsAreValid)
	TYPED_TEST (PairingPointsTests, Aggregate)
	TYPED_TEST (PairingPointsTests, AggregateIntoEmpty)
	TYPED_TEST (PairingPointsTests, AggregateMultiple)
	TYPED_TEST (PairingPointsTests, PublicInputSerdeRoundTrip)
	TYPED_TEST_SUITE (PairingPointsTaggingTests, Curves)
	TYPED_TEST (PairingPointsTaggingTests, TagCreationAndMerge)
	TYPED_TEST (PairingPointsTaggingTests, ProverInstanceRejectsUnmergedTags)
	TYPED_TEST (PairingPointsTaggingTests, CopyPreservesTag)
	TYPED_TEST (PairingPointsTaggingTests, SetPublicIsTerminal)

Typedef Documentation

Curves

using bb::stdlib::recursion::Curves = typedef testing::Types<stdlib::bn254<UltraCircuitBuilder>, stdlib::bn254<MegaCircuitBuilder> >

Definition at line 39 of file pairing_points.test.cpp.

Function Documentation

operator<<()

template<typename NCT >

std::ostream & bb::stdlib::recursion::operator<<	(	std::ostream &	os,
		PairingPoints< NCT > const &	as
	)

Definition at line 300 of file pairing_points.hpp.

TYPED_TEST() [1/11]

bb::stdlib::recursion::TYPED_TEST	(	PairingPointsTaggingTests	,
		CopyPreservesTag
	)

Definition at line 355 of file pairing_points.test.cpp.

TYPED_TEST() [2/11]

bb::stdlib::recursion::TYPED_TEST	(	PairingPointsTaggingTests	,
		ProverInstanceRejectsUnmergedTags
	)

Definition at line 295 of file pairing_points.test.cpp.

TYPED_TEST() [3/11]

bb::stdlib::recursion::TYPED_TEST	(	PairingPointsTaggingTests	,
		SetPublicIsTerminal
	)

Definition at line 384 of file pairing_points.test.cpp.

TYPED_TEST() [4/11]

bb::stdlib::recursion::TYPED_TEST	(	PairingPointsTaggingTests	,
		TagCreationAndMerge
	)

Definition at line 234 of file pairing_points.test.cpp.

TYPED_TEST() [5/11]

bb::stdlib::recursion::TYPED_TEST	(	PairingPointsTests	,
		Aggregate
	)

Definition at line 93 of file pairing_points.test.cpp.

TYPED_TEST() [6/11]

bb::stdlib::recursion::TYPED_TEST	(	PairingPointsTests	,
		AggregateIntoEmpty
	)

Definition at line 131 of file pairing_points.test.cpp.

TYPED_TEST() [7/11]

bb::stdlib::recursion::TYPED_TEST	(	PairingPointsTests	,
		AggregateMultiple
	)

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

TYPED_TEST() [8/11]

bb::stdlib::recursion::TYPED_TEST	(	PairingPointsTests	,
		ConstructDefault
	)

Definition at line 59 of file pairing_points.test.cpp.

TYPED_TEST() [9/11]

bb::stdlib::recursion::TYPED_TEST	(	PairingPointsTests	,
		DefaultPointsAreValid
	)

Definition at line 75 of file pairing_points.test.cpp.

TYPED_TEST() [10/11]

bb::stdlib::recursion::TYPED_TEST	(	PairingPointsTests	,
		EmptyPairingPointsProtection
	)

Definition at line 43 of file pairing_points.test.cpp.

TYPED_TEST() [11/11]

bb::stdlib::recursion::TYPED_TEST	(	PairingPointsTests	,
		PublicInputSerdeRoundTrip
	)

Definition at line 188 of file pairing_points.test.cpp.

TYPED_TEST_SUITE() [1/2]

bb::stdlib::recursion::TYPED_TEST_SUITE	(	PairingPointsTaggingTests	,
		Curves
	)

TYPED_TEST_SUITE() [2/2]

bb::stdlib::recursion::TYPED_TEST_SUITE	(	PairingPointsTests	,
		Curves
	)