void run_scalar_tests(void) { for (int i = 0; i < 128 * count; i++) { scalar_test(); } { /* (-1)+1 should be zero. */ secp256k1_scalar_t s, o; secp256k1_scalar_set_int(&s, 1); secp256k1_scalar_negate(&o, &s); secp256k1_scalar_add(&o, &o, &s); CHECK(secp256k1_scalar_is_zero(&o)); } #ifndef USE_NUM_NONE { /* A scalar with value of the curve order should be 0. */ secp256k1_num_t order; secp256k1_scalar_order_get_num(&order); unsigned char bin[32]; secp256k1_num_get_bin(bin, 32, &order); secp256k1_scalar_t zero; int overflow = 0; secp256k1_scalar_set_b32(&zero, bin, &overflow); CHECK(overflow == 1); CHECK(secp256k1_scalar_is_zero(&zero)); } #endif }
void run_scalar_tests(void) { for (int i = 0; i < 128 * count; i++) { scalar_test(); } }