chore: remove stark-backend from workspace (#1023)

.github/workflows/algebra-extension.yml

@@ -30,6 +30,13 @@ jobs:
           cache-on-failure: true
       - uses: taiki-e/install-action@nextest
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run algebra extension crate tests
         working-directory: extensions/algebra/circuit
         run: |

.github/workflows/benchmark-call.yml

@@ -125,6 +125,14 @@ jobs:
       ##########################################################################
       # Environment setup                                                      #
       ##########################################################################
+
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - uses: actions/checkout@v4
         with:
           ref: ${{ github.head_ref || github.ref }}

.github/workflows/benchmarks.yml

@@ -7,8 +7,6 @@ on:
     types: [opened, synchronize, reopened, labeled]
     branches: ["**"]
     paths:
-      - "crates/stark-backend/**"
-      - "crates/stark-sdk/**"
       - "crates/circuits/**"
       - "crates/vm/**"
       - "crates/toolchain/**"

.github/workflows/bigint-extension.yml

@@ -30,6 +30,13 @@ jobs:
           cache-on-failure: true
       - uses: taiki-e/install-action@nextest
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run bigint extension crate tests
         working-directory: extensions/bigint/circuit
         run: |

.github/workflows/build.yml

@@ -23,6 +23,13 @@ jobs:
         with:
           cache-on-failure: true
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run build
         run: |
-          cargo build --verbose
+          cargo build --verbose

.github/workflows/cli.yml

@@ -6,7 +6,6 @@ on:
   pull_request:
     branches: ["**"]
     paths:
-      - "crates/stark-backend/**"
       - "crates/circuits/primitives/**"
       - "crates/vm/**"
       - "crates/sdk/**"
@@ -58,6 +57,13 @@ jobs:
         run: |
           bash ./extensions/native/recursion/trusted_setup_s3.sh
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       # TODO: CLI build, transpile, run, (keygen), prove, contract, verify
       - name: Run app-level CLI commands
         working-directory: crates/cli

.github/workflows/ecc.yml

@@ -6,7 +6,6 @@ on:
   pull_request:
     branches: ["**"]
     paths:
-      - "crates/stark-backend/**"
       - "crates/circuits/primitives/**"
       - "crates/vm/**"
       - "crates/cli/**"
@@ -36,6 +35,13 @@ jobs:
           cache-on-failure: true
       - uses: taiki-e/install-action@nextest
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run pairing-guest crate tests
         working-directory: extensions/pairing/guest
         run: |

.github/workflows/keccak256-extension.yml

@@ -22,6 +22,13 @@ jobs:
       - runs-on=${{ github.run_id }}
       - runner=64cpu-linux-arm64
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@stable

.github/workflows/lints.yml

@@ -23,6 +23,13 @@ jobs:
         with:
           cache-on-failure: true
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run fmt
         run: |
           cargo fmt --all -- --check

.github/workflows/native-extension.yml

@@ -30,6 +30,13 @@ jobs:
           cache-on-failure: true
       - uses: taiki-e/install-action@nextest
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run native extension crate tests
         working-directory: extensions/native/circuit
         run: |

.github/workflows/primitives.yml

@@ -6,7 +6,6 @@ on:
   pull_request:
     branches: ["**"]
     paths:
-      - "crates/stark-backend/**"
       - "crates/circuits/primitives/**"
       - "crates/circuits/poseidon2-air/**"
 
@@ -32,6 +31,13 @@ jobs:
           cache-on-failure: true
       - uses: taiki-e/install-action@nextest
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run tests for primitives
         working-directory: crates/circuits/primitives
         run: |

.github/workflows/recursion.yml

@@ -6,7 +6,6 @@ on:
   pull_request:
     branches: ["**"]
     paths:
-      - "crates/stark-backend/**"
       - "crates/circuits/primitives/**"
       - "crates/vm/**"
       - "extensions/native/compiler/**"
@@ -36,6 +35,13 @@ jobs:
       - name: Install solc # svm should support arm64 linux
         run: (hash svm 2>/dev/null || cargo install --version 0.2.23 svm-rs) && svm install 0.8.19 && solc --version
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run recursion crate tests
         working-directory: extensions/native/recursion
         run: |

.github/workflows/riscv.yml

@@ -40,6 +40,13 @@ jobs:
         with:
           submodules: recursive
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run Makefile
         working-directory: crates/toolchain/tests/rv32im-test-vectors
         run: |

.github/workflows/rv32im-extension.yml

@@ -30,6 +30,13 @@ jobs:
           cache-on-failure: true
       - uses: taiki-e/install-action@nextest
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run rv32im extension crate tests
         working-directory: extensions/rv32im/circuit
         run: |

.github/workflows/sdk.yml

@@ -6,7 +6,6 @@ on:
   pull_request:
     branches: ["**"]
     paths:
-      - "crates/stark-backend/**"
       - "crates/circuits/primitives/**"
       - "crates/vm/**"
       - "crates/sdk/**"
@@ -36,6 +35,13 @@ jobs:
       - name: Install solc # svm should support arm64 linux
         run: (hash svm 2>/dev/null || cargo install --version 0.2.23 svm-rs) && svm install 0.8.19 && solc --version
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Install architecture specific tools
         run: |
           arch=$(uname -m)

.github/workflows/toolchain-edsl.yml

@@ -32,6 +32,13 @@ jobs:
           cache-on-failure: true
       - uses: taiki-e/install-action@nextest
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run circuit and compiler tests
         working-directory: extensions/native/compiler
         run: |

.github/workflows/toolchain.yml

@@ -32,6 +32,13 @@ jobs:
           cache-on-failure: true
       - uses: taiki-e/install-action@nextest
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run toolchain tests
         working-directory: crates/toolchain/tests
         run: |

.github/workflows/vm.yml

@@ -6,7 +6,6 @@ on:
   pull_request:
     branches: ["**"]
     paths:
-      - "crates/stark-backend/**"
       - "crates/circuits/**"
       - "crates/vm/**"
 
@@ -32,6 +31,13 @@ jobs:
           cache-on-failure: true
       - uses: taiki-e/install-action@nextest
 
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
+
       - name: Run vm crate tests
         working-directory: crates/vm
         run: |