aboutsummaryrefslogtreecommitdiff
path: root/zkvms/risc0
Commit message (Collapse)AuthorAgeFilesLines
* feat(zkvms/risc0): Update to use FunctionDefinitionKamen Mladenov2025-04-071-20/+17
|
* feat(zkvms/risc0): Implement elf encodingKamen Mladenov2025-04-044-1/+29
| | | | | | | | | 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_deriveKamen Mladenov2025-04-043-15/+17
|
* chore: Update flake.lock and Cargo.lockKamen Mladenov2025-04-044-406/+755
|
* 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
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-14 18:25:42 +0000