diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-05-02 10:24:47 +0300 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-05-02 15:32:54 +0300 |
| commit | 1a2ad5528f7a61390c40c0b6f56fa507923d09f5 (patch) | |
| tree | 713b8e86674a34b3a6b6d65062709f192f5b894c /zkvms/zkm/wrapper_macro | |
| parent | eefb57f2c035be1a398f630dd8cfed8b4ccbe348 (diff) | |
| download | zkVMs-benchmarks-1a2ad5528f7a61390c40c0b6f56fa507923d09f5.tar zkVMs-benchmarks-1a2ad5528f7a61390c40c0b6f56fa507923d09f5.tar.gz zkVMs-benchmarks-1a2ad5528f7a61390c40c0b6f56fa507923d09f5.zip | |
chore: cargo fmt
Diffstat (limited to 'zkvms/zkm/wrapper_macro')
| -rw-r--r-- | zkvms/zkm/wrapper_macro/src/lib.rs | 28 |
1 files changed, 25 insertions, 3 deletions
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>()); |
