aboutsummaryrefslogtreecommitdiff
path: root/zkvms/risc0
Commit message (Collapse)AuthorAgeFilesLines
* chore: Rust fmtKamen Mladenov2025-02-273-17/+20
|
* chore: Nix fmtKamen Mladenov2025-02-271-35/+20
|
* chore: Update zkVM packagesKamen Mladenov2025-02-265-69/+347
| | | | | | | | 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
|
* 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-103-1/+33
|
* feat(zkvms/risc0): Add benchmarking capabilityKamen Mladenov2025-02-071-5/+7
|
* feat(zkvms): Use std (or alloc) collections in all guestsKamen Mladenov2025-02-071-0/+1
|
* feat(guests_macro/parse_fn): Make _public functions also return private valuesKamen Mladenov2025-02-031-1/+1
|
* feat(zkvms/risc0/wrapper_macro): Simplify public input committingKamen Mladenov2025-02-031-6/+5
|
* 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/risc0): Update Cargo.lockKamen Mladenov2025-01-311-8/+293
|
* feat(risc0): Adapt to new input type and zkvmLibKamen Mladenov2025-01-308-69/+1103
|
* feat(flake): Move creating guest (zkp) symlink to a custom phaseKamen Mladenov2025-01-281-4/+0
|
* feat(zkvms/risc0): Adapt to new input typeKamen Mladenov2025-01-282-42/+69
|
* feat(guests_macro): Implement args_divide_groupedKamen Mladenov2025-01-221-3/+2
| | | | Use it in multiple zkVMs, simplifying codebase
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-211-6/+5
|
* feat(zkvms): Export io logic to it's own crateKamen Mladenov2025-01-144-33/+177
|
* feat(flake): Introduce custom buildGuestPhaseKamen Mladenov2025-01-141-6/+2
|
* feat: Rework usage of zkVM helper functionsKamen Mladenov2025-01-141-10/+7
|
* feat: Replace global workspace with zkvm-local workspaceKamen Mladenov2025-01-144-4/+2786
|
* feat(risc0): Implement (bring back) verificationKamen Mladenov2025-01-133-3/+19
|
* feat: Add script for running a zkVMKamen Mladenov2025-01-131-5/+2
|
* feat: Generic build and install phases, which only compile instead of provingKamen Mladenov2025-01-132-8/+14
|
* feat(flake): Add nix package for benchmarking risc0Kamen Mladenov2025-01-104-0/+68
|
* feat(zkvms/risc0): Add guest and it's macroKamen Mladenov2025-01-104-0/+49
|
* feat(zkvms): Add risc0 hostKamen Mladenov2025-01-102-0/+60
Currently only setup for proving