aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* 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.
* feat(zkvmLib): Show cargo version in host buildKamen Mladenov2025-02-261-0/+1
|
* docs(guests/README): Remove requirement for package name to be the same as ↵Kamen Mladenov2025-02-181-2/+0
| | | | dir name
* feat(zkvmLib): Use generated Cargo.lock in guest phases and add guest dep ↵Kamen Mladenov2025-02-181-4/+4
| | | | | | | properly Adding the zkp dependency with a command allows us to ignore the package's original name
* feat(zkvmLib): Reorganize and rename linkGuest phaseKamen Mladenov2025-02-181-5/+8
|
* feat(zkvmLib): Handle duplicate entries in generated Cargo.lock fileKamen Mladenov2025-02-181-4/+62
|
* feat(zkvmLib): Use generated Cargo.lock in dependencies packageKamen Mladenov2025-02-181-2/+3
|
* feat: Add CONTRIBUTINGKamen Mladenov2025-02-131-0/+111
|
* fix(README): Wording updateKamen Mladenov2025-02-131-1/+1
|
* fix(zkvms/README): Squash typosKamen Mladenov2025-02-131-1/+1
|
* fix(README): Squash typosKamen Mladenov2025-02-131-4/+4
|
* feat(README): Add details on the available nix packagesKamen Mladenov2025-02-131-2/+16
|
* feat(guests/README): More specific link to zkvms READMEKamen Mladenov2025-02-131-1/+1
|
* feat(guests/README): Add more detail and examplesKamen Mladenov2025-02-131-2/+33
|
* feat(README): Minor wording improvementsKamen Mladenov2025-02-131-4/+5
|
* feat: Add READMEKamen Mladenov2025-02-131-1/+170
|
* feat(zkvms): Add READMEKamen Mladenov2025-02-131-0/+57
|
* feat(guests): Add READMEKamen Mladenov2025-02-131-0/+106
|
* feat(gitignore): Ignore csv filesKamen Mladenov2025-02-111-0/+1
|
* fix(zkvms_host_io): Rename short metrics output flag to 'o'Kamen Mladenov2025-02-111-1/+1
|
* feat(zkvms): Change package versions from infdev to the corresponding zkVM ↵Kamen Mladenov2025-02-116-6/+6
| | | | versions
* feat(zkvms_host_io): Output guest name when benchmarkingKamen Mladenov2025-02-112-3/+3
|
* feat: Create LICENSEKamen Mladenov2025-02-111-0/+21
|
* 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
|
* feat(zkvms_host_io): Remove version flagKamen Mladenov2025-02-101-1/+1
|
* fix: Delete unused old input fileKamen Mladenov2025-02-107-11/+0
|
* docs(zkvms_host_io): Improve help messageKamen Mladenov2025-02-101-3/+8
|
* 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_host_io): Add detailed documentation commentsKamen Mladenov2025-02-102-1/+85
|
* 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
|
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-14 18:23:52 +0000