| 4653 | } |
| 4654 | |
| 4655 | static void ecmult_const_mult_zero_one(void) { |
| 4656 | secp256k1_scalar zero = SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0); |
| 4657 | secp256k1_scalar one = SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 1); |
| 4658 | secp256k1_scalar negone; |
| 4659 | secp256k1_gej res1; |
| 4660 | secp256k1_ge res2; |
| 4661 | secp256k1_ge point; |
| 4662 | secp256k1_scalar_negate(&negone, &one); |
| 4663 | |
| 4664 | random_group_element_test(&point); |
| 4665 | secp256k1_ecmult_const(&res1, &point, &zero); |
| 4666 | secp256k1_ge_set_gej(&res2, &res1); |
| 4667 | CHECK(secp256k1_ge_is_infinity(&res2)); |
| 4668 | secp256k1_ecmult_const(&res1, &point, &one); |
| 4669 | secp256k1_ge_set_gej(&res2, &res1); |
| 4670 | ge_equals_ge(&res2, &point); |
| 4671 | secp256k1_ecmult_const(&res1, &point, &negone); |
| 4672 | secp256k1_gej_neg(&res1, &res1); |
| 4673 | secp256k1_ge_set_gej(&res2, &res1); |
| 4674 | ge_equals_ge(&res2, &point); |
| 4675 | } |
| 4676 | |
| 4677 | static void ecmult_const_mult_xonly(void) { |
| 4678 | int i; |
no test coverage detected