From 9de6d6957ec61a9ddad5a6c2b4001ea205024fa5 Mon Sep 17 00:00:00 2001
From: andrussal <salumets.andrus@gmail.com>
Date: Wed, 3 Dec 2025 06:47:09 +0100
Subject: [PATCH] Use bundled circuits for local smoke to avoid KZG path errors

---
 .github/workflows/lint.yml | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 6105366..6e93f9c 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -195,12 +195,10 @@ jobs:
           fi
           gh api -X GET "repos/${GITHUB_REPOSITORY}/actions/artifacts/${artifact_id}/zip" > "${RUNNER_TEMP}/nomos-binaries/artifact.zip"
           unzip -o "${RUNNER_TEMP}/nomos-binaries/artifact.zip" -d "${RUNNER_TEMP}/nomos-binaries"
-      - name: Install nomos binaries
+      - name: Install nomos binaries and circuits
         run: |
           BIN_DIR="${RUNNER_TEMP}/nomos-binaries"
-          if [ -f "${BIN_DIR}/nomos-binaries.tar.gz" ]; then
-            tar -xzf "${BIN_DIR}/nomos-binaries.tar.gz" -C "${BIN_DIR}"
-          fi
+          tar -xzf "${BIN_DIR}/nomos-binaries.tar.gz" -C "${BIN_DIR}"
           INSTALL_BIN="${RUNNER_TEMP}/nomos-bin"
           mkdir -p "$INSTALL_BIN"
           if [ "${RUNNER_OS}" = "macOS" ]; then
@@ -224,6 +222,13 @@ jobs:
             echo "Circuits bundle missing in nomos-binaries tarball" >&2
             exit 1
           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