From 7498d604be92a0b1a7a5603e0295f194aa8b05e7 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Fri, 4 Apr 2025 10:59:34 +0300
Subject: fix(zkvms/zkm): Update SDK and remove hack

Recently ZKM introduced a bug, where SNARK_SETUP would crash, but the
witness would be generated. So we introduced a hack where we would run
SNARK_SETUP, ignore the crash and rerun the program again, without
SNARK_SETUP.

Now they fixed it, so with SNARK_SETUP, the witnesses would be generated
and the proving process will be done directly after.
---
 zkvms/zkm/default.nix | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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

diff --git a/zkvms/zkm/default.nix b/zkvms/zkm/default.nix
index d7df33a..11d6f12 100644
--- a/zkvms/zkm/default.nix
+++ b/zkvms/zkm/default.nix
@@ -38,9 +38,7 @@ in zkvmLib.buildPackage craneLib (commonArgs // {
   preRun = ''
     export ELF_PATH="$out/bin/guest"
     export PKG_CONFIG_PATH='${openssl.dev}/lib/pkgconfig' # Dirty hack
-
-    echo "Generating witness. THIS COULD RETURN A SIGSEGV ERROR, IGNORE IT"
-    SNARK_SETUP=true "$out"/bin/host-${commonArgs.pname} prove 2>/dev/null || true
+    export SNARK_SETUP="\''${SNARK_SETUP-true}"
   '';
 
   doCheck = false;
-- 
cgit v1.2.3