bb::stdlib::field_conversion_tests Namespace Reference

Classes
class	StdlibFieldConversionTests

Typedefs
template<typename Builder >
using	fr = field_t< Builder >
template<typename Builder >
using	fq = bigfield< Builder, bb::Bn254FqParams >
template<typename Builder >
using	bn254_element = element< Builder, fq< Builder >, fr< Builder >, curve::BN254::Group >
template<typename Builder >
using	grumpkin_element = cycle_group< Builder >
using	BuilderTypes = testing::Types< UltraCircuitBuilder, MegaCircuitBuilder >

Functions
	TYPED_TEST_SUITE (StdlibFieldConversionTests, BuilderTypes)
	TYPED_TEST (StdlibFieldConversionTests, FieldConversionFr)
	Field conversion test for fr<Builder>
	TYPED_TEST (StdlibFieldConversionTests, FieldConversionGrumpkinFr)
	Field conversion test for fq<Builder>
	TYPED_TEST (StdlibFieldConversionTests, FieldConversionBN254AffineElement)
	Field conversion test for bn254_element<Builder>
	TYPED_TEST (StdlibFieldConversionTests, FieldConversionGrumpkinAffineElement)
	Field conversion test for grumpkin_element<Builder>
	TYPED_TEST (StdlibFieldConversionTests, FieldConversionArrayBn254Fr)
	Field conversion test for std::array<fr<Builder>, N>
	TYPED_TEST (StdlibFieldConversionTests, FieldConversionArrayGrumpkinFr)
	Field conversion test for std::array<fq<Builder>, N>
	TYPED_TEST (StdlibFieldConversionTests, FieldConversionUnivariateBn254Fr)
	Field conversion test for Univariate<fr<Builder>, N>
	TYPED_TEST (StdlibFieldConversionTests, FieldConversionUnivariateGrumpkinFr)
	Field conversion test for Univariate<fq<Builder>, N>
	TYPED_TEST (StdlibFieldConversionTests, ConvertChallengeGrumpkinFr)
	Convert challenge test for fq<Builder>

Typedef Documentation

bn254_element

template<typename Builder >

using bb::stdlib::field_conversion_tests::bn254_element = typedef element<Builder, fq<Builder>, fr<Builder>, curve::BN254::Group>

Definition at line 9 of file field_conversion.test.cpp.

BuilderTypes

using bb::stdlib::field_conversion_tests::BuilderTypes = typedef testing::Types<UltraCircuitBuilder, MegaCircuitBuilder>

Definition at line 36 of file field_conversion.test.cpp.

fq

template<typename Builder >

using bb::stdlib::field_conversion_tests::fq = typedef bigfield<Builder, bb::Bn254FqParams>

Definition at line 8 of file field_conversion.test.cpp.

fr

template<typename Builder >

using bb::stdlib::field_conversion_tests::fr = typedef field_t<Builder>

Definition at line 7 of file field_conversion.test.cpp.

grumpkin_element

template<typename Builder >

using bb::stdlib::field_conversion_tests::grumpkin_element = typedef cycle_group<Builder>

Definition at line 10 of file field_conversion.test.cpp.

Function Documentation

TYPED_TEST() [1/9]

bb::stdlib::field_conversion_tests::TYPED_TEST	(	StdlibFieldConversionTests	,
		ConvertChallengeGrumpkinFr
	)

Convert challenge test for fq<Builder>

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

TYPED_TEST() [2/9]

bb::stdlib::field_conversion_tests::TYPED_TEST	(	StdlibFieldConversionTests	,
		FieldConversionArrayBn254Fr
	)

Field conversion test for std::array<fr<Builder>, N>

Definition at line 115 of file field_conversion.test.cpp.

TYPED_TEST() [3/9]

bb::stdlib::field_conversion_tests::TYPED_TEST	(	StdlibFieldConversionTests	,
		FieldConversionArrayGrumpkinFr
	)

Field conversion test for std::array<fq<Builder>, N>

Definition at line 139 of file field_conversion.test.cpp.

TYPED_TEST() [4/9]

bb::stdlib::field_conversion_tests::TYPED_TEST	(	StdlibFieldConversionTests	,
		FieldConversionBN254AffineElement
	)

Field conversion test for bn254_element<Builder>

Definition at line 78 of file field_conversion.test.cpp.

TYPED_TEST() [5/9]

bb::stdlib::field_conversion_tests::TYPED_TEST	(	StdlibFieldConversionTests	,
		FieldConversionFr
	)

Field conversion test for fr<Builder>

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

TYPED_TEST() [6/9]

bb::stdlib::field_conversion_tests::TYPED_TEST	(	StdlibFieldConversionTests	,
		FieldConversionGrumpkinAffineElement
	)

Field conversion test for grumpkin_element<Builder>

Definition at line 97 of file field_conversion.test.cpp.

TYPED_TEST() [7/9]

bb::stdlib::field_conversion_tests::TYPED_TEST	(	StdlibFieldConversionTests	,
		FieldConversionGrumpkinFr
	)

Field conversion test for fq<Builder>

Definition at line 63 of file field_conversion.test.cpp.

TYPED_TEST() [8/9]

bb::stdlib::field_conversion_tests::TYPED_TEST	(	StdlibFieldConversionTests	,
		FieldConversionUnivariateBn254Fr
	)

Field conversion test for Univariate<fr<Builder>, N>

Definition at line 165 of file field_conversion.test.cpp.

TYPED_TEST() [9/9]

bb::stdlib::field_conversion_tests::TYPED_TEST	(	StdlibFieldConversionTests	,
		FieldConversionUnivariateGrumpkinFr
	)

Field conversion test for Univariate<fq<Builder>, N>

Definition at line 180 of file field_conversion.test.cpp.

TYPED_TEST_SUITE()

bb::stdlib::field_conversion_tests::TYPED_TEST_SUITE	(	StdlibFieldConversionTests	,
		BuilderTypes
	)