aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkm
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-05-02 10:24:47 +0300
committerKamen Mladenov <kamen@syndamia.com>2025-05-02 15:32:54 +0300
commit1a2ad5528f7a61390c40c0b6f56fa507923d09f5 (patch)
tree713b8e86674a34b3a6b6d65062709f192f5b894c /zkvms/zkm
parenteefb57f2c035be1a398f630dd8cfed8b4ccbe348 (diff)
downloadzkVMs-benchmarks-1a2ad5528f7a61390c40c0b6f56fa507923d09f5.tar
zkVMs-benchmarks-1a2ad5528f7a61390c40c0b6f56fa507923d09f5.tar.gz
zkVMs-benchmarks-1a2ad5528f7a61390c40c0b6f56fa507923d09f5.zip
chore: cargo fmt
Diffstat (limited to 'zkvms/zkm')
-rw-r--r--zkvms/zkm/guest/src/main.rs2
-rw-r--r--zkvms/zkm/host/src/main.rs3
-rw-r--r--zkvms/zkm/wrapper_macro/src/lib.rs28
3 files changed, 27 insertions, 6 deletions
diff --git a/zkvms/zkm/guest/src/main.rs b/zkvms/zkm/guest/src/main.rs
index 2831bdf..4559e25 100644
--- a/zkvms/zkm/guest/src/main.rs
+++ b/zkvms/zkm/guest/src/main.rs
@@ -4,7 +4,7 @@
use wrapper_macro::make_wrapper;
extern crate alloc;
-use alloc::{collections::*, vec::*, string::*};
+use alloc::{collections::*, string::*, vec::*};
use zkm_runtime::io::{commit, read};
zkm_runtime::entrypoint!(main);
diff --git a/zkvms/zkm/host/src/main.rs b/zkvms/zkm/host/src/main.rs
index 1640b30..100e5b1 100644
--- a/zkvms/zkm/host/src/main.rs
+++ b/zkvms/zkm/host/src/main.rs
@@ -7,9 +7,8 @@ use zkm_sdk::{
};
use zkvms_host_io::{
- benchmarkable, read_args,
+ benchmarkable, output_proof_size, read_args,
RunType::{Execute, Prove, Verify},
- output_proof_size,
};
async fn get_proof(
diff --git a/zkvms/zkm/wrapper_macro/src/lib.rs b/zkvms/zkm/wrapper_macro/src/lib.rs
index 6a88602..fde5fa3 100644
--- a/zkvms/zkm/wrapper_macro/src/lib.rs
+++ b/zkvms/zkm/wrapper_macro/src/lib.rs
@@ -33,10 +33,32 @@ pub fn make_wrapper(item: TokenStream) -> TokenStream {
let mut out = TokenStream::new();
// NOTE: The first read returns public data, the second returns private
- out.extend(format!("let ({}) : ({}) = read();", fd.grouped_public_patterns(), fd.grouped_public_types()).parse::<TokenStream>());
- out.extend(format!("let ({}) : ({}) = read();", fd.grouped_private_patterns(), fd.grouped_private_types()).parse::<TokenStream>());
+ out.extend(
+ format!(
+ "let ({}) : ({}) = read();",
+ fd.grouped_public_patterns(),
+ fd.grouped_public_types()
+ )
+ .parse::<TokenStream>(),
+ );
+ out.extend(
+ format!(
+ "let ({}) : ({}) = read();",
+ fd.grouped_private_patterns(),
+ fd.grouped_private_types()
+ )
+ .parse::<TokenStream>(),
+ );
- out.extend(format!("commit::<{}>(&zkp::{}({}));", fd.return_type, fd.name, fd.grouped_patterns()).parse::<TokenStream>());
+ out.extend(
+ format!(
+ "commit::<{}>(&zkp::{}({}));",
+ fd.return_type,
+ fd.name,
+ fd.grouped_patterns()
+ )
+ .parse::<TokenStream>(),
+ );
let mut block = TokenStream::new();
block.extend(format!("{{ {} }}", out).parse::<TokenStream>());