aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* feat(flake): Replace zkVM-helpers with zkvmLibKamen Mladenov2025-01-302-123/+119
|
* fix(graph_coloring): Rename rust package and add lockfileKamen Mladenov2025-01-292-1/+15
|
* feat(zkwasm): Remove workspace and use withGeneratedLockfileKamen Mladenov2025-01-2910-458/+220
|
* feat(flake): Implement withGeneratedLockfile and update pases where that ↵Kamen Mladenov2025-01-291-8/+28
| | | | makes a difference
* feat(zkvms_host_io): Implement using a guest's default inputKamen Mladenov2025-01-282-4/+11
|
* feat(guests/graph_coloring): Add a default input tomlKamen Mladenov2025-01-281-0/+27
|
* feat(flake): Move creating guest (zkp) symlink to a custom phaseKamen Mladenov2025-01-287-19/+8
|
* feat(flake): Add zkvm with guest implementation packagesKamen Mladenov2025-01-281-14/+26
| | | | | Now, you have zkvm/guest_implementation packages, where you'll build and run the zkVM with guest_implementation
* feat(zkvms/zkwasm): Adapt to new input typeKamen Mladenov2025-01-281-14/+16
|
* feat(zkvms/sp1): Adapt to new input typeKamen Mladenov2025-01-283-85/+118
|
* feat(zkvms/risc0): Adapt to new input typeKamen Mladenov2025-01-282-42/+69
|
* feat(zkvms_host_io/input_macros): Implement forach_input_field macroKamen Mladenov2025-01-281-0/+13
|
* fix(zkvms/zkwasm): Lock wasm-bindgen version and add regexKamen Mladenov2025-01-283-10/+157
|
* fix(zkvms/zkm): Lock aws-sdk-s3 versionKamen Mladenov2025-01-282-60/+69
|
* feat(zkvms/nexus): Adapt to new input typeKamen Mladenov2025-01-282-27/+57
|
* feat(zkvms/jolt): Adapt to new input typeKamen Mladenov2025-01-282-116/+88
|
* fix(guests_macro): Do not skip joint characters which arent ':'Kamen Mladenov2025-01-281-1/+1
| | | | | For example, in `Vec<...>`, `<` is Joint and before it would get skipped.
* feat(zkvms_host_io): Generate input type from string and read input data ↵Kamen Mladenov2025-01-284-5/+56
| | | | from TOML file
* feat(guests_macro): Implement args_divide_groupedKamen Mladenov2025-01-225-18/+19
| | | | Use it in multiple zkVMs, simplifying codebase
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-217-55/+69
|
* feat(guests/graph_coloring): Support no_std conditionallyKamen Mladenov2025-01-212-0/+10
| | | | For use in Nexus
* 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
| | | | to items
* 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-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
|
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-15 19:00:36 +0000