| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat(zkvms/risc0): Use unstable feature | Kamen Mladenov | 2025-04-24 | 1 | -0/+6 |
| | | |||||
| * | feat(zkvms/risc0): Implement elf encoding | Kamen Mladenov | 2025-04-04 | 1 | -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 fmt | Kamen Mladenov | 2025-02-27 | 1 | -35/+20 |
| | | |||||
| * | chore: Update zkVM packages | Kamen Mladenov | 2025-02-26 | 1 | -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 Mladenov | 2025-02-11 | 1 | -1/+1 |
| | | | | | versions | ||||
| * | fix: Delete unused old input file | Kamen Mladenov | 2025-02-10 | 1 | -1/+0 |
| | | |||||
| * | feat(risc0): Adapt to new input type and zkvmLib | Kamen Mladenov | 2025-01-30 | 1 | -7/+4 |
| | | |||||
| * | feat(flake): Move creating guest (zkp) symlink to a custom phase | Kamen Mladenov | 2025-01-28 | 1 | -4/+0 |
| | | |||||
| * | feat(flake): Rework withCustomPhases variables | Kamen Mladenov | 2025-01-21 | 1 | -6/+5 |
| | | |||||
| * | feat(zkvms): Export io logic to it's own crate | Kamen Mladenov | 2025-01-14 | 1 | -0/+1 |
| | | |||||
| * | feat(flake): Introduce custom buildGuestPhase | Kamen Mladenov | 2025-01-14 | 1 | -6/+2 |
| | | |||||
| * | feat: Rework usage of zkVM helper functions | Kamen Mladenov | 2025-01-14 | 1 | -10/+7 |
| | | |||||
| * | feat: Replace global workspace with zkvm-local workspace | Kamen Mladenov | 2025-01-14 | 1 | -4/+6 |
| | | |||||
| * | feat(risc0): Implement (bring back) verification | Kamen Mladenov | 2025-01-13 | 1 | -0/+4 |
| | | |||||
| * | feat: Add script for running a zkVM | Kamen Mladenov | 2025-01-13 | 1 | -5/+2 |
| | | |||||
| * | feat: Generic build and install phases, which only compile instead of proving | Kamen Mladenov | 2025-01-13 | 1 | -6/+12 |
| | | |||||
| * | feat(flake): Add nix package for benchmarking risc0 | Kamen Mladenov | 2025-01-10 | 1 | -0/+54 |
