aboutsummaryrefslogtreecommitdiff
path: root/zkvms/jolt/host
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-02-27 11:35:32 +0200
committerKamen Mladenov <kamen@syndamia.com>2025-02-27 11:35:32 +0200
commit9b0da28632c2d5ffc42bf647213a8990fa0cbffb (patch)
treeb510f409458097a3c473ab80791a7717961ebd5b /zkvms/jolt/host
parent30f518fa36be8378d86b28e8eab2433151fe616a (diff)
downloadzkVMs-benchmarks-9b0da28632c2d5ffc42bf647213a8990fa0cbffb.tar
zkVMs-benchmarks-9b0da28632c2d5ffc42bf647213a8990fa0cbffb.tar.gz
zkVMs-benchmarks-9b0da28632c2d5ffc42bf647213a8990fa0cbffb.zip
chore: Rust fmt
Diffstat (limited to 'zkvms/jolt/host')
-rw-r--r--zkvms/jolt/host/src/main.rs9
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);