--skip-brillig-constraints-check

Author: jialinli98

.github/workflows/circuits_e2e.yaml

@@ -37,9 +37,9 @@ jobs:
 
       - name: Install Barretenberg
         run: |
-          curl -L https://raw.githubusercontent.com/AztecProtocol/aztec-packages/master/barretenberg/cpp/installation/install | bash
-          echo "$HOME/.bb" >> $GITHUB_PATH
-
+          curl -L https://raw.githubusercontent.com/AztecProtocol/aztec-packages/refs/heads/next/barretenberg/bbup/install | bash
+          ~/.bb/bbup -nv 1.0.0-beta.18
+          sudo apt install libc++-dev
       - name: Compile Circuit
         run: |
           nargo compile --package get_header --deny-warnings --skip-brillig-constraints-check
@@ -65,14 +65,14 @@ jobs:
 
       - name: Generate Witnesses
         run: |
-          nargo execute --package get_header --oracle-resolver=http://localhost:5555
-          nargo execute --package get_account --oracle-resolver=http://localhost:5555
-          nargo execute --package get_storage --oracle-resolver=http://localhost:5555
-          nargo execute --package get_receipt --oracle-resolver=http://localhost:5555
-          nargo execute --package get_transaction --oracle-resolver=http://localhost:5555
-          nargo execute --package get_log --oracle-resolver=http://localhost:5555
-          nargo execute --package is_dao_worthy --oracle-resolver=http://localhost:5555
-          nargo execute --package is_ape_owner --oracle-resolver=http://localhost:5555
+          nargo execute --package get_header --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package get_account --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package get_storage --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package get_receipt --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package get_transaction --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package get_log --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package is_dao_worthy --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package is_ape_owner --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
 
       - name: Generate Proofs
         run: |

.github/workflows/e2e_test.yaml

@@ -48,20 +48,22 @@ jobs:
 
       - name: Install Barretenberg
         run: |
-          curl -L https://raw.githubusercontent.com/AztecProtocol/aztec-packages/master/barretenberg/cpp/installation/install | bash
-          echo "$HOME/.bb" >> $GITHUB_PATH
+          curl -L https://raw.githubusercontent.com/AztecProtocol/aztec-packages/refs/heads/next/barretenberg/bbup/install | bash
+          ~/.bb/bbup -nv 1.0.0-beta.18
+          sudo apt install libc++-dev
 
       - name: Generate Witnesses
         run: |
-          nargo execute --package get_header --oracle-resolver=http://localhost:5555
-          nargo execute --package get_account --oracle-resolver=http://localhost:5555
-          nargo execute --package get_storage --oracle-resolver=http://localhost:5555
-          nargo execute --package get_receipt --oracle-resolver=http://localhost:5555
-          nargo execute --package get_transaction --oracle-resolver=http://localhost:5555
-          nargo execute --package get_log --oracle-resolver=http://localhost:5555
+          nargo execute --package get_header --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package get_account --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package get_storage --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package get_receipt --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package get_transaction --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
+          nargo execute --package get_log --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
 
       - name: Generate Proofs
         run: |
+          export PATH="$HOME/.bb:$PATH"
           bb prove -b ./target/get_header.json -w ./target/get_header.gz -o ./target/get_header/proof
           bb prove -b ./target/get_account.json -w ./target/get_account.gz -o ./target/get_account/proof
           bb prove -b ./target/get_storage.json -w ./target/get_storage.gz -o ./target/get_storage/proof