diff options
Diffstat (limited to 'zkvms/zkwasm/guest/src/lib.rs')
| -rw-r--r-- | zkvms/zkwasm/guest/src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/zkvms/zkwasm/guest/src/lib.rs b/zkvms/zkwasm/guest/src/lib.rs index c7c0572..219c3a4 100644 --- a/zkvms/zkwasm/guest/src/lib.rs +++ b/zkvms/zkwasm/guest/src/lib.rs @@ -3,6 +3,9 @@ use wrapper_macro::{ make_wrapper, read }; // https://github.com/DelphinusLab/zkWasm-rust/blob/main/src/lib.rs use zkwasm_rust_sdk::{require, wasm_input, wasm_output}; +#[cfg(not(no_std))] +use std::collections::*; + fn read_private() -> u64 { unsafe { wasm_input(0) } } |