aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* feat(zkvms/nexus): Add benchmarking capabilityKamen Mladenov2025-02-071-6/+9
|
* feat(zkvms/risc0): Add benchmarking capabilityKamen Mladenov2025-02-071-5/+7
|
* feat(zkvms/sp1): Add benchmarking capabilityKamen Mladenov2025-02-071-6/+6
|
* feat(zkvms/zkm): Add benchmarking capabilityKamen Mladenov2025-02-071-3/+7
|
* feat(zkvms/zkwasm): Add benchmarking capabilityKamen Mladenov2025-02-071-13/+15
|
* feat(zkvms_host_io): Create "benchmarkable" macro and add benchmarking flagsKamen Mladenov2025-02-072-1/+73
|
* fix(gitignore): Ignore zkvms_host_io Cargo.lockKamen Mladenov2025-02-071-0/+1
| | | | | This file shouldn't exist, it is handled by the hosts Cargo.lock, but it may appear when manually compiling zkvms_host_io during development
* feat(zkvms): Use std (or alloc) collections in all guestsKamen Mladenov2025-02-075-7/+5
|
* feat(zkvms/zkwasm): Support all std containers as input typesKamen Mladenov2025-02-062-8/+15
|
* feat(zkvms/zkwasm): Proper handling of input strings and hashmapsKamen Mladenov2025-02-065-48/+52
|
* feat(zkvms/zkwasm): Use path input type and move container size information ↵Kamen Mladenov2025-02-063-99/+129
| | | | to host
* feat(zkvms/zkwasm): Support reading hashmapsKamen Mladenov2025-02-051-0/+24
|
* fix(guests_macro): When writing to type.txt, do not include newlines when ↵Kamen Mladenov2025-02-051-2/+2
| | | | the line is too long
* feat(zkvms/zkwasm): Properly read string and char valuesKamen Mladenov2025-02-051-2/+25
|
* feat(guests_macro/parse_fn): Fix args split with composite angled bracket typesKamen Mladenov2025-02-051-7/+15
| | | | | Types like HashMap<Key, Value>, i.e. with commas inside the angled brackets
* feat(guest/zkwasm): Add support for unflattening tuple typesKamen Mladenov2025-02-051-9/+20
|
* feat(guests/graph_coloring): Make coloring pairs type more succinctKamen Mladenov2025-02-051-1/+1
|
* feat(zkvms/zkwasm): Rework read macro into a procedural macro and improve ↵Kamen Mladenov2025-02-052-43/+120
| | | | type composition
* feat(zkvms/zkwasm): Proper Vec input type handlingKamen Mladenov2025-02-042-17/+25
| | | | Also handles multidimentional vec
* fix(guests/fibonacci): Update SEG_SIZE default valueKamen Mladenov2025-02-041-1/+1
|
* feat(zkvms/zkwasm): Implement proper handling of public and private inputsKamen Mladenov2025-02-035-27/+174
|
* feat(zkvms_host_io): Implement foreach_private_input_field and ↵Kamen Mladenov2025-02-032-7/+37
| | | | foreach_public_input_field macros
* feat(zkvms/zkm): Implement proper handling of public and private inputsKamen Mladenov2025-02-034-6/+108
|
* feat(guests_macro/parse_fn): Make _public functions also return private valuesKamen Mladenov2025-02-034-16/+32
|
* feat(zkvms_host_io): Add public_inputs and private_inputs attributes to RunWithKamen Mladenov2025-02-033-5/+36
|
* fix(zkvms_host_io): Remove useless template parameter to RunWithKamen Mladenov2025-02-032-6/+6
|
* feat(zkvms/risc0/wrapper_macro): Simplify public input committingKamen Mladenov2025-02-031-6/+5
|
* feat(zkvms/nexus): Make guest commit public inputKamen Mladenov2025-02-035-55/+103
|
* feat: Move some public input parsing logic to parse_fnKamen Mladenov2025-02-033-18/+25
|
* feat(zkvms/risc0): Make guest commit public inputKamen Mladenov2025-02-035-51/+94
|
* feat(zkvms_host_io): Make Output type contain public inputsKamen Mladenov2025-02-032-1/+19
|
* feat(zkvms/sp1): Make guest commit public inputsKamen Mladenov2025-02-035-58/+67
|
* feat(zkvms_host_io): Add argument for private inputKamen Mladenov2025-02-035-17/+24
|
* fix(zkvms/nexus): Use the zkvms_host_io Output type, instead of the local oneKamen Mladenov2025-01-311-3/+1
|
* 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
|