diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-07 11:56:48 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-07 11:56:48 +0200 |
| commit | 6c3ea3721375f83629d381b50db4c1b4fdbfd842 (patch) | |
| tree | 5e84fa7cd03c1ffedc8abd26d56fd5d672b56e58 /zkvms/jolt | |
| parent | 1ad49dfa9b23d5cb312744a197deb757d7eb812d (diff) | |
| download | zkVMs-benchmarks-6c3ea3721375f83629d381b50db4c1b4fdbfd842.tar zkVMs-benchmarks-6c3ea3721375f83629d381b50db4c1b4fdbfd842.tar.gz zkVMs-benchmarks-6c3ea3721375f83629d381b50db4c1b4fdbfd842.zip | |
feat(zkvms/jolt): Add benchmarking capability
Diffstat (limited to 'zkvms/jolt')
| -rw-r--r-- | zkvms/jolt/host/src/main.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/zkvms/jolt/host/src/main.rs b/zkvms/jolt/host/src/main.rs index fee201f..b47966c 100644 --- a/zkvms/jolt/host/src/main.rs +++ b/zkvms/jolt/host/src/main.rs @@ -1,4 +1,4 @@ -use zkvms_host_io::{read_args, RunType::{ Execute, Prove, Verify }}; +use zkvms_host_io::{benchmarkable, read_args, RunType::{ Execute, Prove, Verify }}; type Input = (Vec<Vec<bool>>, u32, Vec<Vec<u32>>); @@ -13,12 +13,12 @@ pub fn main() { match run_info.run_type { Execute => unreachable!(), - Prove => { - let (output, _) = prove_guest(run_info.input.into()); + Prove => benchmarkable!{ + let (output, _) = prove_guest(run_info.input.clone().into()); println!("Prove output: {}", output); }, - Verify => { - let (_, proof) = prove_guest(run_info.input.into()); + Verify => benchmarkable!{ + let (_, proof) = prove_guest(run_info.input.clone().into()); let is_valid = verify_guest(proof); println!("Verify is valid: {}", is_valid); }, |