blocksense/zkVMs-benchmarks/zkvms/zkm/host/src/main.rs, 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/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: Rust fmt2025-02-27T13:08:11ZKamen Mladenovkamen@syndamia.com2025-02-27T09:35:32Zurn:sha1:5b82ac769339938570c0d1f7230afc53732993b4chore: 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:6dc9a7f7fdf0962b7bf9852aefa96688f3f826cbdocs(zkvms/zkm): Add detailed documentation comments2025-02-10T12:29:15ZKamen Mladenovkamen@syndamia.com2025-02-10T12:29:15Zurn:sha1:1cb88615eaa0b6a37d42d99c59ad1e23c5d5aa7afeat(zkvms/zkm): Add benchmarking capability2025-02-07T09:40:11ZKamen Mladenovkamen@syndamia.com2025-02-07T09:40:11Zurn:sha1:3c5ec289b10d244a513a353afe00a2070dc66b5cfeat(zkvms/zkm): Implement proper handling of public and private inputs2025-02-03T15:42:20ZKamen Mladenovkamen@syndamia.com2025-02-03T14:12:26Zurn:sha1:73e27ae16e920424a77be597e4d1b15466b368eb