feat(zkvms): Add zkwasm guest and it's macro

6 files changed, 114 insertions, 0 deletions

diff --git a/zkvms/zkwasm/guest/Cargo.toml b/zkvms/zkwasm/guest/Cargo.toml
new file mode 100644
index 0000000..315233c
--- /dev/null
+++ b/zkvms/zkwasm/guest/Cargo.toml
@@ -0,0 +1,18 @@
+[package]
+name = "guest"
+version = "0.1.0"
+edition = "2021"
+
+[workspace]
+
+[lib]
+crate-type = ["cdylib"]
+
+[dependencies]
+# THESE DEPENDENCIES NEED TO BE PRESENT IN THE HOST CARGO.TOML
+rlp = { version = "0.5.2", default-features = false }
+zkwasm-rust-sdk = { git = "https://github.com/DelphinusLab/zkWasm-rust.git" }
+wasm-bindgen = "0.2.95"
+
+zkp = { path = "./src/zkp" }
+wrapper_macro = { version = "0.1.0", path = "../wrapper_macro" }
diff --git a/zkvms/zkwasm/guest/guests b/zkvms/zkwasm/guest/guests
new file mode 120000
index 0000000..69bc8ed
--- /dev/null
+++ b/zkvms/zkwasm/guest/guests
@@ -0,0 +1 @@
+../../../guests
\ No newline at end of file
diff --git a/zkvms/zkwasm/guest/guests_macro b/zkvms/zkwasm/guest/guests_macro
new file mode 120000
index 0000000..143a0b5
--- /dev/null
+++ b/zkvms/zkwasm/guest/guests_macro
@@ -0,0 +1 @@
+../../../guests_macro
\ No newline at end of file
diff --git a/zkvms/zkwasm/guest/src/lib.rs b/zkvms/zkwasm/guest/src/lib.rs
new file mode 100644
index 0000000..5c00fc0
--- /dev/null
+++ b/zkvms/zkwasm/guest/src/lib.rs
@@ -0,0 +1,54 @@
+use wasm_bindgen::prelude::wasm_bindgen;
+use wrapper_macro::make_wrapper;
+// https://github.com/DelphinusLab/zkWasm-rust/blob/main/src/lib.rs
+use zkwasm_rust_sdk::{require, wasm_input, wasm_output};
+
+fn read_private() -> u64 {
+    unsafe { wasm_input(0) }
+}
+
+fn assert(cond: bool) {
+    unsafe { require(cond); }
+}
+
+fn write(value: u64) {
+    unsafe { wasm_output(value); }
+}
+
+static VERTICES: u64 = 10;
+
+macro_rules! read {
+    // HACK for graph_coloring
+    (Vec , u32) => {
+        {
+            let mut ret = Vec::new();
+            for _ in 0..2 {
+                ret.push(read!(u32));
+            }
+            ret
+        }
+    };
+    // Vec<Vec<...<Vec<primitive>>>> is converted by entrypoint_expr! to
+    // Vec,Vec,...,Vec,primitive
+    (Vec , $($type:tt)*) => {
+        {
+            let mut ret = Vec::new();
+            for _ in 0..VERTICES {
+                ret.push(read!($($type)*));
+            }
+            ret
+        }
+    };
+    (bool) => {
+        (read_private() != 0)
+    };
+    // Has to be primitive!
+    ($type:ty) => {
+        (read_private() as $type)
+    };
+}
+
+#[wasm_bindgen]
+pub fn zkmain() {
+    zkp::entrypoint_expr!()
+}
diff --git a/zkvms/zkwasm/wrapper_macro/Cargo.toml b/zkvms/zkwasm/wrapper_macro/Cargo.toml
new file mode 100644
index 0000000..14348e5
--- /dev/null
+++ b/zkvms/zkwasm/wrapper_macro/Cargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "wrapper_macro"
+version = "0.1.0"
+edition = "2021"
+
+[lib]
+proc-macro = true
diff --git a/zkvms/zkwasm/wrapper_macro/src/lib.rs b/zkvms/zkwasm/wrapper_macro/src/lib.rs
new file mode 100644
index 0000000..edb2fcd
--- /dev/null
+++ b/zkvms/zkwasm/wrapper_macro/src/lib.rs
@@ -0,0 +1,33 @@
+use proc_macro::TokenStream;
+
+#[path = "../../../../guests_macro/src/parse_fn.rs"]
+mod parse_fn;
+use crate::parse_fn::{ split_fn, args_split, args_divide, group_streams };
+
+#[proc_macro]
+pub fn make_wrapper(item: TokenStream) -> TokenStream {
+    let (name, args, ret) = split_fn(&item);
+    let (patterns, types) = args_divide(&args);
+
+    let mut out = TokenStream::new();
+
+    for i in 0..patterns.len() {
+        let type_note: String = format!("{}", types[i])
+            .chars()
+            .map(|c| match c {
+                '<' => ',',
+                '>' => ' ',
+                 _  => c,
+            })
+            .collect();
+        out.extend(format!("let {} : {} = read!({});", patterns[i], types[i], type_note).parse::<TokenStream>());
+    }
+
+    let ts_patterns = group_streams(&patterns);
+
+    out.extend(format!("let result = zkp::{}{}; assert(result); write(result as u64);", name, ts_patterns).parse::<TokenStream>());
+
+    let mut block = TokenStream::new();
+    block.extend(format!("{{ {} }}", out).parse::<TokenStream>());
+    block
+}