frost/secp256k1-zkp
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

tests: Drop redundant _scalar_check_overflow calls

Browse Source 
Redundant since d23da6d557.
This commit is contained in:
Tim Ruffing
2024-01-17 16:54:04 +01:00
parent e4af41c61b
commit 51df2d9ab3
1 changed files with 0 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/tests.c
View File

@@ -2927,18 +2927,14 @@ static void run_scalar_tests(void) {
secp256k1_scalar_set_b32(&r2, res[i][1], &overflow); secp256k1_scalar_set_b32(&r2, res[i][1], &overflow);
CHECK(!overflow); CHECK(!overflow);
secp256k1_scalar_mul(&z, &x, &y); secp256k1_scalar_mul(&z, &x, &y);
CHECK(!secp256k1_scalar_check_overflow(&z));
CHECK(secp256k1_scalar_eq(&r1, &z)); CHECK(secp256k1_scalar_eq(&r1, &z));
if (!secp256k1_scalar_is_zero(&y)) { if (!secp256k1_scalar_is_zero(&y)) {
secp256k1_scalar_inverse(&zz, &y); secp256k1_scalar_inverse(&zz, &y);
CHECK(!secp256k1_scalar_check_overflow(&zz));
secp256k1_scalar_inverse_var(&zzv, &y); secp256k1_scalar_inverse_var(&zzv, &y);
CHECK(secp256k1_scalar_eq(&zzv, &zz)); CHECK(secp256k1_scalar_eq(&zzv, &zz));
secp256k1_scalar_mul(&z, &z, &zz); secp256k1_scalar_mul(&z, &z, &zz);
CHECK(!secp256k1_scalar_check_overflow(&z));
CHECK(secp256k1_scalar_eq(&x, &z)); CHECK(secp256k1_scalar_eq(&x, &z));
secp256k1_scalar_mul(&zz, &zz, &y); secp256k1_scalar_mul(&zz, &zz, &y);
CHECK(!secp256k1_scalar_check_overflow(&zz));
CHECK(secp256k1_scalar_eq(&secp256k1_scalar_one, &zz)); CHECK(secp256k1_scalar_eq(&secp256k1_scalar_one, &zz));
} }
secp256k1_scalar_mul(&z, &x, &x); secp256k1_scalar_mul(&z, &x, &x);