fq.test.cpp File Reference

#include "fq.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Functions
	TEST (BN254Fq, CompileTimeInversion)
	TEST (BN254Fq, FromMontgomeryForm)
	TEST (BN254Fq, MontgomeryConsistencyCheck)
	TEST (BN254Fq, AddMulConsistency)
	TEST (BN254Fq, SubMulConsistency)
	TEST (BN254Fq, Invert)
	TEST (BN254Fq, InvertOneIsOne)
	TEST (BN254Fq, Sqrt)
	TEST (BN254Fq, SqrtRandom)
	TEST (BN254Fq, OneAndZero)
	TEST (BN254Fq, Copy)
	TEST (BN254Fq, Neg)
	TEST (BN254Fq, SplitIntoEndomorphismScalars)
	TEST (BN254Fq, SplitIntoEndomorphismScalarsSimple)
	TEST (BN254Fq, SplitEndomorphismNegativeK2)
	TEST (BN254Fq, SplitIntoEndomorphismEdgeCase)
	TEST (BN254Fq, SerializeToBuffer)
	TEST (BN254Fq, SerializeFromBuffer)
	TEST (BN254Fq, PowRegressionCheck)
	TEST (BN254Fq, SqrRegression)
	TEST (BN254Fq, Uint512ReductionEquivalence)

Function Documentation

TEST() [1/21]

TEST	(	BN254Fq	,
		AddMulConsistency
	)

Definition at line 127 of file fq.test.cpp.

TEST() [2/21]

TEST	(	BN254Fq	,
		CompileTimeInversion
	)

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

TEST() [3/21]

TEST	(	BN254Fq	,
		Copy
	)

Definition at line 207 of file fq.test.cpp.

TEST() [4/21]

TEST	(	BN254Fq	,
		FromMontgomeryForm
	)

Definition at line 83 of file fq.test.cpp.

TEST() [5/21]

TEST	(	BN254Fq	,
		Invert
	)

Definition at line 165 of file fq.test.cpp.

TEST() [6/21]

TEST	(	BN254Fq	,
		InvertOneIsOne
	)

Definition at line 175 of file fq.test.cpp.

TEST() [7/21]

TEST	(	BN254Fq	,
		MontgomeryConsistencyCheck
	)

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

TEST() [8/21]

TEST	(	BN254Fq	,
		Neg
	)

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

TEST() [9/21]

TEST	(	BN254Fq	,
		OneAndZero
	)

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

TEST() [10/21]

TEST	(	BN254Fq	,
		PowRegressionCheck
	)

Definition at line 401 of file fq.test.cpp.

TEST() [11/21]

TEST	(	BN254Fq	,
		SerializeFromBuffer
	)

Definition at line 386 of file fq.test.cpp.

TEST() [12/21]

TEST	(	BN254Fq	,
		SerializeToBuffer
	)

Definition at line 341 of file fq.test.cpp.

TEST() [13/21]

TEST	(	BN254Fq	,
		SplitEndomorphismNegativeK2
	)

Definition at line 281 of file fq.test.cpp.

TEST() [14/21]

TEST	(	BN254Fq	,
		SplitIntoEndomorphismEdgeCase
	)

Definition at line 310 of file fq.test.cpp.

TEST() [15/21]

TEST	(	BN254Fq	,
		SplitIntoEndomorphismScalars
	)

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

TEST() [16/21]

TEST	(	BN254Fq	,
		SplitIntoEndomorphismScalarsSimple
	)

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

TEST() [17/21]

TEST	(	BN254Fq	,
		SqrRegression
	)

Definition at line 409 of file fq.test.cpp.

TEST() [18/21]

TEST	(	BN254Fq	,
		Sqrt
	)

Definition at line 182 of file fq.test.cpp.

TEST() [19/21]

TEST	(	BN254Fq	,
		SqrtRandom
	)

Definition at line 190 of file fq.test.cpp.

TEST() [20/21]

TEST	(	BN254Fq	,
		SubMulConsistency
	)

Definition at line 145 of file fq.test.cpp.

TEST() [21/21]

TEST	(	BN254Fq	,
		Uint512ReductionEquivalence
	)

Definition at line 433 of file fq.test.cpp.