chore(fflonk): fmt

matter-labs · Oct 24, 2024 · c72bcf5 · c72bcf5
1 parent 0423c4c
commit c72bcf5
Showing 1 changed file with 13 additions and 20 deletions.
diff --git a/crates/fflonk/src/test.rs b/crates/fflonk/src/test.rs
@@ -1,26 +1,19 @@
-use circuit_definitions::{
-    boojum::pairing::ff::Field,
-    snark_wrapper::franklin_crypto::bellman::{
-        bn256::{Bn256, Fr},
-        plonk::{
-            better_better_cs::{
-                cs::{Circuit, PlonkCsWidth3Params, SetupAssembly},
-                gates::naive_main_gate::NaiveMainGate,
-            },
-            commitments::transcript::keccak_transcript::RollingKeccakTranscript,
-            polynomials::Polynomial,
-        },
-        worker::Worker,
+use circuit_definitions::circuit_definitions::{
+    aux_layer::{
+        wrapper::ZkSyncCompressionWrapper, ZkSyncCompressionForWrapperCircuit, ZkSyncCompressionProofForWrapper, ZkSyncCompressionVerificationKey, ZkSyncCompressionVerificationKeyForWrapper,
     },
+    recursion_layer::{ZkSyncRecursionLayerProof, ZkSyncRecursionLayerVerificationKey},
 };
-use circuit_definitions::{
-    boojum::pairing::ff::PrimeField,
-    circuit_definitions::{
-        aux_layer::{
-            wrapper::ZkSyncCompressionWrapper, ZkSyncCompressionForWrapperCircuit, ZkSyncCompressionProofForWrapper, ZkSyncCompressionVerificationKey, ZkSyncCompressionVerificationKeyForWrapper,
+use circuit_definitions::snark_wrapper::franklin_crypto::bellman::{
+    bn256::{Bn256, Fr},
+    plonk::{
+        better_better_cs::{
+            cs::{Circuit, PlonkCsWidth3Params, SetupAssembly},
+            gates::naive_main_gate::NaiveMainGate,
         },
-        recursion_layer::{ZkSyncRecursionLayerProof, ZkSyncRecursionLayerVerificationKey},
+        commitments::transcript::keccak_transcript::RollingKeccakTranscript,
     },
+    worker::Worker,
 };
 
 use crate::FflonkTestCircuit;
@@ -313,4 +306,4 @@ fn test_test_circuit_with_naive_main_gate() {
     dbg!(&proof.commitments);
     let valid = crate::verify::<_, _, RollingKeccakTranscript<Fr>>(&vk, &proof, None).unwrap();
     assert!(valid, "proof verification fails");
-}
+}