diff --git a/snark-verifier-sdk/src/aggregation/config.rs b/snark-verifier-sdk/src/aggregation/config.rs
index 4b751a14..9cebf0ca 100644
--- a/snark-verifier-sdk/src/aggregation/config.rs
+++ b/snark-verifier-sdk/src/aggregation/config.rs
@@ -76,4 +76,4 @@ impl AggregationConfig {
     pub fn ecc_chip(&self) -> BaseFieldEccChip<G1Affine> {
         EccChip::construct(self.base_field_config.clone())
     }
-}
\ No newline at end of file
+}
diff --git a/snark-verifier-sdk/src/evm_api.rs b/snark-verifier-sdk/src/evm_api.rs
index 6b542347..f2f450ba 100644
--- a/snark-verifier-sdk/src/evm_api.rs
+++ b/snark-verifier-sdk/src/evm_api.rs
@@ -55,7 +55,7 @@ where
     #[cfg(debug_assertions)]
     {
         use halo2_base::halo2_proofs::{dev::MockProver, poly::commitment::Params};
-        MockProver::run(params.k(), &circuit, instances.clone()).unwrap().assert_satisfied();
+        MockProver::run(params.k(), &circuit, instances.clone()).unwrap().assert_satisfied_par();
     }
 
     let instances = instances.iter().map(|instances| instances.as_slice()).collect_vec();
diff --git a/snark-verifier-sdk/src/halo2_api.rs b/snark-verifier-sdk/src/halo2_api.rs
index 3aa0e64a..01c8591a 100644
--- a/snark-verifier-sdk/src/halo2_api.rs
+++ b/snark-verifier-sdk/src/halo2_api.rs
@@ -100,7 +100,7 @@ where
         use halo2_proofs::poly::commitment::Params;
         halo2_proofs::dev::MockProver::run(params.k(), &circuit, instances.clone())
             .unwrap()
-            .assert_satisfied();
+            .assert_satisfied_par();
     }
 
     if let Some((instance_path, proof_path)) = path {
diff --git a/snark-verifier-sdk/src/lib.rs b/snark-verifier-sdk/src/lib.rs
index 511944e7..c28aa2e1 100644
--- a/snark-verifier-sdk/src/lib.rs
+++ b/snark-verifier-sdk/src/lib.rs
@@ -14,13 +14,13 @@ mod snark;
 pub mod types;
 
 pub use aggregation::aggregation_circuit::AggregationCircuit;
-pub use aggregation::multi_aggregation_circuit::PublicAggregationCircuit;
 pub use aggregation::load_verify_circuit_degree;
+pub use aggregation::multi_aggregation_circuit::PublicAggregationCircuit;
 pub use aggregation::{aggregate, flatten_accumulator};
 pub use circuit_ext::CircuitExt;
 pub use param::{BITS, LIMBS};
-pub use snark::{Snark, SnarkWitness};
 pub use snark::gen_dummy_snark;
+pub use snark::{Snark, SnarkWitness};
 
 pub use file_io::{
     // read instances from disk
diff --git a/snark-verifier/examples/evm-verifier-with-accumulator.rs b/snark-verifier/examples/evm-verifier-with-accumulator.rs
index d2b538ac..50d15537 100644
--- a/snark-verifier/examples/evm-verifier-with-accumulator.rs
+++ b/snark-verifier/examples/evm-verifier-with-accumulator.rs
@@ -560,7 +560,7 @@ fn gen_proof<
     circuit: C,
     instances: Vec<Vec<Fr>>,
 ) -> Vec<u8> {
-    MockProver::run(params.k(), &circuit, instances.clone()).unwrap().assert_satisfied();
+    MockProver::run(params.k(), &circuit, instances.clone()).unwrap().assert_satisfied_par();
 
     let instances = instances.iter().map(|instances| instances.as_slice()).collect_vec();
     let proof = {
diff --git a/snark-verifier/examples/evm-verifier.rs b/snark-verifier/examples/evm-verifier.rs
index 71d691dc..823bf59a 100644
--- a/snark-verifier/examples/evm-verifier.rs
+++ b/snark-verifier/examples/evm-verifier.rs
@@ -193,7 +193,7 @@ fn gen_proof<C: Circuit<Fr>>(
     circuit: C,
     instances: Vec<Vec<Fr>>,
 ) -> Vec<u8> {
-    MockProver::run(params.k(), &circuit, instances.clone()).unwrap().assert_satisfied();
+    MockProver::run(params.k(), &circuit, instances.clone()).unwrap().assert_satisfied_par();
 
     let instances = instances.iter().map(|instances| instances.as_slice()).collect_vec();
     let proof = {
diff --git a/snark-verifier/examples/recursion.rs b/snark-verifier/examples/recursion.rs
index cf3acc15..6ca4a969 100644
--- a/snark-verifier/examples/recursion.rs
+++ b/snark-verifier/examples/recursion.rs
@@ -160,7 +160,9 @@ mod common {
     ) -> Vec<u8> {
         if params.k() > 3 {
             let mock = start_timer!(|| "Mock prover");
-            MockProver::run(params.k(), &circuit, instances.clone()).unwrap().assert_satisfied();
+            MockProver::run(params.k(), &circuit, instances.clone())
+                .unwrap()
+                .assert_satisfied_par();
             end_timer!(mock);
         }
 
diff --git a/snark-verifier/src/system/halo2/test.rs b/snark-verifier/src/system/halo2/test.rs
index 63756ebb..1a6f292e 100644
--- a/snark-verifier/src/system/halo2/test.rs
+++ b/snark-verifier/src/system/halo2/test.rs
@@ -64,7 +64,7 @@ where
             instances.iter().map(|instance| instance.to_vec()).collect(),
         )
         .unwrap()
-        .assert_satisfied();
+        .assert_satisfied_par();
     }
 
     let proof = {