aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* feat(zkvms): Export io logic to it's own crateKamen Mladenov2025-01-1411-97/+532
|
* feat(flake): Introduce custom buildGuestPhaseKamen Mladenov2025-01-143-18/+19
|
* 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
|
* feat: Rework usage of zkVM helper functionsKamen Mladenov2025-01-142-25/+29
|
* feat: Replace global workspace with zkvm-local workspaceKamen Mladenov2025-01-145-16/+34
|
* feat(risc0): Implement (bring back) verificationKamen Mladenov2025-01-134-34/+62
|
* feat: Add script for running a zkVMKamen Mladenov2025-01-132-5/+11
|
* feat: Generic build and install phases, which only compile instead of provingKamen Mladenov2025-01-133-9/+44
|
* feat: Ignore target, result and zkp directoriesKamen Mladenov2025-01-101-0/+3
|
* feat(flake): Add nix package for benchmarking risc0Kamen Mladenov2025-01-106-0/+74
|
* feat: Add Cargo.lockKamen Mladenov2025-01-101-0/+2761
|
* feat(zkvms/risc0): Add guest and it's macroKamen Mladenov2025-01-104-0/+49
|
* feat(zkvms): Add risc0 hostKamen Mladenov2025-01-103-0/+61
| | | | Currently only setup for proving
* feat: Add root cargo workspaceKamen Mladenov2025-01-101-0/+5
| | | | Preparation for Nix
* feat(guests/graph_coloring): Make codebase more flexibleKamen Mladenov2025-01-101-5/+3
|
* feat(guests): Add graph_coloring programKamen Mladenov2025-01-092-0/+35
|
* feat(guests_macro): Add initial implementationKamen Mladenov2025-01-093-0/+154
|
* feat(flake): Add flake with correct inputs and mcl cacheKamen Mladenov2025-01-092-0/+1477
|
* Initial commitKamen Mladenov2025-01-091-0/+1
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-14 23:33:05 +0000