Merge branch 'master' into ab/inline-constants-into-brillig-functions

Author: asterite

.aztec-sync-commit

@@ -1 +1 @@
-f7a65ee697aa7e1a2bbdfcafe9d846aadd9aa2c2
+f733879bd5e59a222cc288de6c298eaa8553312c

.github/actions/download-noir-execute/action.yml

@@ -0,0 +1,18 @@
+name: Download noir-execute
+description: Downloads the noir-execute binary from an artifact and adds it to the path
+
+runs:
+  using: composite
+  steps:
+    - name: Download noir-execute binary
+      uses: actions/download-artifact@v4
+      with:
+        name: noir-execute
+        path: ./noir-execute
+
+    - name: Set noir-execute on PATH
+      shell: bash
+      run: |
+        noir_binary="${{ github.workspace }}/noir-execute/noir-execute"
+        chmod +x $noir_binary
+        echo "$(dirname $noir_binary)" >> $GITHUB_PATH

.github/benchmark_projects.yml

@@ -1,4 +1,4 @@
-define: &AZ_COMMIT 5f141167d16f1450348a4bbe55d94a462b5b62eb
+define: &AZ_COMMIT fd9f1458557f2d67bcf2d58ba4194e000f58600c
 projects:
   private-kernel-inner:
     repo: AztecProtocol/aztec-packages
@@ -16,7 +16,7 @@ projects:
     num_runs: 5
     timeout: 4
     compilation-timeout: 1.2
-    execution-timeout: 0.02
+    execution-timeout: 0.04
     compilation-memory-limit: 250
     execution-memory-limit: 230
   private-kernel-reset:
@@ -47,7 +47,7 @@ projects:
     timeout: 15
     compilation-timeout: 15
     execution-timeout: 0.75
-    compilation-memory-limit: 1300
+    compilation-memory-limit: 1500
     execution-memory-limit: 500
   rollup-block-root-empty:
     repo: AztecProtocol/aztec-packages

.github/critical_libraries_status/noir-lang/keccak256/.failures.jsonl

@@ -1,5 +1,5 @@
 #!/bin/bash
 set -eu
 
-apt-get install libc++-dev -y
+apt-get install libc6 libstdc++6 -y
 yarn workspace integration-tests test:node

.github/critical_libraries_status/noir-lang/sha512/.failures.jsonl

@@ -54,6 +54,8 @@ jobs:
           cargo build --package nargo_cli --release --target ${{ matrix.target }} --no-default-features --features "${{ inputs.features }}"
           cargo build --package noir_profiler --release --target ${{ matrix.target }} --no-default-features --features "${{ inputs.features }}"
           cargo build --package noir_inspector --release --target ${{ matrix.target }} --no-default-features --features "${{ inputs.features }}"
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
       - name: Package artifacts
         run: |
@@ -237,5 +239,3 @@ jobs:
           make_latest: false
           overwrite: true
           tag: ${{ format('{0}-{1}', 'nightly', steps.date.outputs.date) }}
-
-

.github/scripts/integration-test-node.sh

@@ -42,6 +42,8 @@ jobs:
 
       - name: Build Nargo
         run: cargo build --package nargo_cli --release
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
       - name: Package artifacts
         run: |
@@ -58,7 +60,7 @@ jobs:
   compare_gates_reports:
     name: Circuit sizes
     needs: [build-nargo]
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     permissions:
       pull-requests: write
 

.github/workflows/publish-nargo.yml

@@ -64,6 +64,8 @@ jobs:
 
       - name: Build Nargo
         run: cargo build --package nargo_cli --release
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
       - name: Package artifacts
         run: |
@@ -78,6 +80,39 @@ jobs:
           path: ./dist/*
           retention-days: 3
 
+  build-noir-execute:
+    runs-on: ubuntu-22.04
+    timeout-minutes: 30
+
+    steps:
+      - name: Checkout Noir repo
+        uses: actions/checkout@v4
+
+      - name: Setup toolchain
+        uses: dtolnay/rust-toolchain@1.85.0
+
+      - uses: Swatinem/rust-cache@v2
+        with:
+          key: x86_64-unknown-linux-gnu
+          cache-on-failure: true
+          save-if: ${{ github.event_name != 'merge_group' }}
+
+      - name: Build noir-execute
+        run: cargo build --package noir_artifact_cli --release
+
+      - name: Package artifacts
+        run: |
+          mkdir dist
+          cp ./target/release/noir-execute ./dist/noir-execute
+          7z a -ttar -so -an ./dist/* | 7z a -si ./noir-execute-x86_64-unknown-linux-gnu.tar.gz
+
+      - name: Upload artifact
+        uses: actions/upload-artifact@v4
+        with:
+          name: noir-execute
+          path: ./dist/*
+          retention-days: 3
+
   build-noirc-abi:
     runs-on: ubuntu-22.04
     timeout-minutes: 30
@@ -361,7 +396,7 @@ jobs:
 
   test-integration-node:
     name: Integration Tests (Node)
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     needs: [build-acvm-js, build-noir-wasm, build-nargo, build-noirc-abi]
     timeout-minutes: 30
 
@@ -373,6 +408,7 @@ jobs:
         run: |
           ./scripts/install_bb.sh
           echo "$HOME/.bb/" >> $GITHUB_PATH
+          sudo apt-get install libc6 libstdc++6 -y
 
       - name: Download nargo binary
         uses: ./.github/actions/download-nargo
@@ -456,8 +492,8 @@ jobs:
 
   test-examples:
     name: Example scripts
-    runs-on: ubuntu-22.04
-    needs: [build-nargo]
+    runs-on: ubuntu-24.04
+    needs: [build-nargo, build-noir-execute]
     timeout-minutes: 30
 
     steps:
@@ -473,10 +509,14 @@ jobs:
         run: |
           ./scripts/install_bb.sh
           echo "$HOME/.bb/" >> $GITHUB_PATH
+          sudo apt-get install libc6 libstdc++6 -y
 
       - name: Download nargo binary
         uses: ./.github/actions/download-nargo
 
+      - name: Download noir-execute binary
+        uses: ./.github/actions/download-noir-execute
+
       - name: Run `prove_and_verify`
         working-directory: ./examples/prove_and_verify
         run: ./test.sh
@@ -485,6 +525,10 @@ jobs:
         working-directory: ./examples/codegen_verifier
         run: ./test.sh
 
+      - name: Run `oracle_transcript`
+        working-directory: ./examples/oracle_transcript
+        run: ./test.sh
+
   external-repo-checks:
     needs: [build-nargo, critical-library-list]
     runs-on: ubuntu-22.04

.github/workflows/reports.yml

@@ -1,2 +1,3 @@
-edition = "2018"
+edition = "2024"
+style_edition = "2024"
 use_small_heuristics = "Max"

.github/workflows/test-js-packages.yml

@@ -12,3 +12,6 @@ https://github.com/noir-lang/noir_string_search
 https://github.com/noir-lang/sparse_array
 https://github.com/noir-lang/noir_rsa
 https://github.com/noir-lang/noir_json_parser
+https://github.com/noir-lang/sha256
+https://github.com/noir-lang/sha512
+https://github.com/noir-lang/keccak256