diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-10 13:59:08 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-10 13:59:08 +0200 |
| commit | 360ff374f5c4b32337e9c2259bbe9077455c360c (patch) | |
| tree | 859e586f35e36dabc225eef596b04420284fe518 /zkvms | |
| parent | bc5e69152ffd59672fb44c4a0982367f8708e617 (diff) | |
| download | zkVMs-benchmarks-360ff374f5c4b32337e9c2259bbe9077455c360c.tar zkVMs-benchmarks-360ff374f5c4b32337e9c2259bbe9077455c360c.tar.gz zkVMs-benchmarks-360ff374f5c4b32337e9c2259bbe9077455c360c.zip | |
fix(zkvms/nexus): When benchmarking verification, benchmark only the verification function
Diffstat (limited to 'zkvms')
| -rw-r--r-- | zkvms/nexus/host/src/main.rs | 8 |
1 files changed, 5 insertions, 3 deletions
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"); + } }, } } |