diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-01-10 10:35:27 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-01-10 10:35:27 +0200 |
| commit | 9374e13744e427079fb4c8a98691fd45b7686e6c (patch) | |
| tree | 91c9f62beda13dbfdc2032ca84df744b3db0558b /zkvms/risc0/default.nix | |
| parent | 43edd76278d06291c174fc8ef16f46d131aad6b3 (diff) | |
| download | zkVMs-benchmarks-9374e13744e427079fb4c8a98691fd45b7686e6c.tar zkVMs-benchmarks-9374e13744e427079fb4c8a98691fd45b7686e6c.tar.gz zkVMs-benchmarks-9374e13744e427079fb4c8a98691fd45b7686e6c.zip | |
feat(flake): Add nix package for benchmarking risc0
Diffstat (limited to 'zkvms/risc0/default.nix')
| -rw-r--r-- | zkvms/risc0/default.nix | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/zkvms/risc0/default.nix b/zkvms/risc0/default.nix new file mode 100644 index 0000000..42ebf8a --- /dev/null +++ b/zkvms/risc0/default.nix @@ -0,0 +1,54 @@ +{ stdenv, + lib, + just, + metacraft-labs, + pkg-config, + craneLib-default, +}: +let + fs = lib.fileset; + + commonArgs = rec { + pname = "risc0"; + version = "infdev"; + + src = fs.toSource { + root = ../..; + fileset = fs.intersection (fs.gitTracked ../..) (fs.unions [ + ./. + ../../guests + ../../guests_macro + ../../Cargo.lock + ../../Cargo.toml + ../../Vertices-010.in + ]); + }; + }; + + craneLib = craneLib-default.overrideToolchain metacraft-labs.risc0; + cargoArtifacts = craneLib.buildDepsOnly commonArgs; +in + craneLib.buildPackage (commonArgs + // { + inherit cargoArtifacts; + + nativeBuildInputs = [ + just + metacraft-labs.risc0 + stdenv.cc + pkg-config + ]; + + postPatch = '' + ln -s ../../../../guests/graph_coloring ./zkvms/risc0/guest/src/zkp + ''; + + preBuild = '' + INPUTS="$PWD/Vertices-010.in" + export INPUTS + cd zkvms/risc0 + just prove + ''; + + doCheck = false; + }) |