From 1bb44c826b745daad6ccbb48f2e91550a9c4ec00 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Fri, 17 Jan 2025 18:50:07 +0200
Subject: feat(zkvms): Add nexus guest and it's macro

---
 zkvms/nexus/wrapper_macro/src/lib.rs | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 zkvms/nexus/wrapper_macro/src/lib.rs

(limited to 'zkvms/nexus/wrapper_macro/src/lib.rs')

diff --git a/zkvms/nexus/wrapper_macro/src/lib.rs b/zkvms/nexus/wrapper_macro/src/lib.rs
new file mode 100644
index 0000000..21bf1bb
--- /dev/null
+++ b/zkvms/nexus/wrapper_macro/src/lib.rs
@@ -0,0 +1,22 @@
+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 ts_patterns = group_streams(&patterns);
+    let ts_types = group_streams(&types);
+
+    let mut out = TokenStream::new();
+    out.extend(format!("let {} = read_private_input::<{}>().unwrap();", ts_patterns, ts_types).parse::<TokenStream>());
+    out.extend(format!("write_output::<{}>(&zkp::{}{});", ret, name, ts_patterns).parse::<TokenStream>());
+
+    let mut block = TokenStream::new();
+    block.extend(format!("{{ {} }}", out).parse::<TokenStream>());
+    block
+}
-- 
cgit v1.2.3