From 10fb5333c341445303205bc25fb121630a99b27b Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Mon, 10 Feb 2025 14:13:29 +0200
Subject: fix(zkvms/sp1): When benchmarking verification, only benchmark the
 function call

---
 zkvms/sp1/host/src/main.rs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'zkvms/sp1')

diff --git a/zkvms/sp1/host/src/main.rs b/zkvms/sp1/host/src/main.rs
index 19d88a3..50e9d1a 100644
--- a/zkvms/sp1/host/src/main.rs
+++ b/zkvms/sp1/host/src/main.rs
@@ -40,12 +40,14 @@ fn main() {
             let _ = prove(&client, stdin.clone());
             println!("Successfully generated proof!");
         },
-        Verify => benchmarkable!{
+        Verify => {
             let (proof, vk) = prove(&client, stdin.clone());
             println!("Successfully generated proof!");
 
-            client.verify(&proof, &vk).expect("failed to verify proof");
-            println!("Successfully verified proof!");
+            benchmarkable!{
+                client.verify(&proof, &vk).expect("failed to verify proof");
+                println!("Successfully verified proof!");
+            }
         },
     }
 }
-- 
cgit v1.2.3