From 2162246e898305124a64d99f6b1c532a6c1fdb34 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Mon, 13 Jan 2025 13:07:24 +0200
Subject: feat(risc0): Implement (bring back) verification

---
 zkvms/risc0/default.nix | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'zkvms/risc0/default.nix')

diff --git a/zkvms/risc0/default.nix b/zkvms/risc0/default.nix
index f9df4ae..7f1a5d2 100644
--- a/zkvms/risc0/default.nix
+++ b/zkvms/risc0/default.nix
@@ -45,6 +45,10 @@ in
         cd zkvms/risc0/guest
         cargo build --release --target riscv32im-risc0-zkvm-elf
         ln -s ../../../../zkvms/risc0/guest/target/riscv32im-risc0-zkvm-elf/release/guest ../host/src/guest
+
+        # Used for verification
+        # https://github.com/risc0/risc0/blob/881e512732eca72849b2d0e263a1242aba3158af/risc0/build/src/lib.rs#L192-L195
+        export GUEST_ID="$(${metacraft-labs.risc0}/bin/r0vm --elf ../host/src/guest --id)"
       '';
 
       hostBin = "host-risc0";
-- 
cgit v1.2.3