Add GitHub Actions workflow for recursive verification tests and update README

- Introduced a new workflow to automate recursive verification tests on push and pull request events.
- Enhanced README with instructions for running tests and details on the CI/CD process.
- Updated test assertions to use TxStatus for better clarity and maintainability.

Author: critesjosh

.github/workflows/recursive-verification-tests.yml

@@ -0,0 +1,108 @@
+name: Recursive Verification Tests
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+    paths:
+      - 'recursive_verification/**'
+      - '.github/workflows/recursive-verification-tests.yml'
+  workflow_dispatch:
+
+jobs:
+  recursive-verification-tests:
+    name: Recursive Verification Tests
+    runs-on: ubuntu-latest
+    env:
+      AZTEC_ENV: sandbox
+      AZTEC_VERSION: 2.0.3
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v5
+
+      - name: Set up Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: "22"
+
+      - name: Setup Bun
+        uses: oven-sh/setup-bun@v2
+        with:
+          bun-version: latest
+
+      - name: Set up Docker
+        uses: docker/setup-buildx-action@v3
+
+      - name: Install Aztec CLI
+        run: |
+          curl -s https://install.aztec.network > tmp.sh
+          NON_INTERACTIVE=1 bash tmp.sh
+          rm tmp.sh
+
+      - name: Update path
+        run: echo "$HOME/.aztec/bin" >> $GITHUB_PATH
+
+      - name: Set Aztec version and start sandbox
+        run: |
+          aztec-up ${{ env.AZTEC_VERSION }}
+          aztec start --sandbox &
+
+      - name: Wait for sandbox to be ready
+        run: |
+          echo "Waiting for sandbox to start..."
+          MAX_RETRIES=60
+          for i in $(seq 1 $MAX_RETRIES); do
+            if curl -s http://localhost:8080/status >/dev/null 2>&1; then
+              echo "✅ Sandbox is ready!"
+              break
+            fi
+            if [ $i -eq $MAX_RETRIES ]; then
+              echo "❌ Sandbox failed to start after $MAX_RETRIES attempts"
+              exit 1
+            fi
+            echo "Waiting... ($i/$MAX_RETRIES)"
+            sleep 2
+          done
+
+      - name: Install project dependencies
+        working-directory: recursive_verification
+        run: bun install
+
+      - name: Compile Noir circuit
+        working-directory: recursive_verification/circuit
+        run: aztec-nargo compile
+
+      - name: Compile contract and generate artifacts
+        working-directory: recursive_verification
+        run: bun ccc
+
+      - name: Generate proof data
+        working-directory: recursive_verification
+        run: bun data
+
+      - name: Run tests
+        working-directory: recursive_verification
+        run: bun test
+        timeout-minutes: 10
+
+      - name: Upload test results if failed
+        if: failure()
+        uses: actions/upload-artifact@v4
+        with:
+          name: test-logs
+          path: |
+            recursive_verification/tests/**/*.log
+            recursive_verification/data.json
+          retention-days: 7
+
+      - name: Cleanup
+        if: always()
+        run: |
+          echo "Stopping Aztec sandbox..."
+          pkill -f "aztec" || true
+          docker stop $(docker ps -q) || true
+          docker rm $(docker ps -a -q) || true

recursive_verification/tests/recursive_verification.test.ts

@@ -1,5 +1,5 @@
 import { describe, expect, test, beforeAll } from "bun:test"
-import { AccountWalletWithSecretKey, Contract, createPXEClient, waitForPXE, type FieldLike, type PXE } from "@aztec/aztec.js"
+import { AccountWalletWithSecretKey, Contract, createPXEClient, waitForPXE, type FieldLike, type PXE, TxStatus } from "@aztec/aztec.js"
 import { getInitialTestAccountsWallets } from '@aztec/accounts/testing'
 import { ValueNotEqualContract, ValueNotEqualContractArtifact } from '../contract/artifacts/ValueNotEqual'
 import data from '../data.json'
@@ -62,7 +62,7 @@ describe("Recursive Verification", () => {
 
     expect(tx).toBeDefined()
     expect(tx.txHash).toBeDefined()
-    expect(tx.status).toBe("success")
+    expect(tx.status).toBe(TxStatus.SUCCESS)
 
     console.log(`Transaction hash: ${tx.txHash.toString()}`)
     console.log(`Transaction status: ${tx.status}`)
@@ -90,7 +90,7 @@ describe("Recursive Verification", () => {
 
     expect(tx).toBeDefined()
     expect(tx.txHash).toBeDefined()
-    expect(tx.status).toBe("success")
+    expect(tx.status).toBe(TxStatus.SUCCESS)
 
     // Check counter value is now 12
     const counterValue = await valueNotEqualContract.methods.get_counter(