blocksense/zkVMs-benchmarks/zkvms/zkm/default.nix, branch mainSetups and programs for zero-knowledge virtual machine benchmarkinghttps://git.syndamia.com/work/blocksense/zkVMs-benchmarks/atom?h=main2025-04-04T08:03:00Zfix(zkvms/zkm): Update SDK and remove hack2025-04-04T08:03:00ZKamen Mladenovkamen@syndamia.com2025-04-04T07:59:34Zurn:sha1:7498d604be92a0b1a7a5603e0295f194aa8b05e7
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.
chore: Nix and Rust fmt2025-04-04T08:03:00ZKamen Mladenovkamen@syndamia.com2025-04-02T11:07:50Zurn:sha1:ff022604ff4376903f403c8bb9b6ec4d4233432efeat(zkvms/zkm): Update SDK usage, add witness generation command2025-04-04T08:03:00ZKamen Mladenovkamen@syndamia.com2025-04-02T10:23:44Zurn:sha1:6e8dc24fb90c17ca272f4d457949aed6fe6aa540
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.
feat(zkvms/zkm): Remove SDK override, Go lib build, update SDK usage2025-04-04T08:03:00ZKamen Mladenovkamen@syndamia.com2025-03-21T11:01:52Zurn:sha1:c7a0a23f5c6dfacc933526d02e8da59384898758
Update SDK usage, according to their new methods.
ZKM moved their Go library to the zkVM repo. Their updated SDK also
don't require the patch.
chore(flake.nix): Replace rust-overlay with fenix2025-04-04T08:03:00ZKamen Mladenovkamen@syndamia.com2025-03-21T09:13:57Zurn:sha1:d02aef570056fdc4efbe757e898328b46e0890e6
This follows the same change which was made in mcl-blockchain
chore: Nix fmt2025-02-27T13:08:11ZKamen Mladenovkamen@syndamia.com2025-02-27T09:35:14Zurn:sha1:39ec264c0d90555237debff519cc890b755a0646fix(zkvms/zkm): Downgrade host toolchain2025-02-26T07:26:09ZKamen Mladenovkamen@syndamia.com2025-02-25T11:16:44Zurn:sha1:ec0bc2c4595e6e622dd3f72bcb14ffa53ac78f78
The newest toolchain causes errors, an issue has been filed upstream:
https://github.com/zkMIPS/toolchain/issues/4
However, it is not certain when it will be resolved, so for now this
workaround will be used.
fix(zkvms/zkm): Override zkm SDK2025-02-26T07:26:09ZKamen Mladenovkamen@syndamia.com2025-02-25T11:20:03Zurn:sha1:4bba003e7d8cdb58aa20a35adb1e249e99af3ad4
The SDK is out of date. A PR is opened:
https://github.com/zkMIPS/zkm-project-template/pull/54
However, its not certain it will be merged soon, so for now this
workaround will have to do.
feat(zkvms): Change package versions from infdev to the corresponding zkVM versions2025-02-11T15:21:27ZKamen Mladenovkamen@syndamia.com2025-02-11T15:21:27Zurn:sha1:50029c01a85cd63ec1352bf7b2db7b65bc7a6b16feat(zkm/default.nix): Use repository instad of local copy of sdk for libsnark Go module2025-02-10T15:15:06ZKamen Mladenovkamen@syndamia.com2025-02-10T15:15:06Zurn:sha1:01b199735cffdec1376024b8214499190d08a876