From 6e8dc24fb90c17ca272f4d457949aed6fe6aa540 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Wed, 2 Apr 2025 13:23:44 +0300
Subject: feat(zkvms/zkm): Update SDK usage, add witness generation command

We first need to generate witnesses before proving. This is done by
running the binary with SNARK_SETUP=true. Currently, the command crashes
right after those witnesses are generated. As a workaround, we ignore
the crash and just start it normally, using the generated witnesses.
---
 zkvms/zkm/default.nix | 3 +++
 1 file changed, 3 insertions(+)

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

diff --git a/zkvms/zkm/default.nix b/zkvms/zkm/default.nix
index c6c2230..6c71c2d 100644
--- a/zkvms/zkm/default.nix
+++ b/zkvms/zkm/default.nix
@@ -38,6 +38,9 @@ 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
   '';
 
   doCheck = false;
-- 
cgit v1.2.3