fq.test.cpp File Reference

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

Go to the source code of this file.

Functions
void	shallow_copy (const fq &in, fq &out)
	TEST (fq, Msgpack)
	TEST (fq, Eq)
	TEST (fq, IsZero)
	TEST (fq, RandomElement)
	TEST (fq, MulCheckAgainstConstants)
	TEST (fq, MulShortIntegers)
	TEST (fq, MulSqrConsistency)
	TEST (fq, SqrCheckAgainstConstants)
	TEST (fq, AddCheckAgainstConstants)
	TEST (fq, SubCheckAgainstConstants)
	TEST (fq, CoarseEquivalenceChecks)
	TEST (fq, toMontgomeryForm)
	TEST (fq, FromMontgomeryForm)
	TEST (fq, MontgomeryConsistencyCheck)
	TEST (fq, AddMulConsistency)
	TEST (fq, SubMulConsistency)
	TEST (fq, beta)
	TEST (fq, Invert)
	TEST (fq, InvertOneIsOne)
	TEST (fq, Sqrt)
	TEST (fq, SqrtRandom)
	TEST (fq, OneAndZero)
	TEST (fq, Copy)
	TEST (fq, Neg)
	TEST (fq, SplitIntoEndomorphismScalars)
	TEST (fq, SplitIntoEndomorphismScalarsSimple)
	TEST (fq, SerializeToBuffer)
	TEST (fq, SerializeFromBuffer)
	TEST (fq, MultiplicativeGenerator)
	TEST (fq, RInv)
	TEST (fq, PowRegressionCheck)
	TEST (fq, SqrRegression)
	TEST (fq, NegAndSelfNeg0CmpRegression)
	TEST (fq, EquivalentRandomness)

Function Documentation

shallow_copy()

void shallow_copy	(	const fq &	in,
		fq &	out
	)

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

TEST() [1/34]

TEST	(	fq	,
		AddCheckAgainstConstants
	)

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

TEST() [2/34]

TEST	(	fq	,
		AddMulConsistency
	)

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

TEST() [3/34]

TEST	(	fq	,
		beta
	)

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

TEST() [4/34]

TEST	(	fq	,
		CoarseEquivalenceChecks
	)

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

TEST() [5/34]

TEST	(	fq	,
		Copy
	)

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

TEST() [6/34]

TEST	(	fq	,
		Eq
	)

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

TEST() [7/34]

TEST	(	fq	,
		EquivalentRandomness
	)

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

TEST() [8/34]

TEST	(	fq	,
		FromMontgomeryForm
	)

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

TEST() [9/34]

TEST	(	fq	,
		Invert
	)

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

TEST() [10/34]

TEST	(	fq	,
		InvertOneIsOne
	)

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

TEST() [11/34]

TEST	(	fq	,
		IsZero
	)

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

TEST() [12/34]

TEST	(	fq	,
		MontgomeryConsistencyCheck
	)

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

TEST() [13/34]

TEST	(	fq	,
		Msgpack
	)

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

TEST() [14/34]

TEST	(	fq	,
		MulCheckAgainstConstants
	)

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

TEST() [15/34]

TEST	(	fq	,
		MulShortIntegers
	)

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

TEST() [16/34]

TEST	(	fq	,
		MulSqrConsistency
	)

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

TEST() [17/34]

TEST	(	fq	,
		MultiplicativeGenerator
	)

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

TEST() [18/34]

TEST	(	fq	,
		Neg
	)

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

TEST() [19/34]

TEST	(	fq	,
		NegAndSelfNeg0CmpRegression
	)

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

TEST() [20/34]

TEST	(	fq	,
		OneAndZero
	)

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

TEST() [21/34]

TEST	(	fq	,
		PowRegressionCheck
	)

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

TEST() [22/34]

TEST	(	fq	,
		RandomElement
	)

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

TEST() [23/34]

TEST	(	fq	,
		RInv
	)

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

TEST() [24/34]

TEST	(	fq	,
		SerializeFromBuffer
	)

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

TEST() [25/34]

TEST	(	fq	,
		SerializeToBuffer
	)

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

TEST() [26/34]

TEST	(	fq	,
		SplitIntoEndomorphismScalars
	)

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

TEST() [27/34]

TEST	(	fq	,
		SplitIntoEndomorphismScalarsSimple
	)

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

TEST() [28/34]

TEST	(	fq	,
		SqrCheckAgainstConstants
	)

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

TEST() [29/34]

TEST	(	fq	,
		SqrRegression
	)

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

TEST() [30/34]

TEST	(	fq	,
		Sqrt
	)

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

TEST() [31/34]

TEST	(	fq	,
		SqrtRandom
	)

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

TEST() [32/34]

TEST	(	fq	,
		SubCheckAgainstConstants
	)

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

TEST() [33/34]

TEST	(	fq	,
		SubMulConsistency
	)

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

TEST() [34/34]

TEST	(	fq	,
		toMontgomeryForm
	)

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