@@ -89,16 +89,6 @@ static void uncounting_illegal_callback_fn(const char* str, void* data) {
8989 (* p )-- ;
9090}
9191
92- static void random_field_element_test (secp256k1_fe * fe ) {
93- do {
94- unsigned char b32 [32 ];
95- secp256k1_testrand256_test (b32 );
96- if (secp256k1_fe_set_b32_limit (fe , b32 )) {
97- break ;
98- }
99- } while (1 );
100- }
101-
10292static void random_field_element_magnitude (secp256k1_fe * fe ) {
10393 secp256k1_fe zero ;
10494 int n = secp256k1_testrand_int (9 );
@@ -115,10 +105,20 @@ static void random_field_element_magnitude(secp256k1_fe *fe) {
115105#endif
116106}
117107
108+ static void random_fe_test (secp256k1_fe * x ) {
109+ unsigned char bin [32 ];
110+ do {
111+ secp256k1_testrand256_test (bin );
112+ if (secp256k1_fe_set_b32_limit (x , bin )) {
113+ return ;
114+ }
115+ } while (1 );
116+ }
117+
118118static void random_group_element_test (secp256k1_ge * ge ) {
119119 secp256k1_fe fe ;
120120 do {
121- random_field_element_test (& fe );
121+ random_fe_test (& fe );
122122 if (secp256k1_ge_set_xo_var (ge , & fe , secp256k1_testrand_bits (1 ))) {
123123 secp256k1_fe_normalize (& ge -> y );
124124 break ;
@@ -130,7 +130,7 @@ static void random_group_element_test(secp256k1_ge *ge) {
130130static void random_group_element_jacobian_test (secp256k1_gej * gej , const secp256k1_ge * ge ) {
131131 secp256k1_fe z2 , z3 ;
132132 do {
133- random_field_element_test (& gej -> z );
133+ random_fe_test (& gej -> z );
134134 if (!secp256k1_fe_is_zero (& gej -> z )) {
135135 break ;
136136 }
@@ -2984,16 +2984,6 @@ static void random_fe(secp256k1_fe *x) {
29842984 } while (1 );
29852985}
29862986
2987- static void random_fe_test (secp256k1_fe * x ) {
2988- unsigned char bin [32 ];
2989- do {
2990- secp256k1_testrand256_test (bin );
2991- if (secp256k1_fe_set_b32_limit (x , bin )) {
2992- return ;
2993- }
2994- } while (1 );
2995- }
2996-
29972987static void random_fe_non_zero (secp256k1_fe * nz ) {
29982988 int tries = 10 ;
29992989 while (-- tries >= 0 ) {
@@ -3821,7 +3811,7 @@ static void test_ge(void) {
38213811
38223812 /* Generate random zf, and zfi2 = 1/zf^2, zfi3 = 1/zf^3 */
38233813 do {
3824- random_field_element_test (& zf );
3814+ random_fe_test (& zf );
38253815 } while (secp256k1_fe_is_zero (& zf ));
38263816 random_field_element_magnitude (& zf );
38273817 secp256k1_fe_inv_var (& zfi3 , & zf );
@@ -3830,7 +3820,7 @@ static void test_ge(void) {
38303820
38313821 /* Generate random r */
38323822 do {
3833- random_field_element_test (& r );
3823+ random_fe_test (& r );
38343824 } while (secp256k1_fe_is_zero (& r ));
38353825
38363826 for (i1 = 0 ; i1 < 1 + 4 * runs ; i1 ++ ) {
@@ -4148,7 +4138,7 @@ static void run_gej(void) {
41484138 CHECK (!secp256k1_gej_eq_var (& a , & b ));
41494139
41504140 b = a ;
4151- random_field_element_test (& fe );
4141+ random_fe_test (& fe );
41524142 if (secp256k1_fe_is_zero (& fe )) {
41534143 continue ;
41544144 }
@@ -4591,7 +4581,7 @@ static void ecmult_const_mult_xonly(void) {
45914581 /* If i is odd, n=d*base.x for random non-zero d */
45924582 if (i & 1 ) {
45934583 do {
4594- random_field_element_test (& d );
4584+ random_fe_test (& d );
45954585 } while (secp256k1_fe_normalizes_to_zero_var (& d ));
45964586 secp256k1_fe_mul (& n , & base .x , & d );
45974587 } else {
@@ -4617,12 +4607,12 @@ static void ecmult_const_mult_xonly(void) {
46174607 random_scalar_order_test (& q );
46184608 /* Generate random X coordinate not on the curve. */
46194609 do {
4620- random_field_element_test (& x );
4610+ random_fe_test (& x );
46214611 } while (secp256k1_ge_x_on_curve_var (& x ));
46224612 /* If i is odd, n=d*x for random non-zero d. */
46234613 if (i & 1 ) {
46244614 do {
4625- random_field_element_test (& d );
4615+ random_fe_test (& d );
46264616 } while (secp256k1_fe_normalizes_to_zero_var (& d ));
46274617 secp256k1_fe_mul (& n , & x , & d );
46284618 } else {
0 commit comments