blocksense/zkVMs-benchmarks/zkvms/zkm, branch dvt-circuits-port Setups and programs for zero-knowledge virtual machine benchmarking https://git.syndamia.com/work/blocksense/zkVMs-benchmarks/atom?h=dvt-circuits-port 2025-04-15T11:39:37Z fix(zkvms/zkm): Use alloc::string in guest 2025-04-15T11:39:37Z Kamen Mladenov kamen@syndamia.com 2025-02-17T16:36:02Z urn:sha1:32b2f8b3a630ebf04259457c5f9522b6bc71b7ff 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. chore: Nix and Rust fmt 2025-04-04T08:03:00Z Kamen Mladenov kamen@syndamia.com 2025-04-02T11:07:50Z urn:sha1:ff022604ff4376903f403c8bb9b6ec4d4233432e feat(zkvms/zkm): Update SDK usage, add witness generation command 2025-04-04T08:03:00Z Kamen Mladenov kamen@syndamia.com 2025-04-02T10:23:44Z urn: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 usage 2025-04-04T08:03:00Z Kamen Mladenov kamen@syndamia.com 2025-03-21T11:01:52Z urn: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.lock 2025-04-04T08:03:00Z Kamen Mladenov kamen@syndamia.com 2025-03-10T15:26:21Z urn:sha1:4fc242cd3de1168e207d86a11894c81f16eaf8fc chore(flake.nix): Replace rust-overlay with fenix 2025-04-04T08:03:00Z Kamen Mladenov kamen@syndamia.com 2025-03-21T09:13:57Z urn:sha1:d02aef570056fdc4efbe757e898328b46e0890e6 This follows the same change which was made in mcl-blockchain