From 3edb4dacad904a50ae96c03e01dcecb27787458f Mon Sep 17 00:00:00 2001
From: andrussal <salumets.andrus@gmail.com>
Date: Wed, 3 Dec 2025 05:55:53 +0100
Subject: [PATCH] Bundle circuits in binaries artifact and use in compose smoke

---
 .github/workflows/build-binaries.yml |  2 ++
 .github/workflows/lint.yml           | 20 +++++++++++++++-----
 2 files changed, 17 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/build-binaries.yml b/.github/workflows/build-binaries.yml
index 873b6be..19f44cc 100644
--- a/.github/workflows/build-binaries.yml
+++ b/.github/workflows/build-binaries.yml
@@ -64,6 +64,8 @@ jobs:
           cp "${CARGO_TARGET_DIR}/debug/nomos-node" artifacts/
           cp "${CARGO_TARGET_DIR}/debug/nomos-executor" artifacts/
           cp "${CARGO_TARGET_DIR}/debug/nomos-cli" artifacts/
+          mkdir -p artifacts/circuits
+          rsync -a "$NOMOS_CIRCUITS"/ artifacts/circuits/
           tar -czf nomos-binaries.tar.gz -C artifacts .
       - name: Save nomos binaries cache
         uses: actions/cache@v4
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index fc66e9a..a3019c4 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -162,10 +162,6 @@ jobs:
             apt-get update
             apt-get install -y clang llvm-dev libclang-dev pkg-config cmake libssl-dev rsync libgmp10 libgmp-dev libgomp1 nasm
           fi
-      - name: Install nomos circuits
-        run: |
-          ./scripts/setup-nomos-circuits.sh v0.3.1 "$NOMOS_CIRCUITS"
-          echo "NOMOS_CIRCUITS=$NOMOS_CIRCUITS" >> "$GITHUB_ENV"
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: nightly-2025-09-14
@@ -220,6 +216,13 @@ jobs:
             echo "NOMOS_NODE_BIN=/usr/local/bin/nomos-node" >> "$GITHUB_ENV"
             echo "NOMOS_EXECUTOR_BIN=/usr/local/bin/nomos-executor" >> "$GITHUB_ENV"
           fi
+          if [ -d "${BIN_DIR}/circuits" ]; then
+            echo "NOMOS_CIRCUITS=${BIN_DIR}/circuits" >> "$GITHUB_ENV"
+            echo "NOMOS_KZGRS_PARAMS_PATH=${BIN_DIR}/circuits/pol/proving_key.zkey" >> "$GITHUB_ENV"
+          else
+            echo "Circuits bundle missing in nomos-binaries tarball" >&2
+            exit 1
+          fi
       - name: Stage KZG params for local run
         run: |
           rm -rf testing-framework/assets/stack/kzgrs_test_params
@@ -285,7 +288,14 @@ jobs:
           cp "${BIN_DIR}/nomos-cli" testing-framework/assets/stack/bin/
           rm -rf testing-framework/assets/stack/kzgrs_test_params
           mkdir -p testing-framework/assets/stack/kzgrs_test_params
-          rsync -a --delete "$NOMOS_CIRCUITS"/ testing-framework/assets/stack/kzgrs_test_params/ || true
+          if [ -d "${BIN_DIR}/circuits" ]; then
+            rsync -a --delete "${BIN_DIR}/circuits"/ testing-framework/assets/stack/kzgrs_test_params/ || true
+            echo "NOMOS_CIRCUITS=${BIN_DIR}/circuits" >> "$GITHUB_ENV"
+            echo "CIRCUITS_OVERRIDE=testing-framework/assets/stack/kzgrs_test_params" >> "$GITHUB_ENV"
+          else
+            echo "Circuits bundle missing in nomos-binaries tarball" >&2
+            exit 1
+          fi
 
       - name: Prune docker to free space
         run: |