Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 75ce488

Browse files
committedJun 28, 2021
Merge bitcoin-core/secp256k1#959: tests: really test the non-var scalar inverse
41ed139 tests: really test the non-var scalar inverse (Nicolas Iooss) Pull request description: ACKs for top commit: real-or-random: ACK 41ed139 jonasnick: ACK 41ed139 Tree-SHA512: d501300fea3f24af669556317ca899f6d184a2b1b64a3705417fce7c028288348555942604672eafa3ec59884849655a55cd9aacdd9ca8e34edf21b081702438
2 parents 8ae56e3 + 41ed139 commit 75ce488

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed
 

‎src/tests.c

+3-3
Original file line numberDiff line numberDiff line change
@@ -2595,7 +2595,7 @@ void test_inverse_scalar(secp256k1_scalar* out, const secp256k1_scalar* x, int v
25952595
{
25962596
secp256k1_scalar l, r, t;
25972597

2598-
(var ? secp256k1_scalar_inverse_var : secp256k1_scalar_inverse_var)(&l, x); /* l = 1/x */
2598+
(var ? secp256k1_scalar_inverse_var : secp256k1_scalar_inverse)(&l, x); /* l = 1/x */
25992599
if (out) *out = l;
26002600
if (secp256k1_scalar_is_zero(x)) {
26012601
CHECK(secp256k1_scalar_is_zero(&l));
@@ -2605,9 +2605,9 @@ void test_inverse_scalar(secp256k1_scalar* out, const secp256k1_scalar* x, int v
26052605
CHECK(secp256k1_scalar_is_one(&t)); /* x*(1/x) == 1 */
26062606
secp256k1_scalar_add(&r, x, &scalar_minus_one); /* r = x-1 */
26072607
if (secp256k1_scalar_is_zero(&r)) return;
2608-
(var ? secp256k1_scalar_inverse_var : secp256k1_scalar_inverse_var)(&r, &r); /* r = 1/(x-1) */
2608+
(var ? secp256k1_scalar_inverse_var : secp256k1_scalar_inverse)(&r, &r); /* r = 1/(x-1) */
26092609
secp256k1_scalar_add(&l, &scalar_minus_one, &l); /* l = 1/x-1 */
2610-
(var ? secp256k1_scalar_inverse_var : secp256k1_scalar_inverse_var)(&l, &l); /* l = 1/(1/x-1) */
2610+
(var ? secp256k1_scalar_inverse_var : secp256k1_scalar_inverse)(&l, &l); /* l = 1/(1/x-1) */
26112611
secp256k1_scalar_add(&l, &l, &secp256k1_scalar_one); /* l = 1/(1/x-1)+1 */
26122612
secp256k1_scalar_add(&l, &r, &l); /* l = 1/(1/x-1)+1 + 1/(x-1) */
26132613
CHECK(secp256k1_scalar_is_zero(&l)); /* l == 0 */

0 commit comments

Comments
 (0)