aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkm/default.nix
Commit message (Collapse)AuthorAgeFilesLines
* 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