secp256r1.test.cpp File Reference

#include "secp256r1.hpp"
#include "barretenberg/ecc/groups/precomputed_generators_secp256r1_impl.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Functions
	TEST (secp256r1, TestAdd)
	TEST (secp256r1, TestSub)
	TEST (secp256r1, TestToMontgomeryForm)
	TEST (secp256r1, TestFromMontgomeryForm)
	TEST (secp256r1, TestMul)
	TEST (secp256r1, TestSqr)
	TEST (secp256r1, TestArithmetic)
	TEST (secp256r1, GeneratorOnCurve)
	TEST (secp256r1, RandomElement)
	TEST (secp256r1, RandomAffineElement)
	TEST (secp256r1, Eq)
	TEST (secp256r1, CheckGroupModulus)
	TEST (secp256r1, AddExceptionTestInfinity)
	TEST (secp256r1, AddExceptionTestDbl)
	TEST (secp256r1, AddDblConsistency)
	TEST (secp256r1, AddDblConsistencyRepeated)
	TEST (secp256r1, MixedAddExceptionTestInfinity)
	TEST (secp256r1, MixedAddExceptionTestDbl)
	TEST (secp256r1, AddMixedAddConsistencyCheck)
	TEST (secp256r1, OnCurve)
	TEST (secp256r1, BatchNormalize)
	TEST (secp256r1, GroupExponentiationZeroAndOne)
	TEST (secp256r1, GroupExponentiationConsistencyCheck)
	TEST (secp256r1, AdditionSubtractionRegressionCheck)
	We had an issue where we added field elements and subtracted a prime depending on the 2²⁵⁶ overflow. This was incorrect. Sometimes we need to subtract the prime twice. The same is true for subtractions.
	TEST (secp256r1, CheckPrecomputedGenerators)

Function Documentation

TEST() [1/25]

TEST	(	secp256r1	,
		AddDblConsistency
	)

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

TEST() [2/25]

TEST	(	secp256r1	,
		AddDblConsistencyRepeated
	)

Definition at line 254 of file secp256r1.test.cpp.

TEST() [3/25]

TEST	(	secp256r1	,
		AddExceptionTestDbl
	)

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

TEST() [4/25]

TEST	(	secp256r1	,
		AddExceptionTestInfinity
	)

Definition at line 197 of file secp256r1.test.cpp.

TEST() [5/25]

TEST	(	secp256r1	,
		AdditionSubtractionRegressionCheck
	)

We had an issue where we added field elements and subtracted a prime depending on the 2²⁵⁶ overflow. This was incorrect. Sometimes we need to subtract the prime twice. The same is true for subtractions.

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

TEST() [6/25]

TEST	(	secp256r1	,
		AddMixedAddConsistencyCheck
	)

Definition at line 312 of file secp256r1.test.cpp.

TEST() [7/25]

TEST	(	secp256r1	,
		BatchNormalize
	)

Definition at line 336 of file secp256r1.test.cpp.

TEST() [8/25]

TEST	(	secp256r1	,
		CheckGroupModulus
	)

Definition at line 186 of file secp256r1.test.cpp.

TEST() [9/25]

TEST	(	secp256r1	,
		CheckPrecomputedGenerators
	)

Definition at line 456 of file secp256r1.test.cpp.

TEST() [10/25]

TEST	(	secp256r1	,
		Eq
	)

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

TEST() [11/25]

TEST	(	secp256r1	,
		GeneratorOnCurve
	)

Definition at line 148 of file secp256r1.test.cpp.

TEST() [12/25]

TEST	(	secp256r1	,
		GroupExponentiationConsistencyCheck
	)

Definition at line 379 of file secp256r1.test.cpp.

TEST() [13/25]

TEST	(	secp256r1	,
		GroupExponentiationZeroAndOne
	)

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

TEST() [14/25]

TEST	(	secp256r1	,
		MixedAddExceptionTestDbl
	)

Definition at line 297 of file secp256r1.test.cpp.

TEST() [15/25]

TEST	(	secp256r1	,
		MixedAddExceptionTestInfinity
	)

Definition at line 277 of file secp256r1.test.cpp.

TEST() [16/25]

TEST	(	secp256r1	,
		OnCurve
	)

Definition at line 327 of file secp256r1.test.cpp.

TEST() [17/25]

TEST	(	secp256r1	,
		RandomAffineElement
	)

Definition at line 160 of file secp256r1.test.cpp.

TEST() [18/25]

TEST	(	secp256r1	,
		RandomElement
	)

Definition at line 154 of file secp256r1.test.cpp.

TEST() [19/25]

TEST	(	secp256r1	,
		TestAdd
	)

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

TEST() [20/25]

TEST	(	secp256r1	,
		TestArithmetic
	)

Definition at line 138 of file secp256r1.test.cpp.

TEST() [21/25]

TEST	(	secp256r1	,
		TestFromMontgomeryForm
	)

Definition at line 89 of file secp256r1.test.cpp.

TEST() [22/25]

TEST	(	secp256r1	,
		TestMul
	)

Definition at line 100 of file secp256r1.test.cpp.

TEST() [23/25]

TEST	(	secp256r1	,
		TestSqr
	)

Definition at line 121 of file secp256r1.test.cpp.

TEST() [24/25]

TEST	(	secp256r1	,
		TestSub
	)

Definition at line 46 of file secp256r1.test.cpp.

TEST() [25/25]

TEST	(	secp256r1	,
		TestToMontgomeryForm
	)

Definition at line 67 of file secp256r1.test.cpp.