diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-04-02 13:23:44 +0300 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-04-04 11:03:00 +0300 |
| commit | 6e8dc24fb90c17ca272f4d457949aed6fe6aa540 (patch) | |
| tree | f9a0960b40564155043516415d2d05b25e9058cf /zkvms/zkm/default.nix | |
| parent | a30b4022fa85320806b8b4d004ea713b68df6566 (diff) | |
| download | zkVMs-benchmarks-6e8dc24fb90c17ca272f4d457949aed6fe6aa540.tar zkVMs-benchmarks-6e8dc24fb90c17ca272f4d457949aed6fe6aa540.tar.gz zkVMs-benchmarks-6e8dc24fb90c17ca272f4d457949aed6fe6aa540.zip | |
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.
Diffstat (limited to 'zkvms/zkm/default.nix')
| -rw-r--r-- | zkvms/zkm/default.nix | 3 |
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; |