Website Summary Files Commits Branches @commit @diff @stats
path: root / zkvms / zkm
Commit message (Collapse)AuthorAgeLinesSHA
* chore: cargo fmt
 Kamen Mladenov
2025-05-02-6/+271a2ad55
|
* feat(zkvms_guest_io): Output proof size
 Kamen Mladenov
2025-05-02-0/+3eefb57f
| | | | | | | 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-14/+2111112cce
|
* feat(zkvms_host_io): Add json dependency
 Kamen Mladenov
2025-05-02-79/+249c8505d6
|
* chore: Update mcl-blockchain dependency
 Kamen Mladenov
2025-04-24-85/+84b9a899d
| | | | | | 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
 Kamen Mladenov
2025-04-23-1/+18b7eae6
|
* feat(guests/keccak): Add ZKM precompile function call
 Kamen Mladenov
2025-04-14-0/+3c87a637
|
* 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/zkm): Update to use FunctionDefinition
 Kamen Mladenov
2025-04-07-21/+5ef33084
|
* fix(zkvms/zkm): Update SDK and remove hack
 Kamen Mladenov
2025-04-04-6/+47498d60
| | | | | | | | | | 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
 Kamen Mladenov
2025-04-04-2/+2ff02260
|
* feat(zkvms/zkm): Update SDK usage, add witness generation command
 Kamen Mladenov
2025-04-04-65/+1056e8dc24
| | | | | | | 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
 Kamen Mladenov
2025-04-04-84/+12c7a0a23
| | | | | | | 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
 Kamen Mladenov
2025-04-04-981/+3344fc242c
|
* chore(flake.nix): Replace rust-overlay with fenix
 Kamen Mladenov
2025-04-04-1/+1d02aef5
| | | | This follows the same change which was made in mcl-blockchain
* chore: Rust fmt
 Kamen Mladenov
2025-02-27-45/+325b82ac7
|
* chore: Nix fmt
 Kamen Mladenov
2025-02-27-57/+3139ec264
|
* fix(zkvms/zkm): Downgrade host toolchain
 Kamen Mladenov
2025-02-26-0/+3ec0bc2c
| | | | | | | 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
 Kamen Mladenov
2025-02-26-0/+524bba003
| | | | | | | 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
 Kamen Mladenov
2025-02-26-148/+21291fb361
| | | | | | | | 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
* feat(zkm): Remove copy of sdk
 Kamen Mladenov
2025-02-10-2210/+00baed21
|
* feat(zkm/default.nix): Use repository instad of local copy of sdk for ↵
 Kamen Mladenov
2025-02-10-5/+1301b1997
| | | | libsnark Go module
* feat(zkm/host): Use cargo patching instead of local copy of sdk
 Kamen Mladenov
2025-02-10-163/+2316dc9a7f
|
* fix: Delete unused old input file
 Kamen Mladenov
2025-02-10-1/+06dcc8ec
|
* docs(zkvms/zkm): Add detailed documentation comments
 Kamen Mladenov
2025-02-10-0/+331cb8861
|
* feat(zkvms/zkm): Add benchmarking capability
 Kamen Mladenov
2025-02-07-3/+73c5ec28
|
* feat(zkvms): Use std (or alloc) collections in all guests
 Kamen Mladenov
2025-02-07-1/+16b9a3fa
|
* feat(zkvms/zkm): Implement proper handling of public and private inputs
 Kamen Mladenov
2025-02-03-6/+10873e27ae
|
* feat(zkvms/zkm): Update Cargo.lock and use default environments
 Kamen Mladenov
2025-01-31-55/+1242ea6a00
|
* feat(zkm): Adapt to new input type and zkvmLib
 Kamen Mladenov
2025-01-30-87/+3615de4ae0
|
* feat(flake): Move creating guest (zkp) symlink to a custom phase
 Kamen Mladenov
2025-01-28-4/+06c0952f
|
* fix(zkvms/zkm): Lock aws-sdk-s3 version
 Kamen Mladenov
2025-01-28-60/+6925a62b5
|
* 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-7/+6b0608ca
|
* feat(flake): Implement zkm package
 Kamen Mladenov
2025-01-16-0/+896874b8c
|
* feat(zkvms); Add zkm guest and it's macro
 Kamen Mladenov
2025-01-16-0/+59ed6901b
|
* feat(zkvms): Add zkm host
 Kamen Mladenov
2025-01-16-0/+8282f276736