aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-217-55/+69
* feat(guests/graph_coloring): Support no_std conditionallyKamen Mladenov2025-01-212-0/+10
* feat(zkvms/nexus): Require guest to implement a "no_std" featureKamen Mladenov2025-01-212-1/+4
* feat(flake); Implement nexus packageKamen Mladenov2025-01-172-0/+67
* 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-173-3/+76
* feat(flake): Add the ability to include extra cargo args during guest buildKamen Mladenov2025-01-171-1/+1
* feat(flake): Make fixDeps not overwrite postUnpack and preBuild phasesKamen Mladenov2025-01-171-0/+2
* fix(guests_macro): Make make_wrapper call use curly braces, since it expands ...Kamen Mladenov2025-01-171-1/+1
* feat(zkvms): Add jolt guest and it's macroKamen Mladenov2025-01-178-0/+217
* feat(zkvms): Add jolt hostKamen Mladenov2025-01-174-0/+3861
* feat(flake): Implement zkm packageKamen Mladenov2025-01-162-0/+90
* feat(zkvms); Add zkm guest and it's macroKamen Mladenov2025-01-166-0/+59
* fix(guests_macro): Remove trailing comma from group_streams outputKamen Mladenov2025-01-161-1/+1
* feat(guests_macro): Make split_fn remove -> from return typeKamen Mladenov2025-01-162-2/+6
* feat(zkvms): Add zkm hostKamen Mladenov2025-01-1623-0/+8282
* feat(flake): Implement zkwasm packageKamen Mladenov2025-01-152-2/+84
* feat(zkvms): Add zkwasm guest and it's macroKamen Mladenov2025-01-156-0/+114
* feat(zkvms): Add zkwasm hostKamen Mladenov2025-01-155-0/+536
* 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
* feat: Add root cargo workspaceKamen Mladenov2025-01-101-0/+5
* 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