aboutsummaryrefslogtreecommitdiff
path: root/zkvms/risc0
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-02-03 13:24:30 +0200
committerKamen Mladenov <kamen@syndamia.com>2025-02-03 13:24:30 +0200
commitbadcb2c812b92d96925b7430effd1bee1a2c9438 (patch)
treef346bc74005fc2e8777a24f2c5aade901d15f33f /zkvms/risc0
parent9aad50048a4b8ce89edbaba3a17d8caf729f648d (diff)
downloadzkVMs-benchmarks-badcb2c812b92d96925b7430effd1bee1a2c9438.tar
zkVMs-benchmarks-badcb2c812b92d96925b7430effd1bee1a2c9438.tar.gz
zkVMs-benchmarks-badcb2c812b92d96925b7430effd1bee1a2c9438.zip
feat(zkvms/risc0/wrapper_macro): Simplify public input committing
Diffstat (limited to 'zkvms/risc0')
-rw-r--r--zkvms/risc0/wrapper_macro/src/lib.rs11
1 files changed, 5 insertions, 6 deletions
diff --git a/zkvms/risc0/wrapper_macro/src/lib.rs b/zkvms/risc0/wrapper_macro/src/lib.rs
index d4ba858..5f924a8 100644
--- a/zkvms/risc0/wrapper_macro/src/lib.rs
+++ b/zkvms/risc0/wrapper_macro/src/lib.rs
@@ -18,15 +18,14 @@ pub fn make_wrapper(item: TokenStream) -> TokenStream {
include_str!(concat!(env!("INPUTS_DIR"), "/default_public_input.toml"))
)
.unwrap();
- let public_patterns = args_divide_public(&args, &public_inputs.keys().collect())
- .0
- .iter()
- .map(|x| x.to_string() + ".clone(), ")
- .collect::<String>();
+ let public_patterns = args_divide_public(&args, &public_inputs.keys().collect()).0;
+ for pattern in public_patterns.iter() {
+ out.extend(format!("commit(&{});", pattern).parse::<TokenStream>());
+ }
let (ts_patterns, _) = args_divide_grouped(&args);
- out.extend(format!("commit(&({} zkp::{}{}));", public_patterns, name, ts_patterns).parse::<TokenStream>());
+ out.extend(format!("commit(&zkp::{}{});", name, ts_patterns).parse::<TokenStream>());
let mut block = TokenStream::new();
block.extend(format!("{{ {} }}", out).parse::<TokenStream>());