aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkm/host
Commit message (Collapse)AuthorAgeFilesLines
* chore: cargo fmtKamen Mladenov2025-05-021-2/+1
|
* feat(zkvms_guest_io): Output proof sizeKamen Mladenov2025-05-021-0/+3
| | | | | | | 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-14/+211
|
* feat(zkvms_host_io): Add json dependencyKamen Mladenov2025-05-021-65/+228
|
* chore: Update mcl-blockchain dependencyKamen Mladenov2025-04-242-67/+66
| | | | | | 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): Update SDK and remove hackKamen Mladenov2025-04-041-3/+3
| | | | | | | | | | 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.
* feat(zkvms/zkm): Update SDK usage, add witness generation commandKamen Mladenov2025-04-042-65/+102
| | | | | | | 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 usageKamen Mladenov2025-04-042-8/+10
| | | | | | | 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.lockKamen Mladenov2025-04-042-947/+307
|
* chore: Rust fmtKamen Mladenov2025-02-271-37/+19
|
* chore: Update zkVM packagesKamen Mladenov2025-02-263-135/+192
| | | | | | | | 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(zkm/host): Use cargo patching instead of local copy of sdkKamen Mladenov2025-02-103-163/+231
|
* docs(zkvms/zkm): Add detailed documentation commentsKamen Mladenov2025-02-101-0/+1
|
* feat(zkvms/zkm): Add benchmarking capabilityKamen Mladenov2025-02-071-3/+7
|
* feat(zkvms/zkm): Implement proper handling of public and private inputsKamen Mladenov2025-02-031-1/+6
|
* feat(zkvms/zkm): Update Cargo.lock and use default environmentsKamen Mladenov2025-01-312-55/+124
|
* feat(zkm): Adapt to new input type and zkvmLibKamen Mladenov2025-01-302-4/+5956
|
* fix(zkvms/zkm): Lock aws-sdk-s3 versionKamen Mladenov2025-01-281-0/+1
|
* feat(zkvms): Add zkm hostKamen Mladenov2025-01-162-0/+131