Revert CI Merge

.cargo/config.toml

@@ -8,9 +8,3 @@ rustflags = ["-C", "target-feature=+simd128,+relaxed-simd"]
 [target.wasm32-wasip1]
 runner = "wasmtime run --dir . "
 rustflags = ["-C", "target-feature=+simd128,+relaxed-simd"]
-
-# LLVM miscompilation workaround for Linux aarch64.
-# Bug requires: opt-level=3 + codegen-units=1 + 256-bit field arithmetic + generics
-# See: https://github.com/worldfnd/provekit/issues/304
-[target.aarch64-unknown-linux-gnu]
-rustflags = ["-C", "opt-level=2"]

.github/workflows/benchmark.yml.disabled → .github/workflows/benchmark.yml

@@ -26,7 +26,7 @@ jobs:
       - name: Setup Rust toolchain, cache and cargo-codspeed binary
         uses: moonrepo/setup-rust@v1
         with:
-          channel: nightly-2025-10-20
+          channel: nightly-2025-04-05
           cache-base: main
           cache-target: release
           bins: cargo-codspeed
@@ -94,7 +94,7 @@ jobs:
       - name: Setup rust toolchain, cache and cargo-codspeed binary
         uses: moonrepo/setup-rust@v1
         with:
-          channel: nightly-2025-10-20
+          channel: nightly-2025-04-05
           cache: false # We don't actually use any build files, no need to restore cache
           bins: cargo-codspeed
 

.github/workflows/ci.yml

@@ -21,12 +21,6 @@ jobs:
   build_and_test:
     name: Build and test
     runs-on: ubuntu-24.04-arm
-    env:
-      # Overrides .cargo/config.toml [target.aarch64-unknown-linux-gnu].rustflags
-      # entirely (Cargo treats RUSTFLAGS env and config rustflags as mutually
-      # exclusive). Safe: this job does debug builds only (opt-level=0).
-      # Do NOT add --release without addressing this interaction. See #304.
-      RUSTFLAGS: "-C debug-assertions=yes"
     steps:
       - uses: actions/checkout@v4
       - name: Setup rust toolchain, cache and bins

.github/workflows/circuit_keys.yml

@@ -23,7 +23,7 @@ jobs:
             - name: Setup Rust toolchain, cache and bins
               uses: moonrepo/setup-rust@v1
               with:
-                  channel: nightly-2025-10-20
+                  channel: nightly-2025-04-05
                   cache-base: main
                   components: rustfmt, clippy
 

.github/workflows/end-to-end.yml

@@ -27,14 +27,12 @@ jobs:
       - name: Setup Rust toolchain, cache and bins
         uses: moonrepo/setup-rust@v1
         with:
-          channel: nightly-2025-10-20
+          channel: nightly-2025-04-05
           cache-base: main
           components: rustfmt, clippy
 
-      - name: Clean stale artifacts
-        run: cargo clean
       - name: Build all Rust targets
-        run: cargo build --all-targets --all-features --release --verbose
+        run: cargo build --all-targets --all-features --verbose
 
       - uses: noir-lang/noirup@v0.1.2
         with:
@@ -54,12 +52,6 @@ jobs:
             echo "Compiled $circuit"
           done
 
-      - name: Clean stale benchmark artifacts
-        working-directory: noir-examples/noir-passport/merkle_age_check
-        run: |
-          rm -f ./benchmark-inputs/*.pkp ./benchmark-inputs/*.pkv ./benchmark-inputs/*.np
-          echo "Cleaned stale benchmark artifacts"
-
       - name: Prepare circuits 
         working-directory: noir-examples/noir-passport/merkle_age_check
         run: |
@@ -101,39 +93,37 @@ jobs:
             ./benchmark-inputs/t_attest-verifier.pkv \
             ./benchmark-inputs/t_attest-proof.np
 
-
-      # Disabled gnark, check https://github.com/worldfnd/provekit/issues/302
-      # - name: Run Gnark verifier 
-      #   working-directory: recursive-verifier
-      #   run: |
-      #     go build -o gnark-verifier cmd/cli/main.go
-
-      #     # Set up cleanup trap
-      #     cleanup() {
-      #       if [ ! -z "$MONITOR_PID" ]; then
-      #         kill $MONITOR_PID 2>/dev/null || true
-      #       fi
-      #     }
-      #     trap cleanup EXIT
-
-      #     # Start monitoring in background
-      #     (
-      #       while true; do
-      #         echo "=== $(date) ==="
-      #         echo "Memory:"
-      #         free -h
-      #         echo "Disk:"
-      #         df -h
-      #         echo "Processes:"
-      #         ps aux --sort=-%mem | head -5
-      #         echo "=================="
-      #         sleep 10  # Check every 10 seconds
-      #       done
-      #     ) &
-      #     MONITOR_PID=$!
-
-      #     # Run the main process 
-      #     ./gnark-verifier --config "../noir-examples/noir-passport/merkle_age_check/params_for_recursive_verifier" --r1cs "../noir-examples/noir-passport/merkle_age_check/r1cs.json"
-
-      #     # Stop monitoring
-      #     kill $MONITOR_PID
+      - name: Run Gnark verifier 
+        working-directory: recursive-verifier
+        run: |
+          go build -o gnark-verifier cmd/cli/main.go
+
+          # Set up cleanup trap
+          cleanup() {
+            if [ ! -z "$MONITOR_PID" ]; then
+              kill $MONITOR_PID 2>/dev/null || true
+            fi
+          }
+          trap cleanup EXIT
+
+          # Start monitoring in background
+          (
+            while true; do
+              echo "=== $(date) ==="
+              echo "Memory:"
+              free -h
+              echo "Disk:"
+              df -h
+              echo "Processes:"
+              ps aux --sort=-%mem | head -5
+              echo "=================="
+              sleep 10  # Check every 10 seconds
+            done
+          ) &
+          MONITOR_PID=$!
+
+          # Run the main process 
+          ./gnark-verifier --config "../noir-examples/noir-passport/merkle_age_check/params_for_recursive_verifier" --r1cs "../noir-examples/noir-passport/merkle_age_check/r1cs.json"
+
+          # Stop monitoring
+          kill $MONITOR_PID