diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-10 14:13:29 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-10 14:13:29 +0200 |
| commit | 10fb5333c341445303205bc25fb121630a99b27b (patch) | |
| tree | 39694743f41675d4757b009464dffc7ddb9a1478 /zkvms/sp1/host/src/main.rs | |
| parent | f6f4aa54ca08ab3a2a2177b23a5583e127167c7b (diff) | |
| download | zkVMs-benchmarks-10fb5333c341445303205bc25fb121630a99b27b.tar zkVMs-benchmarks-10fb5333c341445303205bc25fb121630a99b27b.tar.gz zkVMs-benchmarks-10fb5333c341445303205bc25fb121630a99b27b.zip | |
fix(zkvms/sp1): When benchmarking verification, only benchmark the function call
Diffstat (limited to 'zkvms/sp1/host/src/main.rs')
| -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!"); + } }, } } |