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, SplitIntoEndomorphismEdgeCase)
	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/35]

TEST	(	fq	,
		AddCheckAgainstConstants
	)

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

TEST() [2/35]

TEST	(	fq	,
		AddMulConsistency
	)

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

TEST() [3/35]

TEST	(	fq	,
		beta
	)

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

TEST() [4/35]

TEST	(	fq	,
		CoarseEquivalenceChecks
	)

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

TEST() [5/35]

TEST	(	fq	,
		Copy
	)

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

TEST() [6/35]

TEST	(	fq	,
		Eq
	)

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

TEST() [7/35]

TEST	(	fq	,
		EquivalentRandomness
	)

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

TEST() [8/35]

TEST	(	fq	,
		FromMontgomeryForm
	)

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

TEST() [9/35]

TEST	(	fq	,
		Invert
	)

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

TEST() [10/35]

TEST	(	fq	,
		InvertOneIsOne
	)

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

TEST() [11/35]

TEST	(	fq	,
		IsZero
	)

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

TEST() [12/35]

TEST	(	fq	,
		MontgomeryConsistencyCheck
	)

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

TEST() [13/35]

TEST	(	fq	,
		Msgpack
	)

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

TEST() [14/35]

TEST	(	fq	,
		MulCheckAgainstConstants
	)

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

TEST() [15/35]

TEST	(	fq	,
		MulShortIntegers
	)

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

TEST() [16/35]

TEST	(	fq	,
		MulSqrConsistency
	)

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

TEST() [17/35]

TEST	(	fq	,
		MultiplicativeGenerator
	)

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

TEST() [18/35]

TEST	(	fq	,
		Neg
	)

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

TEST() [19/35]

TEST	(	fq	,
		NegAndSelfNeg0CmpRegression
	)

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

TEST() [20/35]

TEST	(	fq	,
		OneAndZero
	)

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

TEST() [21/35]

TEST	(	fq	,
		PowRegressionCheck
	)

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

TEST() [22/35]

TEST	(	fq	,
		RandomElement
	)

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

TEST() [23/35]

TEST	(	fq	,
		RInv
	)

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

TEST() [24/35]

TEST	(	fq	,
		SerializeFromBuffer
	)

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

TEST() [25/35]

TEST	(	fq	,
		SerializeToBuffer
	)

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

TEST() [26/35]

TEST	(	fq	,
		SplitIntoEndomorphismEdgeCase
	)

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

TEST() [27/35]

TEST	(	fq	,
		SplitIntoEndomorphismScalars
	)

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

TEST() [28/35]

TEST	(	fq	,
		SplitIntoEndomorphismScalarsSimple
	)

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

TEST() [29/35]

TEST	(	fq	,
		SqrCheckAgainstConstants
	)

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

TEST() [30/35]

TEST	(	fq	,
		SqrRegression
	)

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

TEST() [31/35]

TEST	(	fq	,
		Sqrt
	)

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

TEST() [32/35]

TEST	(	fq	,
		SqrtRandom
	)

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

TEST() [33/35]

TEST	(	fq	,
		SubCheckAgainstConstants
	)

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

TEST() [34/35]

TEST	(	fq	,
		SubMulConsistency
	)

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

TEST() [35/35]

TEST	(	fq	,
		toMontgomeryForm
	)

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