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/guest/src/main.rs | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 zkvms/nexus/guest/src/main.rs

(limited to 'zkvms/nexus/guest/src')

diff --git a/zkvms/nexus/guest/src/main.rs b/zkvms/nexus/guest/src/main.rs
new file mode 100644
index 0000000..eb82cde
--- /dev/null
+++ b/zkvms/nexus/guest/src/main.rs
@@ -0,0 +1,17 @@
+#![cfg_attr(target_arch = "riscv32", no_std, no_main, allow(unused_imports))]
+
+use nexus_rt::{ postcard, println, read_private_input, write_output };
+
+extern crate alloc;
+use alloc::vec::Vec;
+use wrapper_macro::make_wrapper;
+
+type Input = (Vec<Vec<bool>>, u32, Vec<Vec<u32>>);
+type Output = bool;
+
+const VERTICES: usize = 100;
+
+#[nexus_rt::main]
+fn main() {
+    zkp::entrypoint_expr!()
+}
-- 
cgit v1.2.3