diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4ee863d..33aca01 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -197,7 +197,7 @@ jobs:
         run: sudo apt install -y build-essential cmake libgmp-dev libsodium-dev nasm curl m4
 
       - name: Install Dependencies [Witness Generator]
-        run: sudo apt install nlohmann-json3-dev
+        run: sudo apt install -y nlohmann-json3-dev llvm
 
       - name: Replace Prover Makefile # TODO: Make a fork generate the appropriate Linux Makefile
         run: cp .github/resources/prover/Makefile rapidsnark/Makefile
@@ -434,7 +434,7 @@ jobs:
         run: sudo apt install -y build-essential cmake libgmp-dev libsodium-dev nasm curl m4
 
       - name: Install Dependencies [Witness Generator]
-        run: sudo apt install -y nlohmann-json3-dev
+        run: sudo apt install -y nlohmann-json3-dev llvm
 
       - name: Replace Prover Makefile
         run: cp .github/resources/prover/Makefile rapidsnark/Makefile
@@ -655,6 +655,7 @@ jobs:
           install: >-
             base-devel
             mingw-w64-x86_64-toolchain
+            mingw-w64-x86_64-llvm
             make
             git
 
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 04ed50b..24f4140 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -6,6 +6,7 @@
 
 - [Rust](https://rustup.rs/) — the pinned toolchain version is in `rust-toolchain.toml` and will be installed automatically by `rustup`.
 - [pre-commit](https://pre-commit.com/) — used to run formatting, linting, and audit checks before each commit.
+- `llvm-objcopy` — required to build circuit static libraries (symbol isolation). Install via `sudo apt install -y llvm` on Linux or `pacman -S mingw-w64-x86_64-llvm` on Windows (MSYS2).
 
 ### Installing the Pre-Commit Hooks