general_field.test.cpp File Reference

#include "barretenberg/common/type_traits.hpp"
#include "barretenberg/ecc/curves/bn254/fq.hpp"
#include "barretenberg/ecc/curves/bn254/fq12.hpp"
#include "barretenberg/ecc/curves/bn254/fq2.hpp"
#include "barretenberg/ecc/curves/bn254/fq6.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 <gtest/gtest.h>

Go to the source code of this file.

Classes
class	FieldTest< F >

Concepts
concept	HasPow
concept	HasSqrt
concept	IsExtensionField

Typedefs
using	AllFieldTypes = ::testing::Types< bb::fq, bb::fr, secp256k1::fq, secp256k1::fr, secp256r1::fq, secp256r1::fr, bb::fq2, bb::fq6, bb::fq12 >

Functions
	TYPED_TEST_SUITE (FieldTest, AllFieldTypes)
	TYPED_TEST (FieldTest, ZeroIsAdditiveIdentity)
	TYPED_TEST (FieldTest, OneIsMultiplicativeIdentity)
	TYPED_TEST (FieldTest, IsZero)
	TYPED_TEST (FieldTest, AdditionCommutative)
	TYPED_TEST (FieldTest, AdditionAssociative)
	TYPED_TEST (FieldTest, SubtractionIsAdditionOfNegation)
	TYPED_TEST (FieldTest, NegationCancels)
	TYPED_TEST (FieldTest, NegationOfZero)
	TYPED_TEST (FieldTest, DoubleNegation)
	TYPED_TEST (FieldTest, MultiplicationCommutative)
	TYPED_TEST (FieldTest, MultiplicationAssociative)
	TYPED_TEST (FieldTest, MultiplicationDistributive)
	TYPED_TEST (FieldTest, MulByZero)
	TYPED_TEST (FieldTest, SquaringMatchesMultiplication)
	TYPED_TEST (FieldTest, DifferenceOfSquares)
	TYPED_TEST (FieldTest, InverseProperty)
	TYPED_TEST (FieldTest, InvertOneIsOne)
	TYPED_TEST (FieldTest, DoubleInverse)
	TYPED_TEST (FieldTest, PowRegressionCheck)
	TYPED_TEST (FieldTest, Sqrt)
	TYPED_TEST (FieldTest, SelfNeg)
	TYPED_TEST (FieldTest, OperatorPlusEquals)
	TYPED_TEST (FieldTest, OperatorMinusEquals)
	TYPED_TEST (FieldTest, OperatorTimesEquals)
	TYPED_TEST (FieldTest, SelfSqr)
	TYPED_TEST (FieldTest, AddMulConsistency)
	TYPED_TEST (FieldTest, SubMulConsistency)
	TYPED_TEST (FieldTest, MulSqrConsistency)
	TYPED_TEST (FieldTest, FromMontgomeryForm)
	TYPED_TEST (FieldTest, MontgomeryConsistencyCheck)
	TYPED_TEST (FieldTest, Copy)
	TYPED_TEST (FieldTest, SerializeToBuffer)
	TYPED_TEST (FieldTest, SerializeFromBuffer)

Typedef Documentation

AllFieldTypes

using AllFieldTypes = ::testing:: Types<bb::fq, bb::fr, secp256k1::fq, secp256k1::fr, secp256r1::fq, secp256r1::fr, bb::fq2, bb::fq6, bb::fq12>

Definition at line 33 of file general_field.test.cpp.

Function Documentation

TYPED_TEST() [1/33]

TYPED_TEST	(	FieldTest	,
		AdditionAssociative
	)

Definition at line 91 of file general_field.test.cpp.

TYPED_TEST() [2/33]

TYPED_TEST	(	FieldTest	,
		AdditionCommutative
	)

Definition at line 81 of file general_field.test.cpp.

TYPED_TEST() [3/33]

TYPED_TEST	(	FieldTest	,
		AddMulConsistency
	)

Definition at line 357 of file general_field.test.cpp.

TYPED_TEST() [4/33]

TYPED_TEST	(	FieldTest	,
		Copy
	)

Definition at line 501 of file general_field.test.cpp.

TYPED_TEST() [5/33]

TYPED_TEST	(	FieldTest	,
		DifferenceOfSquares
	)

Definition at line 210 of file general_field.test.cpp.

TYPED_TEST() [6/33]

TYPED_TEST	(	FieldTest	,
		DoubleInverse
	)

Definition at line 248 of file general_field.test.cpp.

TYPED_TEST() [7/33]

TYPED_TEST	(	FieldTest	,
		DoubleNegation
	)

Definition at line 140 of file general_field.test.cpp.

TYPED_TEST() [8/33]

TYPED_TEST	(	FieldTest	,
		FromMontgomeryForm
	)

Definition at line 415 of file general_field.test.cpp.

TYPED_TEST() [9/33]

TYPED_TEST	(	FieldTest	,
		InverseProperty
	)

Definition at line 228 of file general_field.test.cpp.

TYPED_TEST() [10/33]

TYPED_TEST	(	FieldTest	,
		InvertOneIsOne
	)

Definition at line 239 of file general_field.test.cpp.

TYPED_TEST() [11/33]

TYPED_TEST	(	FieldTest	,
		IsZero
	)

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

TYPED_TEST() [12/33]

TYPED_TEST	(	FieldTest	,
		MontgomeryConsistencyCheck
	)

Definition at line 457 of file general_field.test.cpp.

TYPED_TEST() [13/33]

TYPED_TEST	(	FieldTest	,
		MulByZero
	)

Definition at line 184 of file general_field.test.cpp.

TYPED_TEST() [14/33]

TYPED_TEST	(	FieldTest	,
		MulSqrConsistency
	)

Definition at line 388 of file general_field.test.cpp.

TYPED_TEST() [15/33]

TYPED_TEST	(	FieldTest	,
		MultiplicationAssociative
	)

Definition at line 162 of file general_field.test.cpp.

TYPED_TEST() [16/33]

TYPED_TEST	(	FieldTest	,
		MultiplicationCommutative
	)

Definition at line 152 of file general_field.test.cpp.

TYPED_TEST() [17/33]

TYPED_TEST	(	FieldTest	,
		MultiplicationDistributive
	)

Definition at line 173 of file general_field.test.cpp.

TYPED_TEST() [18/33]

TYPED_TEST	(	FieldTest	,
		NegationCancels
	)

Definition at line 119 of file general_field.test.cpp.

TYPED_TEST() [19/33]

TYPED_TEST	(	FieldTest	,
		NegationOfZero
	)

Definition at line 130 of file general_field.test.cpp.

TYPED_TEST() [20/33]

TYPED_TEST	(	FieldTest	,
		OneIsMultiplicativeIdentity
	)

Definition at line 53 of file general_field.test.cpp.

TYPED_TEST() [21/33]

TYPED_TEST	(	FieldTest	,
		OperatorMinusEquals
	)

Definition at line 318 of file general_field.test.cpp.

TYPED_TEST() [22/33]

TYPED_TEST	(	FieldTest	,
		OperatorPlusEquals
	)

Definition at line 306 of file general_field.test.cpp.

TYPED_TEST() [23/33]

TYPED_TEST	(	FieldTest	,
		OperatorTimesEquals
	)

Definition at line 330 of file general_field.test.cpp.

TYPED_TEST() [24/33]

TYPED_TEST	(	FieldTest	,
		PowRegressionCheck
	)

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

TYPED_TEST() [25/33]

TYPED_TEST	(	FieldTest	,
		SelfNeg
	)

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

TYPED_TEST() [26/33]

TYPED_TEST	(	FieldTest	,
		SelfSqr
	)

Definition at line 342 of file general_field.test.cpp.

TYPED_TEST() [27/33]

TYPED_TEST	(	FieldTest	,
		SerializeFromBuffer
	)

Definition at line 563 of file general_field.test.cpp.

TYPED_TEST() [28/33]

TYPED_TEST	(	FieldTest	,
		SerializeToBuffer
	)

Definition at line 514 of file general_field.test.cpp.

TYPED_TEST() [29/33]

TYPED_TEST	(	FieldTest	,
		Sqrt
	)

Definition at line 274 of file general_field.test.cpp.

TYPED_TEST() [30/33]

TYPED_TEST	(	FieldTest	,
		SquaringMatchesMultiplication
	)

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

TYPED_TEST() [31/33]

TYPED_TEST	(	FieldTest	,
		SubMulConsistency
	)

Definition at line 373 of file general_field.test.cpp.

TYPED_TEST() [32/33]

TYPED_TEST	(	FieldTest	,
		SubtractionIsAdditionOfNegation
	)

Definition at line 108 of file general_field.test.cpp.

TYPED_TEST() [33/33]

TYPED_TEST	(	FieldTest	,
		ZeroIsAdditiveIdentity
	)

Definition at line 42 of file general_field.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	FieldTest	,
		AllFieldTypes
	)