@@ -89,16 +89,6 @@ static void uncounting_illegal_callback_fn(const char* str, void* data) {
89
89
(* p )-- ;
90
90
}
91
91
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
-
102
92
static void random_field_element_magnitude (secp256k1_fe * fe ) {
103
93
secp256k1_fe zero ;
104
94
int n = secp256k1_testrand_int (9 );
@@ -115,10 +105,20 @@ static void random_field_element_magnitude(secp256k1_fe *fe) {
115
105
#endif
116
106
}
117
107
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
+
118
118
static void random_group_element_test (secp256k1_ge * ge ) {
119
119
secp256k1_fe fe ;
120
120
do {
121
- random_field_element_test (& fe );
121
+ random_fe_test (& fe );
122
122
if (secp256k1_ge_set_xo_var (ge , & fe , secp256k1_testrand_bits (1 ))) {
123
123
secp256k1_fe_normalize (& ge -> y );
124
124
break ;
@@ -130,7 +130,7 @@ static void random_group_element_test(secp256k1_ge *ge) {
130
130
static void random_group_element_jacobian_test (secp256k1_gej * gej , const secp256k1_ge * ge ) {
131
131
secp256k1_fe z2 , z3 ;
132
132
do {
133
- random_field_element_test (& gej -> z );
133
+ random_fe_test (& gej -> z );
134
134
if (!secp256k1_fe_is_zero (& gej -> z )) {
135
135
break ;
136
136
}
@@ -2984,16 +2984,6 @@ static void random_fe(secp256k1_fe *x) {
2984
2984
} while (1 );
2985
2985
}
2986
2986
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
-
2997
2987
static void random_fe_non_zero (secp256k1_fe * nz ) {
2998
2988
int tries = 10 ;
2999
2989
while (-- tries >= 0 ) {
@@ -3821,7 +3811,7 @@ static void test_ge(void) {
3821
3811
3822
3812
/* Generate random zf, and zfi2 = 1/zf^2, zfi3 = 1/zf^3 */
3823
3813
do {
3824
- random_field_element_test (& zf );
3814
+ random_fe_test (& zf );
3825
3815
} while (secp256k1_fe_is_zero (& zf ));
3826
3816
random_field_element_magnitude (& zf );
3827
3817
secp256k1_fe_inv_var (& zfi3 , & zf );
@@ -3830,7 +3820,7 @@ static void test_ge(void) {
3830
3820
3831
3821
/* Generate random r */
3832
3822
do {
3833
- random_field_element_test (& r );
3823
+ random_fe_test (& r );
3834
3824
} while (secp256k1_fe_is_zero (& r ));
3835
3825
3836
3826
for (i1 = 0 ; i1 < 1 + 4 * runs ; i1 ++ ) {
@@ -4148,7 +4138,7 @@ static void run_gej(void) {
4148
4138
CHECK (!secp256k1_gej_eq_var (& a , & b ));
4149
4139
4150
4140
b = a ;
4151
- random_field_element_test (& fe );
4141
+ random_fe_test (& fe );
4152
4142
if (secp256k1_fe_is_zero (& fe )) {
4153
4143
continue ;
4154
4144
}
@@ -4591,7 +4581,7 @@ static void ecmult_const_mult_xonly(void) {
4591
4581
/* If i is odd, n=d*base.x for random non-zero d */
4592
4582
if (i & 1 ) {
4593
4583
do {
4594
- random_field_element_test (& d );
4584
+ random_fe_test (& d );
4595
4585
} while (secp256k1_fe_normalizes_to_zero_var (& d ));
4596
4586
secp256k1_fe_mul (& n , & base .x , & d );
4597
4587
} else {
@@ -4617,12 +4607,12 @@ static void ecmult_const_mult_xonly(void) {
4617
4607
random_scalar_order_test (& q );
4618
4608
/* Generate random X coordinate not on the curve. */
4619
4609
do {
4620
- random_field_element_test (& x );
4610
+ random_fe_test (& x );
4621
4611
} while (secp256k1_ge_x_on_curve_var (& x ));
4622
4612
/* If i is odd, n=d*x for random non-zero d. */
4623
4613
if (i & 1 ) {
4624
4614
do {
4625
- random_field_element_test (& d );
4615
+ random_fe_test (& d );
4626
4616
} while (secp256k1_fe_normalizes_to_zero_var (& d ));
4627
4617
secp256k1_fe_mul (& n , & x , & d );
4628
4618
} else {
0 commit comments