Website Summary Files Commits Branches @commit @diff @stats
path: root / zkvms / nexus
Commit message (Collapse)AuthorAgeLinesSHA
* chore: cargo fmt
 Kamen Mladenov
2025-05-02-5/+201a2ad55
|
* feat(zkvms_guest_io): Output proof size
 Kamen Mladenov
2025-05-02-1/+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-7/+2151112cce
|
* feat(zkvms_host_io): Add json dependency
 Kamen Mladenov
2025-05-02-49/+336c8505d6
|
* chore: Update mcl-blockchain dependency
 Kamen Mladenov
2025-04-24-65/+64b9a899d
| | | | | | 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 methods
 Kamen Mladenov
2025-04-07-2/+21f3ca1f
| | | | | | 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 FunctionDefinition
 Kamen Mladenov
2025-04-07-14/+7fef25f2
|
* chore: Nix and Rust fmt
 Kamen Mladenov
2025-04-04-11/+15ff02260
|
* feat(zkvms/nexus): Update SDK usage
 Kamen Mladenov
2025-04-04-67/+30e701885
| | | | Update according to their new methods.
* chore: Update flake.lock and Cargo.lock
 Kamen Mladenov
2025-04-04-2361/+5454fc242c
|
* chore: Rust fmt
 Kamen Mladenov
2025-02-27-17/+315b82ac7
|
* chore: Nix fmt
 Kamen Mladenov
2025-02-27-41/+2339ec264
|
* chore: Update zkVM packages
 Kamen Mladenov
2025-02-26-50/+4991fb361
| | | | | | | | 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
|
* docs(zkvms/nexus/wrapper_macro): Minor detail added
 Kamen Mladenov
2025-02-10-1/+17d2c382
|
* fix(zkvms/nexus): When benchmarking verification, benchmark only the ↵
 Kamen Mladenov
2025-02-10-3/+5360ff37
| | | | verification function
* docs(zkvms/nexus): Add detailed documentation comments
 Kamen Mladenov
2025-02-10-0/+32bc5e691
|
* chore(nexus): Update nix cargo dependencies
 Kamen Mladenov
2025-02-10-35/+86c962c7f
|
* feat(zkvms/nexus): Add benchmarking capability
 Kamen Mladenov
2025-02-07-6/+97e9f940
|
* feat(zkvms): Use std (or alloc) collections in all guests
 Kamen Mladenov
2025-02-07-6/+16b9a3fa
|
* feat(guests_macro/parse_fn): Make _public functions also return private values
 Kamen Mladenov
2025-02-03-1/+1434248b
|
* feat(zkvms/nexus): Make guest commit public input
 Kamen Mladenov
2025-02-03-55/+1039aad500
|
* fix(zkvms/nexus): Use the zkvms_host_io Output type, instead of the local one
 Kamen Mladenov
2025-01-31-3/+16945c59
|
* feat(zkvms/nexus): Update Cargo.lock
 Kamen Mladenov
2025-01-31-8/+2359c2003a
|
* feat(nexus): Adapt to new input type and zkvmLib
 Kamen Mladenov
2025-01-30-137/+257ac4a996
|
* feat(flake): Move creating guest (zkp) symlink to a custom phase
 Kamen Mladenov
2025-01-28-4/+06c0952f
|
* feat(zkvms/nexus): Adapt to new input type
 Kamen Mladenov
2025-01-28-27/+578139f48
|
* feat(guests_macro): Implement args_divide_grouped
 Kamen Mladenov
2025-01-22-4/+2a82b39d
| | | | Use it in multiple zkVMs, simplifying codebase
* feat(flake): Rework withCustomPhases variables
 Kamen Mladenov
2025-01-21-11/+8b0608ca
|
* feat(zkvms/nexus): Require guest to implement a "no_std" feature
 Kamen Mladenov
2025-01-21-1/+47855804
|
* feat(flake); Implement nexus package
 Kamen Mladenov
2025-01-17-0/+66ce1293a
|
* feat(zkvms): Add nexus guest and it's macro
 Kamen Mladenov
2025-01-17-0/+1341bb44c8
|
* feat(zkvms): Add nexus host
 Kamen Mladenov
2025-01-17-0/+40083f53220