fix(ssa): Remove OOB checks inserted during DIE#7995
Merged
Conversation
![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 'Execution Memory'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.
| Benchmark suite | Current: 2e85253 | Previous: f0d47f8 | Ratio |
|---|---|---|---|
rollup-base-public |
462.66 MB |
382.9 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
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: 2e85253 | Previous: f0d47f8 | Ratio |
|---|---|---|---|
rollup-base-private |
1560 MB |
1210 MB |
1.29 |
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: 2e85253 | Previous: f0d47f8 | Ratio |
|---|---|---|---|
rollup-merge |
1.158 s |
0.845 s |
1.37 |
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 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.
| Benchmark suite | Current: 424f1b6 | Previous: bdcfb66 | Ratio |
|---|---|---|---|
test_report_teddav_tdd.nr_ |
2 s |
1 s |
2 |
This comment was automatically generated by workflow using github-action-benchmark.
CC: @TomAFrench
vezenovm
force-pushed
the
mv/do-not-insert-oob-check-in-dir
branch
from
2e85253 to
d8a953e
Compare
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 👇
|
Contributor
Author
Investigating these regressions. It looks like I am adding a repeat bounds check that is not being simplified out and is preventing an unrolling of the loop that occurs on master. EDIT: The investigation and possible solution can be found here #8017 |
vezenovm
changed the title
5 tasks
Contributor
Author
These circuit size regressions are expected. For example looking at fn main(value: Field, index: u32) {
let mut args = &[0, 1];
args[index] = value;
// Safety: n/a
unsafe { store(args) };
// Dummy test to remove the 'underconstraint bug'
assert(args[0] + args[1] != 0);
}
pub unconstrained fn store(_: [Field]) {}We are going to add an index check for |
guipublic
approved these changes
Apr 11, 2025
github-merge-queue
bot
removed this pull request from the merge queue due to a conflict with the base branch
github-merge-queue bot
pushed a commit
to AztecProtocol/aztec-packages
that referenced
this pull request
Apr 14, 2025
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE chore: parse IfElse in SSA parser (noir-lang/noir#8043) feat: `ssa::create_program_with_passes` (noir-lang/noir#8035) chore: don't use `set_value_from_id` in `remove_truncate_after_range_checks` (noir-lang/noir#8037) fix(ssa): Remove OOB checks inserted during DIE (noir-lang/noir#7995) fix(fuzz): remove duplicate gen_loop, move unconstrained generators up (noir-lang/noir#8029) chore: remove unnecessary double compilation (noir-lang/noir#8031) fix(ssa): Map terminator instructions after constant folding (noir-lang/noir#8019) fix: use proper max bit size during truncation (noir-lang/noir#8010) fix(docs): fix proof splitting script in solidity guide (noir-lang/noir#8033) chore: add workflow to run nightly tests on ARM64 (noir-lang/noir#8027) chore: correct name of acvm benchmark (noir-lang/noir#8032) chore: fix failing test on MacOS (noir-lang/noir#8030) feat: add `while` generator to AST fuzzer (noir-lang/noir#8021) chore: clippy fixes (noir-lang/noir#8020) feat(fuzz): Generate arbitrary `Call` in function body (noir-lang/noir#7987) chore: use insta snapshots for ssa tests (noir-lang/noir#7989) chore: add snapshot tests for the build artifacts as produced by test_programs (noir-lang/noir#7986) END_COMMIT_OVERRIDE --------- Co-authored-by: AztecBot <tech@aztecprotocol.com>
This was referenced Apr 14, 2025
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 22, 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 #7975, #7952, #7965
The snippet from issue #7975 has this SSA:
We are inserting an OOB check as DIE is seeing an unsafe array access post the Brillig array gets optimization. OOB checks are now being inserted in #7827. We would expect the OOB on this array to be simplified upon its initial insertion and for an OOB check to not be inserted.
Each of the other failures in the linked issues, had an SSA in the same theme as above.
Summary*
We added #5691 several months ago in place of #5610 as to avoid performance regressions. However, we now are adding OOB checks for arrays during SSA gen directly in #7827 as it is needed for deeper inconsistencies with how ACIR/Brillig handles unchecked ops. Also, at the time of #5691 we did not even have Brillig bytecode reports, but now that we have included loop optimizations and cross-block constant folding so adding these OOB checks on all arrays should not instill too much of a cost.
#7827 also was missing access checks on certain array assignments, so I added those here.
Additional Context
Brillig bytecode regressions:
#8017 has been opened to outline the regressions on this PR and a possible solution. I don't think the regressions are as bad as they look if we chose not to go with #8017. The sample program is very small and is only regressing due to no longer triggering a loop unroll. A larger loop already would not have had triggered an unroll, and perhaps with more aggressive loop unrolling in the future it will not be an issue.
Circuit size regressions:
#7995 (comment)
Documentation*
Check one:
PR Checklist*
cargo fmton default settings.