| 4632 | } |
| 4633 | |
| 4634 | static void ecmult_const_commutativity(void) { |
| 4635 | secp256k1_scalar a; |
| 4636 | secp256k1_scalar b; |
| 4637 | secp256k1_gej res1; |
| 4638 | secp256k1_gej res2; |
| 4639 | secp256k1_ge mid1; |
| 4640 | secp256k1_ge mid2; |
| 4641 | random_scalar_order_test(&a); |
| 4642 | random_scalar_order_test(&b); |
| 4643 | |
| 4644 | secp256k1_ecmult_const(&res1, &secp256k1_ge_const_g, &a); |
| 4645 | secp256k1_ecmult_const(&res2, &secp256k1_ge_const_g, &b); |
| 4646 | secp256k1_ge_set_gej(&mid1, &res1); |
| 4647 | secp256k1_ge_set_gej(&mid2, &res2); |
| 4648 | secp256k1_ecmult_const(&res1, &mid1, &b); |
| 4649 | secp256k1_ecmult_const(&res2, &mid2, &a); |
| 4650 | secp256k1_ge_set_gej(&mid1, &res1); |
| 4651 | secp256k1_ge_set_gej(&mid2, &res2); |
| 4652 | ge_equals_ge(&mid1, &mid2); |
| 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); |
no test coverage detected