diff options
Diffstat (limited to 'zkvms/zkwasm/guest/src/lib.rs')
| -rw-r--r-- | zkvms/zkwasm/guest/src/lib.rs | 25 |
1 files changed, 1 insertions, 24 deletions
diff --git a/zkvms/zkwasm/guest/src/lib.rs b/zkvms/zkwasm/guest/src/lib.rs index c92b97c..c7c0572 100644 --- a/zkvms/zkwasm/guest/src/lib.rs +++ b/zkvms/zkwasm/guest/src/lib.rs @@ -1,5 +1,5 @@ use wasm_bindgen::prelude::wasm_bindgen; -use wrapper_macro::make_wrapper; +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}; @@ -19,29 +19,6 @@ fn write(value: u64) { unsafe { wasm_output(value); } } -static VERTICES: u64 = 10; - -macro_rules! read { - // Vec<Vec<...<Vec<primitive>>>> is converted by entrypoint_expr! to - // Vec,Vec,...,Vec,primitive - (Vec $size:literal , $($type:tt)*) => { - { - let mut ret = Vec::new(); - for _ in 0..$size { - ret.push(read!($($type)*)); - } - ret - } - }; - (bool $readfn:tt) => { - ($readfn() != 0) - }; - // Has to be primitive! - ($type:tt $readfn:tt) => { - ($readfn() as $type) - }; -} - #[wasm_bindgen] pub fn zkmain() { zkp::entrypoint_expr!() |
