[1 changes] feat(cli): add noir-execute binary (noir-lang/noir#7384)

chore!: make `ResolverError::OracleMarkedAsConstrained` into a full error (noir-lang/noir#7426)
chore: simplify reports (noir-lang/noir#7421)
fix: do not discard negative sign from field literals in comptime interpreter (noir-lang/noir#7439)
chore: bump aztec-packages commit (noir-lang/noir#7441)
fix: require loop/for/while body to be unit (noir-lang/noir#7437)
feat: simplify assertions that squared values are equal to zero (noir-lang/noir#7432)
chore(benchmark): Improve noir msm benchmark (noir-lang/noir#7390)
chore: Add SSA security checks description (noir-lang/noir#7366)

.noir-sync-commit

@@ -1 +1 @@
-130d99125a09110a3ee3e877d88d83b5aa37f369
+fdfe2bf752771b9611dc71953d50423b4ae7ec44

noir/noir-repo/.github/actions/download-nargo/action.yml

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

noir/noir-repo/.github/benchmark_projects.yml

@@ -0,0 +1,99 @@
+define: &AZ_COMMIT 1350f93c3e9af8f601ca67ca3e67d0127c9767b6
+projects:
+  private-kernel-inner:
+    repo: AztecProtocol/aztec-packages
+    ref: *AZ_COMMIT
+    path: noir-projects/noir-protocol-circuits/crates/private-kernel-inner
+    num_runs: 5
+    compilation-timeout: 2.5
+    execution-timeout: 0.08
+    compilation-memory-limit: 300
+    execution-memory-limit: 250
+  private-kernel-tail:
+    repo: AztecProtocol/aztec-packages
+    ref: *AZ_COMMIT
+    path: noir-projects/noir-protocol-circuits/crates/private-kernel-tail
+    num_runs: 5
+    timeout: 4
+    compilation-timeout: 1.2
+    execution-timeout: 0.02
+    compilation-memory-limit: 250
+    execution-memory-limit: 200
+  private-kernel-reset:
+    repo: AztecProtocol/aztec-packages
+    ref: *AZ_COMMIT
+    path: noir-projects/noir-protocol-circuits/crates/private-kernel-reset
+    num_runs: 5
+    timeout: 250
+    compilation-timeout: 8
+    execution-timeout: 0.35
+    compilation-memory-limit: 750
+    execution-memory-limit: 300
+  rollup-base-private:
+    repo: AztecProtocol/aztec-packages
+    ref: *AZ_COMMIT
+    path: noir-projects/noir-protocol-circuits/crates/rollup-base-private
+    num_runs: 5
+    timeout: 15
+    compilation-timeout: 10
+    execution-timeout: 0.5
+    compilation-memory-limit: 1100
+    execution-memory-limit: 500
+  rollup-base-public:
+    repo: AztecProtocol/aztec-packages
+    ref: *AZ_COMMIT
+    path: noir-projects/noir-protocol-circuits/crates/rollup-base-public
+    num_runs: 5
+    timeout: 15
+    compilation-timeout: 8
+    execution-timeout: 0.4
+    compilation-memory-limit: 1000
+    execution-memory-limit: 500
+  rollup-block-root-empty:
+    repo: AztecProtocol/aztec-packages
+    ref: *AZ_COMMIT
+    path: noir-projects/noir-protocol-circuits/crates/rollup-block-root-empty
+    cannot_execute: true
+    num_runs: 5
+    timeout: 60
+    compilation-timeout: 1.5
+    compilation-memory-limit: 400
+  rollup-block-root-single-tx:
+    repo: AztecProtocol/aztec-packages
+    ref: *AZ_COMMIT
+    path: noir-projects/noir-protocol-circuits/crates/rollup-block-root-single-tx
+    cannot_execute: true
+    num_runs: 1
+    timeout: 60
+    compilation-timeout: 100
+    compilation-memory-limit: 7000
+  rollup-block-root:
+    repo: AztecProtocol/aztec-packages
+    ref: *AZ_COMMIT
+    path: noir-projects/noir-protocol-circuits/crates/rollup-block-root
+    num_runs: 1
+    timeout: 60
+    compilation-timeout: 110
+    execution-timeout: 40
+    compilation-memory-limit: 7000
+    execution-memory-limit: 1500
+  rollup-merge:
+    repo: AztecProtocol/aztec-packages
+    ref: *AZ_COMMIT
+    path: noir-projects/noir-protocol-circuits/crates/rollup-merge
+    num_runs: 5
+    timeout: 300
+    compilation-timeout: 1.5
+    execution-timeout: 0.01
+    compilation-memory-limit: 400
+    execution-memory-limit: 400
+  rollup-root:
+    repo: AztecProtocol/aztec-packages
+    ref: *AZ_COMMIT
+    path: noir-projects/noir-protocol-circuits/crates/rollup-root
+    num_runs: 5
+    timeout: 300
+    compilation-timeout: 2
+    execution-timeout: 0.6
+    compilation-memory-limit: 450
+    execution-memory-limit: 400

noir/noir-repo/.github/workflows/formatting.yml

@@ -123,18 +123,7 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Download nargo binary
-        uses: actions/download-artifact@v4
-        with:
-          name: nargo
-          path: ./nargo
-
-      - name: Set nargo on PATH
-        run: |
-          nargo_binary="${{ github.workspace }}/nargo/nargo"
-          chmod +x $nargo_binary
-          echo "$(dirname $nargo_binary)" >> $GITHUB_PATH
-          export PATH="$PATH:$(dirname $nargo_binary)"
-          nargo -V
+        uses: ./.github/actions/download-nargo
 
       - name: Format stdlib
         working-directory: ./noir_stdlib