aboutsummaryrefslogtreecommitdiff
path: root/zkvms
Commit message (Collapse)AuthorAgeFilesLines
* fix(zkvms/zkm): Downgrade host toolchainKamen Mladenov2025-02-261-0/+3
| | | | | | | The newest toolchain causes errors, an issue has been filed upstream: https://github.com/zkMIPS/toolchain/issues/4 However, it is not certain when it will be resolved, so for now this workaround will be used.
* fix(zkvms/zkm): Override zkm SDKKamen Mladenov2025-02-262-0/+52
| | | | | | | The SDK is out of date. A PR is opened: https://github.com/zkMIPS/zkm-project-template/pull/54 However, its not certain it will be merged soon, so for now this workaround will have to do.
* chore: Update zkVM packagesKamen Mladenov2025-02-2625-2067/+1358
| | | | | | | | This includes: - Updating flake.lock - Updating all host and guest Cargo.toml and Cargo.lock files - Making zkvm default.nix file modifications to account for toolchain and setup changes
* fix(zkvms/README): Squash typosKamen Mladenov2025-02-131-1/+1
|
* feat(zkvms): Add READMEKamen Mladenov2025-02-131-0/+57
|
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ↵Kamen Mladenov2025-02-116-6/+6
| | | | versions
* feat(zkm): Remove copy of sdkKamen Mladenov2025-02-1019-2210/+0
|
* feat(zkm/default.nix): Use repository instad of local copy of sdk for ↵Kamen Mladenov2025-02-101-5/+13
| | | | libsnark Go module
* feat(zkm/host): Use cargo patching instead of local copy of sdkKamen Mladenov2025-02-103-163/+231
|
* fix: Delete unused old input fileKamen Mladenov2025-02-106-6/+0
|
* fix(zkvms/risc0): Revert changes to benchmark only the relevant function callsKamen Mladenov2025-02-101-24/+20
|
* fix(zkvms/risc0): Move prove output from journal message to benchmarkable scopeKamen Mladenov2025-02-101-2/+1
|
* docs(zkvms/zkwasm): Add detailed documentation commentsKamen Mladenov2025-02-103-1/+65
|
* docs(zkvms/zkm): Add detailed documentation commentsKamen Mladenov2025-02-104-0/+33
|
* fix(zkvms/sp1): When benchmarking verification, only benchmark the function callKamen Mladenov2025-02-101-3/+5
|
* fix(zkvms/sp1): Remove unused guests_macro symlinkKamen Mladenov2025-02-101-1/+0
|
* docs(zkvms/sp1): Add detailed documentation commentsKamen Mladenov2025-02-102-0/+30
|
* docs(zkvms/nexus/wrapper_macro): Minor detail addedKamen Mladenov2025-02-101-1/+1
|
* fix(zkvms/risc0): Benchmark only the specific function instead of everything ↵Kamen Mladenov2025-02-101-15/+23
| | | | during the process
* docs(zkvms/risc0): Add detailed documentation commentsKamen Mladenov2025-02-103-1/+33
|
* fix(zkvms/nexus): When benchmarking verification, benchmark only the ↵Kamen Mladenov2025-02-101-3/+5
| | | | verification function
* docs(zkvms/nexus): Add detailed documentation commentsKamen Mladenov2025-02-103-0/+32
|
* docs(zkvms/jolt): Add detailed documentation commentsKamen Mladenov2025-02-103-1/+41
|
* chore(nexus): Update nix cargo dependenciesKamen Mladenov2025-02-104-35/+86
|
* feat(zkvms/jolt): Add benchmarking capabilityKamen Mladenov2025-02-071-5/+5
|
* fix(zkvms/jolt): Add proper panic on attempted executionKamen Mladenov2025-02-071-0/+3
|
* 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): 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-061-7/+14
|
* 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-062-99/+127
| | | | to host
* feat(zkvms/zkwasm): Support reading hashmapsKamen Mladenov2025-02-051-0/+24
|
* feat(zkvms/zkwasm): Properly read string and char valuesKamen Mladenov2025-02-051-2/+25
|
* feat(guest/zkwasm): Add support for unflattening tuple typesKamen Mladenov2025-02-051-9/+20
|
* 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
* feat(zkvms/zkwasm): Implement proper handling of public and private inputsKamen Mladenov2025-02-035-27/+174
|
* 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-032-2/+2
|
* 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-031-6/+7
|
* feat(zkvms/risc0): Make guest commit public inputKamen Mladenov2025-02-035-51/+94
|
* feat(zkvms/sp1): Make guest commit public inputsKamen Mladenov2025-02-033-58/+64
|
* fix(zkvms/nexus): Use the zkvms_host_io Output type, instead of the local oneKamen Mladenov2025-01-311-3/+1
|
* feat(zkvms/jolt): Update Cargo.lockKamen Mladenov2025-01-311-11/+256
|
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-15 09:22:58 +0000