1 files changed, 5 insertions, 6 deletions
diff --git a/zkvms/risc0/default.nix b/zkvms/risc0/default.nix
index 4f43a54..2a80ece 100644
--- a/zkvms/risc0/default.nix
+++ b/zkvms/risc0/default.nix
@@ -40,18 +40,17 @@ in
         ln -s ../../../../guests/graph_coloring ./zkvms/risc0/guest/src/zkp
       '';
 
+      guestTarget = "riscv32im-risc0-zkvm-elf";
+
       preBuild = ''
         # 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";
-      guestTarget = "riscv32im-risc0-zkvm-elf";
-
-      preRun = ''
-        export PATH="\$PATH:${metacraft-labs.risc0}/bin"
-      '';
+      preRunBinaries = [
+        metacraft-labs.risc0
+      ];
 
       doCheck = false;
     }))