diff options
Diffstat (limited to 'zkvms/nexus')
| -rw-r--r-- | zkvms/nexus/host/src/main.rs | 20 | ||||
| -rw-r--r-- | zkvms/nexus/wrapper_macro/src/lib.rs | 6 |
2 files changed, 15 insertions, 11 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..."); diff --git a/zkvms/nexus/wrapper_macro/src/lib.rs b/zkvms/nexus/wrapper_macro/src/lib.rs index 1441d0d..061a33f 100644 --- a/zkvms/nexus/wrapper_macro/src/lib.rs +++ b/zkvms/nexus/wrapper_macro/src/lib.rs @@ -46,7 +46,11 @@ pub fn make_wrapper(item: TokenStream) -> TokenStream { ); out.extend( - format!("write_public_output::<{}>(&zkp::{}{});", ret, name, ts_patterns).parse::<TokenStream>(), + format!( + "write_public_output::<{}>(&zkp::{}{});", + ret, name, ts_patterns + ) + .parse::<TokenStream>(), ); let mut block = TokenStream::new(); |