@@ -2304,26 +2304,23 @@ static void scalar_test(void) {
23042304
23052305 {
23062306 /* Test multiplicative identity. */
2307- secp256k1_scalar r1 , v1 ;
2308- secp256k1_scalar_set_int (& v1 ,1 );
2309- secp256k1_scalar_mul (& r1 , & s1 , & v1 );
2307+ secp256k1_scalar r1 ;
2308+ secp256k1_scalar_mul (& r1 , & s1 , & secp256k1_scalar_one );
23102309 CHECK (secp256k1_scalar_eq (& r1 , & s1 ));
23112310 }
23122311
23132312 {
23142313 /* Test additive identity. */
2315- secp256k1_scalar r1 , v0 ;
2316- secp256k1_scalar_set_int (& v0 ,0 );
2317- secp256k1_scalar_add (& r1 , & s1 , & v0 );
2314+ secp256k1_scalar r1 ;
2315+ secp256k1_scalar_add (& r1 , & s1 , & secp256k1_scalar_zero );
23182316 CHECK (secp256k1_scalar_eq (& r1 , & s1 ));
23192317 }
23202318
23212319 {
23222320 /* Test zero product property. */
2323- secp256k1_scalar r1 , v0 ;
2324- secp256k1_scalar_set_int (& v0 ,0 );
2325- secp256k1_scalar_mul (& r1 , & s1 , & v0 );
2326- CHECK (secp256k1_scalar_eq (& r1 , & v0 ));
2321+ secp256k1_scalar r1 ;
2322+ secp256k1_scalar_mul (& r1 , & s1 , & secp256k1_scalar_zero );
2323+ CHECK (secp256k1_scalar_eq (& r1 , & secp256k1_scalar_zero ));
23272324 }
23282325
23292326}
@@ -2356,11 +2353,9 @@ static void run_scalar_tests(void) {
23562353
23572354 {
23582355 /* (-1)+1 should be zero. */
2359- secp256k1_scalar s , o ;
2360- secp256k1_scalar_set_int (& s , 1 );
2361- CHECK (secp256k1_scalar_is_one (& s ));
2362- secp256k1_scalar_negate (& o , & s );
2363- secp256k1_scalar_add (& o , & o , & s );
2356+ secp256k1_scalar o ;
2357+ secp256k1_scalar_negate (& o , & secp256k1_scalar_one );
2358+ secp256k1_scalar_add (& o , & o , & secp256k1_scalar_one );
23642359 CHECK (secp256k1_scalar_is_zero (& o ));
23652360 secp256k1_scalar_negate (& o , & o );
23662361 CHECK (secp256k1_scalar_is_zero (& o ));
@@ -2385,7 +2380,6 @@ static void run_scalar_tests(void) {
23852380 secp256k1_scalar y ;
23862381 secp256k1_scalar z ;
23872382 secp256k1_scalar zz ;
2388- secp256k1_scalar one ;
23892383 secp256k1_scalar r1 ;
23902384 secp256k1_scalar r2 ;
23912385 secp256k1_scalar zzv ;
@@ -2922,7 +2916,6 @@ static void run_scalar_tests(void) {
29222916 0x1e , 0x86 , 0x5d , 0x89 , 0x63 , 0xe6 , 0x0a , 0x46 ,
29232917 0x5c , 0x02 , 0x97 , 0x1b , 0x62 , 0x43 , 0x86 , 0xf5 }}
29242918 };
2925- secp256k1_scalar_set_int (& one , 1 );
29262919 for (i = 0 ; i < 33 ; i ++ ) {
29272920 secp256k1_scalar_set_b32 (& x , chal [i ][0 ], & overflow );
29282921 CHECK (!overflow );
@@ -2945,7 +2938,7 @@ static void run_scalar_tests(void) {
29452938 CHECK (secp256k1_scalar_eq (& x , & z ));
29462939 secp256k1_scalar_mul (& zz , & zz , & y );
29472940 CHECK (!secp256k1_scalar_check_overflow (& zz ));
2948- CHECK (secp256k1_scalar_eq (& one , & zz ));
2941+ CHECK (secp256k1_scalar_eq (& secp256k1_scalar_one , & zz ));
29492942 }
29502943 }
29512944 }
@@ -4643,7 +4636,6 @@ static int ecmult_multi_false_callback(secp256k1_scalar *sc, secp256k1_ge *pt, s
46434636
46444637static void test_ecmult_multi (secp256k1_scratch * scratch , secp256k1_ecmult_multi_func ecmult_multi ) {
46454638 int ncount ;
4646- secp256k1_scalar szero ;
46474639 secp256k1_scalar sc [32 ];
46484640 secp256k1_ge pt [32 ];
46494641 secp256k1_gej r ;
@@ -4652,7 +4644,6 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
46524644
46534645 data .sc = sc ;
46544646 data .pt = pt ;
4655- secp256k1_scalar_set_int (& szero , 0 );
46564647
46574648 /* No points to multiply */
46584649 CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , NULL , ecmult_multi_callback , & data , 0 ));
@@ -4670,21 +4661,21 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
46704661 pt [1 ] = secp256k1_ge_const_g ;
46714662
46724663 /* only G scalar */
4673- secp256k1_ecmult (& r2 , & ptgj , & szero , & sc [0 ]);
4664+ secp256k1_ecmult (& r2 , & ptgj , & secp256k1_scalar_zero , & sc [0 ]);
46744665 CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & sc [0 ], ecmult_multi_callback , & data , 0 ));
46754666 CHECK (secp256k1_gej_eq_var (& r , & r2 ));
46764667
46774668 /* 1-point */
4678- secp256k1_ecmult (& r2 , & ptgj , & sc [0 ], & szero );
4679- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , 1 ));
4669+ secp256k1_ecmult (& r2 , & ptgj , & sc [0 ], & secp256k1_scalar_zero );
4670+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , 1 ));
46804671 CHECK (secp256k1_gej_eq_var (& r , & r2 ));
46814672
46824673 /* Try to multiply 1 point, but callback returns false */
4683- CHECK (!ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_false_callback , & data , 1 ));
4674+ CHECK (!ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_false_callback , & data , 1 ));
46844675
46854676 /* 2-point */
46864677 secp256k1_ecmult (& r2 , & ptgj , & sc [0 ], & sc [1 ]);
4687- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , 2 ));
4678+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , 2 ));
46884679 CHECK (secp256k1_gej_eq_var (& r , & r2 ));
46894680
46904681 /* 2-point with G scalar */
@@ -4704,7 +4695,7 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
47044695 random_scalar_order (& sc [i ]);
47054696 secp256k1_ge_set_infinity (& pt [i ]);
47064697 }
4707- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , sizes [j ]));
4698+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , sizes [j ]));
47084699 CHECK (secp256k1_gej_is_infinity (& r ));
47094700 }
47104701
@@ -4714,7 +4705,7 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
47144705 pt [i ] = ptg ;
47154706 secp256k1_scalar_set_int (& sc [i ], 0 );
47164707 }
4717- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , sizes [j ]));
4708+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , sizes [j ]));
47184709 CHECK (secp256k1_gej_is_infinity (& r ));
47194710 }
47204711
@@ -4727,7 +4718,7 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
47274718 pt [2 * i + 1 ] = ptg ;
47284719 }
47294720
4730- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , sizes [j ]));
4721+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , sizes [j ]));
47314722 CHECK (secp256k1_gej_is_infinity (& r ));
47324723
47334724 random_scalar_order (& sc [0 ]);
@@ -4740,7 +4731,7 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
47404731 secp256k1_ge_neg (& pt [2 * i + 1 ], & pt [2 * i ]);
47414732 }
47424733
4743- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , sizes [j ]));
4734+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , sizes [j ]));
47444735 CHECK (secp256k1_gej_is_infinity (& r ));
47454736 }
47464737
@@ -4755,7 +4746,7 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
47554746 secp256k1_scalar_negate (& sc [i ], & sc [i ]);
47564747 }
47574748
4758- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , 32 ));
4749+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , 32 ));
47594750 CHECK (secp256k1_gej_is_infinity (& r ));
47604751 }
47614752
@@ -4773,8 +4764,8 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
47734764 secp256k1_gej_add_ge_var (& r , & r , & pt [i ], NULL );
47744765 }
47754766
4776- secp256k1_ecmult (& r2 , & r , & sc [0 ], & szero );
4777- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , 20 ));
4767+ secp256k1_ecmult (& r2 , & r , & sc [0 ], & secp256k1_scalar_zero );
4768+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , 20 ));
47784769 CHECK (secp256k1_gej_eq_var (& r , & r2 ));
47794770 }
47804771
@@ -4794,8 +4785,8 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
47944785 }
47954786
47964787 secp256k1_gej_set_ge (& p0j , & pt [0 ]);
4797- secp256k1_ecmult (& r2 , & p0j , & rs , & szero );
4798- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , 20 ));
4788+ secp256k1_ecmult (& r2 , & p0j , & rs , & secp256k1_scalar_zero );
4789+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , 20 ));
47994790 CHECK (secp256k1_gej_eq_var (& r , & r2 ));
48004791 }
48014792
@@ -4806,13 +4797,13 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
48064797 }
48074798
48084799 secp256k1_scalar_clear (& sc [0 ]);
4809- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , 20 ));
4800+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , 20 ));
48104801 secp256k1_scalar_clear (& sc [1 ]);
48114802 secp256k1_scalar_clear (& sc [2 ]);
48124803 secp256k1_scalar_clear (& sc [3 ]);
48134804 secp256k1_scalar_clear (& sc [4 ]);
4814- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , 6 ));
4815- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & szero , ecmult_multi_callback , & data , 5 ));
4805+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , 6 ));
4806+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , 5 ));
48164807 CHECK (secp256k1_gej_is_infinity (& r ));
48174808
48184809 /* Run through s0*(t0*P) + s1*(t1*P) exhaustively for many small values of s0, s1, t0, t1 */
@@ -4836,8 +4827,8 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
48364827 secp256k1_scalar_set_int (& t1 , (t1i + 1 ) / 2 );
48374828 secp256k1_scalar_cond_negate (& t1 , t1i & 1 );
48384829
4839- secp256k1_ecmult (& t0p , & ptgj , & t0 , & szero );
4840- secp256k1_ecmult (& t1p , & ptgj , & t1 , & szero );
4830+ secp256k1_ecmult (& t0p , & ptgj , & t0 , & secp256k1_scalar_zero );
4831+ secp256k1_ecmult (& t1p , & ptgj , & t1 , & secp256k1_scalar_zero );
48414832
48424833 for (s0i = 0 ; s0i < TOP ; s0i ++ ) {
48434834 for (s1i = 0 ; s1i < TOP ; s1i ++ ) {
@@ -4856,8 +4847,8 @@ static void test_ecmult_multi(secp256k1_scratch *scratch, secp256k1_ecmult_multi
48564847 secp256k1_scalar_mul (& tmp2 , & t1 , & sc [1 ]);
48574848 secp256k1_scalar_add (& tmp1 , & tmp1 , & tmp2 );
48584849
4859- secp256k1_ecmult (& expected , & ptgj , & tmp1 , & szero );
4860- CHECK (ecmult_multi (& CTX -> error_callback , scratch , & actual , & szero , ecmult_multi_callback , & data , 2 ));
4850+ secp256k1_ecmult (& expected , & ptgj , & tmp1 , & secp256k1_scalar_zero );
4851+ CHECK (ecmult_multi (& CTX -> error_callback , scratch , & actual , & secp256k1_scalar_zero , ecmult_multi_callback , & data , 2 ));
48614852 CHECK (secp256k1_gej_eq_var (& actual , & expected ));
48624853 }
48634854 }
@@ -5033,7 +5024,6 @@ static int test_ecmult_multi_random(secp256k1_scratch *scratch) {
50335024}
50345025
50355026static void test_ecmult_multi_batch_single (secp256k1_ecmult_multi_func ecmult_multi ) {
5036- secp256k1_scalar szero ;
50375027 secp256k1_scalar sc ;
50385028 secp256k1_ge pt ;
50395029 secp256k1_gej r ;
@@ -5044,11 +5034,10 @@ static void test_ecmult_multi_batch_single(secp256k1_ecmult_multi_func ecmult_mu
50445034 random_scalar_order (& sc );
50455035 data .sc = & sc ;
50465036 data .pt = & pt ;
5047- secp256k1_scalar_set_int (& szero , 0 );
50485037
50495038 /* Try to multiply 1 point, but scratch space is empty.*/
50505039 scratch_empty = secp256k1_scratch_create (& CTX -> error_callback , 0 );
5051- CHECK (!ecmult_multi (& CTX -> error_callback , scratch_empty , & r , & szero , ecmult_multi_callback , & data , 1 ));
5040+ CHECK (!ecmult_multi (& CTX -> error_callback , scratch_empty , & r , & secp256k1_scalar_zero , ecmult_multi_callback , & data , 1 ));
50525041 secp256k1_scratch_destroy (& CTX -> error_callback , scratch_empty );
50535042}
50545043
@@ -5156,7 +5145,6 @@ static void test_ecmult_multi_batch_size_helper(void) {
51565145static void test_ecmult_multi_batching (void ) {
51575146 static const int n_points = 2 * ECMULT_PIPPENGER_THRESHOLD ;
51585147 secp256k1_scalar scG ;
5159- secp256k1_scalar szero ;
51605148 secp256k1_scalar * sc = (secp256k1_scalar * )checked_malloc (& CTX -> error_callback , sizeof (secp256k1_scalar ) * n_points );
51615149 secp256k1_ge * pt = (secp256k1_ge * )checked_malloc (& CTX -> error_callback , sizeof (secp256k1_ge ) * n_points );
51625150 secp256k1_gej r ;
@@ -5166,11 +5154,10 @@ static void test_ecmult_multi_batching(void) {
51665154 secp256k1_scratch * scratch ;
51675155
51685156 secp256k1_gej_set_infinity (& r2 );
5169- secp256k1_scalar_set_int (& szero , 0 );
51705157
51715158 /* Get random scalars and group elements and compute result */
51725159 random_scalar_order (& scG );
5173- secp256k1_ecmult (& r2 , & r2 , & szero , & scG );
5160+ secp256k1_ecmult (& r2 , & r2 , & secp256k1_scalar_zero , & scG );
51745161 for (i = 0 ; i < n_points ; i ++ ) {
51755162 secp256k1_ge ptg ;
51765163 secp256k1_gej ptgj ;
0 commit comments