#include "barretenberg/ecc/curves/bn254/fq.hpp"
#include "barretenberg/ecc/curves/bn254/fr.hpp"
#include "barretenberg/ecc/curves/secp256k1/secp256k1.hpp"
#include "barretenberg/ecc/curves/secp256r1/secp256r1.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/serialize/test_helper.hpp"
#include <gtest/gtest.h>

Classes
class	PrimeFieldTest< F >

class	PrimeFieldSqrtTest< typename >

class	PrimeFieldCubeRootTest< typename >

Typedefs
using	PrimeFieldTypes = ::testing::Types< bb::fq, bb::fr, secp256k1::fq, secp256k1::fr, secp256r1::fq, secp256r1::fr >

using	SqrtFieldTypes = ::testing::Types< bb::fq, bb::fr, secp256k1::fq, secp256r1::fq >

using	CubeRootFieldTypes = ::testing::Types< bb::fq, bb::fr, secp256k1::fq, secp256k1::fr >

Functions
	TYPED_TEST_SUITE (PrimeFieldTest, PrimeFieldTypes)

	TYPED_TEST_SUITE (PrimeFieldSqrtTest, SqrtFieldTypes)

	TYPED_TEST_SUITE (PrimeFieldCubeRootTest, CubeRootFieldTypes)

	TYPED_TEST (PrimeFieldTest, CompileTimeEquality)

	TYPED_TEST (PrimeFieldTest, CompileTimeSmallAddSubMul)

	TYPED_TEST (PrimeFieldTest, CompileTimeUint256Conversion)

	TYPED_TEST (PrimeFieldTest, AdditionModular)

	TYPED_TEST (PrimeFieldTest, SubtractionModular)

	TYPED_TEST (PrimeFieldTest, MultiplicationModular)

	TYPED_TEST (PrimeFieldTest, SquaringModular)

	TYPED_TEST (PrimeFieldTest, Uint256Roundtrip)

	TYPED_TEST (PrimeFieldTest, MontgomeryRoundtrip)

	TYPED_TEST (PrimeFieldSqrtTest, SqrtOfOne)

	TYPED_TEST (PrimeFieldSqrtTest, SqrtConsistency)

	TYPED_TEST (PrimeFieldCubeRootTest, CubeRootOfUnity)

	TYPED_TEST (PrimeFieldTest, MultiplicativeGenerator)

	TYPED_TEST (PrimeFieldTest, PowZeroExponent)

	TYPED_TEST (PrimeFieldTest, PowOneExponent)

	TYPED_TEST (PrimeFieldTest, PowTwo)

	TYPED_TEST (PrimeFieldTest, PowThree)

	TYPED_TEST (PrimeFieldTest, BatchInvert)

	TYPED_TEST (PrimeFieldTest, PrefixIncrement)

	TYPED_TEST (PrimeFieldTest, PostfixIncrement)

	TYPED_TEST (PrimeFieldTest, Msgpack)

Typedef Documentation

◆ CubeRootFieldTypes

using CubeRootFieldTypes = ::testing::Types<bb::fq, bb::fr, secp256k1::fq, secp256k1::fr>

Definition at line 54 of file prime_field.test.cpp.

◆ PrimeFieldTypes

using PrimeFieldTypes = ::testing::Types<bb::fq, bb::fr, secp256k1::fq, secp256k1::fr, secp256r1::fq, secp256r1::fr>

Definition at line 48 of file prime_field.test.cpp.

◆ SqrtFieldTypes

using SqrtFieldTypes = ::testing::Types<bb::fq, bb::fr, secp256k1::fq, secp256r1::fq>

Definition at line 51 of file prime_field.test.cpp.

Function Documentation

◆ TYPED_TEST() [1/21]

TYPED_TEST	(	PrimeFieldCubeRootTest	,
		CubeRootOfUnity
	)

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

◆ TYPED_TEST() [2/21]

TYPED_TEST	(	PrimeFieldSqrtTest	,
		SqrtConsistency
	)

Definition at line 226 of file prime_field.test.cpp.

◆ TYPED_TEST() [3/21]

TYPED_TEST	(	PrimeFieldSqrtTest	,
		SqrtOfOne
	)

Definition at line 215 of file prime_field.test.cpp.

◆ TYPED_TEST() [4/21]

TYPED_TEST	(	PrimeFieldTest	,
		AdditionModular
	)

Definition at line 121 of file prime_field.test.cpp.

◆ TYPED_TEST() [5/21]

TYPED_TEST	(	PrimeFieldTest	,
		BatchInvert
	)

Definition at line 314 of file prime_field.test.cpp.

◆ TYPED_TEST() [6/21]

TYPED_TEST	(	PrimeFieldTest	,
		CompileTimeEquality
	)

Definition at line 68 of file prime_field.test.cpp.

◆ TYPED_TEST() [7/21]

TYPED_TEST	(	PrimeFieldTest	,
		CompileTimeSmallAddSubMul
	)

Definition at line 86 of file prime_field.test.cpp.

◆ TYPED_TEST() [8/21]

TYPED_TEST	(	PrimeFieldTest	,
		CompileTimeUint256Conversion
	)

Definition at line 106 of file prime_field.test.cpp.

◆ TYPED_TEST() [9/21]

TYPED_TEST	(	PrimeFieldTest	,
		MontgomeryRoundtrip
	)

Definition at line 202 of file prime_field.test.cpp.

◆ TYPED_TEST() [10/21]

TYPED_TEST	(	PrimeFieldTest	,
		Msgpack
	)

Definition at line 370 of file prime_field.test.cpp.

◆ TYPED_TEST() [11/21]

TYPED_TEST	(	PrimeFieldTest	,
		MultiplicationModular
	)

Definition at line 155 of file prime_field.test.cpp.

◆ TYPED_TEST() [12/21]

TYPED_TEST	(	PrimeFieldTest	,
		MultiplicativeGenerator
	)

Definition at line 262 of file prime_field.test.cpp.

◆ TYPED_TEST() [13/21]

TYPED_TEST	(	PrimeFieldTest	,
		PostfixIncrement
	)

Definition at line 353 of file prime_field.test.cpp.

◆ TYPED_TEST() [14/21]

TYPED_TEST	(	PrimeFieldTest	,
		PowOneExponent
	)

Definition at line 286 of file prime_field.test.cpp.

◆ TYPED_TEST() [15/21]

TYPED_TEST	(	PrimeFieldTest	,
		PowThree
	)

Definition at line 302 of file prime_field.test.cpp.

◆ TYPED_TEST() [16/21]

TYPED_TEST	(	PrimeFieldTest	,
		PowTwo
	)

Definition at line 294 of file prime_field.test.cpp.

◆ TYPED_TEST() [17/21]

TYPED_TEST	(	PrimeFieldTest	,
		PowZeroExponent
	)

Definition at line 277 of file prime_field.test.cpp.

◆ TYPED_TEST() [18/21]

TYPED_TEST	(	PrimeFieldTest	,
		PrefixIncrement
	)

Definition at line 340 of file prime_field.test.cpp.

◆ TYPED_TEST() [19/21]

TYPED_TEST	(	PrimeFieldTest	,
		SquaringModular
	)

Definition at line 172 of file prime_field.test.cpp.

◆ TYPED_TEST() [20/21]

TYPED_TEST	(	PrimeFieldTest	,
		SubtractionModular
	)

Definition at line 138 of file prime_field.test.cpp.

◆ TYPED_TEST() [21/21]

TYPED_TEST	(	PrimeFieldTest	,
		Uint256Roundtrip
	)

Definition at line 187 of file prime_field.test.cpp.

◆ TYPED_TEST_SUITE() [1/3]

TYPED_TEST_SUITE	(	PrimeFieldCubeRootTest	,
		CubeRootFieldTypes
	)

◆ TYPED_TEST_SUITE() [2/3]

TYPED_TEST_SUITE	(	PrimeFieldSqrtTest	,
		SqrtFieldTypes
	)

◆ TYPED_TEST_SUITE() [3/3]

TYPED_TEST_SUITE	(	PrimeFieldTest	,
		PrimeFieldTypes
	)

Classes

Typedefs

Functions