diff options
| -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"); + } }, } } |