From 4466059ce9a6dfaf26455e4ffb61d72af775cf52 Mon Sep 17 00:00:00 2001
From: Zhang Zhuo <mycinbrin@gmail.com>
Date: Thu, 17 Aug 2023 14:54:57 +0800
Subject: [PATCH] disable mock prove when debug_assert

---
 snark-verifier-sdk/src/evm_api.rs   | 2 ++
 snark-verifier-sdk/src/halo2_api.rs | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/snark-verifier-sdk/src/evm_api.rs b/snark-verifier-sdk/src/evm_api.rs
index d62629c2..31228722 100644
--- 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
index 01c8591a..f295c655 100644
--- a/snark-verifier-sdk/src/halo2_api.rs
+++ b/snark-verifier-sdk/src/halo2_api.rs
@@ -95,6 +95,7 @@ where
         MSMAccumulator = DualMSM<'params, Bn256>,
     >,
 {
+    /*
     #[cfg(debug_assertions)]
     {
         use halo2_proofs::poly::commitment::Params;
@@ -102,6 +103,7 @@ where
             .unwrap()
             .assert_satisfied_par();
     }
+    */
 
     if let Some((instance_path, proof_path)) = path {
         let cached_instances = read_instances(instance_path);