From a30b4022fa85320806b8b4d004ea713b68df6566 Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Thu, 27 Mar 2025 13:25:05 +0200 Subject: feat(zkvms/risc0): Implement elf encoding Recently, RISC0 have added code to their SDK which adds magic bytes to the (already compiled) ELF. Since we're taking another route than intended, we'll need to replicate this step too. We're doing things in a different fashion, because their SDK normally compiles the guest, and doesn't allow you to supply a prebuilt ELF. --- zkvms/risc0/guest_elf_patch/Cargo.toml | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 zkvms/risc0/guest_elf_patch/Cargo.toml (limited to 'zkvms/risc0/guest_elf_patch/Cargo.toml') diff --git a/zkvms/risc0/guest_elf_patch/Cargo.toml b/zkvms/risc0/guest_elf_patch/Cargo.toml new file mode 100644 index 0000000..2008faf --- /dev/null +++ b/zkvms/risc0/guest_elf_patch/Cargo.toml @@ -0,0 +1,9 @@ +[package] +name = "guest-elf-patch-risc0" +version = "0.1.0" +edition = "2021" + +[dependencies] +risc0-binfmt = { path = "/nix/store/6992z4qxba51p1m9vjbjvcwh16gvdp56-risc0-unstable-2025-03-12/risc0/binfmt" } +risc0-zkos-v1compat = { path = "/nix/store/6992z4qxba51p1m9vjbjvcwh16gvdp56-risc0-unstable-2025-03-12/risc0/zkos/v1compat" } +bytemuck_derive = "<1.9.0" -- cgit v1.2.3