aboutsummaryrefslogtreecommitdiff
path: root/flake.nix
Commit message (Collapse)AuthorAgeFilesLines
* chore: nix fmtKamen Mladenov2025-05-021-3/+3
|
* feat(zkvms_guest_io): Add "metadata" fields to metrics outputKamen Mladenov2025-05-021-0/+1
| | | | These are the zkvm name, rev, guest name and benchmarks repo rev
* feat(update-nix-dependencies): Use flake's nix-blockchain-development ↵Kamen Mladenov2025-04-141-2/+5
| | | | | | | | | | | instead of default To get the new Nix outPaths for all zkVMs, we used to execute a `nix run` command, which found the paths from the nix-blockchain-development repo, default branch on latest commit. Since that could differ from what repo our flake actually uses, we're updating the logic.
* chore: Nix and Rust fmtKamen Mladenov2025-04-041-2/+2
|
* chore(flake.nix): Replace rust-overlay with fenixKamen Mladenov2025-04-041-3/+3
| | | | This follows the same change which was made in mcl-blockchain
* feat(flake.nix): Add script for updating all zkVM package dependenciesKamen Mladenov2025-04-041-0/+1
| | | | | | | | | 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.
* feat: Replace guest script with a fully-fledged Rust programKamen Mladenov2025-03-101-1/+2
|
* chore: Nix fmtKamen Mladenov2025-02-271-53/+57
|
* feat(flake): Add nixfmt formatterKamen Mladenov2025-02-271-0/+2
|
* feat: Add script for formatting all rust files in a directoryKamen Mladenov2025-02-271-1/+3
| | | | This is meant to be used in our codebase, especially in CI pipelines
* fix(guest.nix): Make order of zkVM runs alphabeticKamen Mladenov2025-02-261-2/+2
|
* fix(zkvms/zkm): Downgrade host toolchainKamen Mladenov2025-02-261-1/+5
| | | | | | | 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.
* chore(flake): Switch mcl-blockchain repo to main branchKamen Mladenov2025-02-101-1/+1
|
* feat(flake): Implement single guest packagesKamen Mladenov2025-01-301-6/+16
|
* feat(flake): Generate zkvm packages with all available ones in zkvms folderKamen Mladenov2025-01-301-8/+12
|
* feat(flake): Replace zkVM-helpers with zkvmLibKamen Mladenov2025-01-301-123/+1
|
* feat(flake): Implement withGeneratedLockfile and update pases where that ↵Kamen Mladenov2025-01-291-8/+28
| | | | makes a difference
* feat(zkvms_host_io): Implement using a guest's default inputKamen Mladenov2025-01-281-1/+1
|
* feat(flake): Move creating guest (zkp) symlink to a custom phaseKamen Mladenov2025-01-281-1/+8
|
* feat(flake): Add zkvm with guest implementation packagesKamen Mladenov2025-01-281-14/+26
| | | | | Now, you have zkvm/guest_implementation packages, where you'll build and run the zkVM with guest_implementation
* feat(flake): Rework withCustomPhases variablesKamen Mladenov2025-01-211-8/+35
|
* feat(flake); Implement nexus packageKamen Mladenov2025-01-171-0/+1
|
* feat(flake): Implement jolt packageKamen Mladenov2025-01-171-0/+1
|
* feat(flake): Add the ability to include extra cargo args during guest buildKamen Mladenov2025-01-171-1/+1
|
* feat(flake): Make fixDeps not overwrite postUnpack and preBuild phasesKamen Mladenov2025-01-171-0/+2
|
* feat(flake): Implement zkm packageKamen Mladenov2025-01-161-0/+1
|
* feat(flake): Implement zkwasm packageKamen Mladenov2025-01-151-2/+7
|
* feat(flake): Introduce custom buildGuestPhaseKamen Mladenov2025-01-141-1/+16
|
* feat: Rework usage of zkVM helper functionsKamen Mladenov2025-01-141-15/+22
|
* feat: Replace global workspace with zkvm-local workspaceKamen Mladenov2025-01-141-4/+19
|
* feat: Add script for running a zkVMKamen Mladenov2025-01-131-0/+9
|
* feat: Generic build and install phases, which only compile instead of provingKamen Mladenov2025-01-131-1/+30
|
* feat(flake): Add nix package for benchmarking risc0Kamen Mladenov2025-01-101-0/+1
|
* feat(flake): Add flake with correct inputs and mcl cacheKamen Mladenov2025-01-091-0/+25