From 1ddb9e93ff6d56a6129a4f91d233d073a5db88a1 Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Tue, 2 Sep 2025 16:41:08 +0000
Subject: [PATCH] chore: Bump Noir reference

Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: remove duplicated frontend tests (https://github.com/noir-lang/noir/pull/9706)
chore: remove playwright workaround (https://github.com/noir-lang/noir/pull/9704)
fix(licm): Use `Loop::header` in `Loop::is_fully_executed` (https://github.com/noir-lang/noir/pull/9700)
chore: show which type is invalid as program input (https://github.com/noir-lang/noir/pull/9701)
chore: bump deps (https://github.com/noir-lang/noir/pull/9698)
chore: bump external pinned commits (https://github.com/noir-lang/noir/pull/9693)
chore(licm): Break things up further in LICM (https://github.com/noir-lang/noir/pull/9683)
chore(docs): spinning out bb docs (https://github.com/noir-lang/noir/pull/9402)
fix(ssa)!: Signed shift overflow checks rhs < bit_size (https://github.com/noir-lang/noir/pull/9685)
chore: add extra bitshifts tests (https://github.com/noir-lang/noir/pull/9680)
feat: Propagate purities using SCCs (https://github.com/noir-lang/noir/pull/9672)
chore: break `NodeInterner` into chunks (https://github.com/noir-lang/noir/pull/9674)
fix(formatter): don't revert indentation increase after popping it (https://github.com/noir-lang/noir/pull/9673)
feat: hoist safe casts from loops (https://github.com/noir-lang/noir/pull/9645)
chore: fix clippy warnings (https://github.com/noir-lang/noir/pull/9675)
chore(ssa): Refactor flattening (https://github.com/noir-lang/noir/pull/9663)
chore(ssa): Greenlight `brillig_entry_points` and switch to centralized CallGraph (https://github.com/noir-lang/noir/pull/9668)
chore: add two mem2reg regression tests where references are returned (https://github.com/noir-lang/noir/pull/9670)
fix(mem2reg): reuse existing expression and add missing alias (https://github.com/noir-lang/noir/pull/9664)
chore: add tests for bounded_vec (https://github.com/noir-lang/noir/pull/9576)
chore: redact debug info and file maps from snapshots (https://github.com/noir-lang/noir/pull/9666)
chore: pull out interpreter binary evaluation logic into pure functions (https://github.com/noir-lang/noir/pull/9665)
feat: brillig functions can be pure if they are not entry points (https://github.com/noir-lang/noir/pull/9659)
END_COMMIT_OVERRIDE
---
 avm-transpiler/Cargo.lock                     |  1 +
 .../src/private_kernel_inner.nr               | 36 ++++++++++---------
 noir/noir-repo-ref                            |  2 +-
 3 files changed, 21 insertions(+), 18 deletions(-)

diff --git a/avm-transpiler/Cargo.lock b/avm-transpiler/Cargo.lock
index e39bb5b5271f..2836b56f7961 100644
--- a/avm-transpiler/Cargo.lock
+++ b/avm-transpiler/Cargo.lock
@@ -1277,6 +1277,7 @@ dependencies = [
  "fm",
  "fxhash",
  "im",
+ "indexmap 2.10.0",
  "iter-extended",
  "noirc_errors",
  "noirc_frontend",
diff --git a/noir-projects/noir-protocol-circuits/crates/private-kernel-lib/src/private_kernel_inner.nr b/noir-projects/noir-protocol-circuits/crates/private-kernel-lib/src/private_kernel_inner.nr
index f1792876c43e..5e315f3b6bdf 100644
--- a/noir-projects/noir-protocol-circuits/crates/private-kernel-lib/src/private_kernel_inner.nr
+++ b/noir-projects/noir-protocol-circuits/crates/private-kernel-lib/src/private_kernel_inner.nr
@@ -60,26 +60,28 @@ impl PrivateKernelInnerCircuitPrivateInputs {
             start_private_call_stack_length
                 - 1];
 
-    private_call_data_validator.verify_proof(false /* is_first_app */);
-    private_call_data_validator.validate_common(
-        self.previous_kernel.public_inputs.constants.protocol_contract_tree_root,
-    );
-    private_call_data_validator.validate_against_call_request(call_request);
-    private_call_data_validator.validate_against_previous_kernel(self.previous_kernel.public_inputs);
-
-    // Generate output.
-    // Safety: The output is validated below by PrivateKernelCircuitOutputValidator.
-    let output = unsafe { self.generate_output() };
-
-    // Validate output.
-    if dep::types::validate::should_validate_output() {
-        PrivateKernelCircuitOutputValidator::new(output).validate_as_inner_call(
+        private_call_data_validator.verify_proof(false /* is_first_app */);
+        private_call_data_validator.validate_common(
+            self.previous_kernel.public_inputs.constants.protocol_contract_tree_root,
+        );
+        private_call_data_validator.validate_against_call_request(call_request);
+        private_call_data_validator.validate_against_previous_kernel(
             self.previous_kernel.public_inputs,
-            self.private_call,
         );
+
+        // Generate output.
+        // Safety: The output is validated below by PrivateKernelCircuitOutputValidator.
+        let output = unsafe { self.generate_output() };
+
+        // Validate output.
+        if dep::types::validate::should_validate_output() {
+            PrivateKernelCircuitOutputValidator::new(output).validate_as_inner_call(
+                self.previous_kernel.public_inputs,
+                self.private_call,
+            );
+        }
+        output
     }
-    output
-}
 }
 
 mod tests {
diff --git a/noir/noir-repo-ref b/noir/noir-repo-ref
index a733a6e85d10..69c5580fcffa 100644
--- a/noir/noir-repo-ref
+++ b/noir/noir-repo-ref
@@ -1 +1 @@
-nightly-2025-08-28
+19f252519a431e961c594ac8b46d5319520871a8