aboutsummaryrefslogtreecommitdiff
path: root/zkvms
Commit message (Collapse)AuthorAgeFilesLines
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-216-47/+34
|
* feat(zkvms/nexus): Require guest to implement a "no_std" featureKamen Mladenov2025-01-212-1/+4
|
* feat(flake); Implement nexus packageKamen Mladenov2025-01-171-0/+66
|
* feat(zkvms): Add nexus guest and it's macroKamen Mladenov2025-01-177-0/+134
|
* feat(zkvms): Add nexus hostKamen Mladenov2025-01-174-0/+4008
|
* feat(flake): Implement jolt packageKamen Mladenov2025-01-171-0/+72
|
* feat(zkvms): Add jolt guest and it's macroKamen Mladenov2025-01-178-0/+217
| | | | | | Had to reimplement and modify the build macro function so it would take an elf path, instead of always doing a manual build. Additionally, had to hard-code a **lot** of values.
* feat(zkvms): Add jolt hostKamen Mladenov2025-01-174-0/+3861
| | | | It expects certain custom funcitonality from guest
* feat(flake): Implement zkm packageKamen Mladenov2025-01-161-0/+89
|
* feat(zkvms); Add zkm guest and it's macroKamen Mladenov2025-01-166-0/+59
|
* feat(zkvms): Add zkm hostKamen Mladenov2025-01-1623-0/+8282
|
* feat(flake): Implement zkwasm packageKamen Mladenov2025-01-151-0/+77
|
* feat(zkvms): Add zkwasm guest and it's macroKamen Mladenov2025-01-156-0/+114
|
* feat(zkvms): Add zkwasm hostKamen Mladenov2025-01-154-0/+533
|
* feat(zkvms): Export io logic to it's own crateKamen Mladenov2025-01-148-97/+229
|
* feat(flake): Introduce custom buildGuestPhaseKamen Mladenov2025-01-142-17/+3
|
* 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-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
Currently only setup for proving