| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | chore: Nix fmt | Kamen Mladenov | 2025-02-27 | 1 | -197/+229 |
| | | |||||
| * | feat(zkvmLib): Add ability to stop compilation and execution of certain ↵ | Kamen Mladenov | 2025-02-26 | 1 | -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 features | Kamen Mladenov | 2025-02-26 | 1 | -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 toolchains | Kamen Mladenov | 2025-02-26 | 1 | -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.lock | Kamen Mladenov | 2025-02-26 | 1 | -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 dependencies | Kamen Mladenov | 2025-02-26 | 1 | -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 build | Kamen Mladenov | 2025-02-26 | 1 | -0/+1 |
| | | |||||
| * | feat(zkvmLib): Use generated Cargo.lock in guest phases and add guest dep ↵ | Kamen Mladenov | 2025-02-18 | 1 | -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 phase | Kamen Mladenov | 2025-02-18 | 1 | -5/+8 |
| | | |||||
| * | feat(zkvmLib): Handle duplicate entries in generated Cargo.lock file | Kamen Mladenov | 2025-02-18 | 1 | -4/+62 |
| | | |||||
| * | feat(zkvmLib): Use generated Cargo.lock in dependencies package | Kamen Mladenov | 2025-02-18 | 1 | -2/+3 |
| | | |||||
| * | feat(zkvms_host_io): Output guest name when benchmarking | Kamen Mladenov | 2025-02-11 | 1 | -2/+2 |
| | | |||||
| * | feat(zkvms_host_io): Metrics output now contains the name of the zkvm | Kamen Mladenov | 2025-02-10 | 1 | -0/+2 |
| | | |||||
| * | feat(zkvms/sp1): Make guest commit public inputs | Kamen Mladenov | 2025-02-03 | 1 | -0/+2 |
| | | |||||
| * | feat(zkvmLib): Add guest feature during linkGuest | Kamen Mladenov | 2025-01-30 | 1 | -0/+1 |
| | | |||||
| * | feat(zkvmLib): Add no_std feature on linkGuest | Kamen Mladenov | 2025-01-30 | 1 | -2/+9 |
| | | |||||
| * | feat(zkvmLib): Make package names depend on guest | Kamen Mladenov | 2025-01-30 | 1 | -4/+8 |
| | | |||||
| * | feat(flake): Replace zkVM-helpers with zkvmLib | Kamen Mladenov | 2025-01-30 | 1 | -0/+118 |
