aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkm/host/src/main.rs
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/zkm): Update SDK usage, add witness generation commandKamen Mladenov2025-04-041-15/+6
| | | | | | | 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-041-8/+8
| | | | | | | 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: Rust fmtKamen Mladenov2025-02-271-37/+19
|
* chore: Update zkVM packagesKamen Mladenov2025-02-261-19/+22
| | | | | | | | 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-101-3/+6
|
* 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-311-11/+18
|
* feat(zkvms): Add zkm hostKamen Mladenov2025-01-161-0/+111