aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* feat(zkvms_host_io): Update to use FunctionDefinitionKamen Mladenov2025-04-071-77/+36
|
* feat(guests_macro): Replace parse_fn mod with structKamen Mladenov2025-04-073-229/+235
| | | | | | | | | | | The old method of having functions for every parsing action of a function definition produced messy results. We're replacing it with a struct which will hold a wide assortment of parsed values. This makes the interface much sleaker with only a minor increase in code. The downside is a lot of data gets repeated, however since this struct will only be used in macros, i.e. compile-time, that doesn't matter too much.
* 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.
* fix(guests/fibonacci): Update SEG_SIZE constantKamen Mladenov2025-04-041-1/+1
|
* chore: Nix and Rust fmtKamen Mladenov2025-04-046-21/+32
|
* 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_host_io): Add the "Return" type, which only contains the function ↵Kamen Mladenov2025-04-041-1/+5
| | | | | | | | | | | | | | return type Currently we create an "Output" type, which contains a tuple with all public inputs and the function return type. In most zkVMs, public and private inputs are not distinguished from the start, public inputs are returned by the guest program and private are not. Thus, most of the time we need a more complicated return type. However, sometimes this is not the case, and the public/private distinction is done upfront (and we don't need to output inputs). So we need to add the appropriate type.
* 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-0422-4501/+2618
|
* chore(flake.nix): Replace rust-overlay with fenixKamen Mladenov2025-04-043-8/+16
| | | | This follows the same change which was made in mcl-blockchain
* feat(flake.nix): Add script for updating all zkVM package dependenciesKamen Mladenov2025-04-042-0/+38
| | | | | | | | | All crates use the zkVM packages (from nix-blockchain-development) as cargo path dependencies. For each zkVM, they're found in the host, guest and wrapper crates. Since there are a lot of places to update, we're introducing a script which automates this.
* fix(metrics): Do not remove leading zerosAristotelis Papanis2025-03-131-2/+2
| | | | | | | With the commit for improving the metrics output we introduced a bug for the milliseconds where we would lose information about leading zeros. This has been now fixed.
* chore(metrics): Change output format of metricsAristotelis Papanis2025-03-131-17/+44
| | | | | | | | | | | | | | | | We have improved the format of the benchmarking output. Now the metrics follow a more standard CSV style. Example: ``` name,guest,total duration,repeats,average jolt,fibonacci,1.33,2,0.516 nexus,fibonacci,177.388,2,88.694 risc0,fibonacci,3.828,2,1.914 sp1,fibonacci,13.330,2,6.665 zkm,fibonacci,279.394,2,139.697 zkwasm,fibonacci,106.161,2,53.80 ```
* feat(guests): Add program which test array iteration, modulo arithmetic and ↵Kamen Mladenov2025-03-107-0/+255
| | | | | | early return This test should be pretty difficult for Noir, but less so for the zkVMs
* chore(zkvms_guest_io): Code style improvementsKamen Mladenov2025-03-101-8/+15
|
* feat(zkvms_guest_io): Make execution linear, instead of parallelKamen Mladenov2025-03-101-36/+24
| | | | | zkVMs are multithreaded, so having parallel execution will result in inconsistent results, as every zkVM is fighting for resources
* fix(zkvms_guest_io): Remove unnecessary panicking on failed commandKamen Mladenov2025-03-101-5/+0
|
* fix(zkvms_guest_io): Improve option error messagesKamen Mladenov2025-03-101-2/+2
|
* feat(README): Add information about single guest commandKamen Mladenov2025-03-101-1/+22
|
* feat(zkvms_guest_io): Add the ability to fail all commands on a single failureKamen Mladenov2025-03-101-1/+21
|
* feat: Replace guest script with a fully-fledged Rust programKamen Mladenov2025-03-106-19/+338
|
* feat(guests/zk_dungeon): Remove zkwasm blockKamen Mladenov2025-03-051-1/+0
|
* 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
|
* feat(guest): Add zk_dungeon programKamen Mladenov2025-03-048-0/+130
| | | | | | | Ported from https://github.com/blocksense-network/noir/tree/6a4f172c0cbee1e2baea7d4c0684121d5921c09a/test_programs/plonky2_prove_success/zk_dungeon Co-authored-by: Stan Manilov <stanislav.manilov@gmail.com>
* fix(zkvms/jolt/host): Replace default formatting with debug formatting in printKamen Mladenov2025-03-041-2/+2
|
* fix(guests_macro/parse_fn): Return unit ret type when main doesn't return ↵Kamen Mladenov2025-03-041-0/+3
| | | | anything
* chore: Rust fmtKamen Mladenov2025-02-2723-320/+459
|
* chore: Nix fmtKamen Mladenov2025-02-2710-525/+443
|
* feat(flake): Add nixfmt formatterKamen Mladenov2025-02-271-0/+2
|
* feat: Add script for formatting all rust files in a directoryKamen Mladenov2025-02-272-1/+23
| | | | This is meant to be used in our codebase, especially in CI pipelines
* docs(guest): Explain blacklisting featureKamen Mladenov2025-02-261-0/+12
|
* fix(guest.nix): Make order of zkVM runs alphabeticKamen Mladenov2025-02-262-3/+3
|
* feat(zkvmLib): Add ability to stop compilation and execution of certain ↵Kamen Mladenov2025-02-261-108/+127
| | | | | | | | zkVMs with guests You need to add a ".no_zkvm" file in the guests/guest/ directory for your guest and zkvm. You may add details on why the zkVM is not supported inside the file itself, but it is not mandatory.
* feat: Add zkvm cargo featuresKamen Mladenov2025-02-265-4/+23
| | | | So you can make code modifications compile-time, based on the zkVM
* fix(zkvms/zkm): Downgrade host toolchainKamen Mladenov2025-02-263-1/+1438
| | | | | | | 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-2627-2071/+1362
| | | | | | | | 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(zkvmLib): Attribute for specifying a guest or host specific Rust toolchainsKamen Mladenov2025-02-261-0/+9
| | | | | Allows the host and guest program toolchains to differ. Generally, you should only need to set one.
* feat(zkvmLib): Ability to add an extra Cargo.lockKamen Mladenov2025-02-261-0/+6
| | | | | | | | | | Adds the ability to specify an `extraLockfile` attribute in args. Its value should evaluate to a string path. It's included in the beginning, so it overshadows dependencies, which are specified in the other Cargo.lock files. Must be added to commonArgs (i.e. to both `buildDepsOnly` and `buildPackage` args).
* feat(zkvmLib): Add the ability to override dependenciesKamen Mladenov2025-02-261-5/+15
| | | | | | | | | Allows you to add `overrideVendorCargoPackage` and `overrideVendorGitCheckout` to args, which allow the overriding of vendored dependencies, as is implemented in crane.lib. The respective attribute must be added to commonArgs (i.e. to both `buildDepsOnly` and `buildPackage` args).
* fix(zkvms_host_io): Reduce version constraint for clapKamen Mladenov2025-02-261-1/+1
| | | | | | Certain zkVMs may use clap with versions lower than 4.5 (e.g. 4.5.9). Here we do not really care about the version, so this change will fix compatibility issues.
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-14 23:24:05 +0000