diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-04-04 10:59:34 +0300 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-04-04 11:03:00 +0300 |
| commit | 7498d604be92a0b1a7a5603e0295f194aa8b05e7 (patch) | |
| tree | 7a3e8fb57de7716753b2699911746872ab9cee14 /zkvms/zkm/default.nix | |
| parent | 4716b9602964fec26ca94a4cd8134e9bbcc5f5a1 (diff) | |
| download | zkVMs-benchmarks-7498d604be92a0b1a7a5603e0295f194aa8b05e7.tar zkVMs-benchmarks-7498d604be92a0b1a7a5603e0295f194aa8b05e7.tar.gz zkVMs-benchmarks-7498d604be92a0b1a7a5603e0295f194aa8b05e7.zip | |
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.
Diffstat (limited to 'zkvms/zkm/default.nix')
| -rw-r--r-- | zkvms/zkm/default.nix | 4 |
1 files changed, 1 insertions, 3 deletions
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; |