aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkm/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'zkvms/zkm/default.nix')
-rw-r--r--zkvms/zkm/default.nix3
1 files changed, 3 insertions, 0 deletions
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;