aboutsummaryrefslogtreecommitdiff
path: root/zkvms/risc0/default.nix
Commit message (Expand)AuthorAgeFilesLines
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ve...Kamen Mladenov2025-02-111-1/+1
* fix: Delete unused old input fileKamen Mladenov2025-02-101-1/+0
* feat(risc0): Adapt to new input type and zkvmLibKamen Mladenov2025-01-301-7/+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-6/+5
* feat(zkvms): Export io logic to it's own crateKamen Mladenov2025-01-141-0/+1
* feat(flake): Introduce custom buildGuestPhaseKamen Mladenov2025-01-141-6/+2
* feat: Rework usage of zkVM helper functionsKamen Mladenov2025-01-141-10/+7
* feat: Replace global workspace with zkvm-local workspaceKamen Mladenov2025-01-141-4/+6
* feat(risc0): Implement (bring back) verificationKamen Mladenov2025-01-131-0/+4
* feat: Add script for running a zkVMKamen Mladenov2025-01-131-5/+2
* feat: Generic build and install phases, which only compile instead of provingKamen Mladenov2025-01-131-6/+12
* feat(flake): Add nix package for benchmarking risc0Kamen Mladenov2025-01-101-0/+54
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-14 18:03:02 +0000