From 5b566b3bb93cdce7bcfb7a8b8d80c4ee8eba38ca Mon Sep 17 00:00:00 2001
From: John Guibas <jtguibas@gmail.com>
Date: Fri, 9 Feb 2024 21:09:20 -0800
Subject: [PATCH] fix: remove verification checks from prove_core (#185)

Co-authored-by: John Guibas <jtguibas@Johns-MBP.monkeybrains.net>
---
 core/src/utils/prove.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/core/src/utils/prove.rs b/core/src/utils/prove.rs
index 29ecf37ae1..9e0401ca50 100644
--- a/core/src/utils/prove.rs
+++ b/core/src/utils/prove.rs
@@ -86,10 +86,6 @@ pub fn prove_core(runtime: &mut Runtime) -> crate::stark::Proof<BabyBearBlake3>
         );
     });
 
-    // Verify the proof.
-    let mut challenger = config.challenger();
-    Runtime::verify(&config, &mut challenger, &proof).unwrap();
-
     proof
 }