aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* feat: Add output type to zkvms_host_io macroKamen Mladenov2025-01-313-8/+15
|
* feat(guest.nix): Separate calling into it's own function and print the ↵Kamen Mladenov2025-01-311-2/+7
| | | | current zkVM which is executing
* feat(zkvms/jolt): Update Cargo.lockKamen Mladenov2025-01-311-11/+256
|
* feat(zkvms/nexus): Update Cargo.lockKamen Mladenov2025-01-311-8/+235
|
* feat(zkvms/risc0): Update Cargo.lockKamen Mladenov2025-01-311-8/+293
|
* feat(zkvms/sp1): Update Cargo.lockKamen Mladenov2025-01-311-40/+228
|
* feat(zkvms/zkwasm): Update Cargo.lock, make variables depend on environment ↵Kamen Mladenov2025-01-312-19/+479
| | | | and use default environments
* feat(zkvms/zkm): Update Cargo.lock and use default environmentsKamen Mladenov2025-01-312-55/+124
|
* feat(guests): Add default environmentsKamen Mladenov2025-01-312-0/+4
|
* feat(zkvms_host_io): Implement convinence environment variable methodsKamen Mladenov2025-01-311-1/+18
|
* feat(zkvms_host_io): Add default_env RunWith attributeKamen Mladenov2025-01-312-4/+11
|
* feat(flake): Implement single guest packagesKamen Mladenov2025-01-302-6/+35
|
* feat(flake): Generate zkvm packages with all available ones in zkvms folderKamen Mladenov2025-01-301-8/+12
|
* fix(guests/fibonacci): Fix output being one value lower than n in the sequenceKamen Mladenov2025-01-301-1/+1
| | | | Note: SP1 still proved this incorrect program successfully
* feat(guests): Add a second example guestKamen Mladenov2025-01-304-0/+41
|
* feat: Pass guest entrypoint type to hostKamen Mladenov2025-01-302-2/+7
|
* chore(guests_macro): Split entrypoint macro string onto multiple linesKamen Mladenov2025-01-301-1/+6
|
* feat(jolt): Adapt to new input type and zkvmLibKamen Mladenov2025-01-308-78/+456
|
* feat(zkvmLib): Add guest feature during linkGuestKamen Mladenov2025-01-301-0/+1
|
* feat(nexus): Adapt to new input type and zkvmLibKamen Mladenov2025-01-306-137/+257
|
* feat(zkvmLib): Add no_std feature on linkGuestKamen Mladenov2025-01-301-2/+9
|
* feat(risc0): Adapt to new input type and zkvmLibKamen Mladenov2025-01-308-69/+1103
|
* feat(sp1): Adapt to new input type and zkvmLibKamen Mladenov2025-01-306-82/+1701
|
* feat(zkm): Adapt to new input type and zkvmLibKamen Mladenov2025-01-308-87/+361
|
* feat(zkvmLib): Make package names depend on guestKamen Mladenov2025-01-301-4/+8
|
* feat(zkwasm): Update to use zkvmLibKamen Mladenov2025-01-301-5/+5
|
* 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
|
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-14 17:45:05 +0000