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

4 files changed, 49 insertions, 0 deletions

diff --git a/zkvms/risc0/guest/Cargo.toml b/zkvms/risc0/guest/Cargo.toml
new file mode 100644
index 0000000..e084ce7
--- /dev/null
+++ b/zkvms/risc0/guest/Cargo.toml
@@ -0,0 +1,11 @@
+[package]
+name = "guest"
+version = "0.1.0"
+edition = "2021"
+
+[workspace]
+
+[dependencies]
+zkp = { path = "./src/zkp" }
+wrapper_macro = { version = "0.1.0", path = "../wrapper_macro" }
+risc0-zkvm = { path = "/nix/store/l1rxg23rrrdwi9cf6rc82mqavklvqc18-risc0-unstable-2024-12-21/risc0/zkvm", default-features = false, features = ['std'] }
diff --git a/zkvms/risc0/guest/src/main.rs b/zkvms/risc0/guest/src/main.rs
new file mode 100644
index 0000000..c849d87
--- /dev/null
+++ b/zkvms/risc0/guest/src/main.rs
@@ -0,0 +1,6 @@
+use wrapper_macro::make_wrapper;
+use risc0_zkvm::guest::env::{ read, commit };
+
+fn main() {
+    zkp::entrypoint_expr!()
+}
diff --git a/zkvms/risc0/wrapper_macro/Cargo.toml b/zkvms/risc0/wrapper_macro/Cargo.toml
new file mode 100644
index 0000000..14348e5
--- /dev/null
+++ b/zkvms/risc0/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/risc0/wrapper_macro/src/lib.rs b/zkvms/risc0/wrapper_macro/src/lib.rs
new file mode 100644
index 0000000..eb24c33
--- /dev/null
+++ b/zkvms/risc0/wrapper_macro/src/lib.rs
@@ -0,0 +1,25 @@
+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 args_split = args_split(&args);
+
+    let mut out = TokenStream::new();
+    for arg in args_split {
+        out.extend(format!("let {} = read();", arg).parse::<TokenStream>());
+    }
+
+    let (patterns, _) = args_divide(&args);
+    let ts_patterns = group_streams(&patterns);
+
+    out.extend(format!("commit(&zkp::{}{});", name, ts_patterns).parse::<TokenStream>());
+
+    let mut block = TokenStream::new();
+    block.extend(format!("{{ {} }}", out).parse::<TokenStream>());
+    block
+}