blocksense/zkVMs-benchmarks/zkvms/zkm/host, branch mainSetups and programs for zero-knowledge virtual machine benchmarkinghttps://git.syndamia.com/work/blocksense/zkVMs-benchmarks/atom?h=main2025-05-02T12:32:54Zchore: cargo fmt2025-05-02T12:32:54ZKamen Mladenovkamen@syndamia.com2025-05-02T07:24:47Zurn:sha1:1a2ad5528f7a61390c40c0b6f56fa507923d09f5feat(zkvms_guest_io): Output proof size2025-05-02T12:32:54ZKamen Mladenovkamen@syndamia.com2025-04-30T14:25:15Zurn:sha1:eefb57f2c035be1a398f630dd8cfed8b4ccbe348
In each zkVM we'll write the size to /tmp/proof_size and then guest_io
will read that value and place it inside our metrics output. This is not
the most elegant, and in certain zkVMs the file output is a part of the
benchmark timing, but it will have to do.
feat(zkvms_host_io): Implement new output format for zkvm/guest2025-05-02T12:32:54ZKamen Mladenovkamen@syndamia.com2025-04-29T12:48:34Zurn:sha1:1112cce22f81341dfd0553034ca927e823bb36bffeat(zkvms_host_io): Add json dependency2025-05-02T12:32:54ZKamen Mladenovkamen@syndamia.com2025-03-28T10:38:04Zurn:sha1:c8505d63fcc46df5ec5e2f3e99517408d95bc8a6chore: Update mcl-blockchain dependency2025-04-24T13:48:24ZKamen Mladenovkamen@syndamia.com2025-04-24T12:01:35Zurn:sha1:b9a899d95ae2a661859fcdca2b27d15931d0e2a8
There are no package version updates. The primary difference is that
RISC0 is now compiled with the unstable feature. All other hash updates
come from the switch from rust-bin to fenix.
fix(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.
feat(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: Update flake.lock and Cargo.lock2025-04-04T08:03:00ZKamen Mladenovkamen@syndamia.com2025-03-10T15:26:21Zurn:sha1:4fc242cd3de1168e207d86a11894c81f16eaf8fcchore: Rust fmt2025-02-27T13:08:11ZKamen Mladenovkamen@syndamia.com2025-02-27T09:35:32Zurn:sha1:5b82ac769339938570c0d1f7230afc53732993b4