Website Summary Files Commits Branches @commit @diff @stats
path: root / zkvms / risc0
Commit message (Collapse)AuthorAgeLinesSHA
* chore: cargo fmt
 Kamen Mladenov
2025-05-02-3/+41a2ad55
|
* feat(zkvms_guest_io): Output proof size
 Kamen Mladenov
2025-05-02-0/+6eefb57f
| | | | | | | 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/guest
 Kamen Mladenov
2025-05-02-9/+2171112cce
|
* feat(zkvms_host_io): Add json dependency
 Kamen Mladenov
2025-05-02-91/+356c8505d6
|
* feat(zkvms/risc0): Use unstable feature
 Kamen Mladenov
2025-04-24-3/+9406848b
|
* chore: Update mcl-blockchain dependency
 Kamen Mladenov
2025-04-24-107/+117b9a899d
| | | | | | 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): Update to use FunctionDefinition
 Kamen Mladenov
2025-04-07-20/+173ea60f8
|
* feat(zkvms/risc0): Implement elf encoding
 Kamen Mladenov
2025-04-04-1/+29a30b402
| | | | | | | | | Recently, RISC0 have added code to their SDK which adds magic bytes to the (already compiled) ELF. Since we're taking another route than intended, we'll need to replicate this step too. We're doing things in a different fashion, because their SDK normally compiles the guest, and doesn't allow you to supply a prebuilt ELF.
* feat(zkvms/risc0): Upper bound for bytemuck_derive
 Kamen Mladenov
2025-04-04-15/+17696e604
|
* chore: Update flake.lock and Cargo.lock
 Kamen Mladenov
2025-04-04-406/+7554fc242c
|
* chore: Rust fmt
 Kamen Mladenov
2025-02-27-17/+205b82ac7
|
* chore: Nix fmt
 Kamen Mladenov
2025-02-27-35/+2039ec264
|
* chore: Update zkVM packages
 Kamen Mladenov
2025-02-26-69/+34791fb361
| | | | | | | | 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 Mladenov
2025-02-11-1/+150029c0
| | | | versions
* fix: Delete unused old input file
 Kamen Mladenov
2025-02-10-1/+06dcc8ec
|
* fix(zkvms/risc0): Revert changes to benchmark only the relevant function calls
 Kamen Mladenov
2025-02-10-24/+206a310e1
|
* fix(zkvms/risc0): Move prove output from journal message to benchmarkable scope
 Kamen Mladenov
2025-02-10-2/+185d0044
|
* fix(zkvms/risc0): Benchmark only the specific function instead of everything ↵
 Kamen Mladenov
2025-02-10-15/+23ec698b4
| | | | during the process
* docs(zkvms/risc0): Add detailed documentation comments
 Kamen Mladenov
2025-02-10-1/+33d69e4e7
|
* feat(zkvms/risc0): Add benchmarking capability
 Kamen Mladenov
2025-02-07-5/+7c626e4f
|
* feat(zkvms): Use std (or alloc) collections in all guests
 Kamen Mladenov
2025-02-07-0/+16b9a3fa
|
* feat(guests_macro/parse_fn): Make _public functions also return private values
 Kamen Mladenov
2025-02-03-1/+1434248b
|
* feat(zkvms/risc0/wrapper_macro): Simplify public input committing
 Kamen Mladenov
2025-02-03-6/+5badcb2c
|
* feat: Move some public input parsing logic to parse_fn
 Kamen Mladenov
2025-02-03-6/+76155820
|
* feat(zkvms/risc0): Make guest commit public input
 Kamen Mladenov
2025-02-03-51/+946bfa6d9
|
* feat(zkvms/risc0): Update Cargo.lock
 Kamen Mladenov
2025-01-31-8/+2932cdbc4c
|
* feat(risc0): Adapt to new input type and zkvmLib
 Kamen Mladenov
2025-01-30-69/+1103d24bd9a
|
* feat(flake): Move creating guest (zkp) symlink to a custom phase
 Kamen Mladenov
2025-01-28-4/+06c0952f
|
* feat(zkvms/risc0): Adapt to new input type
 Kamen Mladenov
2025-01-28-42/+69d1dfdda
|
* feat(guests_macro): Implement args_divide_grouped
 Kamen Mladenov
2025-01-22-3/+2a82b39d
| | | | Use it in multiple zkVMs, simplifying codebase
* feat(flake): Rework withCustomPhases variables
 Kamen Mladenov
2025-01-21-6/+5b0608ca
|
* feat(zkvms): Export io logic to it's own crate
 Kamen Mladenov
2025-01-14-33/+177e8b7b1c
|
* feat(flake): Introduce custom buildGuestPhase
 Kamen Mladenov
2025-01-14-6/+25e9c547
|
* feat: Rework usage of zkVM helper functions
 Kamen Mladenov
2025-01-14-10/+77bdd131
|
* feat: Replace global workspace with zkvm-local workspace
 Kamen Mladenov
2025-01-14-4/+278617829ad
|
* feat(risc0): Implement (bring back) verification
 Kamen Mladenov
2025-01-13-3/+192162246
|
* feat: Add script for running a zkVM
 Kamen Mladenov
2025-01-13-5/+29082437
|
* feat: Generic build and install phases, which only compile instead of proving
 Kamen Mladenov
2025-01-13-8/+1407c5659
|
* feat(flake): Add nix package for benchmarking risc0
 Kamen Mladenov
2025-01-10-0/+689374e13
|
* feat(zkvms/risc0): Add guest and it's macro
 Kamen Mladenov
2025-01-10-0/+4961d742d
|
* feat(zkvms): Add risc0 host
 Kamen Mladenov
2025-01-10-0/+603bef1a1
Currently only setup for proving