clean up

PolyhedraZK · Dec 9, 2024 · 4349cba · 4349cba
1 parent f1fb7a5
commit 4349cba
Show file tree

Hide file tree

Showing 6 changed files with 10 additions and 13 deletions.
diff --git a/expander_compiler/src/frontend/api.rs b/expander_compiler/src/frontend/api.rs
@@ -19,7 +19,7 @@ pub trait BasicAPI<C: Config> {
     binary_op!(xor);
     binary_op!(or);
     binary_op!(and);
-    
+
     fn display(&self, _x: impl ToVariableOrValue<C::CircuitField>) {}
     fn div(
         &mut self,

diff --git a/rsa_circuit/src/lib.rs b/rsa_circuit/src/lib.rs
@@ -5,11 +5,13 @@ mod native;
 pub use native::*;
 
 mod u120;
+pub use u120::*;
 
 mod u2048;
 pub use u2048::*;
 
 mod util;
+pub use util::*;
 
 #[cfg(test)]
 mod tests;
diff --git a/rsa_circuit/src/tests/u2048_mul_no_mod.rs b/rsa_circuit/src/tests/u2048_mul_no_mod.rs
@@ -3,9 +3,9 @@ use std::mem::transmute;
 use expander_compiler::frontend::*;
 use expander_compiler::{
     declare_circuit,
-    frontend::{BN254Config, Define, Variable, API},
+    frontend::{BN254Config, Variable},
 };
-use extra::{debug_eval, DebugAPI};
+use extra::debug_eval;
 use halo2curves::bn256::Fr;
 use num_bigint::BigUint;
 use num_traits::Num;

diff --git a/rsa_circuit/src/u120.rs b/rsa_circuit/src/u120.rs
@@ -1,6 +1,4 @@
-use expander_compiler::frontend::{
-    extra::UnconstrainedAPI, BN254Config, BasicAPI, RootAPI, Variable, API,
-};
+use expander_compiler::frontend::{BN254Config, RootAPI, Variable};
 
 #[inline]
 // TODO:

diff --git a/rsa_circuit/src/u2048.rs b/rsa_circuit/src/u2048.rs
@@ -1,6 +1,4 @@
-use expander_compiler::frontend::{
-    extra::UnconstrainedAPI, BN254Config, BasicAPI, RootAPI, Variable, API,
-};
+use expander_compiler::frontend::{BN254Config, RootAPI, Variable};
 
 use crate::{
     constants::N_LIMBS,
@@ -268,8 +266,8 @@ impl U2048Variable {
                 );
 
                 local_res[target_position] = sum;
-                addition_carries[target_position+1] =
-                    builder.add(addition_carries[target_position+1], new_carry);
+                addition_carries[target_position + 1] =
+                    builder.add(addition_carries[target_position + 1], new_carry);
 
                 // update mul_carry to result[target+1]
                 let (sum, new_carry) = add_u120(

diff --git a/rsa_circuit/src/util.rs b/rsa_circuit/src/util.rs
@@ -1,6 +1,5 @@
 use expander_compiler::frontend::*;
-use expander_compiler::frontend::{BN254Config, Variable, API};
-use extra::UnconstrainedAPI;
+use expander_compiler::frontend::{BN254Config, Variable};
 use halo2curves::bn256::Fr;
 
 pub(crate) fn unconstrained_byte_decomposition<Builder: RootAPI<BN254Config>>(