aboutsummaryrefslogtreecommitdiff
path: root/zkvms/jolt/host
diff options
context:
space:
mode:
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);