aboutsummaryrefslogtreecommitdiff
path: root/zkvms
Commit message (Collapse)AuthorAgeFilesLines
* fix(zkvms/zkwasm): Change default output paths to /tmpKamen Mladenov2025-05-052-5/+5
|
* chore: cargo fmtKamen Mladenov2025-05-0212-26/+75
|
* feat(zkvms_guest_io): Output proof sizeKamen Mladenov2025-05-026-3/+37
| | | | | | | 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-026-79/+1332
|
* feat(zkvms_host_io): Add json dependencyKamen Mladenov2025-05-0211-428/+1958
|
* feat(zkvms/risc0): Use unstable featureKamen Mladenov2025-04-243-3/+9
|
* chore: Update mcl-blockchain dependencyKamen Mladenov2025-04-2422-503/+664
| | | | | | 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/zkwasm): Explicit type in argumentKamen Mladenov2025-04-231-1/+1
| | | | | In certain cases, we would get errors that the "x" type cannot be inferred.
* 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-072-4/+4
| | | | | | 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/zkwasm); Update to use FunctionDefinitionKamen Mladenov2025-04-071-16/+6
|
* feat(zkvms/zkm): Update to use FunctionDefinitionKamen Mladenov2025-04-071-21/+5
|
* feat(zkvms/sp1): Update to use FunctionDefinitionKamen Mladenov2025-04-071-17/+17
|
* feat(zkvms/risc0): Update to use FunctionDefinitionKamen Mladenov2025-04-071-20/+17
|
* feat(zkvms/jolt): Update to use FunctionDefinitionKamen Mladenov2025-04-073-21/+417
|
* feat(zkvms/nexus): Update to use FunctionDefinitionKamen Mladenov2025-04-072-14/+7
|
* 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-044-18/+23
|
* 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/risc0): Implement elf encodingKamen Mladenov2025-04-044-1/+29
| | | | | | | | | Recently, RISC0 have added code to their SDK which adds magic bytes to the (already compiled) ELF. Since we're taking another route than intended, we'll need to replicate this step too. We're doing things in a different fashion, because their SDK normally compiles the guest, and doesn't allow you to supply a prebuilt ELF.
* feat(zkvms/risc0): Upper bound for bytemuck_deriveKamen Mladenov2025-04-043-15/+17
|
* feat(zkvms/nexus): Update SDK usageKamen Mladenov2025-04-046-67/+30
| | | | Update according to their new methods.
* 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.
* feat(zkvms/jolt): Add libcxx and openssl dependencies, upper bound for ↵Kamen Mladenov2025-04-044-7/+8
| | | | bytemuck_derive
* chore: Update flake.lock and Cargo.lockKamen Mladenov2025-04-0421-4326/+2494
|
* chore(flake.nix): Replace rust-overlay with fenixKamen Mladenov2025-04-042-5/+13
| | | | This follows the same change which was made in mcl-blockchain
* feat(zkvms/zkwasm): Support non-numeric types as guest function outputKamen Mladenov2025-03-053-25/+34
|
* feat(zkvms/zkwasm): Export macro which converts to bytes vector as a libraryKamen Mladenov2025-03-055-112/+130
|
* fix(zkvms/jolt/host): Replace default formatting with debug formatting in printKamen Mladenov2025-03-041-2/+2
|
* chore: Rust fmtKamen Mladenov2025-02-2718-227/+304
|
* chore: Nix fmtKamen Mladenov2025-02-276-258/+149
|
* feat: Add zkvm cargo featuresKamen Mladenov2025-02-261-1/+1
| | | | So you can make code modifications compile-time, based on the zkVM
* 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-2625-2067/+1358
| | | | | | | | 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
* fix(zkvms/README): Squash typosKamen Mladenov2025-02-131-1/+1
|
* feat(zkvms): Add READMEKamen Mladenov2025-02-131-0/+57
|
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ↵Kamen Mladenov2025-02-116-6/+6
| | | | 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-106-6/+0
|
* fix(zkvms/risc0): Revert changes to benchmark only the relevant function callsKamen Mladenov2025-02-101-24/+20
|
* fix(zkvms/risc0): Move prove output from journal message to benchmarkable scopeKamen Mladenov2025-02-101-2/+1
|
* docs(zkvms/zkwasm): Add detailed documentation commentsKamen Mladenov2025-02-103-1/+65
|
* docs(zkvms/zkm): Add detailed documentation commentsKamen Mladenov2025-02-104-0/+33
|
* fix(zkvms/sp1): When benchmarking verification, only benchmark the function callKamen Mladenov2025-02-101-3/+5
|
* fix(zkvms/sp1): Remove unused guests_macro symlinkKamen Mladenov2025-02-101-1/+0
|
* docs(zkvms/sp1): Add detailed documentation commentsKamen Mladenov2025-02-102-0/+30
|
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-14 20:44:29 +0000