aboutsummaryrefslogtreecommitdiff
path: root/zkvms/sp1
Commit message (Expand)AuthorAgeFilesLines
* feat(zkvms/sp1): Update to use FunctionDefinitionKamen Mladenov2025-04-071-17/+17
* chore: Update flake.lock and Cargo.lockKamen Mladenov2025-04-044-352/+521
* chore: Rust fmtKamen Mladenov2025-02-273-13/+17
* chore: Nix fmtKamen Mladenov2025-02-271-29/+14
* chore: Update zkVM packagesKamen Mladenov2025-02-265-1681/+602
* 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
* fix(zkvms/sp1): When benchmarking verification, only benchmark the function callKamen Mladenov2025-02-101-3/+5
* fix(zkvms/sp1): Remove unused guests_macro symlinkKamen Mladenov2025-02-101-1/+0
* docs(zkvms/sp1): Add detailed documentation commentsKamen Mladenov2025-02-102-0/+30
* feat(zkvms/sp1): Add benchmarking capabilityKamen Mladenov2025-02-071-6/+6
* feat(zkvms): Use std (or alloc) collections in all guestsKamen Mladenov2025-02-071-0/+1
* feat(zkvms/sp1): Make guest commit public inputsKamen Mladenov2025-02-033-58/+64
* feat(zkvms/sp1): Update Cargo.lockKamen Mladenov2025-01-311-40/+228
* feat(sp1): Adapt to new input type and zkvmLibKamen Mladenov2025-01-306-82/+1701
* feat(flake): Move creating guest (zkp) symlink to a custom phaseKamen Mladenov2025-01-281-4/+0
* feat(zkvms/sp1): Adapt to new input typeKamen Mladenov2025-01-283-85/+118
* feat(guests_macro): Implement args_divide_groupedKamen Mladenov2025-01-221-3/+2
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-211-1/+0
* feat(zkvms): Export io logic to it's own crateKamen Mladenov2025-01-144-64/+52
* feat(flake): Introduce custom buildGuestPhaseKamen Mladenov2025-01-141-11/+1
* feat(flake): Implement sp1 nix packageKamen Mladenov2025-01-141-0/+56
* feat(zkvms): Add sp1 guest and it's macroKamen Mladenov2025-01-147-0/+59
* feat(zkvms): Add sp1 hostKamen Mladenov2025-01-144-0/+5954
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-14 17:32:37 +0000