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, 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/18]

TEST	(	secp256r1	,
		AddDblConsistency
	)

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

TEST() [2/18]

TEST	(	secp256r1	,
		AddDblConsistencyRepeated
	)

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

TEST() [3/18]

TEST	(	secp256r1	,
		AddExceptionTestDbl
	)

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

TEST() [4/18]

TEST	(	secp256r1	,
		AddExceptionTestInfinity
	)

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

TEST() [5/18]

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

TEST() [6/18]

TEST	(	secp256r1	,
		AddMixedAddConsistencyCheck
	)

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

TEST() [7/18]

TEST	(	secp256r1	,
		BatchNormalize
	)

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

TEST() [8/18]

TEST	(	secp256r1	,
		CheckGroupModulus
	)

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

TEST() [9/18]

TEST	(	secp256r1	,
		CheckPrecomputedGenerators
	)

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

TEST() [10/18]

TEST	(	secp256r1	,
		Eq
	)

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

TEST() [11/18]

TEST	(	secp256r1	,
		GeneratorOnCurve
	)

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

TEST() [12/18]

TEST	(	secp256r1	,
		GroupExponentiationConsistencyCheck
	)

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

TEST() [13/18]

TEST	(	secp256r1	,
		GroupExponentiationZeroAndOne
	)

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

TEST() [14/18]

TEST	(	secp256r1	,
		MixedAddExceptionTestDbl
	)

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

TEST() [15/18]

TEST	(	secp256r1	,
		MixedAddExceptionTestInfinity
	)

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

TEST() [16/18]

TEST	(	secp256r1	,
		OnCurve
	)

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

TEST() [17/18]

TEST	(	secp256r1	,
		RandomAffineElement
	)

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

TEST() [18/18]

TEST	(	secp256r1	,
		RandomElement
	)

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