File tree 3 files changed +2
-15
lines changed
3 files changed +2
-15
lines changed Original file line number Diff line number Diff line change @@ -416,7 +416,7 @@ mod tests {
416
416
// compute n = 2^\ell
417
417
let n = ell. pow2 ( ) ;
418
418
// compute m = sqrt(n) = 2^{\ell/2}
419
- let m = n . square_root ( ) ;
419
+ let m = ( n as f64 ) . sqrt ( ) as usize ;
420
420
421
421
// compute vector-matrix product between L and Z viewed as a matrix
422
422
let LZ = ( 0 ..m)
@@ -455,7 +455,7 @@ mod tests {
455
455
let ell = r. len ( ) ;
456
456
assert ! ( ell % 2 == 0 ) ; // ensure ell is even
457
457
let n = ell. pow2 ( ) ;
458
- let m = n . square_root ( ) ;
458
+ let m = ( n as f64 ) . sqrt ( ) as usize ;
459
459
460
460
// compute row vector L
461
461
for i in 0 ..m {
Original file line number Diff line number Diff line change 1
1
pub trait Math {
2
- fn square_root ( self ) -> usize ;
3
2
fn pow2 ( self ) -> usize ;
4
3
fn get_bits ( self , num_bits : usize ) -> Vec < bool > ;
5
4
fn log_2 ( self ) -> usize ;
6
5
}
7
6
8
7
impl Math for usize {
9
- #[ inline]
10
- fn square_root ( self ) -> usize {
11
- ( self as f64 ) . sqrt ( ) as usize
12
- }
13
-
14
8
#[ inline]
15
9
fn pow2 ( self ) -> usize {
16
10
let base: usize = 2 ;
Original file line number Diff line number Diff line change @@ -27,17 +27,10 @@ impl ScalarFromPrimitives for bool {
27
27
28
28
pub trait ScalarBytesFromScalar {
29
29
fn decompress_scalar ( s : & Scalar ) -> ScalarBytes ;
30
- fn decompress_vector ( s : & [ Scalar ] ) -> Vec < ScalarBytes > ;
31
30
}
32
31
33
32
impl ScalarBytesFromScalar for Scalar {
34
33
fn decompress_scalar ( s : & Scalar ) -> ScalarBytes {
35
34
ScalarBytes :: from_bytes_mod_order ( s. to_bytes ( ) )
36
35
}
37
-
38
- fn decompress_vector ( s : & [ Scalar ] ) -> Vec < ScalarBytes > {
39
- ( 0 ..s. len ( ) )
40
- . map ( |i| Scalar :: decompress_scalar ( & s[ i] ) )
41
- . collect :: < Vec < ScalarBytes > > ( )
42
- }
43
36
}
You can’t perform that action at this time.
0 commit comments