diff options
| -rw-r--r-- | zkvms/sp1/host/src/main.rs | 8 |
1 files changed, 5 insertions, 3 deletions
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!"); + } }, } } |