disable mock prove when debug_assert

zkmove · Aug 17, 2023 · 4466059 · 4466059
1 parent 11a09d4
commit 4466059
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/snark-verifier-sdk/src/evm_api.rs b/snark-verifier-sdk/src/evm_api.rs
@@ -52,11 +52,13 @@ where
         MSMAccumulator = DualMSM<'params, Bn256>,
     >,
 {
+    /*
     #[cfg(debug_assertions)]
     {
         use halo2_base::halo2_proofs::{dev::MockProver, poly::commitment::Params};
         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
@@ -95,13 +95,15 @@ where
         MSMAccumulator = DualMSM<'params, Bn256>,
     >,
 {
+    /*
     #[cfg(debug_assertions)]
     {
         use halo2_proofs::poly::commitment::Params;
         halo2_proofs::dev::MockProver::run(params.k(), &circuit, instances.clone())
             .unwrap()
             .assert_satisfied_par();
     }
+    */
 
     if let Some((instance_path, proof_path)) = path {
         let cached_instances = read_instances(instance_path);