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, CurveCoefficients)
	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/19]

TEST	(	secp256r1	,
		AddDblConsistency
	)

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

TEST() [2/19]

TEST	(	secp256r1	,
		AddDblConsistencyRepeated
	)

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

TEST() [3/19]

TEST	(	secp256r1	,
		AddExceptionTestDbl
	)

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

TEST() [4/19]

TEST	(	secp256r1	,
		AddExceptionTestInfinity
	)

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

TEST() [5/19]

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 280 of file secp256r1.test.cpp.

TEST() [6/19]

TEST	(	secp256r1	,
		AddMixedAddConsistencyCheck
	)

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

TEST() [7/19]

TEST	(	secp256r1	,
		BatchNormalize
	)

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

TEST() [8/19]

TEST	(	secp256r1	,
		CheckGroupModulus
	)

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

TEST() [9/19]

TEST	(	secp256r1	,
		CheckPrecomputedGenerators
	)

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

TEST() [10/19]

TEST	(	secp256r1	,
		CurveCoefficients
	)

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

TEST() [11/19]

TEST	(	secp256r1	,
		Eq
	)

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

TEST() [12/19]

TEST	(	secp256r1	,
		GeneratorOnCurve
	)

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

TEST() [13/19]

TEST	(	secp256r1	,
		GroupExponentiationConsistencyCheck
	)

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

TEST() [14/19]

TEST	(	secp256r1	,
		GroupExponentiationZeroAndOne
	)

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

TEST() [15/19]

TEST	(	secp256r1	,
		MixedAddExceptionTestDbl
	)

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

TEST() [16/19]

TEST	(	secp256r1	,
		MixedAddExceptionTestInfinity
	)

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

TEST() [17/19]

TEST	(	secp256r1	,
		OnCurve
	)

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

TEST() [18/19]

TEST	(	secp256r1	,
		RandomAffineElement
	)

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

TEST() [19/19]

TEST	(	secp256r1	,
		RandomElement
	)

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