aboutsummaryrefslogtreecommitdiff
path: root/zkvms/nexus/host/src
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-04-02 14:07:50 +0300
committerKamen Mladenov <kamen@syndamia.com>2025-04-04 11:03:00 +0300
commitff022604ff4376903f403c8bb9b6ec4d4233432e (patch)
tree4e4586f8b1fe372ab75acd0caf2fe17238f293af /zkvms/nexus/host/src
parent6e8dc24fb90c17ca272f4d457949aed6fe6aa540 (diff)
downloadzkVMs-benchmarks-ff022604ff4376903f403c8bb9b6ec4d4233432e.tar
zkVMs-benchmarks-ff022604ff4376903f403c8bb9b6ec4d4233432e.tar.gz
zkVMs-benchmarks-ff022604ff4376903f403c8bb9b6ec4d4233432e.zip
chore: Nix and Rust fmt
Diffstat (limited to 'zkvms/nexus/host/src')
-rw-r--r--zkvms/nexus/host/src/main.rs20
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...");