logos-blockchain/logos-execution-zone
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-execution-zone.git synced 2026-06-26 08:59:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix(nix): nix circuits vars

Browse Source
This commit is contained in:
Pravdyvy 2026-06-11 18:07:39 +03:00
parent b85e6d31e0
commit d43449b8d2
2 changed files with 3197 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3203
flake.lock generated
View File

File diff suppressed because it is too large Load Diff

10
flake.nix
View File

@ -54,6 +54,12 @@
src = ./.;
cargoLock = builtins.fromTOML (builtins.readFile ./Cargo.lock);
polPrebuilt = pkgs.fetchzip {
url = "https://github.com/logos-blockchain/logos-blockchain-circuits/releases/download/v0.5.0/logos-blockchain-circuits-v0.5.0-linux-x86_64.tar.gz";
hash = "sha256-OgwG1tFecpuaWVc/kgQJp3LCXxJHB59n/KDRhmvqDBY=";
stripRoot = true;
};
# Parse Cargo.lock at eval time to find the locked risc0-circuit-recursion
# version and its crates.io checksum — no hardcoding required.
risc0CircuitRecursion = builtins.head (
@ -102,6 +108,10 @@
pkgs.python3 # Required for correct builds now, as python is sandboxed in nix builds
];
LIBCLANG_PATH = "${pkgs.llvmPackages.libclang.lib}/lib";
LBC_POL_LIB_DIR = "${polPrebuilt}/pol";
LBC_POC_LIB_DIR = "${polPrebuilt}/poc";
LBC_POQ_LIB_DIR = "${polPrebuilt}/poq";
LBC_SIGNATURE_LIB_DIR = "${polPrebuilt}/signature";
# Point the risc0-circuit-recursion build script to the pre-fetched zip
# so it doesn't try to download it inside the sandbox.
RECURSION_SRC_PATH = "${recursionZkr}";