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

tests: add checks for scalar constants secp256k1_scalar_{zero,one}

Browse Source
This commit is contained in:
Sebastian Falbesoner 2023-05-30 12:20:44 +02:00
parent 654246c635
commit ade5b36701
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/tests.c
View File

@ -2351,6 +2351,20 @@ static void run_scalar_tests(void) {
run_scalar_set_b32_seckey_tests();
}
{
/* Check that the scalar constants secp256k1_scalar_zero and
secp256k1_scalar_one contain the expected values. */
secp256k1_scalar zero, one;
CHECK(secp256k1_scalar_is_zero(&secp256k1_scalar_zero));
secp256k1_scalar_set_int(&zero, 0);
CHECK(secp256k1_scalar_eq(&zero, &secp256k1_scalar_zero));
CHECK(secp256k1_scalar_is_one(&secp256k1_scalar_one));
secp256k1_scalar_set_int(&one, 1);
CHECK(secp256k1_scalar_eq(&one, &secp256k1_scalar_one));
}
{
/* (-1)+1 should be zero. */
secp256k1_scalar o;