aboutsummaryrefslogtreecommitdiff
path: root/zkvms/risc0/host
Commit message (Collapse)AuthorAgeFilesLines
* chore: cargo fmtKamen Mladenov2025-05-021-2/+1
|
* feat(zkvms_guest_io): Output proof sizeKamen Mladenov2025-05-021-0/+6
| | | | | | | 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-9/+217
|
* feat(zkvms_host_io): Add json dependencyKamen Mladenov2025-05-021-59/+317
|
* feat(zkvms/risc0): Use unstable featureKamen Mladenov2025-04-241-2/+2
|
* chore: Update mcl-blockchain dependencyKamen Mladenov2025-04-242-80/+80
| | | | | | 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/risc0): Upper bound for bytemuck_deriveKamen Mladenov2025-04-042-9/+11
|
* chore: Update flake.lock and Cargo.lockKamen Mladenov2025-04-042-270/+496
|
* chore: Rust fmtKamen Mladenov2025-02-271-9/+9
|
* chore: Update zkVM packagesKamen Mladenov2025-02-262-56/+265
| | | | | | | | 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/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
|
* 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-101-0/+1
|
* feat(zkvms/risc0): Add benchmarking capabilityKamen Mladenov2025-02-071-5/+7
|
* feat(zkvms/risc0): Make guest commit public inputKamen Mladenov2025-02-032-36/+38
|
* feat(zkvms/risc0): Update Cargo.lockKamen Mladenov2025-01-311-8/+293
|
* feat(risc0): Adapt to new input type and zkvmLibKamen Mladenov2025-01-301-0/+2954
|
* feat(zkvms/risc0): Adapt to new input typeKamen Mladenov2025-01-281-13/+7
|
* feat(zkvms): Export io logic to it's own crateKamen Mladenov2025-01-142-30/+44
|
* feat(risc0): Implement (bring back) verificationKamen Mladenov2025-01-132-3/+15
|
* feat: Generic build and install phases, which only compile instead of provingKamen Mladenov2025-01-131-2/+2
|
* feat(zkvms): Add risc0 hostKamen Mladenov2025-01-102-0/+60
Currently only setup for proving