fix: checks for index out of bounds also for arrays#7827
Merged
Conversation
guipublic
changed the title
Contributor
Changes to Brillig bytecode sizes
🧾 Summary (10% most significant diffs)
Full diff report 👇
|
Contributor
Changes to number of Brillig opcodes executed
🧾 Summary (10% most significant diffs)
Full diff report 👇
|
Contributor
Changes to circuit sizes
🧾 Summary (10% most significant diffs)
Full diff report 👇
|
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
Contributor
There was a problem hiding this comment.
⚠️ Performance Alert ⚠️
Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.
| Benchmark suite | Current: 017e4d1 | Previous: 5baadf2 | Ratio |
|---|---|---|---|
test_report_noir-lang_sha512_ |
29 s |
24 s |
1.21 |
test_report_olehmisar_noir_webauthn_ |
2 s |
1 s |
2 |
test_report_zkemail_noir-jwt_ |
3 s |
2 s |
1.50 |
This comment was automatically generated by workflow using github-action-benchmark.
CC: @TomAFrench
Contributor
There was a problem hiding this comment.
⚠️ Performance Alert ⚠️
Possible performance regression was detected for benchmark 'Execution Memory'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.
| Benchmark suite | Current: 017e4d1 | Previous: 5baadf2 | Ratio |
|---|---|---|---|
rollup-base-public |
462.66 MB |
382.92 MB |
1.21 |
rollup-block-root |
1710 MB |
1400 MB |
1.22 |
This comment was automatically generated by workflow using github-action-benchmark.
CC: @TomAFrench
Contributor
Author
|
There are some performance regression. |
Contributor
|
These regressions look to be happening from a couple places. Taking the largest regression as an example:
A lot of this regression looks to be from this loop: We should be able to avoid index out of bounds checks in this situation as we know the maximum bound of We also already do index checks during Brillig gen. So this means we are doing double array checks. We already skip this check for slices (which have the check from SSA gen). We can just remove the Brillig gen check for arrays fully now as well. |
Contributor
There was a problem hiding this comment.
⚠️ Performance Alert ⚠️
Possible performance regression was detected for benchmark 'Compilation Memory'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.
| Benchmark suite | Current: 017e4d1 | Previous: 5baadf2 | Ratio |
|---|---|---|---|
rollup-base-private |
1560 MB |
1220 MB |
1.28 |
This comment was automatically generated by workflow using github-action-benchmark.
CC: @TomAFrench
Contributor
There was a problem hiding this comment.
⚠️ Performance Alert ⚠️
Possible performance regression was detected for benchmark 'Compilation Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.
| Benchmark suite | Current: d360515 | Previous: 90ad693 | Ratio |
|---|---|---|---|
rollup-block-root-single-tx |
186 s |
125 s |
1.49 |
This comment was automatically generated by workflow using github-action-benchmark.
CC: @TomAFrench
vezenovm
approved these changes
Apr 7, 2025
Contributor
vezenovm
left a comment
vezenovm
left a comment
There was a problem hiding this comment.
Looks good! Just one nit with regards to the inputs to codegen_access_check.
Looks like after #7893 this PR now brings some large Brillig improvements with the removal of the array access check in Brillig gen. I see we still have some small regressions for certain circuits. This is not surprising as we are adding extra checks onto array accesses and the regressions look manageable.
5 tasks
vezenovm
approved these changes
Apr 10, 2025
vezenovm
reviewed
Apr 10, 2025
|
|
||
| pub fn main() { | ||
| let array = []; | ||
| pub fn foo(array: [Bar; 1]) { |
Contributor
There was a problem hiding this comment.
@asterite will adding Bar in the parameter here override that we are testing whether the struct is constructed in the let type?
Collaborator
There was a problem hiding this comment.
Good question! No, Bar as an input argument won't be considered as constructed. It's only the case in "return" positions (a return type, a let type, etc.). That said, it's true that if that were the case then this test wouldn't be testing this thing properly. I'll add another test 👍 , just a sec...
Collaborator
There was a problem hiding this comment.
Ah, actually I added pub here so that already breaks this...
5 tasks
github-merge-queue bot
pushed a commit
to AztecProtocol/aztec-packages
that referenced
this pull request
Apr 11, 2025
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE chore: add benchmark for ACVM arithmetic solver (noir-lang/noir#8003) feat: attribute locations (noir-lang/noir#8006) fix(LSP): implement missing members associated constants (noir-lang/noir#8016) chore: bump a few versions in yarn.lock (noir-lang/noir#8014) chore: bump external pinned commits (noir-lang/noir#8015) chore(deps): bump koa from 2.14.2 to 2.16.1 (noir-lang/noir#8013) chore: improve checking of github urls in `noir_wasm` (noir-lang/noir#8012) fix(parser): error on missing function body (noir-lang/noir#8001) fix: better tests to check for unused struct error (noir-lang/noir#8007) fix: checks for index out of bounds also for arrays (noir-lang/noir#7827) feat(stdlib): Expose the times a mock oracle is called (noir-lang/noir#7996) feat: add `loop` generator to AST fuzzer (noir-lang/noir#7985) feat: allow splicing a resolved function into an attribute name (noir-lang/noir#7956) chore: bump `crossbeam-channel` to `v0.5.15` (noir-lang/noir#8005) chore: add `teddav/tdd.nr` to external repo checks (noir-lang/noir#7994) chore: clippy fixes (noir-lang/noir#8002) END_COMMIT_OVERRIDE Co-authored-by: AztecBot <tech@aztecprotocol.com>
PhilWindle
pushed a commit
to AztecProtocol/aztec-packages
that referenced
this pull request
Apr 15, 2025
:robot: I have created a new Aztec Packages release --- ## [0.85.0](https://github.com/AztecProtocol/aztec-packages/compare/v0.84.0...v0.85.0) (2025-04-15) ### ⚠ BREAKING CHANGES * remove PXE starting block ([#13504](https://github.com/AztecProtocol/aztec-packages/issues/13504)) * rename encrypted_logs to messages ([#13496](https://github.com/AztecProtocol/aztec-packages/issues/13496)) * remove poseidon from stdlib (https://github.com/noir-lang/noir/pull/7650) ### Features * `ssa::create_program_with_passes` (https://github.com/noir-lang/noir/pull/8035) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * **acir_formal_proofs:** formal proofs for Noir cast ([#13467](https://github.com/AztecProtocol/aztec-packages/issues/13467)) ([68bf6ed](https://github.com/AztecProtocol/aztec-packages/commit/68bf6eda78fa598199fc47d6e9e4f8c65b4df40b)) * add `loop` generator to AST fuzzer (https://github.com/noir-lang/noir/pull/7985) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * add `while` generator to AST fuzzer (https://github.com/noir-lang/noir/pull/8021) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * add basic comptime correctness tests (https://github.com/noir-lang/noir/pull/7825) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * add CapsuleArray::for_each ([#13425](https://github.com/AztecProtocol/aztec-packages/issues/13425)) ([24b6ed3](https://github.com/AztecProtocol/aztec-packages/commit/24b6ed30bed37505dabfb601087d5839fe1e9b8a)) * Add nullifier read gadget ([#13403](https://github.com/AztecProtocol/aztec-packages/issues/13403)) ([ac97b24](https://github.com/AztecProtocol/aztec-packages/commit/ac97b246604b9df6e7691c559a01d395a045050d)) * Add rollup IVC testing suite ([#13371](https://github.com/AztecProtocol/aztec-packages/issues/13371)) ([0ec1917](https://github.com/AztecProtocol/aztec-packages/commit/0ec191783554672ed3a182a1726d2c913a887dd9)) * add simplified OR when `rhs` or `lhs` is all 1s (https://github.com/noir-lang/noir/pull/7880) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * allow splicing a resolved function into an attribute name (https://github.com/noir-lang/noir/pull/7956) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * attribute locations (https://github.com/noir-lang/noir/pull/8006) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * **avm:** appendLeaves hints ([#13312](https://github.com/AztecProtocol/aztec-packages/issues/13312)) ([869dc1f](https://github.com/AztecProtocol/aztec-packages/commit/869dc1fbc36d5ab26e5e7828442331332fb9a357)) * **avm:** checkpointing hints ([#13302](https://github.com/AztecProtocol/aztec-packages/issues/13302)) ([81f3d7d](https://github.com/AztecProtocol/aztec-packages/commit/81f3d7d4515f2c05232bfe5f164bf2d08232550e)) * **avm:** standard AVM recursive verifier v2 ([#13234](https://github.com/AztecProtocol/aztec-packages/issues/13234)) ([5941c82](https://github.com/AztecProtocol/aztec-packages/commit/5941c827b7534bc1a9271101cc330e5cbc53f05b)) * **avm:** tree padding ([#13394](https://github.com/AztecProtocol/aztec-packages/issues/13394)) ([3f11060](https://github.com/AztecProtocol/aztec-packages/commit/3f11060e5de846f0dc2662985c4b98dd62001302)) * compute padding indicator array in-circuit ([#13417](https://github.com/AztecProtocol/aztec-packages/issues/13417)) ([39f4ec0](https://github.com/AztecProtocol/aztec-packages/commit/39f4ec0c9d0bba6fdde61509ed85c67d099f4310)) * Contract updates checker gadget ([#13236](https://github.com/AztecProtocol/aztec-packages/issues/13236)) ([fd9264d](https://github.com/AztecProtocol/aztec-packages/commit/fd9264dc9b0e2745c58489035e77d3774b8d9b28)) * dsl layer for recursive avm verifier v2 ([#13362](https://github.com/AztecProtocol/aztec-packages/issues/13362)) ([e9922dc](https://github.com/AztecProtocol/aztec-packages/commit/e9922dc3feec3396f2d6611dac625af6e7871f63)) * error if generic type parameter in impl is not mentioned in self type (https://github.com/noir-lang/noir/pull/6388) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * Evolve nullifier read gadget into a read/write gadget ([#13440](https://github.com/AztecProtocol/aztec-packages/issues/13440)) ([73d6cf7](https://github.com/AztecProtocol/aztec-packages/commit/73d6cf73d0ed63f25c86521cb3efb5afac53a385)) * fast PXE sync ([#13475](https://github.com/AztecProtocol/aztec-packages/issues/13475)) ([c580e8b](https://github.com/AztecProtocol/aztec-packages/commit/c580e8baa1df6afe129115cb12f82d2bdf4783e9)) * fee asset handler update ([#13493](https://github.com/AztecProtocol/aztec-packages/issues/13493)) ([cd091db](https://github.com/AztecProtocol/aztec-packages/commit/cd091dbab50e8e211ca274aa227f7f0156bf1c49)) * **formatter:** improved formatting of long struct patterns (https://github.com/noir-lang/noir/pull/7899) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **fuzz:** AST function body (https://github.com/noir-lang/noir/pull/7890) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **fuzz:** AST fuzzer skeleton (https://github.com/noir-lang/noir/pull/7865) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **fuzz:** Generate arbitrary `Call` in function body (https://github.com/noir-lang/noir/pull/7987) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * Generate verification keys in parallel in aztec-nargo ([#13307](https://github.com/AztecProtocol/aztec-packages/issues/13307)) ([8fd4b8b](https://github.com/AztecProtocol/aztec-packages/commit/8fd4b8bfdb56f719297b0e8c39caaf0e0d30285d)) * generic trait bounds (https://github.com/noir-lang/noir/pull/7891) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * Honk solidity verifier takes the pairing point obj as part of the proof ([#13322](https://github.com/AztecProtocol/aztec-packages/issues/13322)) ([9b99f9a](https://github.com/AztecProtocol/aztec-packages/commit/9b99f9a7bbfa6db82e2b2777f1f06166ab62e2f6)) * Honk will always have pairing point object ([#13217](https://github.com/AztecProtocol/aztec-packages/issues/13217)) ([1704145](https://github.com/AztecProtocol/aztec-packages/commit/17041452d741395186796c49794858d9d883f57a)) * improved pairing point accumulator ([#13226](https://github.com/AztecProtocol/aztec-packages/issues/13226)) ([8c58c96](https://github.com/AztecProtocol/aztec-packages/commit/8c58c96e8d806c162dc81c5302ae9f57bc744f84)) * **LSP:** Workspace Symbol (https://github.com/noir-lang/noir/pull/7953) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * MessagePack serialisation for circuits (https://github.com/noir-lang/noir/pull/7690) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * more blob sink metrics ([#13413](https://github.com/AztecProtocol/aztec-packages/issues/13413)) ([8dc17ec](https://github.com/AztecProtocol/aztec-packages/commit/8dc17ec36e2723958d297b7847af1ec94ff57561)) * more tests for pairing point object ([#13500](https://github.com/AztecProtocol/aztec-packages/issues/13500)) ([5e8b092](https://github.com/AztecProtocol/aztec-packages/commit/5e8b0922bd5375cb038bb85bbf7751c48ae32aa6)) * node mempool limiting ([#13247](https://github.com/AztecProtocol/aztec-packages/issues/13247)) ([4899d3f](https://github.com/AztecProtocol/aztec-packages/commit/4899d3fe8f633b3533f84ad2988ba5bd4f85d8cd)) * **parser:** better error recovery when identifier doesn't come in constructor (https://github.com/noir-lang/noir/pull/7887) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **parser:** improve error recovery when `fn` is missing between mod… (https://github.com/noir-lang/noir/pull/7884) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **perf:** optimise array index checks in loops (https://github.com/noir-lang/noir/pull/7893) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * persist the bot and enable simulation capturing ([#13276](https://github.com/AztecProtocol/aztec-packages/issues/13276)) ([4247bb6](https://github.com/AztecProtocol/aztec-packages/commit/4247bb6512d9e5b7e9515ac52eaeaf9f5251eb34)) * playground ([#12965](https://github.com/AztecProtocol/aztec-packages/issues/12965)) ([64bbf42](https://github.com/AztecProtocol/aztec-packages/commit/64bbf4240ecf08b58e03bed47d4648f34be34d59)) * playground improvements ([#13492](https://github.com/AztecProtocol/aztec-packages/issues/13492)) ([004dea3](https://github.com/AztecProtocol/aztec-packages/commit/004dea398b4d4addb3cea9ee52e3b7627e6366ee)) * preload CRS files once in GKE ([#13093](https://github.com/AztecProtocol/aztec-packages/issues/13093)) ([7463538](https://github.com/AztecProtocol/aztec-packages/commit/746353898f4a62189dd896c288e36b231d77c0bf)) * print initialization witnesses and show all blackbox witnesses (https://github.com/noir-lang/noir/pull/7919) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * remove PXE starting block ([#13504](https://github.com/AztecProtocol/aztec-packages/issues/13504)) ([e09699f](https://github.com/AztecProtocol/aztec-packages/commit/e09699ff628bb14bbb9fe0b07111fe80b1aa1c7c)) * Remove range constraints on witnesses when use as array index is more restrictive (https://github.com/noir-lang/noir/pull/7848) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * rename encrypted_logs to messages ([#13496](https://github.com/AztecProtocol/aztec-packages/issues/13496)) ([09a2b2e](https://github.com/AztecProtocol/aztec-packages/commit/09a2b2e46aeb9464cf07c1d13fe2acce740c234d)) * Reorg cheat codes ([#13367](https://github.com/AztecProtocol/aztec-packages/issues/13367)) ([29d737e](https://github.com/AztecProtocol/aztec-packages/commit/29d737e7811be26586577061c0b409a3da9f2dcb)) * rough break up of inner and outer circuits in rev verifier ([#13330](https://github.com/AztecProtocol/aztec-packages/issues/13330)) ([be47b59](https://github.com/AztecProtocol/aztec-packages/commit/be47b59d86f6856c4ec6274e98735842648beda2)) * show which generic argument cannot be inferred when it's on the… (https://github.com/noir-lang/noir/pull/7914) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * SSA gen unit tests (https://github.com/noir-lang/noir/pull/7868) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * statically defined ECCVM/Translator VK data ([#13395](https://github.com/AztecProtocol/aztec-packages/issues/13395)) ([507b68b](https://github.com/AztecProtocol/aztec-packages/commit/507b68be913746f6d1e05172010e5f4d03ee8bf5)) * **stdlib:** Expose the times a mock oracle is called (https://github.com/noir-lang/noir/pull/7996) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * support HonkRecursionConstraints in ClientIVC ([#13401](https://github.com/AztecProtocol/aztec-packages/issues/13401)) ([927e80d](https://github.com/AztecProtocol/aztec-packages/commit/927e80d8e69672b3ebd44414dcea502c4aac0151)) * txIndexInBlock in response of getTxEffect ([#13336](https://github.com/AztecProtocol/aztec-packages/issues/13336)) ([bf7882d](https://github.com/AztecProtocol/aztec-packages/commit/bf7882ddf02cbb2d2ec883754f00769ee283694a)) * type path for any type (https://github.com/noir-lang/noir/pull/7824) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * unify opcode API between ultra and eccvm ops ([#13376](https://github.com/AztecProtocol/aztec-packages/issues/13376)) ([8c58b76](https://github.com/AztecProtocol/aztec-packages/commit/8c58b76ca152b7896e2c4e731d5bc3d8239f431d)) * Validator waits for archiver sync ([#13497](https://github.com/AztecProtocol/aztec-packages/issues/13497)) ([1b97cd2](https://github.com/AztecProtocol/aztec-packages/commit/1b97cd2055e6b77974eea43ba66503b875d42f14)) ### Bug Fixes * `PXE::getPrivateEvents(...)` ordering ([#13363](https://github.com/AztecProtocol/aztec-packages/issues/13363)) ([5b4848f](https://github.com/AztecProtocol/aztec-packages/commit/5b4848fb027d2e81b2e4fe6b2181f598901a08f0)) * **avm:** request paths for appendLeaves ([#13389](https://github.com/AztecProtocol/aztec-packages/issues/13389)) ([c4efcb3](https://github.com/AztecProtocol/aztec-packages/commit/c4efcb3c14474488ac469814bca60f2144bc8d2d)) * Aztec node throws on receiving an invalid tx ([#13288](https://github.com/AztecProtocol/aztec-packages/issues/13288)) ([42b9f7d](https://github.com/AztecProtocol/aztec-packages/commit/42b9f7dc5ee0459ff169e1f1cf38684ceb84bde7)), closes [#10967](https://github.com/AztecProtocol/aztec-packages/issues/10967) * **Barretenberg:** shplemini variables in one gate fixes ([#13290](https://github.com/AztecProtocol/aztec-packages/issues/13290)) ([15d2633](https://github.com/AztecProtocol/aztec-packages/commit/15d2633d5bb6de55d74f4b8404cd4f009523f708)) * better logic for determining whether a struct is constructed or not (https://github.com/noir-lang/noir/pull/7806) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * better tests to check for unused struct error (https://github.com/noir-lang/noir/pull/8007) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * Block stream fails when pruning to a block before its start ([#13473](https://github.com/AztecProtocol/aztec-packages/issues/13473)) ([b49184f](https://github.com/AztecProtocol/aztec-packages/commit/b49184f21cc3e9fa25af4b2df4d5765ac9865113)) * bump tokio to 1.44.2 (https://github.com/noir-lang/noir/pull/7950) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * check genesis state before starting node ([#13121](https://github.com/AztecProtocol/aztec-packages/issues/13121)) ([d5ce03a](https://github.com/AztecProtocol/aztec-packages/commit/d5ce03a70b54516a2f3323e95d0878572f63f563)), closes [#13020](https://github.com/AztecProtocol/aztec-packages/issues/13020) * checks for index out of bounds also for arrays (https://github.com/noir-lang/noir/pull/7827) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * correct proptest Arbitrary for NumericType (https://github.com/noir-lang/noir/pull/7945) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * cpp bench ci ([#13565](https://github.com/AztecProtocol/aztec-packages/issues/13565)) ([a7cfbbe](https://github.com/AztecProtocol/aztec-packages/commit/a7cfbbe8595ae3bdc4c7dd204dac524c03bbb358)) * **debug:** Fix RC underflow check (https://github.com/noir-lang/noir/pull/7849) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **debugger:** improve debugger_expected_call_stack test (https://github.com/noir-lang/noir/pull/7769) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **deployments:** incorrect value in yaml ([#13483](https://github.com/AztecProtocol/aztec-packages/issues/13483)) ([1bf2327](https://github.com/AztecProtocol/aztec-packages/commit/1bf23279c093a39d77863ab4216590b2d1f50711)) * deprecate witness circuit size from ECCVM and Translator ([#13133](https://github.com/AztecProtocol/aztec-packages/issues/13133)) ([915841b](https://github.com/AztecProtocol/aztec-packages/commit/915841b28fcba381467b2bb55e082fd91fb22d27)) * disable unbuffered output ([#13422](https://github.com/AztecProtocol/aztec-packages/issues/13422)) ([8200147](https://github.com/AztecProtocol/aztec-packages/commit/8200147f22d868f19a0a0b10a3e1f8831f402cf4)) * **docs:** fix proof splitting script in solidity guide (https://github.com/noir-lang/noir/pull/8033) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * **docs:** fix release-please parse error for cutting docs version ([#13495](https://github.com/AztecProtocol/aztec-packages/issues/13495)) ([360a5f6](https://github.com/AztecProtocol/aztec-packages/commit/360a5f628b4edaf1ea9b328d9e9231f60fdc81a0)) * **docs:** Make update_versions behave as expected ([#13535](https://github.com/AztecProtocol/aztec-packages/issues/13535)) ([bcc5182](https://github.com/AztecProtocol/aztec-packages/commit/bcc518278fea94da99066afc1bf7bc1b41e573da)) * **docs:** Reduce header image size (https://github.com/noir-lang/noir/pull/7988) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * don't solve `Self` in trait impl method via trait method lookup (https://github.com/noir-lang/noir/pull/7974) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * don't use relative path in nargo_cli build script (https://github.com/noir-lang/noir/pull/7982) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * easier description of how to use multiple authwitnesses with cli wallet ([#13412](https://github.com/AztecProtocol/aztec-packages/issues/13412)) ([33286ae](https://github.com/AztecProtocol/aztec-packages/commit/33286aeea54ac77a4dc1dd82fba1c63a7c463803)) * Fix for the deploy L1 verifier script ([#13347](https://github.com/AztecProtocol/aztec-packages/issues/13347)) ([1701b52](https://github.com/AztecProtocol/aztec-packages/commit/1701b522bee9d35a8daabfa31aa382b33844d9da)) * Fix nondeterminsm on aarch64 vs amd64 (https://github.com/noir-lang/noir/pull/7942) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * Fix type of internal variable created while destructuring tuples and structs during monomorphization (https://github.com/noir-lang/noir/pull/7916) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **fuzz:** remove duplicate gen_loop, move unconstrained generators up (https://github.com/noir-lang/noir/pull/8029) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * IVC integration native ([#13343](https://github.com/AztecProtocol/aztec-packages/issues/13343)) ([a84a30c](https://github.com/AztecProtocol/aztec-packages/commit/a84a30c4f275da672a4af543424b32d001412158)) * logging ABI in errors + more aggressive hex truncation ([#12715](https://github.com/AztecProtocol/aztec-packages/issues/12715)) ([20a0aaa](https://github.com/AztecProtocol/aztec-packages/commit/20a0aaa43386dcfe2942de7ddb0426ce8b64bddd)) * **LSP:** implement missing members associated constants (https://github.com/noir-lang/noir/pull/8016) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * mapping P2P port via `--p2p.p2pPort` ([#13457](https://github.com/AztecProtocol/aztec-packages/issues/13457)) ([aedeaba](https://github.com/AztecProtocol/aztec-packages/commit/aedeabab1504e6c203e8771379b4d18fad0a3e73)) * mega zk in hiding circuit + bug fixes ([#13262](https://github.com/AztecProtocol/aztec-packages/issues/13262)) ([d68800a](https://github.com/AztecProtocol/aztec-packages/commit/d68800a69e03280e0276dc3310c15a8ca528fb35)) * Might fix some npm install issues. ([#13339](https://github.com/AztecProtocol/aztec-packages/issues/13339)) ([48e17a4](https://github.com/AztecProtocol/aztec-packages/commit/48e17a45d37590858ea152b82100c04de5f1c432)) * **nargo-rpc:** restart http-client on ClientError::Transport error (https://github.com/noir-lang/noir/pull/7954) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * Nondeterminism in constant allocation ([#13340](https://github.com/AztecProtocol/aztec-packages/issues/13340)) ([ff2e738](https://github.com/AztecProtocol/aztec-packages/commit/ff2e7381d344dbfa18be8deff96c61b01e53d6f4)) * omit p2p options from prover & bootstrap nodes ([#13441](https://github.com/AztecProtocol/aztec-packages/issues/13441)) ([220e82b](https://github.com/AztecProtocol/aztec-packages/commit/220e82b278055d254de689e7cab343f51290a956)) * **p2p:** persist p2p private key on rollup address change ([#13529](https://github.com/AztecProtocol/aztec-packages/issues/13529)) ([0faedc4](https://github.com/AztecProtocol/aztec-packages/commit/0faedc48b80ad8e74839c5033408e3954d67c566)) * **parser:** error on missing function body (https://github.com/noir-lang/noir/pull/8001) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * **parser:** parse double `&` in type (https://github.com/noir-lang/noir/pull/7867) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * port_change test + testbench ([#13326](https://github.com/AztecProtocol/aztec-packages/issues/13326)) ([b4221ef](https://github.com/AztecProtocol/aztec-packages/commit/b4221efeb67a16e037b68416b9bd6e3677fc897d)) * properly constrain quotient during field truncation (https://github.com/noir-lang/noir/pull/7895) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * PXE sync batch and plantext deploy sent tx ([#13476](https://github.com/AztecProtocol/aztec-packages/issues/13476)) ([95b199e](https://github.com/AztecProtocol/aztec-packages/commit/95b199e9353b4666687ae3e1907d289c4ef60e05)) * quote ([#13521](https://github.com/AztecProtocol/aztec-packages/issues/13521)) ([bc4d143](https://github.com/AztecProtocol/aztec-packages/commit/bc4d14300b312a1497131566e00c3a0aa4aaa5ad)) * remove docs from build & release steps in bootstrap.sh ([#13528](https://github.com/AztecProtocol/aztec-packages/issues/13528)) ([0caed71](https://github.com/AztecProtocol/aztec-packages/commit/0caed71d352117ff155981bb06f18d0041d04bf5)) * remove second msg discovery call in sync_notes ([#13328](https://github.com/AztecProtocol/aztec-packages/issues/13328)) ([8dcebac](https://github.com/AztecProtocol/aztec-packages/commit/8dcebac4fe113cf97aeb25185b168dbf98632ccd)) * removeNullifiedNotes respecting only synced nullifiers ([#13334](https://github.com/AztecProtocol/aztec-packages/issues/13334)) ([29856a8](https://github.com/AztecProtocol/aztec-packages/commit/29856a8d14e015e16817e915e03c78e8af1a41ed)) * replace one more path pattern when producing stderr.txt (https://github.com/noir-lang/noir/pull/7970) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * retry download old crs ([#13350](https://github.com/AztecProtocol/aztec-packages/issues/13350)) ([1ad4368](https://github.com/AztecProtocol/aztec-packages/commit/1ad43685678fa74faf4b71641376b378285ecf49)) * set default P2P port ([#13449](https://github.com/AztecProtocol/aztec-packages/issues/13449)) ([e7b285a](https://github.com/AztecProtocol/aztec-packages/commit/e7b285abd756fadfb825de84922915cb0eebf892)) * Shorten the name of a cron job to please terraform ([#13308](https://github.com/AztecProtocol/aztec-packages/issues/13308)) ([e524741](https://github.com/AztecProtocol/aztec-packages/commit/e524741365637e5575bdb559d9b2473db2d81d0b)) * source is not available in sh ([#13444](https://github.com/AztecProtocol/aztec-packages/issues/13444)) ([86e7499](https://github.com/AztecProtocol/aztec-packages/commit/86e7499b9d9c739cc8f4dacf159e385c7a209f5b)) * **ssa:** Map terminator instructions after constant folding (https://github.com/noir-lang/noir/pull/8019) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * **ssa:** Remove OOB checks inserted during DIE (https://github.com/noir-lang/noir/pull/7995) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * store shared crs in premium storage class ([#13451](https://github.com/AztecProtocol/aztec-packages/issues/13451)) ([e0d5632](https://github.com/AztecProtocol/aztec-packages/commit/e0d5632f0e01dc71926bdb33024b6e350fe45cd4)) * suppress mock call warnings ([#13443](https://github.com/AztecProtocol/aztec-packages/issues/13443)) ([391bc72](https://github.com/AztecProtocol/aztec-packages/commit/391bc72767bd722ee5cdf3b61100bd3ce15199f6)) * txe node should not use base fork for find_leaves_indexes ([#13341](https://github.com/AztecProtocol/aztec-packages/issues/13341)) ([ca6c7a7](https://github.com/AztecProtocol/aztec-packages/commit/ca6c7a7ba344fa15d3abe5515d24b65c5585c8fd)) * Use API keys when fetching blobs on missed slot ([#13418](https://github.com/AztecProtocol/aztec-packages/issues/13418)) ([5935417](https://github.com/AztecProtocol/aztec-packages/commit/593541723bd2350745cc40f15b969016e5cf65ba)), closes [#13415](https://github.com/AztecProtocol/aztec-packages/issues/13415) * use generics from self type when using `Self` (https://github.com/noir-lang/noir/pull/7897) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * Use proof submission window for prover node deadline ([#13321](https://github.com/AztecProtocol/aztec-packages/issues/13321)) ([405a515](https://github.com/AztecProtocol/aztec-packages/commit/405a515aabc6ed74b60173c91c83e8e2a2b5dc1e)), closes [#13320](https://github.com/AztecProtocol/aztec-packages/issues/13320) * use proper max bit size during truncation (https://github.com/noir-lang/noir/pull/8010) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * Wait for L1 mint tx on cross chain test harness ([#13344](https://github.com/AztecProtocol/aztec-packages/issues/13344)) ([37001ab](https://github.com/AztecProtocol/aztec-packages/commit/37001ab4b72abc09c492cf7c05278b211837804a)) * Wait for world-state to start before starting p2p ([#13400](https://github.com/AztecProtocol/aztec-packages/issues/13400)) ([c8a766e](https://github.com/AztecProtocol/aztec-packages/commit/c8a766e9de7e107d5348771b5ad3adee35cab41e)) * warn if blob sink server can't be reached ([#13419](https://github.com/AztecProtocol/aztec-packages/issues/13419)) ([ca81e65](https://github.com/AztecProtocol/aztec-packages/commit/ca81e65fe32e295cc48596fff1b0fd1a6df5f1c3)) * Warn when inconsistent gas limit ([#13348](https://github.com/AztecProtocol/aztec-packages/issues/13348)) ([79c8829](https://github.com/AztecProtocol/aztec-packages/commit/79c882937ff1e1adab832ee38298c5318af3bf32)) * workaround npm install deps cache issue ([#13327](https://github.com/AztecProtocol/aztec-packages/issues/13327)) ([a0acbaf](https://github.com/AztecProtocol/aztec-packages/commit/a0acbaff1d6be3b7b2fefa16fd820416440f5880)) ### Miscellaneous * `e2e_note_getter` not using `DocsExampleContract` ([#13366](https://github.com/AztecProtocol/aztec-packages/issues/13366)) ([236e9e5](https://github.com/AztecProtocol/aztec-packages/commit/236e9e58c90e469aa9ffb14213586270aa9c62f0)) * `e2e_state_vars ` not using `DocsExampleContract` ([#13368](https://github.com/AztecProtocol/aztec-packages/issues/13368)) ([bf966fc](https://github.com/AztecProtocol/aztec-packages/commit/bf966fc8c1d15f123359ad1ad3bdc4b50ec6076b)) * `getLogByTag` and `removeNullifiedNotes` on `PXEOracleInterface` ([#13323](https://github.com/AztecProtocol/aztec-packages/issues/13323)) ([5026c62](https://github.com/AztecProtocol/aztec-packages/commit/5026c6259e6a09a3a1ea73c904aa4f12bafbb880)) * `PXEOracleInterface::deliverNote` ([#13316](https://github.com/AztecProtocol/aztec-packages/issues/13316)) ([4a64f89](https://github.com/AztecProtocol/aztec-packages/commit/4a64f89484835ef5d00f73afbb21ee83b6efbffb)) * 1tps kind test + nightly updates ([#12946](https://github.com/AztecProtocol/aztec-packages/issues/12946)) ([b8aabec](https://github.com/AztecProtocol/aztec-packages/commit/b8aabecf8b16f81cd3e57c1cf1f5e4ac8e3ad84a)) * add `teddav/tdd.nr` to external repo checks (https://github.com/noir-lang/noir/pull/7994) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * add 1.0.0-beta.4 docs (https://github.com/noir-lang/noir/pull/7972) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * add benchmark for ACVM arithmetic solver (https://github.com/noir-lang/noir/pull/8003) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * add cast to aztec base image ([#13465](https://github.com/AztecProtocol/aztec-packages/issues/13465)) ([910b301](https://github.com/AztecProtocol/aztec-packages/commit/910b301efabc47fb34bada6f6a1307a4824ee1e8)) * add ci logging to discv5 test ([#13306](https://github.com/AztecProtocol/aztec-packages/issues/13306)) ([d4f45c7](https://github.com/AztecProtocol/aztec-packages/commit/d4f45c7eb54eebe22f38f6a67336c02585ba8008)) * add default native proving for cli-wallet ([#13129](https://github.com/AztecProtocol/aztec-packages/issues/13129)) ([ca3da0c](https://github.com/AztecProtocol/aztec-packages/commit/ca3da0cb04808fc1b274024c3c71146c19386262)) * add encode/decode fns ([#13369](https://github.com/AztecProtocol/aztec-packages/issues/13369)) ([7aabf7c](https://github.com/AztecProtocol/aztec-packages/commit/7aabf7c22a6f7bd044c00c591c120c576c00d22b)) * add get canonical sponsored fpc and cleanup fee opts in cli wallet ([#13319](https://github.com/AztecProtocol/aztec-packages/issues/13319)) ([829a315](https://github.com/AztecProtocol/aztec-packages/commit/829a315c6a6306a4b36023a64fcc5a04dfc0a496)) * add helper script for gov ([#13385](https://github.com/AztecProtocol/aztec-packages/issues/13385)) ([b29b358](https://github.com/AztecProtocol/aztec-packages/commit/b29b358641a1d6f71d2dd0746b095526948532cd)) * add higher performance node pool for exp clusters ([#13485](https://github.com/AztecProtocol/aztec-packages/issues/13485)) ([140b483](https://github.com/AztecProtocol/aztec-packages/commit/140b4834685ae0cf68241288aae9bcab3a83d19c)) * add nonce discovery tests ([#13470](https://github.com/AztecProtocol/aztec-packages/issues/13470)) ([e7e55ff](https://github.com/AztecProtocol/aztec-packages/commit/e7e55ff34b8f6279678028252a983f4cd8d1db36)) * add option to register contract class to deploy account in cli-wallet ([#13359](https://github.com/AztecProtocol/aztec-packages/issues/13359)) ([1c3d70b](https://github.com/AztecProtocol/aztec-packages/commit/1c3d70b44a904c3a0542f78995bc0aef50068c96)) * add snapshot tests for the build artifacts as produced by test_programs (https://github.com/noir-lang/noir/pull/7986) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * add timeouts to rust CI (https://github.com/noir-lang/noir/pull/7923) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * add workflow to run nightly tests on ARM64 (https://github.com/noir-lang/noir/pull/8027) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * allow injecting custom brillig stdlib implementations in ACIRgen (https://github.com/noir-lang/noir/pull/7894) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **avm:** check full tuple after find_in_dst ([#13397](https://github.com/AztecProtocol/aztec-packages/issues/13397)) ([9eadf18](https://github.com/AztecProtocol/aztec-packages/commit/9eadf18b6e9757a16d1bd2d464c5a539256b7a7d)) * **avm:** dont use PIs in simulation ([#13409](https://github.com/AztecProtocol/aztec-packages/issues/13409)) ([1994b2c](https://github.com/AztecProtocol/aztec-packages/commit/1994b2ccb3976644074beabeddf708427a2b6700)) * **avm:** getNullifierIndex -> checkNullifierExists ([#13414](https://github.com/AztecProtocol/aztec-packages/issues/13414)) ([ea7eaf5](https://github.com/AztecProtocol/aztec-packages/commit/ea7eaf5919e84b7abb75cb90839ed22b516c71ad)) * **avm:** nuke vm1 ([#13484](https://github.com/AztecProtocol/aztec-packages/issues/13484)) ([ebe68db](https://github.com/AztecProtocol/aztec-packages/commit/ebe68db5966269f6e4849cadb3aaee051faed942)) * **avm:** use tx hash as avm proof identifier ([#13304](https://github.com/AztecProtocol/aztec-packages/issues/13304)) ([d888d0e](https://github.com/AztecProtocol/aztec-packages/commit/d888d0e618c242b98551daf954cfe8225226c171)) * **bb:** add fr container hashing benchmark ([#13295](https://github.com/AztecProtocol/aztec-packages/issues/13295)) ([5425d16](https://github.com/AztecProtocol/aztec-packages/commit/5425d16b5f0cfa3b0fd98560800918fd98ca2e0e)) * bench ivc in native/wasm with memory/time ([#13186](https://github.com/AztecProtocol/aztec-packages/issues/13186)) ([9a5dc93](https://github.com/AztecProtocol/aztec-packages/commit/9a5dc93c7e2ae7cce604757051bc3b7da5ae30d5)) * BoundedVec::for_each ([#13426](https://github.com/AztecProtocol/aztec-packages/issues/13426)) ([866968a](https://github.com/AztecProtocol/aztec-packages/commit/866968a79be21d4d64442326bf4e91e2bd05eb69)) * bump `crossbeam-channel` to `v0.5.15` (https://github.com/noir-lang/noir/pull/8005) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * bump a few versions in yarn.lock (https://github.com/noir-lang/noir/pull/8014) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * bump external pinned commits (https://github.com/noir-lang/noir/pull/7856) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * bump external pinned commits (https://github.com/noir-lang/noir/pull/7870) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * bump external pinned commits (https://github.com/noir-lang/noir/pull/7940) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * bump external pinned commits (https://github.com/noir-lang/noir/pull/8015) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * bump foundry version to get around docker pull issues ([#13438](https://github.com/AztecProtocol/aztec-packages/issues/13438)) ([1114b03](https://github.com/AztecProtocol/aztec-packages/commit/1114b0384b6a89d06b80b02dd2131e03b412eb22)) * bump high mem node pool ([#13482](https://github.com/AztecProtocol/aztec-packages/issues/13482)) ([ee01fe9](https://github.com/AztecProtocol/aztec-packages/commit/ee01fe920df131b4e2c2dddb14e94634dc09766e)) * bump noir ([#13345](https://github.com/AztecProtocol/aztec-packages/issues/13345)) ([3207bc3](https://github.com/AztecProtocol/aztec-packages/commit/3207bc3803e6b6155c809d8ab9062d0d0622099c)) * bump to forge nightly 2025-04-08 ([#12799](https://github.com/AztecProtocol/aztec-packages/issues/12799)) ([6c23db4](https://github.com/AztecProtocol/aztec-packages/commit/6c23db4ddba5aed447ee44412ce96b3a637c6a7e)) * check test_programs/compile_failure stderr (https://github.com/noir-lang/noir/pull/7869) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **civc:** Rename e2e trace to aztec trace ([#13399](https://github.com/AztecProtocol/aztec-packages/issues/13399)) ([ca708e7](https://github.com/AztecProtocol/aztec-packages/commit/ca708e70d1090771faf5f20eb70b4ebd6d4ebf53)) * Cleanup sequencer block sync check ([#13289](https://github.com/AztecProtocol/aztec-packages/issues/13289)) ([7db2247](https://github.com/AztecProtocol/aztec-packages/commit/7db22474e5b1ec959e3afc9dbedad0baec7c022f)), closes [#9316](https://github.com/AztecProtocol/aztec-packages/issues/9316) * clippy fixes (https://github.com/noir-lang/noir/pull/8002) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * clippy fixes (https://github.com/noir-lang/noir/pull/8020) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * cluster changes for exp3 ([#13398](https://github.com/AztecProtocol/aztec-packages/issues/13398)) ([eeb5aaf](https://github.com/AztecProtocol/aztec-packages/commit/eeb5aafd6816f688d3e95557f9f2d080ed53354e)) * **cluster:** increase 2 core node pool size ([#13351](https://github.com/AztecProtocol/aztec-packages/issues/13351)) ([064d83d](https://github.com/AztecProtocol/aztec-packages/commit/064d83dfa728d4e93ef0c53a0442bea7d7e6dcab)) * const proof sizes clean-up ([#13005](https://github.com/AztecProtocol/aztec-packages/issues/13005)) ([bc0a0ca](https://github.com/AztecProtocol/aztec-packages/commit/bc0a0cadfedeb35d091b4153f0a87a894de286c3)) * Contract addresses for alpha-testnet ([#13303](https://github.com/AztecProtocol/aztec-packages/issues/13303)) ([65cfdf5](https://github.com/AztecProtocol/aztec-packages/commit/65cfdf589b7a9bab63c5fbb07a2f52ef34b47e97)) * correct name of acvm benchmark (https://github.com/noir-lang/noir/pull/8032) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * **debug:** Add ownership analysis pass (https://github.com/noir-lang/noir/pull/7860) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * Deflake p2p client unit test ([#13387](https://github.com/AztecProtocol/aztec-packages/issues/13387)) ([6686168](https://github.com/AztecProtocol/aztec-packages/commit/668616825cb9cc76bf25884ff40d77f2101272a9)) * delete dead code (https://github.com/noir-lang/noir/pull/7901) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * delete ns after running tf destroy ([#13439](https://github.com/AztecProtocol/aztec-packages/issues/13439)) ([303ea85](https://github.com/AztecProtocol/aztec-packages/commit/303ea850a08417ad71182b4b2db8195e514c3f84)) * **dep:** bump crypto polyfill ([#13466](https://github.com/AztecProtocol/aztec-packages/issues/13466)) ([a045f78](https://github.com/AztecProtocol/aztec-packages/commit/a045f7852fa17320666daa65b658601559585bb7)) * **deps:** bump koa from 2.14.2 to 2.16.1 (https://github.com/noir-lang/noir/pull/8013) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * **deps:** remove elliptic ([#13446](https://github.com/AztecProtocol/aztec-packages/issues/13446)) ([038c4a6](https://github.com/AztecProtocol/aztec-packages/commit/038c4a6450fea362e44559dd3cea20b8dd00ab6c)) * disable kind smoke test ([#13533](https://github.com/AztecProtocol/aztec-packages/issues/13533)) ([47afdab](https://github.com/AztecProtocol/aztec-packages/commit/47afdab4635ea1e6c2c37f5b34646ef1b281f1c9)) * disable shared crs ([#13477](https://github.com/AztecProtocol/aztec-packages/issues/13477)) ([ed23b8f](https://github.com/AztecProtocol/aztec-packages/commit/ed23b8f3b48123a61146ec35477426af16e455c8)) * **discv:** improve flakey self update ip test ([#13317](https://github.com/AztecProtocol/aztec-packages/issues/13317)) ([a4d33f6](https://github.com/AztecProtocol/aztec-packages/commit/a4d33f690745cb9b3212d4f9d226e6c3df4800b9)) * **doc:** document embedded_curve_add (https://github.com/noir-lang/noir/pull/7833) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **docs:** 0.84.0-alpha-testnet.1 docs ([#13354](https://github.com/AztecProtocol/aztec-packages/issues/13354)) ([1c370fa](https://github.com/AztecProtocol/aztec-packages/commit/1c370fa13e8744ff0d05b7132487df538cf279aa)) * **docs:** Add 0.84.0-alpha-testnet.2 docs ([#13420](https://github.com/AztecProtocol/aztec-packages/issues/13420)) ([ab55ba2](https://github.com/AztecProtocol/aztec-packages/commit/ab55ba2db6189a7753add640e2aa96d385740498)) * **docs:** alpha testnet 3 docs ([#13445](https://github.com/AztecProtocol/aztec-packages/issues/13445)) ([8f931d7](https://github.com/AztecProtocol/aztec-packages/commit/8f931d7b64a87a764a692274fb10b90c9cbb8c3c)) * **docs:** docs versioning ([#13424](https://github.com/AztecProtocol/aztec-packages/issues/13424)) ([b0fa31b](https://github.com/AztecProtocol/aztec-packages/commit/b0fa31bef640019df18557534da579ae36feab42)) * **docs:** docs versioning nits - round 4 ([#13472](https://github.com/AztecProtocol/aztec-packages/issues/13472)) ([c5d5d01](https://github.com/AztecProtocol/aztec-packages/commit/c5d5d01f0698ee592474816c0fd240a82ad7c283)) * **docs:** fixing include_macro misversioning ([#13257](https://github.com/AztecProtocol/aztec-packages/issues/13257)) ([3b8aff0](https://github.com/AztecProtocol/aztec-packages/commit/3b8aff09381466ad3d047ef46b9bd1a19fdb7bfb)) * **docs:** making release-please cut the right version ([#13458](https://github.com/AztecProtocol/aztec-packages/issues/13458)) ([4bda2d0](https://github.com/AztecProtocol/aztec-packages/commit/4bda2d0cb569355658dd2b9e00f33e30bc8fd7f6)) * **docs:** making RP docs action work on its branch ([#13447](https://github.com/AztecProtocol/aztec-packages/issues/13447)) ([45b6ef8](https://github.com/AztecProtocol/aztec-packages/commit/45b6ef8d28fda98e7a89bc61ee5256e8d1753175)) * **docs:** making RP run the docs deps on master ([#13490](https://github.com/AztecProtocol/aztec-packages/issues/13490)) ([6af7019](https://github.com/AztecProtocol/aztec-packages/commit/6af70192ea80983f5fbfa3fbea61a0243879c4fe)) * **docs:** New version script for release-please ([#13503](https://github.com/AztecProtocol/aztec-packages/issues/13503)) ([e35e1b0](https://github.com/AztecProtocol/aztec-packages/commit/e35e1b060093ae862642e60e59b32ef776debcac)) * **docs:** Remove outdated BigInt library reference (https://github.com/noir-lang/noir/pull/7969) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **docs:** rp round 3 ([#13468](https://github.com/AztecProtocol/aztec-packages/issues/13468)) ([f920507](https://github.com/AztecProtocol/aztec-packages/commit/f920507ea2b81d8598c364f49630f3a418021b61)) * **docs:** Touch up profiler docs (https://github.com/noir-lang/noir/pull/7524) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * Don't spam logs when peers don't have an aztec key set ([#13509](https://github.com/AztecProtocol/aztec-packages/issues/13509)) ([d110028](https://github.com/AztecProtocol/aztec-packages/commit/d110028f71768a01cec452462be6258c06e81bd6)) * don't use `set_value_from_id` in `remove_truncate_after_range_checks` (https://github.com/noir-lang/noir/pull/8037) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * Dump container netstat on address in use ([#13396](https://github.com/AztecProtocol/aztec-packages/issues/13396)) ([1b09e55](https://github.com/AztecProtocol/aztec-packages/commit/1b09e55455d843b7a86dc1e9fe988144b1c333a0)) * fix documentation nits (https://github.com/noir-lang/noir/pull/7971) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * Fix expected revert reason in private payment test ([#13331](https://github.com/AztecProtocol/aztec-packages/issues/13331)) ([ac55a5f](https://github.com/AztecProtocol/aztec-packages/commit/ac55a5f1bf22f45202fcfcc1764208ec07efe9be)) * fix failing test on MacOS (https://github.com/noir-lang/noir/pull/8030) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * Fix flake in reqresp p2p test ([#13333](https://github.com/AztecProtocol/aztec-packages/issues/13333)) ([be31389](https://github.com/AztecProtocol/aztec-packages/commit/be31389ba3cf9c2833492b5c8f366e9e17bed59d)) * fix mistery irreproducible bug ([#13494](https://github.com/AztecProtocol/aztec-packages/issues/13494)) ([afd3578](https://github.com/AztecProtocol/aztec-packages/commit/afd35789e6995647ea8fd9c9f6690a7bcbc69842)) * fix yarn.lock ([#13455](https://github.com/AztecProtocol/aztec-packages/issues/13455)) ([7c00e11](https://github.com/AztecProtocol/aztec-packages/commit/7c00e11593c0151c125dda22ac1296aae45eb43c)) * generate compilation tests from frontend tests (https://github.com/noir-lang/noir/pull/7753) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * give port change test more resources ([#13266](https://github.com/AztecProtocol/aztec-packages/issues/13266)) ([69c3168](https://github.com/AztecProtocol/aztec-packages/commit/69c316852a1d72491a6e3a73e0cf6fc328f235ea)) * grouping noir contracts ([#13337](https://github.com/AztecProtocol/aztec-packages/issues/13337)) ([507c5a6](https://github.com/AztecProtocol/aztec-packages/commit/507c5a6a368cac6047ab1093a068e4b72674951d)) * Handle docker-in-docker when netstatting via nsenter ([#13502](https://github.com/AztecProtocol/aztec-packages/issues/13502)) ([59fc620](https://github.com/AztecProtocol/aztec-packages/commit/59fc6204e1d262f3ba6732730ba0608464f145f4)) * improve capsule performance and add tests ([#13284](https://github.com/AztecProtocol/aztec-packages/issues/13284)) ([0d5add0](https://github.com/AztecProtocol/aztec-packages/commit/0d5add0bc5ed8f6f32e5299965bb418553178638)) * improve checking of github urls in `noir_wasm` (https://github.com/noir-lang/noir/pull/8012) ([cf18f8e](https://github.com/AztecProtocol/aztec-packages/commit/cf18f8e674406ca0a50674cf200b58be0cbf4856)) * improve re-ex flake ([#13301](https://github.com/AztecProtocol/aztec-packages/issues/13301)) ([2e6cebd](https://github.com/AztecProtocol/aztec-packages/commit/2e6cebde0308f3a4e4fbb0b7cb36e354b23924fa)) * **kind:** add control pane logging ([#13279](https://github.com/AztecProtocol/aztec-packages/issues/13279)) ([6b7f41d](https://github.com/AztecProtocol/aztec-packages/commit/6b7f41de7ed85f60882081d1524d8ae908808234)) * Less strict block proposal init deadline ([#13522](https://github.com/AztecProtocol/aztec-packages/issues/13522)) ([89462d5](https://github.com/AztecProtocol/aztec-packages/commit/89462d542f15f8f384b201338ff2c3e90d8ddba6)), closes [#13511](https://github.com/AztecProtocol/aztec-packages/issues/13511) * let `nargo test` write to stdout, not stderr (https://github.com/noir-lang/noir/pull/7944) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * lint helm chart ([#13384](https://github.com/AztecProtocol/aztec-packages/issues/13384)) ([92b48f2](https://github.com/AztecProtocol/aztec-packages/commit/92b48f2f60e360885cc89c96fe7eaabc97ff3530)) * Log containers if failed cid not found ([#13456](https://github.com/AztecProtocol/aztec-packages/issues/13456)) ([f80d773](https://github.com/AztecProtocol/aztec-packages/commit/f80d77369ca1ce06ed306ef028443c3e7b578c3b)) * log metadata cleanup ([#13346](https://github.com/AztecProtocol/aztec-packages/issues/13346)) ([63b5bf3](https://github.com/AztecProtocol/aztec-packages/commit/63b5bf338e779b23cc7e6b3816e0070e504c941a)) * move aes code to aes file ([#13332](https://github.com/AztecProtocol/aztec-packages/issues/13332)) ([e3b3b1c](https://github.com/AztecProtocol/aztec-packages/commit/e3b3b1c890e1bd34b1f59d51e06e55089121b752)) * **nargo:** extract common functions (https://github.com/noir-lang/noir/pull/7957) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **p2p:** fix gas message validator ([#13299](https://github.com/AztecProtocol/aztec-packages/issues/13299)) ([c79402b](https://github.com/AztecProtocol/aztec-packages/commit/c79402b842aeb2966d4e93e86528b8b5a29c23a4)) * parse IfElse in SSA parser (https://github.com/noir-lang/noir/pull/8043) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * redo typo PR by gasaicrypto ([#13300](https://github.com/AztecProtocol/aztec-packages/issues/13300)) ([d4ae339](https://github.com/AztecProtocol/aztec-packages/commit/d4ae33951f103221db714ca88afc8cc5996e7ba7)) * Release Noir(1.0.0-beta.4) (https://github.com/noir-lang/noir/pull/7475) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * remove foundry image from k8s deployment ([#13480](https://github.com/AztecProtocol/aztec-packages/issues/13480)) ([057eb8a](https://github.com/AztecProtocol/aztec-packages/commit/057eb8a1e55721994d67f454740db233a19de026)) * remove lingering log ([#13408](https://github.com/AztecProtocol/aztec-packages/issues/13408)) ([40b34ef](https://github.com/AztecProtocol/aztec-packages/commit/40b34ef0fed0e3044a0485a55c4c0c3917c51d46)) * remove poseidon from stdlib (https://github.com/noir-lang/noir/pull/7650) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * remove setup-l2 job as it's not needed anymore ([#13375](https://github.com/AztecProtocol/aztec-packages/issues/13375)) ([0e30b2c](https://github.com/AztecProtocol/aztec-packages/commit/0e30b2cb2443694bca769914b1f398fb8b1f81b7)) * remove unnecessary double compilation (https://github.com/noir-lang/noir/pull/8031) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * remove unused deps ([#13460](https://github.com/AztecProtocol/aztec-packages/issues/13460)) ([34cd110](https://github.com/AztecProtocol/aztec-packages/commit/34cd1101d03b49ffa0d4286851328668a1519e0c)) * rename logs to msg ([#13364](https://github.com/AztecProtocol/aztec-packages/issues/13364)) ([64675db](https://github.com/AztecProtocol/aztec-packages/commit/64675db1232d1344da8e0f1ebd6b87b1522ad59a)) * renaming unconstrained to utility in registerer ([#13287](https://github.com/AztecProtocol/aztec-packages/issues/13287)) ([94f46d6](https://github.com/AztecProtocol/aztec-packages/commit/94f46d6392876d91eaca1451cf678f4dbf1d13a3)) * replace `PrintOutput` with usage of `std::io::Write` (https://github.com/noir-lang/noir/pull/7911) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * replace relative paths to noir-protocol-circuits ([51fe033](https://github.com/AztecProtocol/aztec-packages/commit/51fe033b7fb0867ac201d8e572ae583277fc9203)) * replace relative paths to noir-protocol-circuits ([7a36459](https://github.com/AztecProtocol/aztec-packages/commit/7a36459cf0cdfc503ee63820c3350c61cdf46334)) * replace relative paths to noir-protocol-circuits ([d41d09c](https://github.com/AztecProtocol/aztec-packages/commit/d41d09c91dba8b08ad8fe863818e6ffe09d0861e)) * replace relative paths to noir-protocol-circuits ([bc290fa](https://github.com/AztecProtocol/aztec-packages/commit/bc290fa88f0d28221de72a3df33a02e013c28181)) * replace relative paths to noir-protocol-circuits ([4c52357](https://github.com/AztecProtocol/aztec-packages/commit/4c52357dbd98b6b420d59b7e4ee4b85713dccea2)) * replace relative paths to noir-protocol-circuits ([f15ea02](https://github.com/AztecProtocol/aztec-packages/commit/f15ea027f4f9f11d8995b4b9faf7ade5a451bbd9)) * replace relative paths to noir-protocol-circuits ([404eab7](https://github.com/AztecProtocol/aztec-packages/commit/404eab706513edb3a3deb1b591c9a978cee47ad6)) * replace relative paths to noir-protocol-circuits ([150dc06](https://github.com/AztecProtocol/aztec-packages/commit/150dc065f65bed7d96be207a2f309134ebf57703)) * replace relative paths to noir-protocol-circuits ([2eefadf](https://github.com/AztecProtocol/aztec-packages/commit/2eefadf1addac3828e80be8e549c419051ec93c8)) * replace ssa builder usage with parser in test (https://github.com/noir-lang/noir/pull/7863) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * replacing remaining use of DocsExampleContract ([#13388](https://github.com/AztecProtocol/aztec-packages/issues/13388)) ([d656743](https://github.com/AztecProtocol/aztec-packages/commit/d656743bbd6b88f57b76ec5b30679f14a79b37a6)) * restructure ACIR-gen code (https://github.com/noir-lang/noir/pull/7864) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * **revert:** fix kind transfer test (master) ([#13313](https://github.com/AztecProtocol/aztec-packages/issues/13313)) ([a75ff87](https://github.com/AztecProtocol/aztec-packages/commit/a75ff87e1b143e2a527c55006923812b919ca180)) * run corepack enable on release please ([#13349](https://github.com/AztecProtocol/aztec-packages/issues/13349)) ([630d28e](https://github.com/AztecProtocol/aztec-packages/commit/630d28efd21c43b2057d856c5998b391bac044a0)) * set bbup version for noir 1.0.0-beta4 ([#13518](https://github.com/AztecProtocol/aztec-packages/issues/13518)) ([c87685f](https://github.com/AztecProtocol/aztec-packages/commit/c87685fc4740fa74ea0ef0350bcf65dff7ced81f)) * set random container names on aztec start ([#13242](https://github.com/AztecProtocol/aztec-packages/issues/13242)) ([78857fa](https://github.com/AztecProtocol/aztec-packages/commit/78857fab635665773edfaf6585951fec4076bbdf)), closes [#12905](https://github.com/AztecProtocol/aztec-packages/issues/12905) * shorter ci links ([#13311](https://github.com/AztecProtocol/aztec-packages/issues/13311)) ([6a6d38a](https://github.com/AztecProtocol/aztec-packages/commit/6a6d38a1c9fa98f7f47ea0ebe020d3de575685f2)) * **sol:** fix off by one in test gen ([#13410](https://github.com/AztecProtocol/aztec-packages/issues/13410)) ([16aa932](https://github.com/AztecProtocol/aztec-packages/commit/16aa932f5a1fc06a05bad90d7b6de35a0289bb4f)) * **spartan:** enable pointing at a different metrics instance ([#13481](https://github.com/AztecProtocol/aztec-packages/issues/13481)) ([510dc20](https://github.com/AztecProtocol/aztec-packages/commit/510dc202849ff9125c4bbd4a71dee146c5f8899e)) * Support printing the AST without variable IDs (https://github.com/noir-lang/noir/pull/7983) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * Test that a contract without initializer can still be called ([#13324](https://github.com/AztecProtocol/aztec-packages/issues/13324)) ([7f9af7c](https://github.com/AztecProtocol/aztec-packages/commit/7f9af7cf1042b86ce01e5dc2f6eb63887dddb231)) * Try fix flake in reorg tests ([#13498](https://github.com/AztecProtocol/aztec-packages/issues/13498)) ([29302c4](https://github.com/AztecProtocol/aztec-packages/commit/29302c497fd29e53c20847d83ab2469435742959)) * **txe:** no custom public merkle db ([#13508](https://github.com/AztecProtocol/aztec-packages/issues/13508)) ([e3a337b](https://github.com/AztecProtocol/aztec-packages/commit/e3a337b4ab6792b1aafe0001d92f0aac89c4b92c)) * update bb commands in beta2 and beta3 versioned docs (https://github.com/noir-lang/noir/pull/7888) ([f9d3c38](https://github.com/AztecProtocol/aztec-packages/commit/f9d3c389f01950202c940b3f969e2fe72f9319ee)) * update dashboards ([#13487](https://github.com/AztecProtocol/aztec-packages/issues/13487)) ([97889d2](https://github.com/AztecProtocol/aztec-packages/commit/97889d29a146c1e864c2de379a22eee1d3262ce2)) * update foundry image ([#13431](https://github.com/AztecProtocol/aztec-packages/issues/13431)) ([3bdabc6](https://github.com/AztecProtocol/aztec-packages/commit/3bdabc6f6f2605b66270cd33b4bb2e7bc5c0dcd8)) * update hash to fix test and dont skip join split tests ([#13175](https://github.com/AztecProtocol/aztec-packages/issues/13175)) ([76a4525](https://github.com/AztecProtocol/aztec-packages/commit/76a4525ad0fe1f92f10ef7b2a934900f5dfcac34)) * update koa dependency ([#13452](https://github.com/AztecProtocol/aztec-packages/issues/13452)) ([148ff8d](https://github.com/AztecProtocol/aztec-packages/commit/148ff8d9011739dd03a7865ca46cb5f5301ca4e7)) * update yp lock ([#13491](https://github.com/AztecProtocol/aztec-packages/issues/13491)) ([c33d04c](https://github.com/AztecProtocol/aztec-packages/commit/c33d04c11d763c90f7e2741069c71bbcdf1bbf85)) * upload aztec-up nightly ([#13479](https://github.com/AztecProtocol/aztec-packages/issues/13479)) ([753be0d](https://github.com/AztecProtocol/aztec-packages/commit/753be0dcb7f78aa74d38afaf093d3182a2ec5e58)) * use a deployment instead of a replicaset for agents ([#13416](https://github.com/AztecProtocol/aztec-packages/issues/13416)) ([eafce9b](https://github.com/AztecProtocol/aztec-packages/commit/eafce9b9f5d479ea7c46812e68d89fcc03380d55)) * use heap buffer methods for civc proof in bbjs ([#13541](https://github.com/AztecProtocol/aztec-packages/issues/13541)) ([f7fb5e6](https://github.com/AztecProtocol/aztec-packages/commit/f7fb5e651f2f73bdd224b3a4d2e5b742bbe4ca47)) * use insta snapshots for ssa tests (https://github.com/noir-lang/noir/pull/7989) ([b184863](https://github.com/AztecProtocol/aztec-packages/commit/b184863da69d6512bc4455d3c4ce7f9cd2c85aec)) * using Txhash type ([#13318](https://github.com/AztecProtocol/aztec-packages/issues/13318)) ([ab0d6c6](https://github.com/AztecProtocol/aztec-packages/commit/ab0d6c600815e5a75b87b52ceb4fe69654a8bbfc)) ### Documentation * **bb:** how to get wasm stack traces in bb.js ([#13538](https://github.com/AztecProtocol/aztec-packages/issues/13538)) ([94871c5](https://github.com/AztecProtocol/aztec-packages/commit/94871c5920fec556b5351e42bf59d9e8daa2bc89)) * contract upgrade ([#13273](https://github.com/AztecProtocol/aztec-packages/issues/13273)) ([134bdd0](https://github.com/AztecProtocol/aztec-packages/commit/134bdd0a30325cb789aac4c46d9628606beffefb)) * update utility fn docs ([#13310](https://github.com/AztecProtocol/aztec-packages/issues/13310)) ([007811d](https://github.com/AztecProtocol/aztec-packages/commit/007811df98c86f29b89ad218eedfa4dfaadc44d4)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).
This was referenced Jul 14, 2025
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
Problem*
Resolves #7759
Summary*
The purpose of unchecked operations in Noir is to avoid overflow checks, and therefore they are supposed to be used only if overflow is guaranteed to not happen.
In the issue, we have an unchecked operation that overflows, so I have simply added a check to avoid this.
Additional Context
ACIR and Brillig behaviour are inconsistent, and there is no (easy) way to fully fix this:
Brillig arithmetic is wrapping, while Noir is mainly checked, with some unchecked variants. In the latter, overflows will really overflow the integer because ACIR base type is a field, while Brillig integer type cannot store more than the specified bit size.
However, Noir checked arithmetic is emulated for unconstrained code by adding overflow checks when generating the brillig bytecode, so the only inconsistency is with the Noir unchecked operations which should never overflow.
Documentation*
Check one:
PR Checklist*
cargo fmton default settings.