From ed6901beb52ec2132d5da3176608a0d0eb7df1b3 Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Thu, 16 Jan 2025 12:49:46 +0200 Subject: feat(zkvms); Add zkm guest and it's macro --- zkvms/zkm/guest/Cargo.toml | 13 +++++++++++++ zkvms/zkm/guest/guests | 1 + zkvms/zkm/guest/guests_macro | 1 + zkvms/zkm/guest/src/main.rs | 14 ++++++++++++++ 4 files changed, 29 insertions(+) create mode 100644 zkvms/zkm/guest/Cargo.toml create mode 120000 zkvms/zkm/guest/guests create mode 120000 zkvms/zkm/guest/guests_macro create mode 100644 zkvms/zkm/guest/src/main.rs (limited to 'zkvms/zkm/guest') diff --git a/zkvms/zkm/guest/Cargo.toml b/zkvms/zkm/guest/Cargo.toml new file mode 100644 index 0000000..36b84ba --- /dev/null +++ b/zkvms/zkm/guest/Cargo.toml @@ -0,0 +1,13 @@ +[package] +name = "guest" +version = "0.1.0" +edition = "2021" + +[workspace] + +[dependencies] +# THESE DEPENDENCIES NEED TO BE PRESENT IN THE HOST CARGO.TOML +zkm-runtime = { path = "/nix/store/h9s6kmnx7iafllv10wqhjix5kpyfsh37-zkm-unstable-2025-01-05/runtime/entrypoint" } + +zkp = { path = "./src/zkp" } +wrapper_macro = { version = "0.1.0", path = "../wrapper_macro" } diff --git a/zkvms/zkm/guest/guests b/zkvms/zkm/guest/guests new file mode 120000 index 0000000..69bc8ed --- /dev/null +++ b/zkvms/zkm/guest/guests @@ -0,0 +1 @@ +../../../guests \ No newline at end of file diff --git a/zkvms/zkm/guest/guests_macro b/zkvms/zkm/guest/guests_macro new file mode 120000 index 0000000..143a0b5 --- /dev/null +++ b/zkvms/zkm/guest/guests_macro @@ -0,0 +1 @@ +../../../guests_macro \ No newline at end of file diff --git a/zkvms/zkm/guest/src/main.rs b/zkvms/zkm/guest/src/main.rs new file mode 100644 index 0000000..21fb641 --- /dev/null +++ b/zkvms/zkm/guest/src/main.rs @@ -0,0 +1,14 @@ +#![no_std] +#![no_main] + +use wrapper_macro::make_wrapper; + +extern crate alloc; +use alloc::vec::Vec; +use zkm_runtime::io::{ read, commit }; + +zkm_runtime::entrypoint!(main); + +pub fn main() { + zkp::entrypoint_expr!() +} -- cgit v1.2.3