aztec-examples/.github/workflows/recursive-verification-tests.yml at 143e78c3b33fc2a089e699d136da01879a0ffe1f · AztecProtocol/aztec-examples · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
name: Recursive Verification Tests

on:
  push:
    branches:
      - next
  pull_request:
    branches:
      - next
    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: local-network
      AZTEC_VERSION: 3.0.0-devnet.20251212

    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: 1.1.36

      - name: Set up Docker
        uses: docker/setup-buildx-action@v3

      - name: Install Aztec CLI
        run: |
          curl -s https://install.aztec.network > tmp.sh
          VERSION=${{ env.AZTEC_VERSION }} 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 local network
        run: |
          aztec-up ${{ env.AZTEC_VERSION }}
          docker tag aztecprotocol/aztec:${{ env.AZTEC_VERSION }} aztecprotocol/aztec:latest
          aztec start --local-network &

      - name: Wait for local network to be ready
        run: |
          echo "Waiting for local network 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 "✅ Local network is ready!"
              break
            fi
            if [ $i -eq $MAX_RETRIES ]; then
              echo "❌ Local network 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 --frozen-lockfile

      - name: Install Nargo
        uses: noir-lang/noirup@v0.1.4
        with:
          toolchain: 1.0.0-beta.15

      - name: Compile Noir circuit
        working-directory: recursive_verification/circuit
        run: nargo compile

      - name: Compile contract and generate artifacts
        working-directory: recursive_verification
        run: bun ccc

      - name: Generate proof data
        working-directory: recursive_verification
        env:
          BB_SINGLE_THREADED: "1"
          HARDWARE_CONCURRENCY: "1"
          NODE_OPTIONS: "--max-old-space-size=6144"
        run: |
          echo "Generating proof data with memory optimizations..."
          bun data
        timeout-minutes: 30

      - name: Run recursive verification script
        working-directory: recursive_verification
        run: bun recursion
        timeout-minutes: 15

      - 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 local network..."
          pkill -f "aztec" || true
          docker stop $(docker ps -q) || true
          docker rm $(docker ps -a -q) || true