diff --git a/.cargo/config.toml b/.cargo/config.toml
index c3d3ef9..3963d5e 100644
--- a/.cargo/config.toml
+++ b/.cargo/config.toml
@@ -1,2 +1,2 @@
 [env]
-RUST_WITNESS_LINK_TEST_WITNESS="1"
\ No newline at end of file
+RUST_RAPIDSNARK_LINK_TEST_WITNESS="1"
\ No newline at end of file
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
index abc496d..5ee67aa 100644
--- a/.github/workflows/build-and-test.yml
+++ b/.github/workflows/build-and-test.yml
@@ -29,6 +29,31 @@ jobs:
 
       - name: Check formatting
         run: cargo fmt --all -- --check
+  build-ios:
+    runs-on: macos-latest
+    if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
+    strategy:
+      matrix:
+        target: 
+          - aarch64-apple-ios
+          - aarch64-apple-ios-sim
+          - x86_64-apple-ios
+    steps:
+      - name: Checkout Repository
+        uses: actions/checkout@v4
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          toolchain: "1.81.0"
+          targets: ${{ matrix.target }}
+      - name: Install Dependencies
+        run: |
+          if [[ "${{ matrix.target }}" == "aarch64-apple-ios" || "${{ matrix.target }}" == "aarch64-apple-ios-sim" ]]; then
+            rustup target add ${{ matrix.target }}
+            sudo apt update && sudo apt install -y libclang-dev
+          fi
+      - name: Build
+        run: cargo build --target ${{ matrix.target }}
   test-linux:
     runs-on: ubuntu-latest
     if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
@@ -52,4 +77,4 @@ jobs:
           toolchain: "1.81.0"
           override: true
       - name: Run tests
-        run: cargo test -vv
+        run: cargo test
diff --git a/build.rs b/build.rs
index f5ffff3..bd59b9f 100644
--- a/build.rs
+++ b/build.rs
@@ -4,7 +4,7 @@ use std::path::Path;
 use std::path::PathBuf;
 
 fn main() {
-    if std::env::var("RUST_WITNESS_LINK_TEST_WITNESS").is_ok() {
+    if std::env::var("RUST_RAPIDSNARK_LINK_TEST_WITNESS").is_ok() {
         rust_witness::transpile::transpile_wasm("./test-vectors".to_string());
     }
 
diff --git a/rapidsnark/aarch64-apple-ios-sim/libfq.a b/rapidsnark/aarch64-apple-ios-sim/libfq.a
new file mode 100644
index 0000000..36b533d
Binary files /dev/null and b/rapidsnark/aarch64-apple-ios-sim/libfq.a differ
diff --git a/rapidsnark/aarch64-apple-ios-sim/libfr.a b/rapidsnark/aarch64-apple-ios-sim/libfr.a
new file mode 100644
index 0000000..0bfd08b
Binary files /dev/null and b/rapidsnark/aarch64-apple-ios-sim/libfr.a differ
diff --git a/rapidsnark/aarch64-apple-ios-sim/libgmp.a b/rapidsnark/aarch64-apple-ios-sim/libgmp.a
new file mode 100644
index 0000000..9117f22
Binary files /dev/null and b/rapidsnark/aarch64-apple-ios-sim/libgmp.a differ
diff --git a/rapidsnark/aarch64-apple-ios-sim/librapidsnark-fr-fq.a b/rapidsnark/aarch64-apple-ios-sim/librapidsnark-fr-fq.a
new file mode 100644
index 0000000..ba881b9
Binary files /dev/null and b/rapidsnark/aarch64-apple-ios-sim/librapidsnark-fr-fq.a differ
diff --git a/rapidsnark/aarch64-apple-ios-sim/librapidsnark.a b/rapidsnark/aarch64-apple-ios-sim/librapidsnark.a
new file mode 100644
index 0000000..2af5a92
Binary files /dev/null and b/rapidsnark/aarch64-apple-ios-sim/librapidsnark.a differ
diff --git a/rapidsnark/aarch64-apple-ios-sim/librapidsnark.dylib b/rapidsnark/aarch64-apple-ios-sim/librapidsnark.dylib
new file mode 100755
index 0000000..7a26d89
Binary files /dev/null and b/rapidsnark/aarch64-apple-ios-sim/librapidsnark.dylib differ
diff --git a/rapidsnark/x86_64-apple-ios/libfq.a b/rapidsnark/x86_64-apple-ios/libfq.a
new file mode 100644
index 0000000..2e0b50c
Binary files /dev/null and b/rapidsnark/x86_64-apple-ios/libfq.a differ
diff --git a/rapidsnark/x86_64-apple-ios/libfr.a b/rapidsnark/x86_64-apple-ios/libfr.a
new file mode 100644
index 0000000..c02df24
Binary files /dev/null and b/rapidsnark/x86_64-apple-ios/libfr.a differ
diff --git a/rapidsnark/x86_64-apple-ios/libgmp.a b/rapidsnark/x86_64-apple-ios/libgmp.a
new file mode 100644
index 0000000..14e6214
Binary files /dev/null and b/rapidsnark/x86_64-apple-ios/libgmp.a differ
diff --git a/rapidsnark/x86_64-apple-ios/librapidsnark-fr-fq.a b/rapidsnark/x86_64-apple-ios/librapidsnark-fr-fq.a
new file mode 100644
index 0000000..0cf9f3b
Binary files /dev/null and b/rapidsnark/x86_64-apple-ios/librapidsnark-fr-fq.a differ
diff --git a/rapidsnark/x86_64-apple-ios/librapidsnark.a b/rapidsnark/x86_64-apple-ios/librapidsnark.a
new file mode 100644
index 0000000..1f5369f
Binary files /dev/null and b/rapidsnark/x86_64-apple-ios/librapidsnark.a differ
diff --git a/rapidsnark/x86_64-apple-ios/librapidsnark.dylib b/rapidsnark/x86_64-apple-ios/librapidsnark.dylib
new file mode 100755
index 0000000..b67dfcd
Binary files /dev/null and b/rapidsnark/x86_64-apple-ios/librapidsnark.dylib differ