blocksense/zkVMs-benchmarks/zkvms/zkm, branch main Setups and programs for zero-knowledge virtual machine benchmarking https://git.syndamia.com/work/blocksense/zkVMs-benchmarks/atom?h=main 2025-05-02T12:32:54Z chore: cargo fmt 2025-05-02T12:32:54Z Kamen Mladenov kamen@syndamia.com 2025-05-02T07:24:47Z urn:sha1:1a2ad5528f7a61390c40c0b6f56fa507923d09f5 feat(zkvms_guest_io): Output proof size 2025-05-02T12:32:54Z Kamen Mladenov kamen@syndamia.com 2025-04-30T14:25:15Z urn: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/guest 2025-05-02T12:32:54Z Kamen Mladenov kamen@syndamia.com 2025-04-29T12:48:34Z urn:sha1:1112cce22f81341dfd0553034ca927e823bb36bf feat(zkvms_host_io): Add json dependency 2025-05-02T12:32:54Z Kamen Mladenov kamen@syndamia.com 2025-03-28T10:38:04Z urn:sha1:c8505d63fcc46df5ec5e2f3e99517408d95bc8a6 chore: Update mcl-blockchain dependency 2025-04-24T13:48:24Z Kamen Mladenov kamen@syndamia.com 2025-04-24T12:01:35Z urn: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): Include string in guest wrapper 2025-04-23T14:28:22Z Kamen Mladenov kamen@syndamia.com 2025-04-16T06:46:36Z urn:sha1:8b7eae6c78bab4632b87003de0672b792a8046a5 feat(guests/keccak): Add ZKM precompile function call 2025-04-14T10:40:57Z Kamen Mladenov kamen@syndamia.com 2025-04-14T08:51:36Z urn:sha1:c87a637465126176ae361e0b9ce7893e279e86ce fix(zkvms): Fix non-braced usages of grouped methods 2025-04-07T14:41:20Z Kamen Mladenov kamen@syndamia.com 2025-04-07T14:40:13Z urn:sha1:1f3ca1f4455c4dd98680ede689bbcfba2c8e4225 Before grouping transformed vec![a,b,...] into "(a,b,...)", but with FunctionDefinition, grouping transforms vec![a,b,...] into "a,b,...". This change wasn't reflected in Nexus and ZKM feat(zkvms/zkm): Update to use FunctionDefinition 2025-04-07T14:41:20Z Kamen Mladenov kamen@syndamia.com 2025-04-07T13:55:22Z urn:sha1:ef33084183298d15c7a957ed959246fbc9c810fe fix(zkvms/zkm): Update SDK and remove hack 2025-04-04T08:03:00Z Kamen Mladenov kamen@syndamia.com 2025-04-04T07:59:34Z urn: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.