diff options
Diffstat (limited to 'zkvms/nexus/host/src/main.rs')
| -rw-r--r-- | zkvms/nexus/host/src/main.rs | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/zkvms/nexus/host/src/main.rs b/zkvms/nexus/host/src/main.rs index 0ef044d..9693d02 100644 --- a/zkvms/nexus/host/src/main.rs +++ b/zkvms/nexus/host/src/main.rs @@ -1,7 +1,4 @@ -use nexus_sdk::{ - stwo::seq::Stwo, - Local, Prover, Verifiable, Viewable, -}; +use nexus_sdk::{stwo::seq::Stwo, Local, Prover, Verifiable, Viewable}; use zkvms_host_io::{ benchmarkable, read_args, Input, Return, RunType::{Execute, Prove, Verify}, @@ -39,7 +36,8 @@ fn main() { Verify => { // Stwo<T> doesn't derive Clone println!("Loading guest..."); - let prover: Stwo<Local> = Stwo::new_from_file(&elf_path).expect("failed to load guest program"); + let prover: Stwo<Local> = + Stwo::new_from_file(&elf_path).expect("failed to load guest program"); println!("Proving execution of vm..."); let (view, proof) = prover @@ -48,12 +46,14 @@ fn main() { println!( " output is {:?}!", - view - .public_output::<Return>() - .expect("failed to deserialize output") - ); + view.public_output::<Return>() + .expect("failed to deserialize output") + ); - println!(">>>>> Logging\n{}<<<<<", view.logs().expect("failed to retrieve debug logs").join("")); + println!( + ">>>>> Logging\n{}<<<<<", + view.logs().expect("failed to retrieve debug logs").join("") + ); benchmarkable! { print!("Verifying execution..."); |
