aboutsummaryrefslogtreecommitdiff
path: root/zkvms/risc0
Commit message (Expand)AuthorAgeFilesLines
* feat(risc0): Adapt to new input type and zkvmLibKamen Mladenov2025-01-308-69/+1103
* feat(flake): Move creating guest (zkp) symlink to a custom phaseKamen Mladenov2025-01-281-4/+0
* feat(zkvms/risc0): Adapt to new input typeKamen Mladenov2025-01-282-42/+69
* feat(guests_macro): Implement args_divide_groupedKamen Mladenov2025-01-221-3/+2
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-211-6/+5
* feat(zkvms): Export io logic to it's own crateKamen Mladenov2025-01-144-33/+177
* 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-144-4/+2786
* feat(risc0): Implement (bring back) verificationKamen Mladenov2025-01-133-3/+19
* 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-132-8/+14
* feat(flake): Add nix package for benchmarking risc0Kamen Mladenov2025-01-104-0/+68
* feat(zkvms/risc0): Add guest and it's macroKamen Mladenov2025-01-104-0/+49
* feat(zkvms): Add risc0 hostKamen Mladenov2025-01-102-0/+60