aboutsummaryrefslogtreecommitdiff
path: root/zkvmLib.nix
Commit message (Collapse)AuthorAgeFilesLines
* chore: Nix fmtKamen Mladenov2025-02-271-197/+229
|
* 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-261-1/+2
| | | | So you can make code modifications compile-time, based on the zkVM
* 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).
* feat(zkvmLib): Show cargo version in host buildKamen Mladenov2025-02-261-0/+1
|
* 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(zkvms_host_io): Output guest name when benchmarkingKamen Mladenov2025-02-111-2/+2
|
* feat(zkvms_host_io): Metrics output now contains the name of the zkvmKamen Mladenov2025-02-101-0/+2
|
* feat(zkvms/sp1): Make guest commit public inputsKamen Mladenov2025-02-031-0/+2
|
* feat(zkvmLib): Add guest feature during linkGuestKamen Mladenov2025-01-301-0/+1
|
* feat(zkvmLib): Add no_std feature on linkGuestKamen Mladenov2025-01-301-2/+9
|
* feat(zkvmLib): Make package names depend on guestKamen Mladenov2025-01-301-4/+8
|
* feat(flake): Replace zkVM-helpers with zkvmLibKamen Mladenov2025-01-301-0/+118