Fix outstanding compiler errors

arkworks-rs · Jul 24, 2023 · fdb1e5a · fdb1e5a
1 parent b43614f
commit fdb1e5a
Show file tree

Hide file tree

Showing 8 changed files with 13 additions and 16 deletions.
diff --git a/ec/src/scalar_mul/glv.rs b/ec/src/scalar_mul/glv.rs
@@ -1,7 +1,6 @@
-use crate::AdditiveGroup;
 use crate::{
     short_weierstrass::{Affine, Projective, SWCurveConfig},
-    CurveGroup,
+    AdditiveGroup, CurveGroup,
 };
 use ark_ff::{PrimeField, Zero};
 use num_bigint::{BigInt, BigUint, Sign};

diff --git a/ec/src/scalar_mul/mod.rs b/ec/src/scalar_mul/mod.rs
@@ -4,8 +4,10 @@ pub mod wnaf;
 pub mod fixed_base;
 pub mod variable_base;
 
-use crate::short_weierstrass::{Affine, Projective, SWCurveConfig};
-use crate::PrimeGroup;
+use crate::{
+    short_weierstrass::{Affine, Projective, SWCurveConfig},
+    PrimeGroup,
+};
 use ark_ff::{AdditiveGroup, Zero};
 use ark_std::{
     ops::{Add, AddAssign, Mul, Neg, Sub, SubAssign},

diff --git a/ff-macros/src/montgomery/mod.rs b/ff-macros/src/montgomery/mod.rs
@@ -103,7 +103,7 @@ pub fn mont_config_helper(
     let scope_name = format_ident!("{}___", config_name.to_string().to_lowercase());
     quote::quote! {
         fn #scope_name() {
-            use ark_ff::{fields::Fp, BigInt, BigInteger, biginteger::arithmetic as fa, fields::*};
+            use ark_ff::{AdditiveGroup, fields::Fp, BigInt, BigInteger, biginteger::arithmetic as fa, fields::*};
             type B = BigInt<#limbs>;
             type F = Fp<MontBackend<#config_name, #limbs>, #limbs>;
 

diff --git a/ff/src/fields/mod.rs b/ff/src/fields/mod.rs
@@ -9,7 +9,7 @@ use ark_serialize::{
 use ark_std::{
     fmt::{Debug, Display},
     hash::Hash,
-    ops::{Add, AddAssign, Div, DivAssign, Mul, MulAssign, Neg, Sub, SubAssign},
+    ops::{AddAssign, Div, DivAssign, MulAssign, Neg, SubAssign},
     vec::Vec,
 };
 
@@ -414,7 +414,7 @@ mod no_std_tests {
         let felt2 = Fr::one() + Fr::one();
         let felt16 = felt2 * felt2 * felt2 * felt2;
 
-        assert_eq!(Fr::from(1u8),  Fr::one());
+        assert_eq!(Fr::from(1u8), Fr::one());
         assert_eq!(Fr::from(1u16), Fr::one());
         assert_eq!(Fr::from(1u32), Fr::one());
         assert_eq!(Fr::from(1u64), Fr::one());

diff --git a/ff/src/fields/models/fp/mod.rs b/ff/src/fields/models/fp/mod.rs
@@ -19,10 +19,7 @@ use ark_std::{
 mod montgomery_backend;
 pub use montgomery_backend::*;
 
-use crate::{
-    BigInt, BigInteger, FftField, Field, LegendreSymbol, PrimeField,
-    SqrtPrecomputation,
-};
+use crate::{BigInt, BigInteger, FftField, Field, LegendreSymbol, PrimeField, SqrtPrecomputation};
 /// A trait that specifies the configuration of a prime field.
 /// Also specifies how to perform arithmetic on field elements.
 pub trait FpConfig<const N: usize>: Send + Sync + 'static + Sized {

diff --git a/ff/src/lib.rs b/ff/src/lib.rs
@@ -32,6 +32,7 @@ pub use bits::*;
 
 pub(crate) mod const_helpers;
 
+pub use ark_group::AdditiveGroup;
 pub use ark_std::UniformRand;
 
 mod to_field_vec;

diff --git a/test-curves/src/bls12_381/fq2.rs b/test-curves/src/bls12_381/fq2.rs
@@ -1,5 +1,5 @@
 use crate::bls12_381::*;
-use ark_ff::{fields::*, MontFp};
+use ark_ff::{fields::*, AdditiveGroup, MontFp};
 
 pub type Fq2 = Fp2<Fq2Config>;
 

diff --git a/test-curves/src/lib.rs b/test-curves/src/lib.rs
@@ -1,10 +1,8 @@
 #![no_std]
 
-pub use ark_ff;
-pub use ark_ff::{fields::models::*, FftField, Field, LegendreSymbol, MontFp, PrimeField};
+pub use ark_ff::{self, fields::models::*, FftField, Field, LegendreSymbol, MontFp, PrimeField};
 
-pub use ark_ec;
-pub use ark_ec::*;
+pub use ark_ec::{self, *};
 
 #[cfg(any(feature = "bls12_381_scalar_field", feature = "bls12_381_curve"))]
 pub mod bls12_381;