Skip to content

Commit 1ddb9e9

Browse files
author
AztecBot
committed
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 (noir-lang/noir#9706) chore: remove playwright workaround (noir-lang/noir#9704) fix(licm): Use `Loop::header` in `Loop::is_fully_executed` (noir-lang/noir#9700) chore: show which type is invalid as program input (noir-lang/noir#9701) chore: bump deps (noir-lang/noir#9698) chore: bump external pinned commits (noir-lang/noir#9693) chore(licm): Break things up further in LICM (noir-lang/noir#9683) chore(docs): spinning out bb docs (noir-lang/noir#9402) fix(ssa)!: Signed shift overflow checks rhs < bit_size (noir-lang/noir#9685) chore: add extra bitshifts tests (noir-lang/noir#9680) feat: Propagate purities using SCCs (noir-lang/noir#9672) chore: break `NodeInterner` into chunks (noir-lang/noir#9674) fix(formatter): don't revert indentation increase after popping it (noir-lang/noir#9673) feat: hoist safe casts from loops (noir-lang/noir#9645) chore: fix clippy warnings (noir-lang/noir#9675) chore(ssa): Refactor flattening (noir-lang/noir#9663) chore(ssa): Greenlight `brillig_entry_points` and switch to centralized CallGraph (noir-lang/noir#9668) chore: add two mem2reg regression tests where references are returned (noir-lang/noir#9670) fix(mem2reg): reuse existing expression and add missing alias (noir-lang/noir#9664) chore: add tests for bounded_vec (noir-lang/noir#9576) chore: redact debug info and file maps from snapshots (noir-lang/noir#9666) chore: pull out interpreter binary evaluation logic into pure functions (noir-lang/noir#9665) feat: brillig functions can be pure if they are not entry points (noir-lang/noir#9659) END_COMMIT_OVERRIDE
1 parent 5c178eb commit 1ddb9e9

File tree

3 files changed

+21
-18
lines changed

3 files changed

+21
-18
lines changed

avm-transpiler/Cargo.lock

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

noir-projects/noir-protocol-circuits/crates/private-kernel-lib/src/private_kernel_inner.nr

Lines changed: 19 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -60,26 +60,28 @@ impl PrivateKernelInnerCircuitPrivateInputs {
6060
start_private_call_stack_length
6161
- 1];
6262

63-
private_call_data_validator.verify_proof(false /* is_first_app */);
64-
private_call_data_validator.validate_common(
65-
self.previous_kernel.public_inputs.constants.protocol_contract_tree_root,
66-
);
67-
private_call_data_validator.validate_against_call_request(call_request);
68-
private_call_data_validator.validate_against_previous_kernel(self.previous_kernel.public_inputs);
69-
70-
// Generate output.
71-
// Safety: The output is validated below by PrivateKernelCircuitOutputValidator.
72-
let output = unsafe { self.generate_output() };
73-
74-
// Validate output.
75-
if dep::types::validate::should_validate_output() {
76-
PrivateKernelCircuitOutputValidator::new(output).validate_as_inner_call(
63+
private_call_data_validator.verify_proof(false /* is_first_app */);
64+
private_call_data_validator.validate_common(
65+
self.previous_kernel.public_inputs.constants.protocol_contract_tree_root,
66+
);
67+
private_call_data_validator.validate_against_call_request(call_request);
68+
private_call_data_validator.validate_against_previous_kernel(
7769
self.previous_kernel.public_inputs,
78-
self.private_call,
7970
);
71+
72+
// Generate output.
73+
// Safety: The output is validated below by PrivateKernelCircuitOutputValidator.
74+
let output = unsafe { self.generate_output() };
75+
76+
// Validate output.
77+
if dep::types::validate::should_validate_output() {
78+
PrivateKernelCircuitOutputValidator::new(output).validate_as_inner_call(
79+
self.previous_kernel.public_inputs,
80+
self.private_call,
81+
);
82+
}
83+
output
8084
}
81-
output
82-
}
8385
}
8486

8587
mod tests {

noir/noir-repo-ref

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
nightly-2025-08-28
1+
19f252519a431e961c594ac8b46d5319520871a8

0 commit comments

Comments
 (0)