aboutsummaryrefslogtreecommitdiff
path: root/zkvms/risc0/default.nix
Commit message (Collapse)AuthorAgeFilesLines
* feat(zkvms/risc0): Use unstable featureKamen Mladenov2025-04-241-0/+6
|
* feat(zkvms/risc0): Implement elf encodingKamen Mladenov2025-04-041-1/+6
| | | | | | | | | Recently, RISC0 have added code to their SDK which adds magic bytes to the (already compiled) ELF. Since we're taking another route than intended, we'll need to replicate this step too. We're doing things in a different fashion, because their SDK normally compiles the guest, and doesn't allow you to supply a prebuilt ELF.
* chore: Nix fmtKamen Mladenov2025-02-271-35/+20
|
* chore: Update zkVM packagesKamen Mladenov2025-02-261-0/+2
| | | | | | | | This includes: - Updating flake.lock - Updating all host and guest Cargo.toml and Cargo.lock files - Making zkvm default.nix file modifications to account for toolchain and setup changes
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ↵Kamen Mladenov2025-02-111-1/+1
| | | | versions
* 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