feat: Sync from noir

[AztecBot]

Automated pull of development from the noir programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
fix: disallow #[test] on associated functions (noir-lang/noir#6449)
chore(ssa): Skip array_set pass for Brillig functions (noir-lang/noir#6513)
chore: Reverse ssa parser diff order (noir-lang/noir#6511)
chore: Parse negatives in SSA parser (noir-lang/noir#6510)
feat: avoid unnecessary ssa passes while loop unrolling (noir-lang/noir#6509)
fix(tests): Use a file lock as well as a mutex to isolate tests cases (noir-lang/noir#6508)
fix: set local_module before elaborating each trait (noir-lang/noir#6506)
fix: parse Slice type in SSa (noir-lang/noir#6507)
fix: perform arithmetic simplification through CheckedCast (noir-lang/noir#6502)
feat: SSA parser (noir-lang/noir#6489)
chore(test): Run test matrix on test_programs (noir-lang/noir#6429)
chore(ci): fix cargo deny (noir-lang/noir#6501)
feat: Deduplicate instructions across blocks (noir-lang/noir#6499)
chore: move tests for arithmetic generics closer to the code (noir-lang/noir#6497)
fix(docs): Fix broken links in oracles doc (noir-lang/noir#6488)
fix: Treat all parameters as possible aliases of each other (noir-lang/noir#6477)
chore: bump rust dependencies (noir-lang/noir#6482)
feat: use a full BlackBoxFunctionSolver implementation when execution brillig during acirgen (noir-lang/noir#6481)
chore(docs): Update How to Oracles (noir-lang/noir#5675)
chore: Release Noir(0.38.0) (noir-lang/noir#6422)
fix(ssa): Change array_set to not mutate slices coming from function inputs (noir-lang/noir#6463)
chore: update example to show how to split public inputs in bash (noir-lang/noir#6472)
fix: Discard optimisation that would change execution ordering or that is related to call outputs (noir-lang/noir#6461)
chore: proptest for canonicalize on infix type expressions (noir-lang/noir#6269)
fix: let formatter respect newlines between comments (noir-lang/noir#6458)
fix: check infix expression is valid in program input (noir-lang/noir#6450)
fix: don't crash on AsTraitPath with empty path (noir-lang/noir#6454)
fix(tests): Prevent EOF error while running test programs (noir-lang/noir#6455)
fix(sea): mem2reg to treat block input references as alias (noir-lang/noir#6452)
chore: revamp attributes (noir-lang/noir#6424)
feat!: Always Check Arithmetic Generics at Monomorphization (noir-lang/noir#6329)
chore: split path and import lookups (noir-lang/noir#6430)
fix(ssa): Resolve value IDs in terminator before comparing to array (noir-lang/noir#6448)
fix: right shift is not a regular division (noir-lang/noir#6400)
END_COMMIT_OVERRIDE

[github-actions]

Changes to public function bytecode sizes

Generated at commit: 62fab9f4faa548eac41399c0f1262b7afc85d3e5, compared to commit: e305f488b1502630f299bb03cf169770f2f6af09

🧾 Summary (100% most significant diffs)

Program	Bytecode size in bytes (+/-)	%
FPC::public_dispatch	+79 ❌	+0.94%
InclusionProofs::public_dispatch	+36 ❌	+0.86%
StaticChild::public_dispatch	+26 ❌	+0.82%
AuthWitTest::public_dispatch	+13 ❌	+0.66%
Crowdfunding::public_dispatch	+36 ❌	+0.58%
Test::public_dispatch	+108 ❌	+0.55%
AuthRegistry::public_dispatch	+44 ❌	+0.52%
Router::public_dispatch	+13 ❌	+0.50%
StaticParent::public_dispatch	+34 ❌	+0.46%
AppSubscription::public_dispatch	+23 ❌	+0.46%
AvmInitializerTest::constructor	+10 ❌	+0.39%
StatefulTest::public_dispatch	+31 ❌	+0.38%
InclusionProofs::constructor	+10 ❌	+0.38%
Claim::public_dispatch	+14 ❌	+0.33%
Uniswap::constructor	+10 ❌	+0.33%
Auth::constructor	+10 ❌	+0.32%
EasyPrivateVoting::constructor	+10 ❌	+0.31%
EasyPrivateVoting::public_dispatch	+18 ❌	+0.29%
AvmInitializerTest::public_dispatch	+10 ❌	+0.29%
Test::consume_mint_public_message	+30 ❌	+0.28%
Crowdfunding::init	+10 ❌	+0.28%
AppSubscription::constructor	+10 ❌	+0.27%
Child::public_dispatch	+16 ❌	+0.26%
StatefulTest::public_constructor	+10 ❌	+0.26%
TokenBridge::claim_public	+30 ❌	+0.24%
PriceFeed::public_dispatch	+9 ❌	+0.22%
Uniswap::public_dispatch	+47 ❌	+0.19%
TokenBridge::public_dispatch	+41 ❌	+0.19%
TokenBlacklist::public_dispatch	+47 ❌	+0.19%
TokenBlacklist::get_roles	+5 ❌	+0.18%
AuthRegistry::consume	+5 ❌	+0.15%
FeeJuice::public_dispatch	+9 ❌	+0.14%
NFT::transfer_in_public	+5 ❌	+0.13%
Auth::public_dispatch	+13 ❌	+0.12%
TokenBlacklist::mint_private	+5 ❌	+0.12%
TokenBlacklist::mint_public	+5 ❌	+0.11%
Token::burn_public	+5 ❌	+0.11%
Parent::public_dispatch	+9 ❌	+0.11%
Spam::public_dispatch	+4 ❌	+0.10%
NFT::constructor	+5 ❌	+0.10%
Token::transfer_public	+5 ❌	+0.10%
Token::constructor	+5 ❌	+0.10%
Token::shield	+5 ❌	+0.10%
TokenBlacklist::burn_public	+5 ❌	+0.08%
Auth::set_authorized_delay	+5 ❌	+0.08%
TokenBlacklist::transfer_public	+5 ❌	+0.08%
TokenBlacklist::shield	+5 ❌	+0.08%
Uniswap::_approve_bridge_and_exit_input_asset_to_L1	+5 ❌	+0.08%
NFT::public_dispatch	+20 ❌	+0.08%
Lending::public_dispatch	-4 ✅	-0.01%
Uniswap::swap_public	-5 ✅	-0.03%
TokenBlacklist::constructor	-5 ✅	-0.06%
TokenBlacklist::update_roles	-5 ✅	-0.07%
Benchmarking::public_dispatch	-4 ✅	-0.07%
TokenBridge::exit_to_l1_public	-10 ✅	-0.12%
AvmTest::keccak_hash	-5 ✅	-0.18%
Lending::deposit_public	-5 ✅	-0.20%
Lending::repay_public	-5 ✅	-0.21%
CardGame::on_cards_claimed	-17 ✅	-0.23%
FPC::pay_refund	-5 ✅	-0.24%
FPC::prepare_fee	-5 ✅	-0.25%
Lending::borrow_public	-5 ✅	-0.26%
Lending::withdraw_public	-5 ✅	-0.26%
Lending::_borrow	-27 ✅	-0.30%
Lending::get_position	-17 ✅	-0.32%
Lending::_withdraw	-32 ✅	-0.34%
Lending::_repay	-22 ✅	-0.36%
Parent::public_nested_static_call	-12 ✅	-0.36%
TokenBridge::constructor	-12 ✅	-0.36%
Claim::constructor	-12 ✅	-0.37%
FPC::constructor	-12 ✅	-0.38%
Child::set_value_twice_with_nested_last	-5 ✅	-0.41%
Child::set_value_twice_with_nested_first	-5 ✅	-0.41%
DocsExample::public_dispatch	-25 ✅	-0.41%
StaticParent::public_nested_static_call	-10 ✅	-0.41%
Lending::update_accumulator	-26 ✅	-0.45%
Benchmarking::increment_balance	-17 ✅	-0.46%
Token::mint_public	-17 ✅	-0.48%
DocsExample::get_shared_immutable_constrained_public_indirect	-5 ✅	-0.49%
Token::mint_private_old	-17 ✅	-0.49%
AvmTest::returndata_copy_oracle	-10 ✅	-0.50%
Auth::get_authorized_delay	-12 ✅	-0.50%
NFT::mint	-17 ✅	-0.50%
Parent::pub_entry_point_twice	-5 ✅	-0.51%
AvmTest::nested_call_to_add	-5 ✅	-0.51%
AvmTest::nested_static_call_to_add	-5 ✅	-0.51%
AvmTest::nested_call_to_assert_same	-5 ✅	-0.51%
StaticParent::public_get_value_from_child	-5 ✅	-0.52%
AvmTest::nested_call_to_add_with_gas	-5 ✅	-0.52%
Lending::init	-17 ✅	-0.53%
AvmTest::external_call_to_divide_by_zero	-5 ✅	-0.55%
Auth::get_authorized	-12 ✅	-0.58%
TokenBlacklist::_increase_public_balance	-17 ✅	-0.59%
Token::_increase_public_balance	-17 ✅	-0.59%
NFT::owner_of	-17 ✅	-0.61%
Auth::get_scheduled_authorized	-12 ✅	-0.61%
FeeJuice::_increase_public_balance	-17 ✅	-0.65%
AvmTest::get_args_hash	-12 ✅	-0.66%
EasyPrivateVoting::add_to_tally_public	-17 ✅	-0.66%
FeeJuice::check_balance	-17 ✅	-0.69%
Lending::_deposit	-22 ✅	-0.72%
AvmTest::add_storage_map	-17 ✅	-0.73%
Lending::get_asset	-17 ✅	-0.77%
NFT::set_minter	-17 ✅	-0.77%
Token::set_minter	-17 ✅	-0.77%
Spam::public_spam	-22 ✅	-0.78%
StatefulTest::increment_public_value	-17 ✅	-0.79%
AuthRegistry::is_consumable	-17 ✅	-0.79%
TokenBlacklist::balance_of_public	-17 ✅	-0.80%
Token::balance_of_public	-17 ✅	-0.80%
StatefulTest::increment_public_value_no_init_check	-17 ✅	-0.81%
FeeJuice::balance_of_public	-17 ✅	-0.82%
AuthRegistry::_set_authorized	-17 ✅	-0.82%
NFT::is_minter	-17 ✅	-0.83%
Token::is_minter	-17 ✅	-0.83%
AuthRegistry::set_authorized	-17 ✅	-0.84%
Benchmarking::broadcast	-17 ✅	-0.85%
PriceFeed::get_price	-17 ✅	-0.85%
AuthRegistry::is_reject_all	-17 ✅	-0.86%
StatefulTest::get_public_value	-17 ✅	-0.86%
AvmTest::set_storage_map	-17 ✅	-0.86%
PriceFeed::set_price	-17 ✅	-0.87%
AvmTest::read_storage_map	-17 ✅	-0.88%
NFT::_finish_transfer_to_public	-17 ✅	-0.88%
Token::_finalize_transfer_to_private_unsafe	-67 ✅	-0.91%
Token::finalize_transfer_to_private	-67 ✅	-0.91%
AuthRegistry::set_reject_all	-17 ✅	-0.92%
Token::_finalize_mint_to_private_unsafe	-67 ✅	-0.94%
Token::finalize_mint_to_private	-67 ✅	-0.94%
AvmTest::poseidon2_hash	-17 ✅	-0.97%
NFT::_finalize_transfer_to_private_unsafe	-67 ✅	-1.03%
NFT::finalize_transfer_to_private	-67 ✅	-1.04%
CardGame::on_card_played	-63 ✅	-1.06%
AvmTest::public_dispatch	-670 ✅	-1.08%
CardGame::public_dispatch	-182 ✅	-1.12%
CardGame::on_game_joined	-63 ✅	-1.25%
CardGame::start_game	-103 ✅	-1.47%
Token::public_dispatch	-591 ✅	-1.60%
Token::complete_refund	-258 ✅	-4.26%
AvmTest::bulk_testing	-1,729 ✅	-6.78%

---

Full diff report 👇

Program	Bytecode size in bytes (+/-)	%
FPC::public_dispatch	8,468 (+79)	+0.94%
InclusionProofs::public_dispatch	4,232 (+36)	+0.86%
StaticChild::public_dispatch	3,178 (+26)	+0.82%
AuthWitTest::public_dispatch	1,984 (+13)	+0.66%
Crowdfunding::public_dispatch	6,277 (+36)	+0.58%
Test::public_dispatch	19,923 (+108)	+0.55%
AuthRegistry::public_dispatch	8,510 (+44)	+0.52%
Router::public_dispatch	2,625 (+13)	+0.50%
StaticParent::public_dispatch	7,373 (+34)	+0.46%
AppSubscription::public_dispatch	5,060 (+23)	+0.46%
AvmInitializerTest::constructor	2,567 (+10)	+0.39%
StatefulTest::public_dispatch	8,170 (+31)	+0.38%
InclusionProofs::constructor	2,643 (+10)	+0.38%
Claim::public_dispatch	4,305 (+14)	+0.33%
Uniswap::constructor	3,078 (+10)	+0.33%
Auth::constructor	3,119 (+10)	+0.32%
EasyPrivateVoting::constructor	3,245 (+10)	+0.31%
EasyPrivateVoting::public_dispatch	6,130 (+18)	+0.29%
AvmInitializerTest::public_dispatch	3,452 (+10)	+0.29%
Test::consume_mint_public_message	10,648 (+30)	+0.28%
Crowdfunding::init	3,557 (+10)	+0.28%
AppSubscription::constructor	3,712 (+10)	+0.27%
Child::public_dispatch	6,131 (+16)	+0.26%
StatefulTest::public_constructor	3,882 (+10)	+0.26%
TokenBridge::claim_public	12,500 (+30)	+0.24%
PriceFeed::public_dispatch	4,067 (+9)	+0.22%
Uniswap::public_dispatch	25,061 (+47)	+0.19%
TokenBridge::public_dispatch	21,996 (+41)	+0.19%
TokenBlacklist::public_dispatch	25,351 (+47)	+0.19%
TokenBlacklist::get_roles	2,790 (+5)	+0.18%
AuthRegistry::consume	3,239 (+5)	+0.15%
FeeJuice::public_dispatch	6,344 (+9)	+0.14%
NFT::transfer_in_public	3,731 (+5)	+0.13%
Auth::public_dispatch	10,898 (+13)	+0.12%
TokenBlacklist::mint_private	4,311 (+5)	+0.12%
TokenBlacklist::mint_public	4,628 (+5)	+0.11%
Token::burn_public	4,706 (+5)	+0.11%
Parent::public_dispatch	8,509 (+9)	+0.11%
Spam::public_dispatch	3,833 (+4)	+0.10%
NFT::constructor	4,804 (+5)	+0.10%
Token::transfer_public	4,814 (+5)	+0.10%
Token::constructor	5,160 (+5)	+0.10%
Token::shield	5,239 (+5)	+0.10%
TokenBlacklist::burn_public	5,895 (+5)	+0.08%
Auth::set_authorized_delay	5,963 (+5)	+0.08%
TokenBlacklist::transfer_public	6,328 (+5)	+0.08%
TokenBlacklist::shield	6,433 (+5)	+0.08%
Uniswap::_approve_bridge_and_exit_input_asset_to_L1	6,468 (+5)	+0.08%
NFT::public_dispatch	26,406 (+20)	+0.08%
Lending::public_dispatch	28,489 (-4)	-0.01%
Uniswap::swap_public	15,708 (-5)	-0.03%
TokenBlacklist::constructor	7,923 (-5)	-0.06%
TokenBlacklist::update_roles	7,684 (-5)	-0.07%
Benchmarking::public_dispatch	5,655 (-4)	-0.07%
TokenBridge::exit_to_l1_public	8,216 (-10)	-0.12%
AvmTest::keccak_hash	2,744 (-5)	-0.18%
Lending::deposit_public	2,550 (-5)	-0.20%
Lending::repay_public	2,433 (-5)	-0.21%
CardGame::on_cards_claimed	7,333 (-17)	-0.23%
FPC::pay_refund	2,045 (-5)	-0.24%
FPC::prepare_fee	1,990 (-5)	-0.25%
Lending::borrow_public	1,898 (-5)	-0.26%
Lending::withdraw_public	1,898 (-5)	-0.26%
Lending::_borrow	8,994 (-27)	-0.30%
Lending::get_position	5,233 (-17)	-0.32%
Lending::_withdraw	9,253 (-32)	-0.34%
Lending::_repay	6,169 (-22)	-0.36%
Parent::public_nested_static_call	3,364 (-12)	-0.36%
TokenBridge::constructor	3,350 (-12)	-0.36%
Claim::constructor	3,269 (-12)	-0.37%
FPC::constructor	3,152 (-12)	-0.38%
Child::set_value_twice_with_nested_last	1,223 (-5)	-0.41%
Child::set_value_twice_with_nested_first	1,223 (-5)	-0.41%
DocsExample::public_dispatch	6,041 (-25)	-0.41%
StaticParent::public_nested_static_call	2,415 (-10)	-0.41%
Lending::update_accumulator	5,750 (-26)	-0.45%
Benchmarking::increment_balance	3,708 (-17)	-0.46%
Token::mint_public	3,520 (-17)	-0.48%
DocsExample::get_shared_immutable_constrained_public_indirect	1,020 (-5)	-0.49%
Token::mint_private_old	3,449 (-17)	-0.49%
AvmTest::returndata_copy_oracle	2,000 (-10)	-0.50%
Auth::get_authorized_delay	2,398 (-12)	-0.50%
NFT::mint	3,359 (-17)	-0.50%
Parent::pub_entry_point_twice	983 (-5)	-0.51%
AvmTest::nested_call_to_add	974 (-5)	-0.51%
AvmTest::nested_static_call_to_add	974 (-5)	-0.51%
AvmTest::nested_call_to_assert_same	974 (-5)	-0.51%
StaticParent::public_get_value_from_child	960 (-5)	-0.52%
AvmTest::nested_call_to_add_with_gas	949 (-5)	-0.52%
Lending::init	3,187 (-17)	-0.53%
AvmTest::external_call_to_divide_by_zero	911 (-5)	-0.55%
Auth::get_authorized	2,041 (-12)	-0.58%
TokenBlacklist::_increase_public_balance	2,850 (-17)	-0.59%
Token::_increase_public_balance	2,850 (-17)	-0.59%
NFT::owner_of	2,791 (-17)	-0.61%
Auth::get_scheduled_authorized	1,941 (-12)	-0.61%
FeeJuice::_increase_public_balance	2,581 (-17)	-0.65%
AvmTest::get_args_hash	1,804 (-12)	-0.66%
EasyPrivateVoting::add_to_tally_public	2,542 (-17)	-0.66%
FeeJuice::check_balance	2,436 (-17)	-0.69%
Lending::_deposit	3,031 (-22)	-0.72%
AvmTest::add_storage_map	2,311 (-17)	-0.73%
Lending::get_asset	2,204 (-17)	-0.77%
NFT::set_minter	2,200 (-17)	-0.77%
Token::set_minter	2,195 (-17)	-0.77%
Spam::public_spam	2,786 (-22)	-0.78%
StatefulTest::increment_public_value	2,142 (-17)	-0.79%
AuthRegistry::is_consumable	2,132 (-17)	-0.79%
TokenBlacklist::balance_of_public	2,117 (-17)	-0.80%
Token::balance_of_public	2,117 (-17)	-0.80%
StatefulTest::increment_public_value_no_init_check	2,093 (-17)	-0.81%
FeeJuice::balance_of_public	2,063 (-17)	-0.82%
AuthRegistry::_set_authorized	2,049 (-17)	-0.82%
NFT::is_minter	2,019 (-17)	-0.83%
Token::is_minter	2,019 (-17)	-0.83%
AuthRegistry::set_authorized	2,002 (-17)	-0.84%
Benchmarking::broadcast	1,989 (-17)	-0.85%
PriceFeed::get_price	1,983 (-17)	-0.85%
AuthRegistry::is_reject_all	1,965 (-17)	-0.86%
StatefulTest::get_public_value	1,955 (-17)	-0.86%
AvmTest::set_storage_map	1,951 (-17)	-0.86%
PriceFeed::set_price	1,941 (-17)	-0.87%
AvmTest::read_storage_map	1,924 (-17)	-0.88%
NFT::_finish_transfer_to_public	1,924 (-17)	-0.88%
Token::_finalize_transfer_to_private_unsafe	7,307 (-67)	-0.91%
Token::finalize_transfer_to_private	7,260 (-67)	-0.91%
AuthRegistry::set_reject_all	1,840 (-17)	-0.92%
Token::_finalize_mint_to_private_unsafe	7,097 (-67)	-0.94%
Token::finalize_mint_to_private	7,050 (-67)	-0.94%
AvmTest::poseidon2_hash	1,729 (-17)	-0.97%
NFT::_finalize_transfer_to_private_unsafe	6,427 (-67)	-1.03%
NFT::finalize_transfer_to_private	6,380 (-67)	-1.04%
CardGame::on_card_played	5,896 (-63)	-1.06%
AvmTest::public_dispatch	61,331 (-670)	-1.08%
CardGame::public_dispatch	16,077 (-182)	-1.12%
CardGame::on_game_joined	4,995 (-63)	-1.25%
CardGame::start_game	6,891 (-103)	-1.47%
Token::public_dispatch	36,314 (-591)	-1.60%
Token::complete_refund	5,798 (-258)	-4.26%
AvmTest::bulk_testing	23,780 (-1,729)	-6.78%

[github-actions]

Changes to circuit sizes

Generated at commit: 62fab9f4faa548eac41399c0f1262b7afc85d3e5, compared to commit: 8d49e5963092548d31a901a693a1653d3151d114

🧾 Summary (100% most significant diffs)

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
private_kernel_init	+23 ❌	+0.11%	+21 ❌	+0.06%
private_kernel_inner	+26 ❌	+0.07%	+22 ❌	+0.04%
private_kernel_tail	+3 ❌	+0.07%	+3 ❌	+0.02%
parity_base	+3 ❌	+0.07%	+3 ❌	+0.01%
private_kernel_tail_to_public	+3 ❌	+0.02%	+3 ❌	+0.01%
private_kernel_reset_4_4_4_4_4_4_4_4_1	+1 ❌	+0.00%	+1 ❌	+0.00%
rollup_base_private	+38 ❌	+0.01%	+38 ❌	+0.00%
rollup_base_public	+38 ❌	+0.01%	+38 ❌	+0.00%
rollup_merge	+4 ❌	+0.12%	+4 ❌	+0.00%
rollup_root	+4 ❌	+0.03%	+4 ❌	+0.00%
rollup_block_merge	+4 ❌	+0.03%	+4 ❌	+0.00%
private_kernel_reset	+1 ❌	+0.00%	+1 ❌	+0.00%
rollup_block_root	+4 ❌	+0.09%	+4 ❌	+0.00%
parity_root	+3 ❌	+0.06%	+3 ❌	+0.00%

---

Full diff report 👇

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
private_kernel_init	21,726 (+23)	+0.11%	34,887 (+21)	+0.06%
private_kernel_inner	38,093 (+26)	+0.07%	57,530 (+22)	+0.04%
private_kernel_tail	4,493 (+3)	+0.07%	13,045 (+3)	+0.02%
parity_base	4,301 (+3)	+0.07%	30,698 (+3)	+0.01%
private_kernel_tail_to_public	18,852 (+3)	+0.02%	31,300 (+3)	+0.01%
private_kernel_reset_4_4_4_4_4_4_4_4_1	32,455 (+1)	+0.00%	86,600 (+1)	+0.00%
rollup_base_private	332,907 (+38)	+0.01%	3,432,553 (+38)	+0.00%
rollup_base_public	470,090 (+38)	+0.01%	3,770,594 (+38)	+0.00%
rollup_merge	3,419 (+4)	+0.12%	1,909,446 (+4)	+0.00%
rollup_root	11,989 (+4)	+0.03%	1,940,906 (+4)	+0.00%
rollup_block_merge	12,005 (+4)	+0.03%	1,940,920 (+4)	+0.00%
private_kernel_reset	84,097 (+1)	+0.00%	618,117 (+1)	+0.00%
rollup_block_root	4,489 (+4)	+0.09%	2,863,252 (+4)	+0.00%
parity_root	5,034 (+3)	+0.06%	3,801,552 (+3)	+0.00%