Merge pull request #18 from scroll-tech/fix/replace-assert-satisfied-…

…with-par

fix: replace `assert_satisfied` with `assert_satisfied_par`

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())
     }
-}
+}

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();

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 {

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

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 = {

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 = {

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);
         }
 

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 = {