| Commit message (Collapse) | Author | Age | Lines | SHA | |
|---|---|---|---|---|---|
| * | chore: cargo fmt | 2025-05-02 | -6/+27 | 1a2ad55 | |
| | | |||||
| * | feat(zkvms_guest_io): Output proof size | 2025-05-02 | -0/+3 | eefb57f | |
| | | | | | | | | 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 | 2025-05-02 | -14/+211 | 1112cce | |
| | | |||||
| * | feat(zkvms_host_io): Add json dependency | 2025-05-02 | -79/+249 | c8505d6 | |
| | | |||||
| * | chore: Update mcl-blockchain dependency | 2025-04-24 | -85/+84 | b9a899d | |
| | | | | | | | 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/zkm): Include string in guest wrapper | 2025-04-23 | -1/+1 | 8b7eae6 | |
| | | |||||
| * | feat(guests/keccak): Add ZKM precompile function call | 2025-04-14 | -0/+3 | c87a637 | |
| | | |||||
| * | fix(zkvms): Fix non-braced usages of grouped methods | 2025-04-07 | -2/+2 | 1f3ca1f | |
| | | | | | | | 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/zkm): Update to use FunctionDefinition | 2025-04-07 | -21/+5 | ef33084 | |
| | | |||||
| * | fix(zkvms/zkm): Update SDK and remove hack | 2025-04-04 | -6/+4 | 7498d60 | |
| | | | | | | | | | | | Recently ZKM introduced a bug, where SNARK_SETUP would crash, but the witness would be generated. So we introduced a hack where we would run SNARK_SETUP, ignore the crash and rerun the program again, without SNARK_SETUP. Now they fixed it, so with SNARK_SETUP, the witnesses would be generated and the proving process will be done directly after. | ||||
| * | chore: Nix and Rust fmt | 2025-04-04 | -2/+2 | ff02260 | |
| | | |||||
| * | feat(zkvms/zkm): Update SDK usage, add witness generation command | 2025-04-04 | -65/+105 | 6e8dc24 | |
| | | | | | | | | We first need to generate witnesses before proving. This is done by running the binary with SNARK_SETUP=true. Currently, the command crashes right after those witnesses are generated. As a workaround, we ignore the crash and just start it normally, using the generated witnesses. | ||||
| * | feat(zkvms/zkm): Remove SDK override, Go lib build, update SDK usage | 2025-04-04 | -84/+12 | c7a0a23 | |
| | | | | | | | | Update SDK usage, according to their new methods. ZKM moved their Go library to the zkVM repo. Their updated SDK also don't require the patch. | ||||
| * | chore: Update flake.lock and Cargo.lock | 2025-04-04 | -981/+334 | 4fc242c | |
| | | |||||
| * | chore(flake.nix): Replace rust-overlay with fenix | 2025-04-04 | -1/+1 | d02aef5 | |
| | | | | | This follows the same change which was made in mcl-blockchain | ||||
| * | chore: Rust fmt | 2025-02-27 | -45/+32 | 5b82ac7 | |
| | | |||||
| * | chore: Nix fmt | 2025-02-27 | -57/+31 | 39ec264 | |
| | | |||||
| * | fix(zkvms/zkm): Downgrade host toolchain | 2025-02-26 | -0/+3 | ec0bc2c | |
| | | | | | | | | The newest toolchain causes errors, an issue has been filed upstream: https://github.com/zkMIPS/toolchain/issues/4 However, it is not certain when it will be resolved, so for now this workaround will be used. | ||||
| * | fix(zkvms/zkm): Override zkm SDK | 2025-02-26 | -0/+52 | 4bba003 | |
| | | | | | | | | The SDK is out of date. A PR is opened: https://github.com/zkMIPS/zkm-project-template/pull/54 However, its not certain it will be merged soon, so for now this workaround will have to do. | ||||
| * | chore: Update zkVM packages | 2025-02-26 | -148/+212 | 91fb361 | |
| | | | | | | | | | 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 ↵ | 2025-02-11 | -1/+1 | 50029c0 | |
| | | | | | versions | ||||
| * | feat(zkm): Remove copy of sdk | 2025-02-10 | -2210/+0 | 0baed21 | |
| | | |||||
| * | feat(zkm/default.nix): Use repository instad of local copy of sdk for ↵ | 2025-02-10 | -5/+13 | 01b1997 | |
| | | | | | libsnark Go module | ||||
| * | feat(zkm/host): Use cargo patching instead of local copy of sdk | 2025-02-10 | -163/+231 | 6dc9a7f | |
| | | |||||
| * | fix: Delete unused old input file | 2025-02-10 | -1/+0 | 6dcc8ec | |
| | | |||||
| * | docs(zkvms/zkm): Add detailed documentation comments | 2025-02-10 | -0/+33 | 1cb8861 | |
| | | |||||
| * | feat(zkvms/zkm): Add benchmarking capability | 2025-02-07 | -3/+7 | 3c5ec28 | |
| | | |||||
| * | feat(zkvms): Use std (or alloc) collections in all guests | 2025-02-07 | -1/+1 | 6b9a3fa | |
| | | |||||
| * | feat(zkvms/zkm): Implement proper handling of public and private inputs | 2025-02-03 | -6/+108 | 73e27ae | |
| | | |||||
| * | feat(zkvms/zkm): Update Cargo.lock and use default environments | 2025-01-31 | -55/+124 | 2ea6a00 | |
| | | |||||
| * | feat(zkm): Adapt to new input type and zkvmLib | 2025-01-30 | -87/+361 | 5de4ae0 | |
| | | |||||
| * | feat(flake): Move creating guest (zkp) symlink to a custom phase | 2025-01-28 | -4/+0 | 6c0952f | |
| | | |||||
| * | fix(zkvms/zkm): Lock aws-sdk-s3 version | 2025-01-28 | -60/+69 | 25a62b5 | |
| | | |||||
| * | feat(guests_macro): Implement args_divide_grouped | 2025-01-22 | -4/+2 | a82b39d | |
| | | | | | Use it in multiple zkVMs, simplifying codebase | ||||
| * | feat(flake): Rework withCustomPhases variables | 2025-01-21 | -7/+6 | b0608ca | |
| | | |||||
| * | feat(flake): Implement zkm package | 2025-01-16 | -0/+89 | 6874b8c | |
| | | |||||
| * | feat(zkvms); Add zkm guest and it's macro | 2025-01-16 | -0/+59 | ed6901b | |
| | | |||||
| * | feat(zkvms): Add zkm host | 2025-01-16 | -0/+8282 | f276736 | |
