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

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

TEST() [2/4]

TEST	(	secp256r1	,
		CheckPrecomputedGenerators
	)

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

TEST() [3/4]

TEST	(	secp256r1	,
		CurveCoefficients
	)

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

TEST() [4/4]

TEST	(	secp256r1	,
		GeneratorOnCurve
	)

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