aboutsummaryrefslogtreecommitdiff
path: root/flake.nix
Commit message (Collapse)AuthorAgeFilesLines
* 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