diff options
Diffstat (limited to 'zkvms/zkwasm/wrapper_macro/src')
| -rw-r--r-- | zkvms/zkwasm/wrapper_macro/src/lib.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/zkvms/zkwasm/wrapper_macro/src/lib.rs b/zkvms/zkwasm/wrapper_macro/src/lib.rs index 288eddb..b21378c 100644 --- a/zkvms/zkwasm/wrapper_macro/src/lib.rs +++ b/zkvms/zkwasm/wrapper_macro/src/lib.rs @@ -78,7 +78,10 @@ pub fn make_wrapper(item: TokenStream) -> TokenStream { format!( " let result = zkp::{}{}; - write(result as u64); + let bytes = tobytes::to_bytes!(result); + for val in bytes.into_iter() {{ + write(val); + }} ", name, ts_patterns ) |