aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkm
Commit message (Collapse)AuthorAgeFilesLines
* chore: cargo fmtKamen Mladenov2025-05-023-6/+27
|
* 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-022-79/+249
|
* chore: Update mcl-blockchain dependencyKamen Mladenov2025-04-244-85/+84
| | | | | | 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 wrapperKamen Mladenov2025-04-231-1/+1
|
* feat(guests/keccak): Add ZKM precompile function callKamen Mladenov2025-04-141-0/+3
|
* fix(zkvms): Fix non-braced usages of grouped methodsKamen Mladenov2025-04-071-2/+2
| | | | | | 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 FunctionDefinitionKamen Mladenov2025-04-071-21/+5
|
* fix(zkvms/zkm): Update SDK and remove hackKamen Mladenov2025-04-042-6/+4
| | | | | | | | | | 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 fmtKamen Mladenov2025-04-041-2/+2
|
* feat(zkvms/zkm): Update SDK usage, add witness generation commandKamen Mladenov2025-04-043-65/+105
| | | | | | | 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-044-84/+12
| | | | | | | 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-044-981/+334
|
* chore(flake.nix): Replace rust-overlay with fenixKamen Mladenov2025-04-041-1/+1
| | | | This follows the same change which was made in mcl-blockchain
* chore: Rust fmtKamen Mladenov2025-02-273-46/+33
|
* chore: Nix fmtKamen Mladenov2025-02-271-57/+31
|
* fix(zkvms/zkm): Downgrade host toolchainKamen Mladenov2025-02-261-0/+3
| | | | | | | 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 SDKKamen Mladenov2025-02-262-0/+52
| | | | | | | 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 packagesKamen Mladenov2025-02-265-148/+212
| | | | | | | | 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 Mladenov2025-02-111-1/+1
| | | | versions
* feat(zkm): Remove copy of sdkKamen Mladenov2025-02-1019-2210/+0
|
* feat(zkm/default.nix): Use repository instad of local copy of sdk for ↵Kamen Mladenov2025-02-101-5/+13
| | | | libsnark Go module
* feat(zkm/host): Use cargo patching instead of local copy of sdkKamen Mladenov2025-02-103-163/+231
|
* fix: Delete unused old input fileKamen Mladenov2025-02-101-1/+0
|
* docs(zkvms/zkm): Add detailed documentation commentsKamen Mladenov2025-02-104-0/+33
|
* feat(zkvms/zkm): Add benchmarking capabilityKamen Mladenov2025-02-071-3/+7
|
* feat(zkvms): Use std (or alloc) collections in all guestsKamen Mladenov2025-02-071-1/+1
|
* feat(zkvms/zkm): Implement proper handling of public and private inputsKamen Mladenov2025-02-034-6/+108
|
* 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-308-87/+361
|
* feat(flake): Move creating guest (zkp) symlink to a custom phaseKamen Mladenov2025-01-281-4/+0
|
* fix(zkvms/zkm): Lock aws-sdk-s3 versionKamen Mladenov2025-01-282-60/+69
|
* feat(guests_macro): Implement args_divide_groupedKamen Mladenov2025-01-221-4/+2
| | | | Use it in multiple zkVMs, simplifying codebase
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-211-7/+6
|
* feat(flake): Implement zkm packageKamen Mladenov2025-01-161-0/+89
|
* feat(zkvms); Add zkm guest and it's macroKamen Mladenov2025-01-166-0/+59
|
* feat(zkvms): Add zkm hostKamen Mladenov2025-01-1623-0/+8282
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-14 12:49:32 +0000