bb::stdlib::field_conversion_tests Namespace Reference

Classes
class	stdlib_field_conversion

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 (stdlib_field_conversion, BuilderTypes)
	TYPED_TEST (stdlib_field_conversion, FieldConversionFr)
	Field conversion test for fr<Builder>
	TYPED_TEST (stdlib_field_conversion, FieldConversionGrumpkinFr)
	Field conversion test for fq<Builder>
	TYPED_TEST (stdlib_field_conversion, FieldConversionBN254AffineElement)
	Field conversion test for bn254_element<Builder>
	TYPED_TEST (stdlib_field_conversion, FieldConversionGrumpkinAffineElement)
	Field conversion test for grumpkin_element<Builder>
	TYPED_TEST (stdlib_field_conversion, DeserializePointAtInfinity)
	TYPED_TEST (stdlib_field_conversion, FieldConversionArrayBn254Fr)
	Field conversion test for std::array<fr<Builder>, N>
	TYPED_TEST (stdlib_field_conversion, FieldConversionArrayGrumpkinFr)
	Field conversion test for std::array<fq<Builder>, N>
	TYPED_TEST (stdlib_field_conversion, FieldConversionUnivariateBn254Fr)
	Field conversion test for Univariate<fr<Builder>, N>
	TYPED_TEST (stdlib_field_conversion, FieldConversionUnivariateGrumpkinFr)
	Field conversion test for Univariate<fq<Builder>, N>

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 10 of file field_conversion.test.cpp.

BuilderTypes

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

Definition at line 45 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 9 of file field_conversion.test.cpp.

fr

template<typename Builder >

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

Definition at line 8 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 11 of file field_conversion.test.cpp.

Function Documentation

TYPED_TEST() [1/9]

bb::stdlib::field_conversion_tests::TYPED_TEST	(	stdlib_field_conversion	,
		DeserializePointAtInfinity
	)

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

TYPED_TEST() [2/9]

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

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

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

TYPED_TEST() [3/9]

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

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

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

TYPED_TEST() [4/9]

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

Field conversion test for bn254_element<Builder>

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

TYPED_TEST() [5/9]

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

Field conversion test for fr<Builder>

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

TYPED_TEST() [6/9]

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

Field conversion test for grumpkin_element<Builder>

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

TYPED_TEST() [7/9]

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

Field conversion test for fq<Builder>

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

TYPED_TEST() [8/9]

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

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

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

TYPED_TEST() [9/9]

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

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

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

TYPED_TEST_SUITE()

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