aboutsummaryrefslogtreecommitdiff
path: root/zkvms/jolt
Commit message (Collapse)AuthorAgeFilesLines
* chore: cargo fmtKamen Mladenov2025-05-021-2/+1
|
* feat(zkvms_guest_io): Output proof sizeKamen Mladenov2025-05-021-1/+8
| | | | | | | In each zkVM we'll write the size to /tmp/proof_size and then guest_io will read that value and place it inside our metrics output. This is not the most elegant, and in certain zkVMs the file output is a part of the benchmark timing, but it will have to do.
* feat(zkvms_host_io): Implement new output format for zkvm/guestKamen Mladenov2025-05-021-23/+237
|
* feat(zkvms_host_io): Add json dependencyKamen Mladenov2025-05-022-72/+337
|
* chore: Update mcl-blockchain dependencyKamen Mladenov2025-04-245-103/+210
| | | | | | There are no package version updates. The primary difference is that RISC0 is now compiled with the unstable feature. All other hash updates come from the switch from rust-bin to fenix.
* feat(zkvms/jolt): Update to use FunctionDefinitionKamen Mladenov2025-04-073-21/+417
|
* feat(zkvms/jolt): Add libcxx and openssl dependencies, upper bound for ↵Kamen Mladenov2025-04-044-7/+8
| | | | bytemuck_derive
* chore: Update flake.lock and Cargo.lockKamen Mladenov2025-04-045-226/+339
|
* fix(zkvms/jolt/host): Replace default formatting with debug formatting in printKamen Mladenov2025-03-041-2/+2
|
* chore: Rust fmtKamen Mladenov2025-02-273-14/+45
|
* chore: Nix fmtKamen Mladenov2025-02-271-48/+32
|
* chore: Update zkVM packagesKamen Mladenov2025-02-265-103/+132
| | | | | | | | 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
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ↵Kamen Mladenov2025-02-111-1/+1
| | | | versions
* fix: Delete unused old input fileKamen Mladenov2025-02-101-1/+0
|
* docs(zkvms/jolt): Add detailed documentation commentsKamen Mladenov2025-02-103-1/+41
|
* 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): Use std (or alloc) collections in all guestsKamen Mladenov2025-02-071-0/+1
|
* feat(zkvms/jolt): Update Cargo.lockKamen Mladenov2025-01-311-11/+256
|
* feat(jolt): Adapt to new input type and zkvmLibKamen Mladenov2025-01-308-78/+456
|
* feat(flake): Move creating guest (zkp) symlink to a custom phaseKamen Mladenov2025-01-281-1/+0
|
* feat(zkvms/jolt): Adapt to new input typeKamen Mladenov2025-01-282-116/+88
|
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-211-9/+7
|
* feat(flake): Implement jolt packageKamen Mladenov2025-01-171-0/+72
|
* 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