aboutsummaryrefslogtreecommitdiff
path: root/zkvms/nexus
Commit message (Collapse)AuthorAgeFilesLines
* chore: cargo fmtKamen Mladenov2025-05-022-5/+20
|
* feat(zkvms_guest_io): Output proof sizeKamen Mladenov2025-05-021-1/+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-7/+215
|
* feat(zkvms_host_io): Add json dependencyKamen Mladenov2025-05-022-49/+336
|
* chore: Update mcl-blockchain dependencyKamen Mladenov2025-04-244-65/+64
| | | | | | 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.
* fix(zkvms): Fix non-braced usages of grouped methodsKamen Mladenov2025-04-071-2/+2
| | | | | | Before grouping transformed vec![a,b,...] into "(a,b,...)", but with FunctionDefinition, grouping transforms vec![a,b,...] into "a,b,...". This change wasn't reflected in Nexus and ZKM
* feat(zkvms/nexus): Update to use FunctionDefinitionKamen Mladenov2025-04-072-14/+7
|
* chore: Nix and Rust fmtKamen Mladenov2025-04-042-11/+15
|
* feat(zkvms/nexus): Update SDK usageKamen Mladenov2025-04-046-67/+30
| | | | Update according to their new methods.
* chore: Update flake.lock and Cargo.lockKamen Mladenov2025-04-044-2361/+545
|
* chore: Rust fmtKamen Mladenov2025-02-273-17/+31
|
* chore: Nix fmtKamen Mladenov2025-02-271-42/+24
|
* chore: Update zkVM packagesKamen Mladenov2025-02-264-50/+49
| | | | | | | | 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
|
* docs(zkvms/nexus/wrapper_macro): Minor detail addedKamen Mladenov2025-02-101-1/+1
|
* fix(zkvms/nexus): When benchmarking verification, benchmark only the ↵Kamen Mladenov2025-02-101-3/+5
| | | | verification function
* docs(zkvms/nexus): Add detailed documentation commentsKamen Mladenov2025-02-103-0/+32
|
* chore(nexus): Update nix cargo dependenciesKamen Mladenov2025-02-104-35/+86
|
* feat(zkvms/nexus): Add benchmarking capabilityKamen Mladenov2025-02-071-6/+9
|
* feat(zkvms): Use std (or alloc) collections in all guestsKamen Mladenov2025-02-071-6/+1
|
* feat(guests_macro/parse_fn): Make _public functions also return private valuesKamen Mladenov2025-02-031-1/+1
|
* feat(zkvms/nexus): Make guest commit public inputKamen Mladenov2025-02-035-55/+103
|
* fix(zkvms/nexus): Use the zkvms_host_io Output type, instead of the local oneKamen Mladenov2025-01-311-3/+1
|
* feat(zkvms/nexus): Update Cargo.lockKamen Mladenov2025-01-311-8/+235
|
* feat(nexus): Adapt to new input type and zkvmLibKamen Mladenov2025-01-306-137/+257
|
* feat(flake): Move creating guest (zkp) symlink to a custom phaseKamen Mladenov2025-01-281-4/+0
|
* feat(zkvms/nexus): Adapt to new input typeKamen Mladenov2025-01-282-27/+57
|
* feat(guests_macro): Implement args_divide_groupedKamen Mladenov2025-01-221-4/+2
| | | | Use it in multiple zkVMs, simplifying codebase
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-211-11/+8
|
* feat(zkvms/nexus): Require guest to implement a "no_std" featureKamen Mladenov2025-01-212-1/+4
|
* feat(flake); Implement nexus packageKamen Mladenov2025-01-171-0/+66
|
* feat(zkvms): Add nexus guest and it's macroKamen Mladenov2025-01-177-0/+134
|
* feat(zkvms): Add nexus hostKamen Mladenov2025-01-174-0/+4008