bb::field_conversion_tests Namespace Reference

Classes
class	FieldConversionTest

Functions
	TEST_F (FieldConversionTest, FieldConversionUint32)
	Field conversion test for uint32_t.
	TEST_F (FieldConversionTest, FieldConversionFr)
	Field conversion test for bb::fr.
	TEST_F (FieldConversionTest, FieldConversionGrumpkinFr)
	Field conversion test for grumpkin::fr.
	TEST_F (FieldConversionTest, FieldConversionBN254AffineElement)
	Field conversion test for curve::BN254::AffineElement.
	TEST_F (FieldConversionTest, FieldConversionGrumpkinAffineElement)
	Field conversion test for curve::Grumpkin::AffineElement.
	TEST_F (FieldConversionTest, FieldConversionArrayBn254Fr)
	Field conversion test for std::array<bb::fr, N>
	TEST_F (FieldConversionTest, FieldConversionArrayGrumpkinFr)
	Field conversion test for std::array<grumpkin::fr, N>
	TEST_F (FieldConversionTest, FieldConversionUnivariateBn254Fr)
	Field conversion test for bb::Univariate<bb::fr, N>
	TEST_F (FieldConversionTest, FieldConversionUnivariateGrumpkinFr)
	Field conversion test for bb::Univariate<grumpkin::fr, N>
	TEST_F (FieldConversionTest, ConvertChallengeGrumpkinFr)
	Convert challenge test for grumpkin::fr.
	TEST_F (FieldConversionTest, AcceptCanonicalPointAtInfinity)
	Test that valid canonical (0, 0) is accepted as point at infinity.
	TEST_F (FieldConversionTest, RejectPointNotOnCurve)
	Test that points not on the curve are rejected.

Function Documentation

TEST_F() [1/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		AcceptCanonicalPointAtInfinity
	)

Test that valid canonical (0, 0) is accepted as point at infinity.

This ensures we're only rejecting non-canonical aliases, not the proper encoding.

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

TEST_F() [2/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		ConvertChallengeGrumpkinFr
	)

Convert challenge test for grumpkin::fr.

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

TEST_F() [3/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		FieldConversionArrayBn254Fr
	)

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

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

TEST_F() [4/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		FieldConversionArrayGrumpkinFr
	)

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

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

TEST_F() [5/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		FieldConversionBN254AffineElement
	)

Field conversion test for curve::BN254::AffineElement.

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

TEST_F() [6/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		FieldConversionFr
	)

Field conversion test for bb::fr.

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

TEST_F() [7/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		FieldConversionGrumpkinAffineElement
	)

Field conversion test for curve::Grumpkin::AffineElement.

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

TEST_F() [8/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		FieldConversionGrumpkinFr
	)

Field conversion test for grumpkin::fr.

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

TEST_F() [9/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		FieldConversionUint32
	)

Field conversion test for uint32_t.

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

TEST_F() [10/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		FieldConversionUnivariateBn254Fr
	)

Field conversion test for bb::Univariate<bb::fr, N>

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

TEST_F() [11/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		FieldConversionUnivariateGrumpkinFr
	)

Field conversion test for bb::Univariate<grumpkin::fr, N>

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

TEST_F() [12/12]

bb::field_conversion_tests::TEST_F	(	FieldConversionTest	,
		RejectPointNotOnCurve
	)

Test that points not on the curve are rejected.

Note

Skipped in WASM builds because death tests (EXPECT_DEATH) aren't supported.

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