From 71db742684adadcc0ea202b1c3257c640227d65e Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Fri, 17 Jan 2025 17:10:26 +0200 Subject: feat(zkvms): Add jolt guest and it's macro Had to reimplement and modify the build macro function so it would take an elf path, instead of always doing a manual build. Additionally, had to hard-code a **lot** of values. --- zkvms/jolt/guest/src/lib.rs | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 zkvms/jolt/guest/src/lib.rs (limited to 'zkvms/jolt/guest/src') diff --git a/zkvms/jolt/guest/src/lib.rs b/zkvms/jolt/guest/src/lib.rs new file mode 100644 index 0000000..3fec863 --- /dev/null +++ b/zkvms/jolt/guest/src/lib.rs @@ -0,0 +1,6 @@ +//#![cfg_attr(feature = "guest", no_std)] +#![no_main] + +use wrapper_macro::make_wrapper; + +zkp::entrypoint_expr!{} -- cgit v1.2.3