aboutsummaryrefslogtreecommitdiff
path: root/zkvms/risc0
Commit message (Expand)AuthorAgeFilesLines
* chore: cargo fmtKamen Mladenov2025-05-022-3/+4
* feat(zkvms_guest_io): Output proof sizeKamen Mladenov2025-05-021-0/+6
* 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-022-91/+356
* feat(zkvms/risc0): Use unstable featureKamen Mladenov2025-04-243-3/+9
* chore: Update mcl-blockchain dependencyKamen Mladenov2025-04-245-107/+117
* feat(zkvms/risc0): Update to use FunctionDefinitionKamen Mladenov2025-04-071-20/+17
* feat(zkvms/risc0): Implement elf encodingKamen Mladenov2025-04-044-1/+29
* 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
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ve...Kamen Mladenov2025-02-111-1/+1
* 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
* 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
* 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