File tree Expand file tree Collapse file tree 4 files changed +8
-8
lines changed Expand file tree Collapse file tree 4 files changed +8
-8
lines changed Original file line number Diff line number Diff line change @@ -153,9 +153,9 @@ mod test {
153
153
let eight = DecafScalar :: from ( 8u8 ) ;
154
154
let four = DecafScalar :: from ( 4u8 ) ;
155
155
let two = DecafScalar :: from ( 2u8 ) ;
156
- assert_eq ! ( eight. halve ( ) , four) ;
157
- assert_eq ! ( four. halve ( ) , two) ;
158
- assert_eq ! ( two. halve ( ) , DecafScalar :: ONE ) ;
156
+ assert_eq ! ( eight. div_by_2 ( ) , four) ;
157
+ assert_eq ! ( four. div_by_2 ( ) , two) ;
158
+ assert_eq ! ( two. div_by_2 ( ) , DecafScalar :: ONE ) ;
159
159
}
160
160
161
161
#[ test]
Original file line number Diff line number Diff line change @@ -334,7 +334,7 @@ impl EdwardsPoint {
334
334
/// Generic scalar multiplication to compute s*P
335
335
pub fn scalar_mul ( & self , scalar : & EdwardsScalar ) -> Self {
336
336
// Compute floor(s/4)
337
- let scalar_div_four = scalar. halve ( ) . halve ( ) ;
337
+ let scalar_div_four = scalar. div_by_2 ( ) . div_by_2 ( ) ;
338
338
339
339
// Use isogeny and dual isogeny to compute phi^-1((s/4) * phi(P))
340
340
variable_base ( & self . to_twisted ( ) , & scalar_div_four) . to_untwisted ( )
Original file line number Diff line number Diff line change @@ -169,9 +169,9 @@ mod test {
169
169
let eight = EdwardsScalar :: from ( 8u8 ) ;
170
170
let four = EdwardsScalar :: from ( 4u8 ) ;
171
171
let two = EdwardsScalar :: from ( 2u8 ) ;
172
- assert_eq ! ( eight. halve ( ) , four) ;
173
- assert_eq ! ( four. halve ( ) , two) ;
174
- assert_eq ! ( two. halve ( ) , EdwardsScalar :: ONE ) ;
172
+ assert_eq ! ( eight. div_by_2 ( ) , four) ;
173
+ assert_eq ! ( four. div_by_2 ( ) , two) ;
174
+ assert_eq ! ( two. div_by_2 ( ) , EdwardsScalar :: ONE ) ;
175
175
}
176
176
177
177
#[ test]
Original file line number Diff line number Diff line change @@ -771,7 +771,7 @@ impl<C: CurveWithScalar> Scalar<C> {
771
771
}
772
772
773
773
/// Halves a Scalar modulo the prime
774
- pub fn halve ( & self ) -> Self {
774
+ pub fn div_by_2 ( & self ) -> Self {
775
775
let is_odd = self . scalar . is_odd ( ) ;
776
776
let if_odd = self . scalar + * ORDER ;
777
777
let scalar = U448 :: conditional_select ( & self . scalar , & if_odd, is_odd) ;
You can’t perform that action at this time.
0 commit comments