From ff022604ff4376903f403c8bb9b6ec4d4233432e Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Wed, 2 Apr 2025 14:07:50 +0300
Subject: chore: Nix and Rust fmt

---
 zkvms/nexus/host/src/main.rs | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'zkvms/nexus/host/src')

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...");
-- 
cgit v1.2.3