From 360ff374f5c4b32337e9c2259bbe9077455c360c Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Mon, 10 Feb 2025 13:59:08 +0200
Subject: fix(zkvms/nexus): When benchmarking verification, benchmark only the
 verification function

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

(limited to 'zkvms')

diff --git a/zkvms/nexus/host/src/main.rs b/zkvms/nexus/host/src/main.rs
index 0ef8253..deef6b6 100644
--- a/zkvms/nexus/host/src/main.rs
+++ b/zkvms/nexus/host/src/main.rs
@@ -37,7 +37,7 @@ fn main() {
 
             println!(">>>>> Logging\n{}<<<<<", proof.logs().join(""));
         },
-        Verify => benchmarkable!{
+        Verify => {
             // Nova<T> doesn't derive Clone
             println!("Loading guest...");
             let prover: Nova<Local> = Nova::new_from_file(&elf_path).expect("failed to load guest program");
@@ -56,8 +56,10 @@ fn main() {
 
             println!(">>>>> Logging\n{}<<<<<", proof.logs().join(""));
 
-            print!("Verifying execution...");
-            proof.verify(&pp).expect("failed to verify proof");
+            benchmarkable! {
+                print!("Verifying execution...");
+                proof.verify(&pp).expect("failed to verify proof");
+            }
         },
     }
 }
-- 
cgit v1.2.3