diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:32 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 15:08:11 +0200 |
| commit | 5b82ac769339938570c0d1f7230afc53732993b4 (patch) | |
| tree | b510f409458097a3c473ab80791a7717961ebd5b /zkvms/jolt/host/src/main.rs | |
| parent | 39ec264c0d90555237debff519cc890b755a0646 (diff) | |
| download | zkVMs-benchmarks-5b82ac769339938570c0d1f7230afc53732993b4.tar zkVMs-benchmarks-5b82ac769339938570c0d1f7230afc53732993b4.tar.gz zkVMs-benchmarks-5b82ac769339938570c0d1f7230afc53732993b4.zip | |
chore: Rust fmt
Diffstat (limited to 'zkvms/jolt/host/src/main.rs')
| -rw-r--r-- | zkvms/jolt/host/src/main.rs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/zkvms/jolt/host/src/main.rs b/zkvms/jolt/host/src/main.rs index 54a6e61..3ad8377 100644 --- a/zkvms/jolt/host/src/main.rs +++ b/zkvms/jolt/host/src/main.rs @@ -1,4 +1,7 @@ -use zkvms_host_io::{benchmarkable, 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>>); @@ -14,11 +17,11 @@ pub fn main() { match run_info.run_type { Execute => unreachable!(), - Prove => benchmarkable!{ + Prove => benchmarkable! { let (output, _) = prove_guest(run_info.input.clone().into()); println!("Prove output: {}", output); }, - Verify => benchmarkable!{ + Verify => benchmarkable! { let (_, proof) = prove_guest(run_info.input.clone().into()); let is_valid = verify_guest(proof); println!("Verify is valid: {}", is_valid); |
