blocksense/zkVMs-benchmarks/zkvms/zkm/host/Cargo.lock, branch mainSetups and programs for zero-knowledge virtual machine benchmarkinghttps://git.syndamia.com/work/blocksense/zkVMs-benchmarks/atom?h=main2025-05-02T12:32:54Zfeat(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.
chore: Update flake.lock and Cargo.lock2025-04-04T08:03:00ZKamen Mladenovkamen@syndamia.com2025-03-10T15:26:21Zurn:sha1:4fc242cd3de1168e207d86a11894c81f16eaf8fcchore: Update zkVM packages2025-02-26T07:26:09ZKamen Mladenovkamen@syndamia.com2025-02-19T08:29:12Zurn:sha1:91fb36148723cf3f87fe596a565c9082f4d82b05
This includes:
- Updating flake.lock
- Updating all host and guest Cargo.toml and Cargo.lock files
- Making zkvm default.nix file modifications to account for toolchain
and setup changes
feat(zkm/host): Use cargo patching instead of local copy of sdk2025-02-10T15:14:23ZKamen Mladenovkamen@syndamia.com2025-02-10T15:14:23Zurn:sha1:6dc9a7f7fdf0962b7bf9852aefa96688f3f826cbfeat(zkvms/zkm): Update Cargo.lock and use default environments2025-01-31T09:06:41ZKamen Mladenovkamen@syndamia.com2025-01-31T09:06:41Zurn:sha1:2ea6a00b7ff2946c0c2ecd09b5e54090bf79d340feat(zkm): Adapt to new input type and zkvmLib2025-01-30T09:27:59ZKamen Mladenovkamen@syndamia.com2025-01-30T09:27:59Zurn:sha1:5de4ae077e14b9e35c8d5e261462acfda911738c