aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkm/default.nix
Commit message (Collapse)AuthorAgeFilesLines
* fix(zkvms/zkm): Update SDK and remove hackKamen Mladenov2025-04-041-3/+1
| | | | | | | | | | 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 fmtKamen Mladenov2025-04-041-2/+2
|
* feat(zkvms/zkm): Update SDK usage, add witness generation commandKamen Mladenov2025-04-041-0/+3
| | | | | | | 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 usageKamen Mladenov2025-04-041-34/+2
| | | | | | | 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(flake.nix): Replace rust-overlay with fenixKamen Mladenov2025-04-041-1/+1
| | | | This follows the same change which was made in mcl-blockchain
* chore: Nix fmtKamen Mladenov2025-02-271-57/+31
|
* fix(zkvms/zkm): Downgrade host toolchainKamen Mladenov2025-02-261-0/+3
| | | | | | | The newest toolchain causes errors, an issue has been filed upstream: https://github.com/zkMIPS/toolchain/issues/4 However, it is not certain when it will be resolved, so for now this workaround will be used.
* fix(zkvms/zkm): Override zkm SDKKamen Mladenov2025-02-261-0/+10
| | | | | | | The SDK is out of date. A PR is opened: https://github.com/zkMIPS/zkm-project-template/pull/54 However, its not certain it will be merged soon, so for now this workaround will have to do.
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ↵Kamen Mladenov2025-02-111-1/+1
| | | | versions
* feat(zkm/default.nix): Use repository instad of local copy of sdk for ↵Kamen Mladenov2025-02-101-5/+13
| | | | libsnark Go module
* fix: Delete unused old input fileKamen Mladenov2025-02-101-1/+0
|
* feat(zkm): Adapt to new input type and zkvmLibKamen Mladenov2025-01-301-6/+4
|
* feat(flake): Move creating guest (zkp) symlink to a custom phaseKamen Mladenov2025-01-281-4/+0
|
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-211-7/+6
|
* feat(flake): Implement zkm packageKamen Mladenov2025-01-161-0/+89
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-14 20:01:33 +0000