Website Summary Files Commits Branches @commit @diff @stats
path: root / zkvms
Commit message (Collapse)AuthorAgeLinesSHA
* fix(zkvms/zkwasm): Change default output paths to /tmp
 Kamen Mladenov
2025-05-05-5/+5b75f2fb
|
* chore: cargo fmt
 Kamen Mladenov
2025-05-02-26/+751a2ad55
|
* feat(zkvms_guest_io): Output proof size
 Kamen Mladenov
2025-05-02-3/+37eefb57f
| | | | | | | 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-79/+13321112cce
|
* feat(zkvms_host_io): Add json dependency
 Kamen Mladenov
2025-05-02-428/+1958c8505d6
|
* feat(zkvms/risc0): Use unstable feature
 Kamen Mladenov
2025-04-24-3/+9406848b
|
* chore: Update mcl-blockchain dependency
 Kamen Mladenov
2025-04-24-503/+664b9a899d
| | | | | | 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 argument
 Kamen Mladenov
2025-04-23-1/+13d7b895
| | | | | In certain cases, we would get errors that the "x" type cannot be inferred.
* 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-4/+41f3ca1f
| | | | | | 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 FunctionDefinition
 Kamen Mladenov
2025-04-07-16/+62fcec28
|
* feat(zkvms/zkm): Update to use FunctionDefinition
 Kamen Mladenov
2025-04-07-21/+5ef33084
|
* feat(zkvms/sp1): Update to use FunctionDefinition
 Kamen Mladenov
2025-04-07-17/+17155f577
|
* feat(zkvms/risc0): Update to use FunctionDefinition
 Kamen Mladenov
2025-04-07-20/+173ea60f8
|
* feat(zkvms/jolt): Update to use FunctionDefinition
 Kamen Mladenov
2025-04-07-21/+417a6c3fcf
|
* feat(zkvms/nexus): Update to use FunctionDefinition
 Kamen Mladenov
2025-04-07-14/+7fef25f2
|
* 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-18/+23ff02260
|
* 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/risc0): Implement elf encoding
 Kamen Mladenov
2025-04-04-1/+29a30b402
| | | | | | | | | 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_derive
 Kamen Mladenov
2025-04-04-15/+17696e604
|
* feat(zkvms/nexus): Update SDK usage
 Kamen Mladenov
2025-04-04-67/+30e701885
| | | | Update according to their new methods.
* 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.
* feat(zkvms/jolt): Add libcxx and openssl dependencies, upper bound for ↵
 Kamen Mladenov
2025-04-04-7/+82c82f0f
| | | | bytemuck_derive
* chore: Update flake.lock and Cargo.lock
 Kamen Mladenov
2025-04-04-4326/+24944fc242c
|
* chore(flake.nix): Replace rust-overlay with fenix
 Kamen Mladenov
2025-04-04-5/+13d02aef5
| | | | This follows the same change which was made in mcl-blockchain
* feat(zkvms/zkwasm): Support non-numeric types as guest function output
 Kamen Mladenov
2025-03-05-25/+3494115de
|
* feat(zkvms/zkwasm): Export macro which converts to bytes vector as a library
 Kamen Mladenov
2025-03-05-112/+130776f0b6
|
* fix(zkvms/jolt/host): Replace default formatting with debug formatting in print
 Kamen Mladenov
2025-03-04-2/+2b2635c1
|
* chore: Rust fmt
 Kamen Mladenov
2025-02-27-224/+3015b82ac7
|
* chore: Nix fmt
 Kamen Mladenov
2025-02-27-251/+14239ec264
|
* feat: Add zkvm cargo features
 Kamen Mladenov
2025-02-26-1/+1aaedf9d
| | | | So you can make code modifications compile-time, based on the zkVM
* 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-2067/+135891fb361
| | | | | | | | 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 typos
 Kamen Mladenov
2025-02-13-1/+13d8e153
|
* feat(zkvms): Add README
 Kamen Mladenov
2025-02-13-0/+5732a586b
|
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ↵
 Kamen Mladenov
2025-02-11-6/+650029c0
| | | | 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-6/+06dcc8ec
|
* fix(zkvms/risc0): Revert changes to benchmark only the relevant function calls
 Kamen Mladenov
2025-02-10-24/+206a310e1
|
* fix(zkvms/risc0): Move prove output from journal message to benchmarkable scope
 Kamen Mladenov
2025-02-10-2/+185d0044
|
* docs(zkvms/zkwasm): Add detailed documentation comments
 Kamen Mladenov
2025-02-10-1/+6535dc06a
|
* docs(zkvms/zkm): Add detailed documentation comments
 Kamen Mladenov
2025-02-10-0/+331cb8861
|
* fix(zkvms/sp1): When benchmarking verification, only benchmark the function call
 Kamen Mladenov
2025-02-10-3/+510fb533
|
* fix(zkvms/sp1): Remove unused guests_macro symlink
 Kamen Mladenov
2025-02-10-1/+0f6f4aa5
|
* docs(zkvms/sp1): Add detailed documentation comments
 Kamen Mladenov
2025-02-10-0/+30cff7490
|