general_field.test.cpp File Reference

#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 >

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, 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)

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 23 of file general_field.test.cpp.

Function Documentation

TYPED_TEST() [1/25]

TYPED_TEST	(	FieldTest	,
		AdditionAssociative
	)

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

TYPED_TEST() [2/25]

TYPED_TEST	(	FieldTest	,
		AdditionCommutative
	)

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

TYPED_TEST() [3/25]

TYPED_TEST	(	FieldTest	,
		AddMulConsistency
	)

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

TYPED_TEST() [4/25]

TYPED_TEST	(	FieldTest	,
		DifferenceOfSquares
	)

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

TYPED_TEST() [5/25]

TYPED_TEST	(	FieldTest	,
		DoubleInverse
	)

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

TYPED_TEST() [6/25]

TYPED_TEST	(	FieldTest	,
		DoubleNegation
	)

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

TYPED_TEST() [7/25]

TYPED_TEST	(	FieldTest	,
		InverseProperty
	)

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

TYPED_TEST() [8/25]

TYPED_TEST	(	FieldTest	,
		InvertOneIsOne
	)

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

TYPED_TEST() [9/25]

TYPED_TEST	(	FieldTest	,
		IsZero
	)

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

TYPED_TEST() [10/25]

TYPED_TEST	(	FieldTest	,
		MulByZero
	)

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

TYPED_TEST() [11/25]

TYPED_TEST	(	FieldTest	,
		MultiplicationAssociative
	)

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

TYPED_TEST() [12/25]

TYPED_TEST	(	FieldTest	,
		MultiplicationCommutative
	)

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

TYPED_TEST() [13/25]

TYPED_TEST	(	FieldTest	,
		MultiplicationDistributive
	)

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

TYPED_TEST() [14/25]

TYPED_TEST	(	FieldTest	,
		NegationCancels
	)

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

TYPED_TEST() [15/25]

TYPED_TEST	(	FieldTest	,
		NegationOfZero
	)

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

TYPED_TEST() [16/25]

TYPED_TEST	(	FieldTest	,
		OneIsMultiplicativeIdentity
	)

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

TYPED_TEST() [17/25]

TYPED_TEST	(	FieldTest	,
		OperatorMinusEquals
	)

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

TYPED_TEST() [18/25]

TYPED_TEST	(	FieldTest	,
		OperatorPlusEquals
	)

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

TYPED_TEST() [19/25]

TYPED_TEST	(	FieldTest	,
		OperatorTimesEquals
	)

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

TYPED_TEST() [20/25]

TYPED_TEST	(	FieldTest	,
		SelfNeg
	)

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

TYPED_TEST() [21/25]

TYPED_TEST	(	FieldTest	,
		SelfSqr
	)

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

TYPED_TEST() [22/25]

TYPED_TEST	(	FieldTest	,
		SquaringMatchesMultiplication
	)

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

TYPED_TEST() [23/25]

TYPED_TEST	(	FieldTest	,
		SubMulConsistency
	)

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

TYPED_TEST() [24/25]

TYPED_TEST	(	FieldTest	,
		SubtractionIsAdditionOfNegation
	)

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

TYPED_TEST() [25/25]

TYPED_TEST	(	FieldTest	,
		ZeroIsAdditiveIdentity
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	FieldTest	,
		AllFieldTypes
	)