From 5b82ac769339938570c0d1f7230afc53732993b4 Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Thu, 27 Feb 2025 11:35:32 +0200 Subject: chore: Rust fmt --- zkvms/nexus/host/src/main.rs | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) (limited to 'zkvms/nexus/host/src') diff --git a/zkvms/nexus/host/src/main.rs b/zkvms/nexus/host/src/main.rs index deef6b6..1a3f05a 100644 --- a/zkvms/nexus/host/src/main.rs +++ b/zkvms/nexus/host/src/main.rs @@ -1,9 +1,12 @@ -use zkvms_host_io::{Input, Output, read_args, benchmarkable, RunType::{ Execute, Prove, Verify }}; use nexus_sdk::{ compile::CompileOpts, nova::seq::{Generate, Nova, PP}, Local, Prover, Verifiable, }; +use zkvms_host_io::{ + benchmarkable, read_args, Input, Output, + RunType::{Execute, Prove, Verify}, +}; fn main() { let run_info = read_args(); @@ -18,7 +21,7 @@ fn main() { match run_info.run_type { Execute => unreachable!(), - Prove => benchmarkable!{ + Prove => benchmarkable! { // Nova doesn't derive Clone println!("Loading guest..."); let prover: Nova = Nova::new_from_file(&elf_path).expect("failed to load guest program"); @@ -40,7 +43,8 @@ fn main() { Verify => { // Nova doesn't derive Clone println!("Loading guest..."); - let prover: Nova = Nova::new_from_file(&elf_path).expect("failed to load guest program"); + let prover: Nova = + Nova::new_from_file(&elf_path).expect("failed to load guest program"); println!("Proving execution of vm..."); let proof = prover @@ -50,9 +54,9 @@ fn main() { println!( " output is {:?}!", proof - .output::() - .expect("failed to deserialize output") - ); + .output::() + .expect("failed to deserialize output") + ); println!(">>>>> Logging\n{}<<<<<", proof.logs().join("")); @@ -60,6 +64,6 @@ fn main() { print!("Verifying execution..."); proof.verify(&pp).expect("failed to verify proof"); } - }, + } } } -- cgit v1.2.3