feat: lazy commitment key allocation for better memory #9017

lucasxia01 · 2024-10-04T04:49:42Z

Resolves AztecProtocol/barretenberg#1121.

We currently create the commitment key at the beginning, when we create the proving key. However, we do not have to do this and should not do this because the commitment key ends up being a huge portion of memory, at around 930MB for 2^20 circuits. We instead just create it when we need to. For UltraHonk, that ends up being during Oink and during Gemini. For ClientIVC, we allocate and free a commitment key for each oink we do, and also for the final decider.

UltraHonk on a 2^20 circuit peak memory drops from 2420MiB to 1786MiB:

ClientIVC memory stays mostly unchanged because need to keep the commitment key mostly throughout all of the folding parts.

I expect the bench timing for UltraHonk to be slightly worse given that we reallocate the commitment key. ClientIVCBench should also be worse because we do more commitment key allocations.

--------------------------------------------------------------------------------
Benchmark                      Time             CPU   Iterations UserCounters...
--------------------------------------------------------------------------------
ClientIVCBench/Full/6      33391 ms        30977 ms            1 Arithmetic::accumulate=3.89126M Arithmetic::accumulate(t)=7.33056G Auxiliary::accumulate=1.98134M Auxiliary::accumulate(t)=13.0892G COMMIT::databus=108 COMMIT::databus(t)=8.88751M COMMIT::databus_inverses=36 COMMIT::databus_inverses(t)=11.2725M COMMIT::ecc_op_wires=48 COMMIT::ecc_op_wires(t)=38.6915M COMMIT::lookup_counts_tags=12 COMMIT::lookup_counts_tags(t)=193.353M COMMIT::lookup_inverses=12 COMMIT::lookup_inverses(t)=255.969M COMMIT::wires=24 COMMIT::wires(t)=2.21199G COMMIT::z_perm=12 COMMIT::z_perm(t)=2.32652G DatabusRead::accumulate=447 DatabusRead::accumulate(t)=1.53355M Decider::construct_proof=1 Decider::construct_proof(t)=1.68437G DeciderProvingKey(Circuit&)=12 DeciderProvingKey(Circuit&)(t)=2.86109G DeltaRange::accumulate=1.87876M DeltaRange::accumulate(t)=4.1979G ECCVMProver(CircuitBuilder&)=1 ECCVMProver(CircuitBuilder&)(t)=229.598M ECCVMProver::construct_proof=1 ECCVMProver::construct_proof(t)=2.57466G Elliptic::accumulate=183.692k Elliptic::accumulate(t)=452.417M Goblin::merge=23 Goblin::merge(t)=117.072M Lookup::accumulate=1.66365M Lookup::accumulate(t)=3.69193G MegaFlavor::get_row=6.18565M MegaFlavor::get_row(t)=4.20034G OinkProver::execute_grand_product_computation_round=12 OinkProver::execute_grand_product_computation_round(t)=3.59544G OinkProver::execute_log_derivative_inverse_round=12 OinkProver::execute_log_derivative_inverse_round(t)=2.48433G OinkProver::execute_preamble_round=12 OinkProver::execute_preamble_round(t)=274.895k OinkProver::execute_sorted_list_accumulator_round=12 OinkProver::execute_sorted_list_accumulator_round(t)=772.217M OinkProver::execute_wire_commitments_round=12 OinkProver::execute_wire_commitments_round(t)=1.68854G OinkProver::generate_alphas_round=12 OinkProver::generate_alphas_round(t)=3.58973M Permutation::accumulate=10.6427M Permutation::accumulate(t)=40.3554G PoseidonExt::accumulate=30.452k PoseidonExt::accumulate(t)=76.5906M PoseidonInt::accumulate=210.454k PoseidonInt::accumulate(t)=371.576M ProtogalaxyProver::prove=11 ProtogalaxyProver::prove(t)=19.5665G ProtogalaxyProver_::combiner_quotient_round=11 ProtogalaxyProver_::combiner_quotient_round(t)=8.3951G ProtogalaxyProver_::compute_row_evaluations=11 ProtogalaxyProver_::compute_row_evaluations(t)=1.72459G ProtogalaxyProver_::perturbator_round=11 ProtogalaxyProver_::perturbator_round(t)=2.61146G ProtogalaxyProver_::run_oink_prover_on_each_incomplete_key=11 ProtogalaxyProver_::run_oink_prover_on_each_incomplete_key(t)=7.8871G ProtogalaxyProver_::update_target_sum_and_fold=11 ProtogalaxyProver_::update_target_sum_and_fold(t)=672.681M TranslatorCircuitBuilder::constructor=1 TranslatorCircuitBuilder::constructor(t)=32.7314M TranslatorProver=1 TranslatorProver(t)=46.9982M TranslatorProver::construct_proof=1 TranslatorProver::construct_proof(t)=843.494M batch_mul_with_endomorphism=16 batch_mul_with_endomorphism(t)=405.64M commit=542 commit(t)=6.73009G commit_sparse=36 commit_sparse(t)=11.2568M compute_combiner=11 compute_combiner(t)=7.9922G compute_perturbator=11 compute_perturbator(t)=2.61115G compute_univariate=51 compute_univariate(t)=2.16081G construct_circuits=12 construct_circuits(t)=4.36072G pippenger=214 pippenger(t)=100.623M pippenger_unsafe_optimized_for_non_dyadic_polys=542 pippenger_unsafe_optimized_for_non_dyadic_polys(t)=6.6333G
Benchmarking lock deleted.
client_ivc_bench.json                 100% 6936   183.4KB/s   00:00    
function                                  ms     % sum
construct_circuits(t)                   4361    13.53%
DeciderProvingKey(Circuit&)(t)          2861     8.88%
ProtogalaxyProver::prove(t)            19566    60.69%
Decider::construct_proof(t)             1684     5.22%
ECCVMProver(CircuitBuilder&)(t)          230     0.71%
ECCVMProver::construct_proof(t)         2575     7.99%
TranslatorProver::construct_proof(t)     843     2.62%
Goblin::merge(t)                         117     0.36%

Total time accounted for: 32237ms/33391ms = 96.55%

Major contributors:
function                                  ms    % sum
commit(t)                               6730   20.88%
compute_combiner(t)                     7992   24.79%
compute_perturbator(t)                  2611    8.10%
compute_univariate(t)                   2161    6.70%

Breakdown of ProtogalaxyProver::prove:
ProtogalaxyProver_::run_oink_prover_on_each_incomplete_key(t)    7887    40.31%
ProtogalaxyProver_::perturbator_round(t)                         2611    13.35%
ProtogalaxyProver_::combiner_quotient_round(t)                   8395    42.91%
ProtogalaxyProver_::update_target_sum_and_fold(t)                 673     3.44%

Relation contributions (times to be interpreted relatively):
Total time accounted for (ms):    69567
operation                       ms     % sum
Arithmetic::accumulate(t)     7331    10.54%
Permutation::accumulate(t)   40355    58.01%
Lookup::accumulate(t)         3692     5.31%
DeltaRange::accumulate(t)     4198     6.03%
Elliptic::accumulate(t)        452     0.65%
Auxiliary::accumulate(t)     13089    18.82%
EccOp::accumulate(t)             0     0.00%
DatabusRead::accumulate(t)       2     0.00%
PoseidonExt::accumulate(t)      77     0.11%
PoseidonInt::accumulate(t)     372     0.53%

Commitment contributions:
Total time accounted for (ms):     5047
operation                          ms     % sum
COMMIT::wires(t)                 2212    43.83%
COMMIT::z_perm(t)                2327    46.10%
COMMIT::databus(t)                  9     0.18%
COMMIT::ecc_op_wires(t)            39     0.77%
COMMIT::lookup_inverses(t)        256     5.07%
COMMIT::databus_inverses(t)        11     0.22%
COMMIT::lookup_counts_tags(t)     193     3.83%

…tra_honk_bench down to 1786MB!

github-actions · 2024-10-04T18:16:21Z

Changes to public function bytecode sizes

Generated at commit: fc6a408e02fabb67b676a5198f117afcf37a389f, compared to commit: 4873c7bc850092e2962fcaf747ec60f19e89ba92

🧾 Summary (100% most significant diffs)

Program	Bytecode size in bytes (+/-)	%
AvmTest::elliptic_curve_add_and_double	+9 ❌	+5.26%
CardGame::on_card_played	+185 ❌	+3.23%
DocsExample::get_shared_immutable_constrained_public_indirect	+11 ❌	+2.61%
Child::set_value_with_two_nested_calls	+14 ❌	+1.90%
AvmTest::nested_call_to_add_with_gas	+14 ❌	+1.67%
Uniswap::_assert_token_is_same	+7 ❌	+1.50%
CardGame::public_dispatch	+334 ❌	+1.20%
Lending::_deposit	+10 ❌	+0.40%
Uniswap::public_dispatch	+120 ❌	+0.36%
InclusionProofs::public_dispatch	+20 ❌	+0.35%
FPC::public_dispatch	+41 ❌	+0.35%
Auth::public_dispatch	+86 ❌	+0.29%
StatefulTest::public_dispatch	+36 ❌	+0.29%
StatefulTest::public_constructor	+13 ❌	+0.29%
EasyPrivateVoting::public_dispatch	+26 ❌	+0.28%
AvmInitializerTest::public_dispatch	+10 ❌	+0.27%
Child::public_dispatch	+14 ❌	+0.25%
TokenBlacklist::public_dispatch	+332 ❌	+0.25%
Lending::_repay	+23 ❌	+0.25%
AvmTest::public_dispatch	+219 ❌	+0.24%
TokenBlacklist::constructor	+33 ❌	+0.22%
AuthRegistry::consume	+18 ❌	+0.22%
AvmTest::set_storage_map	+6 ❌	+0.21%
AvmTest::add_storage_map	+9 ❌	+0.21%
AuthRegistry::set_authorized	+6 ❌	+0.21%
AuthRegistry::_set_authorized	+6 ❌	+0.20%
NFT::mint	+12 ❌	+0.20%
AuthRegistry::is_consumable	+6 ❌	+0.20%
TokenBlacklist::transfer_public	+30 ❌	+0.19%
AvmTest::poseidon2_hash	+3 ❌	+0.19%
TokenBlacklist::mint_public	+18 ❌	+0.19%
TokenBlacklist::update_roles	+27 ❌	+0.19%
Token::transfer_public	+18 ❌	+0.18%
AvmTest::get_args_hash	+3 ❌	+0.18%
NFT::owner_of	+6 ❌	+0.18%
Auth::set_authorized_delay	+18 ❌	+0.18%
AuthRegistry::public_dispatch	+42 ❌	+0.18%
FeeJuice::_increase_public_balance	+6 ❌	+0.18%
TokenBlacklist::get_roles	+6 ❌	+0.18%
Auth::set_authorized	+18 ❌	+0.18%
TokenBlacklist::_increase_public_balance	+6 ❌	+0.18%
Token::_increase_public_balance	+6 ❌	+0.18%
EasyPrivateVoting::add_to_tally_public	+6 ❌	+0.18%
Spam::public_spam	+6 ❌	+0.18%
TokenBlacklist::burn_public	+18 ❌	+0.17%
AuthRegistry::set_reject_all	+3 ❌	+0.17%
Lending::_withdraw	+23 ❌	+0.17%
Token::mint_public	+9 ❌	+0.17%
NFT::_finish_transfer_to_public	+3 ❌	+0.17%
PriceFeed::set_price	+3 ❌	+0.17%
AvmTest::read_storage_map	+3 ❌	+0.17%
StatefulTest::get_public_value	+3 ❌	+0.16%
AuthRegistry::is_reject_all	+3 ❌	+0.16%
Token::burn_public	+12 ❌	+0.16%
PriceFeed::get_price	+3 ❌	+0.16%
NFT::transfer_in_public	+9 ❌	+0.16%
Benchmarking::broadcast	+3 ❌	+0.16%
InclusionProofs::constructor	+6 ❌	+0.16%
NFT::is_minter	+3 ❌	+0.16%
Token::is_minter	+3 ❌	+0.16%
Auth::get_scheduled_authorized	+3 ❌	+0.16%
Crowdfunding::public_dispatch	+13 ❌	+0.16%
FeeJuice::balance_of_public	+3 ❌	+0.16%
StatefulTest::increment_public_value_no_init_check	+3 ❌	+0.15%
TokenBlacklist::balance_of_public	+3 ❌	+0.15%
Token::balance_of_public	+3 ❌	+0.15%
TokenBlacklist::shield	+18 ❌	+0.15%
Benchmarking::increment_balance	+6 ❌	+0.15%
StatefulTest::increment_public_value	+3 ❌	+0.15%
Auth::get_authorized	+3 ❌	+0.15%
NFT::set_minter	+3 ❌	+0.15%
Token::set_minter	+3 ❌	+0.15%
PrivateFPC::constructor	+6 ❌	+0.15%
Lending::get_asset	+3 ❌	+0.14%
FPC::constructor	+6 ❌	+0.14%
Uniswap::constructor	+6 ❌	+0.14%
Auth::constructor	+6 ❌	+0.14%
TokenBridge::constructor	+6 ❌	+0.14%
TokenBridge::public_dispatch	+45 ❌	+0.14%
FeeJuice::check_balance	+3 ❌	+0.14%
Auth::get_authorized_delay	+3 ❌	+0.14%
EasyPrivateVoting::constructor	+6 ❌	+0.14%
Token::shield	+12 ❌	+0.13%
Claim::constructor	+6 ❌	+0.13%
Spam::public_dispatch	+6 ❌	+0.13%
Benchmarking::public_dispatch	+9 ❌	+0.13%
Uniswap::_approve_bridge_and_exit_input_asset_to_L1	+12 ❌	+0.13%
NFT::constructor	+9 ❌	+0.12%
Token::assert_minter_and_mint	+3 ❌	+0.12%
PriceFeed::public_dispatch	+6 ❌	+0.12%
FeeJuice::public_dispatch	+12 ❌	+0.12%
DocsExample::public_dispatch	+7 ❌	+0.12%
Lending::get_position	+9 ❌	+0.12%
Crowdfunding::init	+6 ❌	+0.12%
Token::constructor	+9 ❌	+0.11%
Lending::public_dispatch	+90 ❌	+0.11%
PrivateFPC::public_dispatch	+6 ❌	+0.11%
Lending::init	+3 ❌	+0.11%
Claim::public_dispatch	+6 ❌	+0.11%
Lending::_borrow	+16 ❌	+0.10%
AvmInitializerTest::constructor	+3 ❌	+0.10%
TokenBlacklist::mint_private	+6 ❌	+0.10%
AppSubscription::constructor	+6 ❌	+0.10%
AvmTest::sha256_hash	+3 ❌	+0.08%
AvmTest::bulk_testing	+24 ❌	+0.08%
AppSubscription::public_dispatch	+6 ❌	+0.07%
Token::mint_private	+3 ❌	+0.07%
Parent::public_nested_static_call	+3 ❌	+0.07%
CardGame::on_game_joined	+3 ❌	+0.06%
CardGame::start_game	+3 ❌	+0.04%
CardGame::on_cards_claimed	+3 ❌	+0.04%
Parent::public_dispatch	+3 ❌	+0.03%
Lending::update_accumulator	+3 ❌	+0.02%
Test::public_dispatch	-21 ✅	-0.06%
Test::consume_message_from_arbitrary_sender_public	-6 ✅	-0.07%
TokenBridge::claim_public	-15 ✅	-0.10%
Uniswap::swap_public	-17 ✅	-0.11%
TokenBridge::exit_to_l1_public	-9 ✅	-0.11%
Test::consume_mint_public_message	-15 ✅	-0.11%
NFT::public_dispatch	-355 ✅	-0.89%
Token::public_dispatch	-850 ✅	-1.26%
NFT::finalize_transfer_to_private	-590 ✅	-9.55%
Token::complete_refund	-1,396 ✅	-29.35%

Full diff report 👇

Program	Bytecode size in bytes (+/-)	%
AvmTest::elliptic_curve_add_and_double	180 (+9)	+5.26%
CardGame::on_card_played	5,908 (+185)	+3.23%
DocsExample::get_shared_immutable_constrained_public_indirect	432 (+11)	+2.61%
Child::set_value_with_two_nested_calls	752 (+14)	+1.90%
AvmTest::nested_call_to_add_with_gas	852 (+14)	+1.67%
Uniswap::_assert_token_is_same	474 (+7)	+1.50%
CardGame::public_dispatch	28,156 (+334)	+1.20%
Lending::_deposit	2,504 (+10)	+0.40%
Uniswap::public_dispatch	33,645 (+120)	+0.36%
InclusionProofs::public_dispatch	5,686 (+20)	+0.35%
FPC::public_dispatch	11,779 (+41)	+0.35%
Auth::public_dispatch	29,936 (+86)	+0.29%
StatefulTest::public_dispatch	12,552 (+36)	+0.29%
StatefulTest::public_constructor	4,571 (+13)	+0.29%
EasyPrivateVoting::public_dispatch	9,233 (+26)	+0.28%
AvmInitializerTest::public_dispatch	3,692 (+10)	+0.27%
Child::public_dispatch	5,508 (+14)	+0.25%
TokenBlacklist::public_dispatch	131,265 (+332)	+0.25%
Lending::_repay	9,387 (+23)	+0.25%
AvmTest::public_dispatch	92,579 (+219)	+0.24%
TokenBlacklist::constructor	14,778 (+33)	+0.22%
AuthRegistry::consume	8,258 (+18)	+0.22%
AvmTest::set_storage_map	2,804 (+6)	+0.21%
AvmTest::add_storage_map	4,212 (+9)	+0.21%
AuthRegistry::set_authorized	2,927 (+6)	+0.21%
AuthRegistry::_set_authorized	2,954 (+6)	+0.20%
NFT::mint	5,948 (+12)	+0.20%
AuthRegistry::is_consumable	3,041 (+6)	+0.20%
TokenBlacklist::transfer_public	15,630 (+30)	+0.19%
AvmTest::poseidon2_hash	1,566 (+3)	+0.19%
TokenBlacklist::mint_public	9,611 (+18)	+0.19%
TokenBlacklist::update_roles	14,608 (+27)	+0.19%
Token::transfer_public	9,784 (+18)	+0.18%
AvmTest::get_args_hash	1,632 (+3)	+0.18%
NFT::owner_of	3,284 (+6)	+0.18%
Auth::set_authorized_delay	9,918 (+18)	+0.18%
AuthRegistry::public_dispatch	23,251 (+42)	+0.18%
FeeJuice::_increase_public_balance	3,342 (+6)	+0.18%
TokenBlacklist::get_roles	3,353 (+6)	+0.18%
Auth::set_authorized	10,114 (+18)	+0.18%
TokenBlacklist::_increase_public_balance	3,387 (+6)	+0.18%
Token::_increase_public_balance	3,387 (+6)	+0.18%
EasyPrivateVoting::add_to_tally_public	3,390 (+6)	+0.18%
Spam::public_spam	3,396 (+6)	+0.18%
TokenBlacklist::burn_public	10,333 (+18)	+0.17%
AuthRegistry::set_reject_all	1,729 (+3)	+0.17%
Lending::_withdraw	13,368 (+23)	+0.17%
Token::mint_public	5,256 (+9)	+0.17%
NFT::_finish_transfer_to_public	1,789 (+3)	+0.17%
PriceFeed::set_price	1,813 (+3)	+0.17%
AvmTest::read_storage_map	1,817 (+3)	+0.17%
StatefulTest::get_public_value	1,828 (+3)	+0.16%
AuthRegistry::is_reject_all	1,838 (+3)	+0.16%
Token::burn_public	7,363 (+12)	+0.16%
PriceFeed::get_price	1,859 (+3)	+0.16%
NFT::transfer_in_public	5,606 (+9)	+0.16%
Benchmarking::broadcast	1,878 (+3)	+0.16%
InclusionProofs::constructor	3,771 (+6)	+0.16%
NFT::is_minter	1,888 (+3)	+0.16%
Token::is_minter	1,888 (+3)	+0.16%
Auth::get_scheduled_authorized	1,893 (+3)	+0.16%
Crowdfunding::public_dispatch	8,219 (+13)	+0.16%
FeeJuice::balance_of_public	1,920 (+3)	+0.16%
StatefulTest::increment_public_value_no_init_check	1,947 (+3)	+0.15%
TokenBlacklist::balance_of_public	1,970 (+3)	+0.15%
Token::balance_of_public	1,970 (+3)	+0.15%
TokenBlacklist::shield	11,902 (+18)	+0.15%
Benchmarking::increment_balance	3,984 (+6)	+0.15%
StatefulTest::increment_public_value	1,992 (+3)	+0.15%
Auth::get_authorized	1,994 (+3)	+0.15%
NFT::set_minter	2,024 (+3)	+0.15%
Token::set_minter	2,024 (+3)	+0.15%
PrivateFPC::constructor	4,100 (+6)	+0.15%
Lending::get_asset	2,078 (+3)	+0.14%
FPC::constructor	4,169 (+6)	+0.14%
Uniswap::constructor	4,169 (+6)	+0.14%
Auth::constructor	4,191 (+6)	+0.14%
TokenBridge::constructor	4,238 (+6)	+0.14%
TokenBridge::public_dispatch	32,279 (+45)	+0.14%
FeeJuice::check_balance	2,179 (+3)	+0.14%
Auth::get_authorized_delay	2,219 (+3)	+0.14%
EasyPrivateVoting::constructor	4,446 (+6)	+0.14%
Token::shield	8,932 (+12)	+0.13%
Claim::constructor	4,561 (+6)	+0.13%
Spam::public_dispatch	4,562 (+6)	+0.13%
Benchmarking::public_dispatch	7,024 (+9)	+0.13%
Uniswap::_approve_bridge_and_exit_input_asset_to_L1	9,442 (+12)	+0.13%
NFT::constructor	7,355 (+9)	+0.12%
Token::assert_minter_and_mint	2,458 (+3)	+0.12%
PriceFeed::public_dispatch	4,935 (+6)	+0.12%
FeeJuice::public_dispatch	9,875 (+12)	+0.12%
DocsExample::public_dispatch	5,807 (+7)	+0.12%
Lending::get_position	7,620 (+9)	+0.12%
Crowdfunding::init	5,135 (+6)	+0.12%
Token::constructor	7,844 (+9)	+0.11%
Lending::public_dispatch	78,617 (+90)	+0.11%
PrivateFPC::public_dispatch	5,250 (+6)	+0.11%
Lending::init	2,768 (+3)	+0.11%
Claim::public_dispatch	5,711 (+6)	+0.11%
Lending::_borrow	15,348 (+16)	+0.10%
AvmInitializerTest::constructor	2,880 (+3)	+0.10%
TokenBlacklist::mint_private	5,866 (+6)	+0.10%
AppSubscription::constructor	6,077 (+6)	+0.10%
AvmTest::sha256_hash	3,549 (+3)	+0.08%
AvmTest::bulk_testing	31,988 (+24)	+0.08%
AppSubscription::public_dispatch	8,046 (+6)	+0.07%
Token::mint_private	4,387 (+3)	+0.07%
Parent::public_nested_static_call	4,503 (+3)	+0.07%
CardGame::on_game_joined	4,767 (+3)	+0.06%
CardGame::start_game	7,285 (+3)	+0.04%
CardGame::on_cards_claimed	7,475 (+3)	+0.04%
Parent::public_dispatch	11,279 (+3)	+0.03%
Lending::update_accumulator	12,821 (+3)	+0.02%
Test::public_dispatch	32,778 (-21)	-0.06%
Test::consume_message_from_arbitrary_sender_public	8,632 (-6)	-0.07%
TokenBridge::claim_public	14,799 (-15)	-0.10%
Uniswap::swap_public	15,342 (-17)	-0.11%
TokenBridge::exit_to_l1_public	8,032 (-9)	-0.11%
Test::consume_mint_public_message	13,363 (-15)	-0.11%
NFT::public_dispatch	39,615 (-355)	-0.89%
Token::public_dispatch	66,372 (-850)	-1.26%
NFT::finalize_transfer_to_private	5,587 (-590)	-9.55%
Token::complete_refund	3,360 (-1,396)	-29.35%

github-actions · 2024-10-04T18:24:11Z

Changes to circuit sizes

Generated at commit: fc6a408e02fabb67b676a5198f117afcf37a389f, compared to commit: 4873c7bc850092e2962fcaf747ec60f19e89ba92

🧾 Summary (100% most significant diffs)

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
parity_base	-3,282 ✅	-61.11%	0 ➖	0.00%
rollup_block_merge	-1,395 ✅	-6.89%	-1,288 ✅	-0.07%
rollup_root	-1,395 ✅	-6.89%	-1,288 ✅	-0.07%
rollup_block_root	-2,188 ✅	-52.67%	-1,974 ✅	-0.07%
parity_root	-3,282 ✅	-60.79%	-2,961 ✅	-0.08%
rollup_merge	-2,188 ✅	-59.60%	-1,974 ✅	-0.10%
rollup_base	-248,861 ✅	-37.04%	-225,803 ✅	-6.38%

Full diff report 👇

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
parity_base	2,089 (-3,282)	-61.11%	53,408 (0)	0.00%
rollup_block_merge	18,860 (-1,395)	-6.89%	1,952,775 (-1,288)	-0.07%
rollup_root	18,844 (-1,395)	-6.89%	1,952,743 (-1,288)	-0.07%
rollup_block_root	1,966 (-2,188)	-52.67%	2,868,779 (-1,974)	-0.07%
parity_root	2,117 (-3,282)	-60.79%	3,816,888 (-2,961)	-0.08%
rollup_merge	1,483 (-2,188)	-59.60%	1,916,503 (-1,974)	-0.10%
rollup_base	423,026 (-248,861)	-37.04%	3,315,266 (-225,803)	-6.38%

lucasxia01 · 2024-10-05T00:05:40Z

barretenberg/cpp/src/barretenberg/dsl/acir_proofs/c_bind.cpp

@@ -79,6 +79,7 @@ WASM_EXPORT void acir_prove_and_verify_ultra_honk(uint8_t const* acir_vec, uint8
    UltraVerifier verifier{ verification_key };

    *result = verifier.verify_proof(proof);
+    info("verified: ", *result);


keeping this here allows us to see the memory printout for wasm

lucasxia01 · 2024-10-05T00:06:24Z

barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.hpp

@@ -62,7 +62,6 @@ class ECCVMProver {
    FF translation_batching_challenge_v; // to be rederived by the translator verifier

    SumcheckOutput<Flavor> sumcheck_output;
-    std::shared_ptr<CommitmentKey> commitment_key;


these just seem to exist only to have shorter names, but the extra reference count makes it more annoying to free and lazily construct

barretenberg/cpp/src/barretenberg/flavor/flavor.hpp

lucasxia01 · 2024-10-05T00:17:28Z

barretenberg/cpp/src/barretenberg/ultra_honk/decider_prover.cpp

@@ -50,16 +49,20 @@ template <IsUltraFlavor Flavor> void DeciderProver_<Flavor>::execute_relation_ch
 * */
 template <IsUltraFlavor Flavor> void DeciderProver_<Flavor>::execute_pcs_rounds()
 {
+    if (proving_key->proving_key.commitment_key == nullptr) {


I think this will be a nullptr in the UltraHonk case, but not for ClientIVC because we hold a commitment key in the accumulator.

please add a comment - I think it would be nice to have some test that validate that the commitment key is initialised at a certain stage and has been deinitialised at another, but not sure if that's easy

maramihali

LGTM, thanks for this! Left a suggestion and a request for comment

maramihali · 2024-10-05T10:45:05Z

barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/mega_flavor.hpp

@@ -550,6 +550,9 @@ class MegaFlavor {
        VerificationKey(ProvingKey& proving_key)
        {
            set_metadata(proving_key);
+            if (proving_key.commitment_key == nullptr) {


Will you please add a comment why this is needed i.e. why this could be a nullptr at this point

maramihali · 2024-10-05T10:45:50Z

barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/ultra_flavor.hpp

@@ -442,6 +442,9 @@ class UltraFlavor {
            this->contains_recursive_proof = proving_key.contains_recursive_proof;
            this->recursive_proof_public_input_indices = proving_key.recursive_proof_public_input_indices;

+            if (proving_key.commitment_key == nullptr) {


maramihali · 2024-10-05T10:47:29Z

barretenberg/cpp/src/barretenberg/ultra_honk/decider_prover.cpp

@@ -50,16 +49,20 @@ template <IsUltraFlavor Flavor> void DeciderProver_<Flavor>::execute_relation_ch
 * */
 template <IsUltraFlavor Flavor> void DeciderProver_<Flavor>::execute_pcs_rounds()
 {
+    if (proving_key->proving_key.commitment_key == nullptr) {


please add a comment - I think it would be nice to have some test that validate that the commitment key is initialised at a certain stage and has been deinitialised at another, but not sure if that's easy

maramihali · 2024-10-05T10:51:13Z

barretenberg/cpp/src/barretenberg/ultra_honk/oink_prover.cpp

-        witness_commitments.w_l = commitment_key->commit(proving_key->proving_key.polynomials.w_l);
-        witness_commitments.w_r = commitment_key->commit(proving_key->proving_key.polynomials.w_r);
-        witness_commitments.w_o = commitment_key->commit(proving_key->proving_key.polynomials.w_o);
+        witness_commitments.w_l =


I guess you could do const auto& commitment_key = proving_key->proving_key.commitment_key; inside this function, before committing to all the wires, for more succintness.

codygunton · 2024-10-07T08:38:57Z

Merged now so I can easily work off of it--feel free to put in comments etc in the next PR ofc.

:robot: I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.57.0</summary> ## [0.57.0](https://github.com/AztecProtocol/aztec-packages/compare/aztec-package-v0.56.0...aztec-package-v0.57.0) (2024-10-07) ### Features * Consolidate spartan metrics ([#9037](https://github.com/AztecProtocol/aztec-packages/issues/9037)) ([0cff28b](https://github.com/AztecProtocol/aztec-packages/commit/0cff28b7582c0bccde453c86e05af23121011dfe)) * Proposers claim proving rights ([#8832](https://github.com/AztecProtocol/aztec-packages/issues/8832)) ([f8b0802](https://github.com/AztecProtocol/aztec-packages/commit/f8b0802b72d7db864d55ed12939f63670e46d71f)) * Prover escrow and 712-signed quotes ([#8877](https://github.com/AztecProtocol/aztec-packages/issues/8877)) ([2f1d19a](https://github.com/AztecProtocol/aztec-packages/commit/2f1d19ac3baa35800ac941f0941461addad7ab66)) * Prover node sends quotes on new epochs ([#8864](https://github.com/AztecProtocol/aztec-packages/issues/8864)) ([4adf860](https://github.com/AztecProtocol/aztec-packages/commit/4adf8600dab5b7e177b84b6920674024c01b4e25)), closes [#8684](https://github.com/AztecProtocol/aztec-packages/issues/8684) [#8683](https://github.com/AztecProtocol/aztec-packages/issues/8683) * Prover node stakes to escrow contract ([#8975](https://github.com/AztecProtocol/aztec-packages/issues/8975)) ([9eb8815](https://github.com/AztecProtocol/aztec-packages/commit/9eb8815dc00641d6568e952b336e6f7348728054)) ### Bug Fixes * L1 request intervals ([#8997](https://github.com/AztecProtocol/aztec-packages/issues/8997)) ([780fd62](https://github.com/AztecProtocol/aztec-packages/commit/780fd6210d0b1f8fc386135082ef443b449b3cdf)) ### Miscellaneous * Add memoize decorator ([#8976](https://github.com/AztecProtocol/aztec-packages/issues/8976)) ([1d9711b](https://github.com/AztecProtocol/aztec-packages/commit/1d9711b0a145f47bfe6d4d64b6837873e2725d2f)) * Bump foundry ([#8868](https://github.com/AztecProtocol/aztec-packages/issues/8868)) ([bfd0b8e](https://github.com/AztecProtocol/aztec-packages/commit/bfd0b8e6932c2b2fdf6e1c35c3c324edec92118a)) * Fix the transfer test we run in kind clusters ([#8796](https://github.com/AztecProtocol/aztec-packages/issues/8796)) ([7c42ef0](https://github.com/AztecProtocol/aztec-packages/commit/7c42ef09bfc006c1d9725ac89e315d9a84c430fc)) * Remove mock proof commitment escrow ([#9011](https://github.com/AztecProtocol/aztec-packages/issues/9011)) ([4873c7b](https://github.com/AztecProtocol/aztec-packages/commit/4873c7bc850092e2962fcaf747ec60f19e89ba92)) </details> <details><summary>barretenberg.js: 0.57.0</summary> ## [0.57.0](https://github.com/AztecProtocol/aztec-packages/compare/barretenberg.js-v0.56.0...barretenberg.js-v0.57.0) (2024-10-07) ### Features * Add crsPath to BackendOptions ([#8775](https://github.com/AztecProtocol/aztec-packages/issues/8775)) ([78fa676](https://github.com/AztecProtocol/aztec-packages/commit/78fa676eda1c6b35fe843e72347a77f9f6d89fa4)) * CI/local S3 build cache ([#8802](https://github.com/AztecProtocol/aztec-packages/issues/8802)) ([06be26e](https://github.com/AztecProtocol/aztec-packages/commit/06be26e2b5dfd4b1fa35f57231e15ebffbe410a7)) * Use structured polys to reduce prover memory ([#8587](https://github.com/AztecProtocol/aztec-packages/issues/8587)) ([59e3dd9](https://github.com/AztecProtocol/aztec-packages/commit/59e3dd93a70398e828269dbf13d8c4b9b38227ea)) ### Bug Fixes * **avm:** Kernel out full proving fix ([#8873](https://github.com/AztecProtocol/aztec-packages/issues/8873)) ([784d483](https://github.com/AztecProtocol/aztec-packages/commit/784d483b592cb80da143634c07d330ba2f2c9ab7)) * **CI:** Yarn-project publish_npm script ([#8996](https://github.com/AztecProtocol/aztec-packages/issues/8996)) ([dc87b0e](https://github.com/AztecProtocol/aztec-packages/commit/dc87b0e9c33d59924368341f765c7a5fedf420d2)) ### Miscellaneous * Publish bb.js in github action ([#8959](https://github.com/AztecProtocol/aztec-packages/issues/8959)) ([a21ab89](https://github.com/AztecProtocol/aztec-packages/commit/a21ab8915937b3c3f98551fb078c9874f2ed1547)) * Push proof splitting helpers into bb.js ([#8795](https://github.com/AztecProtocol/aztec-packages/issues/8795)) ([951ce6d](https://github.com/AztecProtocol/aztec-packages/commit/951ce6d974504f0453ad2816d10c358d8ef02ce5)) </details> <details><summary>aztec-packages: 0.57.0</summary> ## [0.57.0](https://github.com/AztecProtocol/aztec-packages/compare/aztec-packages-v0.56.0...aztec-packages-v0.57.0) (2024-10-07) ### ⚠ BREAKING CHANGES * refactor contract interaction pt.1 ([#8938](https://github.com/AztecProtocol/aztec-packages/issues/8938)) * **avm:** remove CMOV opcode ([#9030](https://github.com/AztecProtocol/aztec-packages/issues/9030)) * **public:** only deploy/register public_dispatch ([#8988](https://github.com/AztecProtocol/aztec-packages/issues/8988)) * Syncing TypeVariableKind with Kind (https://github.com/noir-lang/noir/pull/6094) * **public:** reroute public calls to dispatch function ([#8972](https://github.com/AztecProtocol/aztec-packages/issues/8972)) * **avm:** make indirects big enough for relative addressing ([#9000](https://github.com/AztecProtocol/aztec-packages/issues/9000)) * keccak_ultra -> ultra_keccak ([#8878](https://github.com/AztecProtocol/aztec-packages/issues/8878)) * rename unsafe_rand, misc log unsafe changes ([#8844](https://github.com/AztecProtocol/aztec-packages/issues/8844)) * switch slot derivation to poseidon2 instead of pedersen ([#8801](https://github.com/AztecProtocol/aztec-packages/issues/8801)) * fix storage layout export ([#8880](https://github.com/AztecProtocol/aztec-packages/issues/8880)) * remove SharedMutablePrivateGetter ([#8749](https://github.com/AztecProtocol/aztec-packages/issues/8749)) ### Features * Add CLI command to advance epoch ([#9014](https://github.com/AztecProtocol/aztec-packages/issues/9014)) ([36f6187](https://github.com/AztecProtocol/aztec-packages/commit/36f6187eb8cd9aea804b1404d7b5baf8945133bc)) * Add crsPath to BackendOptions ([#8775](https://github.com/AztecProtocol/aztec-packages/issues/8775)) ([78fa676](https://github.com/AztecProtocol/aztec-packages/commit/78fa676eda1c6b35fe843e72347a77f9f6d89fa4)) * Add support for unlimited width in ACIR ([#8960](https://github.com/AztecProtocol/aztec-packages/issues/8960)) ([3e05e22](https://github.com/AztecProtocol/aztec-packages/commit/3e05e22d8d9fc73c1225570342392dda5661403f)) * Adding CPU / RAM configurations to helm network deployments ([#8786](https://github.com/AztecProtocol/aztec-packages/issues/8786)) ([7790ede](https://github.com/AztecProtocol/aztec-packages/commit/7790ede48933d2f831089be4375fd62081d72d77)) * Allow silencing an unused variable defined via `let` (https://github.com/noir-lang/noir/pull/6149) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * **avm:** Integrate public inputs in AVM recursive verifier ([#8846](https://github.com/AztecProtocol/aztec-packages/issues/8846)) ([4354ae0](https://github.com/AztecProtocol/aztec-packages/commit/4354ae030b5b7e365ff0361e88cd74cd95d71e04)), closes [#8714](https://github.com/AztecProtocol/aztec-packages/issues/8714) * **avm:** Simulator relative addr ([#8837](https://github.com/AztecProtocol/aztec-packages/issues/8837)) ([dda528a](https://github.com/AztecProtocol/aztec-packages/commit/dda528a2f1ca1a52ce08f6175b594f6567fc370e)) * **avm:** Skip gas accounting for fake rows ([#8944](https://github.com/AztecProtocol/aztec-packages/issues/8944)) ([818325a](https://github.com/AztecProtocol/aztec-packages/commit/818325ae35ce0260d88e097261d173f4dc326cbe)), closes [#8903](https://github.com/AztecProtocol/aztec-packages/issues/8903) * **aztec-nr/public:** Dispatch function ([#8821](https://github.com/AztecProtocol/aztec-packages/issues/8821)) ([3af2381](https://github.com/AztecProtocol/aztec-packages/commit/3af238177ef273bec36c1faccad80ccc9cfed192)) * CI/local S3 build cache ([#8802](https://github.com/AztecProtocol/aztec-packages/issues/8802)) ([06be26e](https://github.com/AztecProtocol/aztec-packages/commit/06be26e2b5dfd4b1fa35f57231e15ebffbe410a7)) * Connect the public inputs but not the proof in ivc recursion constraints ([#8973](https://github.com/AztecProtocol/aztec-packages/issues/8973)) ([4f1af9a](https://github.com/AztecProtocol/aztec-packages/commit/4f1af9a0baf9e342d0de41ebd58fed24a0c4f615)) * Consolidate spartan metrics ([#9037](https://github.com/AztecProtocol/aztec-packages/issues/9037)) ([0cff28b](https://github.com/AztecProtocol/aztec-packages/commit/0cff28b7582c0bccde453c86e05af23121011dfe)) * Delivering partial fields via unencrypted logs ([#8725](https://github.com/AztecProtocol/aztec-packages/issues/8725)) ([8a59b17](https://github.com/AztecProtocol/aztec-packages/commit/8a59b176545ba6d0eed434cba50c9d5c745cfd25)) * Detect unconstructed structs (https://github.com/noir-lang/noir/pull/6061) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Documenting note macros ([#9009](https://github.com/AztecProtocol/aztec-packages/issues/9009)) ([623b1dd](https://github.com/AztecProtocol/aztec-packages/commit/623b1dd7130360c2dde5e221fc560e80973daa52)) * Empty block root circuit ([#8805](https://github.com/AztecProtocol/aztec-packages/issues/8805)) ([b5fc91c](https://github.com/AztecProtocol/aztec-packages/commit/b5fc91c305bf0ea8935faa2e754a5d390d4f40a1)) * Enforce limits for each side effect type in AVM ([#8889](https://github.com/AztecProtocol/aztec-packages/issues/8889)) ([57d5cfd](https://github.com/AztecProtocol/aztec-packages/commit/57d5cfd1e6936066a72dad312dfea6032ebd4e72)) * Expose `derived_generators` and `pedersen_commitment_with_separator` from the stdlib (https://github.com/noir-lang/noir/pull/6154) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Faster CIV benching with mocked VKs ([#8843](https://github.com/AztecProtocol/aztec-packages/issues/8843)) ([fad3d6e](https://github.com/AztecProtocol/aztec-packages/commit/fad3d6e41765c774696ecc98d45a27851c7c4442)) * Handle consecutive kernels in IVC ([#8924](https://github.com/AztecProtocol/aztec-packages/issues/8924)) ([0be9f25](https://github.com/AztecProtocol/aztec-packages/commit/0be9f253238cc1453d07385ece565f946d4212a3)) * Handle epoch proofs on L1 ([#8704](https://github.com/AztecProtocol/aztec-packages/issues/8704)) ([730f23c](https://github.com/AztecProtocol/aztec-packages/commit/730f23c4965d5aed266654f9fbad3269542fb186)) * Hoist constant allocation outside of loops (https://github.com/noir-lang/noir/pull/6158) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Inclusive for loop (https://github.com/noir-lang/noir/pull/6200) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Lazy commitment key allocation for better memory ([#9017](https://github.com/AztecProtocol/aztec-packages/issues/9017)) ([527d820](https://github.com/AztecProtocol/aztec-packages/commit/527d820fcadc24105e43b819da1ad9d848b755ca)) * Let `Module::functions` and `Module::structs` return them in definition order (https://github.com/noir-lang/noir/pull/6178) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Make shplemini proof constant ([#8826](https://github.com/AztecProtocol/aztec-packages/issues/8826)) ([c8cbc33](https://github.com/AztecProtocol/aztec-packages/commit/c8cbc3388c2bbe9a0ba8a95717e1b71c602d58e3)) * New Tracy Time preset and more efficient univariate extension ([#8789](https://github.com/AztecProtocol/aztec-packages/issues/8789)) ([ead4649](https://github.com/AztecProtocol/aztec-packages/commit/ead4649b0c21a98534c36e7755edac68052b3c26)) * Note fields in TS artifact ([#8906](https://github.com/AztecProtocol/aztec-packages/issues/8906)) ([7f40411](https://github.com/AztecProtocol/aztec-packages/commit/7f404118af0e81233b4c4b546260ed6fb59c1f3c)) * Nullable note fields info in ABI ([#8901](https://github.com/AztecProtocol/aztec-packages/issues/8901)) ([e0d5e06](https://github.com/AztecProtocol/aztec-packages/commit/e0d5e06d8fc30cbdda7e4102dbf3412808382377)) * Origin Tags part 1 ([#8787](https://github.com/AztecProtocol/aztec-packages/issues/8787)) ([ed1e23e](https://github.com/AztecProtocol/aztec-packages/commit/ed1e23edff04ea026a94ffc22b29b6ef520cdf55)) * Origin Tags Part 2 ([#8936](https://github.com/AztecProtocol/aztec-packages/issues/8936)) ([77c05f5](https://github.com/AztecProtocol/aztec-packages/commit/77c05f5469bad85e1394c05e1878791bac084559)) * Partial note log support in macros ([#8951](https://github.com/AztecProtocol/aztec-packages/issues/8951)) ([f3c1eaa](https://github.com/AztecProtocol/aztec-packages/commit/f3c1eaa8212ef0c8cf41e8fa7d0b41a666143bb4)) * **perf:** Handle array set optimization across blocks for Brillig functions (https://github.com/noir-lang/noir/pull/6153) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * **perf:** Optimize array set from get (https://github.com/noir-lang/noir/pull/6207) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * **perf:** Remove inc_rc instructions for arrays which are never mutably borrowed (https://github.com/noir-lang/noir/pull/6168) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * **perf:** Remove redundant inc rc without instructions between (https://github.com/noir-lang/noir/pull/6183) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * **perf:** Remove useless paired RC instructions within a block during DIE (https://github.com/noir-lang/noir/pull/6160) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * **perf:** Simplify the cfg after DIE (https://github.com/noir-lang/noir/pull/6184) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Proposers claim proving rights ([#8832](https://github.com/AztecProtocol/aztec-packages/issues/8832)) ([f8b0802](https://github.com/AztecProtocol/aztec-packages/commit/f8b0802b72d7db864d55ed12939f63670e46d71f)) * Prover escrow and 712-signed quotes ([#8877](https://github.com/AztecProtocol/aztec-packages/issues/8877)) ([2f1d19a](https://github.com/AztecProtocol/aztec-packages/commit/2f1d19ac3baa35800ac941f0941461addad7ab66)) * Prover node sends quotes on new epochs ([#8864](https://github.com/AztecProtocol/aztec-packages/issues/8864)) ([4adf860](https://github.com/AztecProtocol/aztec-packages/commit/4adf8600dab5b7e177b84b6920674024c01b4e25)), closes [#8684](https://github.com/AztecProtocol/aztec-packages/issues/8684) [#8683](https://github.com/AztecProtocol/aztec-packages/issues/8683) * Prover node stakes to escrow contract ([#8975](https://github.com/AztecProtocol/aztec-packages/issues/8975)) ([9eb8815](https://github.com/AztecProtocol/aztec-packages/commit/9eb8815dc00641d6568e952b336e6f7348728054)) * Prover node submits epoch proofs ([#8794](https://github.com/AztecProtocol/aztec-packages/issues/8794)) ([1612909](https://github.com/AztecProtocol/aztec-packages/commit/161290925978fdcb6321a7d0b6c5d5b2ca6fd837)) * **public:** Only deploy/register public_dispatch ([#8988](https://github.com/AztecProtocol/aztec-packages/issues/8988)) ([6c30453](https://github.com/AztecProtocol/aztec-packages/commit/6c3045332ea44cf16b04918d321e8dcda28c0adf)) * **public:** Reroute public calls to dispatch function ([#8972](https://github.com/AztecProtocol/aztec-packages/issues/8972)) ([c4297ce](https://github.com/AztecProtocol/aztec-packages/commit/c4297ced66b977eab3ba52707ef45ddea3f19ee4)) * Refactor contract interaction pt.1 ([#8938](https://github.com/AztecProtocol/aztec-packages/issues/8938)) ([62963f9](https://github.com/AztecProtocol/aztec-packages/commit/62963f9cb30fc6e0187e79ad4e7d49653a937b80)) * Refactor SSA passes to run on individual functions (https://github.com/noir-lang/noir/pull/6072) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Remote quote provider ([#8946](https://github.com/AztecProtocol/aztec-packages/issues/8946)) ([1c3cb63](https://github.com/AztecProtocol/aztec-packages/commit/1c3cb63c45f5ee6605911ecc0cc2524aef67391c)) * Remove orphaned blocks from cfg to improve `simplify_cfg` pass. (https://github.com/noir-lang/noir/pull/6198) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Remove SharedMutablePrivateGetter ([#8749](https://github.com/AztecProtocol/aztec-packages/issues/8749)) ([154d396](https://github.com/AztecProtocol/aztec-packages/commit/154d396b5344ef5a032bdfe11858c8f0e69ce2bb)) * Rename unsafe_rand, misc log unsafe changes ([#8844](https://github.com/AztecProtocol/aztec-packages/issues/8844)) ([81a4d74](https://github.com/AztecProtocol/aztec-packages/commit/81a4d74c3200823cdb41125b8c98964dc3fdc1e8)) * Reset circuit variants ([#8876](https://github.com/AztecProtocol/aztec-packages/issues/8876)) ([415d78f](https://github.com/AztecProtocol/aztec-packages/commit/415d78f80ebd65b9a824dfc9958788de426e805a)) * Simplify sha256 implementation (https://github.com/noir-lang/noir/pull/6142) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Skip `remove_enable_side_effects` pass on brillig functions (https://github.com/noir-lang/noir/pull/6199) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Snapshotting for e2e p2p tests ([#8896](https://github.com/AztecProtocol/aztec-packages/issues/8896)) ([ebb86b7](https://github.com/AztecProtocol/aztec-packages/commit/ebb86b7f453315afc3116fbf9aeecca8ff39961c)) * **sol:** Add shplemini transcript ([#8865](https://github.com/AztecProtocol/aztec-packages/issues/8865)) ([089dbad](https://github.com/AztecProtocol/aztec-packages/commit/089dbadd9e9ca304004c38e01d3703d923b257ec)) * **sol:** Shplemini verification ([#8866](https://github.com/AztecProtocol/aztec-packages/issues/8866)) ([989eb08](https://github.com/AztecProtocol/aztec-packages/commit/989eb08256db49e65e2d5e8a91790f941761d08f)) * **ssa:** Simplify signed casts (https://github.com/noir-lang/noir/pull/6166) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Stronger typing in L1 contracts ([#8841](https://github.com/AztecProtocol/aztec-packages/issues/8841)) ([0b5aaea](https://github.com/AztecProtocol/aztec-packages/commit/0b5aaea7f28061abdae77e2de8e6a10c1b887a7e)) * Switch slot derivation to poseidon2 instead of pedersen ([#8801](https://github.com/AztecProtocol/aztec-packages/issues/8801)) ([e3e0b6f](https://github.com/AztecProtocol/aztec-packages/commit/e3e0b6f196afc7fd9c4ed1f5d65cabb634258dcd)) * Sync from aztec-packages (https://github.com/noir-lang/noir/pull/6151) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Sync from aztec-packages (https://github.com/noir-lang/noir/pull/6210) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Syncing TypeVariableKind with Kind (https://github.com/noir-lang/noir/pull/6094) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Trace AVM side effects per enqueued call ([#8918](https://github.com/AztecProtocol/aztec-packages/issues/8918)) ([c1a95db](https://github.com/AztecProtocol/aztec-packages/commit/c1a95db2aa3e692f8fb767b251f18572a8fd81cc)) * Ultra honk on Shplemini ([#8886](https://github.com/AztecProtocol/aztec-packages/issues/8886)) ([d8d04f6](https://github.com/AztecProtocol/aztec-packages/commit/d8d04f6f0b9ca0aa36008dc53dde2562dc3afa63)) * Use structured polys to reduce prover memory ([#8587](https://github.com/AztecProtocol/aztec-packages/issues/8587)) ([59e3dd9](https://github.com/AztecProtocol/aztec-packages/commit/59e3dd93a70398e828269dbf13d8c4b9b38227ea)) * Visibility for globals (https://github.com/noir-lang/noir/pull/6161) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Visibility for impl functions (https://github.com/noir-lang/noir/pull/6179) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Visibility for modules (https://github.com/noir-lang/noir/pull/6165) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Visibility for type aliases (https://github.com/noir-lang/noir/pull/6058) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) ### Bug Fixes * (LSP) make goto and hover work well for attributes (https://github.com/noir-lang/noir/pull/6152) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Add epoch proof quote to json rpc serialization ([#9013](https://github.com/AztecProtocol/aztec-packages/issues/9013)) ([da2106f](https://github.com/AztecProtocol/aztec-packages/commit/da2106f1d7dab24f4b6e34bcb7c884e61e1e98c0)) * Add missing visibility for auto-import names (https://github.com/noir-lang/noir/pull/6205) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Add persistent storage for aztec nodes in the spartan cluster ([#8923](https://github.com/AztecProtocol/aztec-packages/issues/8923)) ([23786be](https://github.com/AztecProtocol/aztec-packages/commit/23786be68cdb6f35b6919cde5af57ab70f9741ad)) * Add values file as an arg to the earthly command ([#8857](https://github.com/AztecProtocol/aztec-packages/issues/8857)) ([3c15da3](https://github.com/AztecProtocol/aztec-packages/commit/3c15da3132b6605cf0ad451b79ac3e688e18d938)) * Archiver getBlocksForEpoch and EpochProvingJob on block 1 ([#9016](https://github.com/AztecProtocol/aztec-packages/issues/9016)) ([9669db0](https://github.com/AztecProtocol/aztec-packages/commit/9669db07392b9feeca2789aca181aec58dddcfec)) * Arm build ([#8870](https://github.com/AztecProtocol/aztec-packages/issues/8870)) ([e4c5be8](https://github.com/AztecProtocol/aztec-packages/commit/e4c5be890049a897a3b1dddc95ed910b847f16b7)) * Assign one_idx in the same place as zero_idx in `UltraCircuitBuilder` ([#9029](https://github.com/AztecProtocol/aztec-packages/issues/9029)) ([fe11d9a](https://github.com/AztecProtocol/aztec-packages/commit/fe11d9a3a1b96454999ae627c902d8b362805172)) * Attestation pool ([#8854](https://github.com/AztecProtocol/aztec-packages/issues/8854)) ([ffbad35](https://github.com/AztecProtocol/aztec-packages/commit/ffbad355381f9db85a8dbb339af1b190e0ced3aa)) * Attestations are requested based on their proposal not just slot ([#8442](https://github.com/AztecProtocol/aztec-packages/issues/8442)) ([08d8578](https://github.com/AztecProtocol/aztec-packages/commit/08d8578d3f36a809fa415ab745f65e61ba575be1)) * **avm:** CALL operand resolution ([#9018](https://github.com/AztecProtocol/aztec-packages/issues/9018)) ([7f2e29f](https://github.com/AztecProtocol/aztec-packages/commit/7f2e29fd0042d7644e629dfe660533c681bf71a8)) * **avm:** Kernel out full proving fix ([#8873](https://github.com/AztecProtocol/aztec-packages/issues/8873)) ([784d483](https://github.com/AztecProtocol/aztec-packages/commit/784d483b592cb80da143634c07d330ba2f2c9ab7)) * **avm:** MSM not including enough operands ([#9004](https://github.com/AztecProtocol/aztec-packages/issues/9004)) ([830c6ab](https://github.com/AztecProtocol/aztec-packages/commit/830c6ab464d3e2ccd36d010072b89cb0b4ebdb16)) * Bb.js acir tests ([#8862](https://github.com/AztecProtocol/aztec-packages/issues/8862)) ([d8d0541](https://github.com/AztecProtocol/aztec-packages/commit/d8d0541bde1d98d6b7ae3c3bb2a38068383f802b)) * Bug in slot to timestamp conversion ([#8839](https://github.com/AztecProtocol/aztec-packages/issues/8839)) ([d9baebe](https://github.com/AztecProtocol/aztec-packages/commit/d9baebe9cf343bc47da5b99abc17cef2f76d875f)) * Call generate-variants on noir-projects bootstrap fast ([#8956](https://github.com/AztecProtocol/aztec-packages/issues/8956)) ([2570b59](https://github.com/AztecProtocol/aztec-packages/commit/2570b59aee921a23841e135bde9b85fd67b442e6)) * **ci:** Do not post public functions report when empty ([#8790](https://github.com/AztecProtocol/aztec-packages/issues/8790)) ([507710f](https://github.com/AztecProtocol/aztec-packages/commit/507710f3a77e0277b1c17ed7341715bc023f8c5d)) * Circleci ([#9056](https://github.com/AztecProtocol/aztec-packages/issues/9056)) ([5c77c4f](https://github.com/AztecProtocol/aztec-packages/commit/5c77c4f63b2d69c5e28feade2056facafe859e03)) * **CI:** Yarn-project publish_npm script ([#8996](https://github.com/AztecProtocol/aztec-packages/issues/8996)) ([dc87b0e](https://github.com/AztecProtocol/aztec-packages/commit/dc87b0e9c33d59924368341f765c7a5fedf420d2)) * Databus panic for fns with empty params ([#8847](https://github.com/AztecProtocol/aztec-packages/issues/8847)) ([6a13290](https://github.com/AztecProtocol/aztec-packages/commit/6a132906ec8653cec7f30af2e008c8881d42db46)) * Disable flakey test ([#8927](https://github.com/AztecProtocol/aztec-packages/issues/8927)) ([151bb79](https://github.com/AztecProtocol/aztec-packages/commit/151bb79add3dfff059ccadee7c0bc25cc9059440)) * Do not assume blocks as proven in e2e-prover tests ([#8848](https://github.com/AztecProtocol/aztec-packages/issues/8848)) ([2d5ae66](https://github.com/AztecProtocol/aztec-packages/commit/2d5ae664964b66c4b617965fe85488e95706a8d3)) * Do not duplicate constant arrays in brillig (https://github.com/noir-lang/noir/pull/6155) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Do not start block root rollup proof before block is built ([#8952](https://github.com/AztecProtocol/aztec-packages/issues/8952)) ([af1a6af](https://github.com/AztecProtocol/aztec-packages/commit/af1a6af29cc9af8c24df964bcfde83b4064db7ac)) * **docs:** Rename recursion.md to recursion.mdx (https://github.com/noir-lang/noir/pull/6195) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * **docs:** Update private_voting_contract.md ([#9010](https://github.com/AztecProtocol/aztec-packages/issues/9010)) ([86afa81](https://github.com/AztecProtocol/aztec-packages/commit/86afa81d744bcf0c3ffd732663a24234b26e8aa8)) * Don't warn twice when referring to private item (https://github.com/noir-lang/noir/pull/6216) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Earthly-local ([#8915](https://github.com/AztecProtocol/aztec-packages/issues/8915)) ([9b3da97](https://github.com/AztecProtocol/aztec-packages/commit/9b3da97668209b89af4a04343ccc5f4b512c4127)) * Earthly-script output ([#8871](https://github.com/AztecProtocol/aztec-packages/issues/8871)) ([a02370c](https://github.com/AztecProtocol/aztec-packages/commit/a02370c1738c70ea8c6300c43a396f310cd2e017)) * Ensure to_bytes returns the canonical decomposition (https://github.com/noir-lang/noir/pull/6084) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * **external PR, twt--:** Remove quotes $artifacts_to_transpile in the for loop list of compile_then_transpile.sh ([#8932](https://github.com/AztecProtocol/aztec-packages/issues/8932)) ([95cb977](https://github.com/AztecProtocol/aztec-packages/commit/95cb97755e7efa549930c47e2eb6f9fb5ba4020f)) * **external PR, twt--:** Un-nest docker compose variable substitution in sandbox config ([#8930](https://github.com/AztecProtocol/aztec-packages/issues/8930)) ([12b8526](https://github.com/AztecProtocol/aztec-packages/commit/12b852683334f74683f69d1114e7d8562a289d39)) * **external PR, twt--:** Update .aztec-run to run in non-interactive mode if NON_INTERACTIVE is set to non-zero ([#8931](https://github.com/AztecProtocol/aztec-packages/issues/8931)) ([d85a66d](https://github.com/AztecProtocol/aztec-packages/commit/d85a66d4b0a610a3704a7f7f83dead507af6b586)) * Fix storage layout export ([#8880](https://github.com/AztecProtocol/aztec-packages/issues/8880)) ([c8f43b3](https://github.com/AztecProtocol/aztec-packages/commit/c8f43b3b3ea37c015a284868a06bebc1422bb34b)) * Flaky e2e sample dapp and quick start ([#8768](https://github.com/AztecProtocol/aztec-packages/issues/8768)) ([48914ba](https://github.com/AztecProtocol/aztec-packages/commit/48914ba71039f18d7cea9fca65997c2a6e263b25)) * Handle more types in size_in_fields, and panic on unexpected type ([#8887](https://github.com/AztecProtocol/aztec-packages/issues/8887)) ([03280e9](https://github.com/AztecProtocol/aztec-packages/commit/03280e9d78eaf395bb3f3c514c794bd0fa0af240)) * Ignore compression of blocks after msg.len in sha256_var (https://github.com/noir-lang/noir/pull/6206) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * L1 request intervals ([#8997](https://github.com/AztecProtocol/aztec-packages/issues/8997)) ([780fd62](https://github.com/AztecProtocol/aztec-packages/commit/780fd6210d0b1f8fc386135082ef443b449b3cdf)) * Nightly-kind-test.yml ([#8899](https://github.com/AztecProtocol/aztec-packages/issues/8899)) ([2bb9ca6](https://github.com/AztecProtocol/aztec-packages/commit/2bb9ca6f4ef43e2e405934c748831dc5e81a58c8)) * Pass radix directly to the blackbox (https://github.com/noir-lang/noir/pull/6164) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * **public:** Stack trace short term hack ([#9024](https://github.com/AztecProtocol/aztec-packages/issues/9024)) ([f2ea42c](https://github.com/AztecProtocol/aztec-packages/commit/f2ea42cbdb1a1f57f407874f8598129886c88494)) * Reenable CI reruns on master ([#8907](https://github.com/AztecProtocol/aztec-packages/issues/8907)) ([124307d](https://github.com/AztecProtocol/aztec-packages/commit/124307df3b8252913bcafed897050e2dbb00c331)) * Remove extra `crate::` ([#8909](https://github.com/AztecProtocol/aztec-packages/issues/8909)) ([fd0e945](https://github.com/AztecProtocol/aztec-packages/commit/fd0e9455ac667366f060a3b9d955b075adb8c5da)) * Rerun.yml ([#8913](https://github.com/AztecProtocol/aztec-packages/issues/8913)) ([b363738](https://github.com/AztecProtocol/aztec-packages/commit/b363738bfa040a8381b754bdf6a8754280532ea2)) * Setup publish action ([#8992](https://github.com/AztecProtocol/aztec-packages/issues/8992)) ([65f7e9f](https://github.com/AztecProtocol/aztec-packages/commit/65f7e9f84c28e49cbf2eff29a0b6090974509145)) * Spartan kubernetes cluster IaC ([#8893](https://github.com/AztecProtocol/aztec-packages/issues/8893)) ([7f5ff5e](https://github.com/AztecProtocol/aztec-packages/commit/7f5ff5e629f708a73a9d78f45c8fa195c6fca6dd)) * Specify correct env var in prover node helm ([#8916](https://github.com/AztecProtocol/aztec-packages/issues/8916)) ([6e855a4](https://github.com/AztecProtocol/aztec-packages/commit/6e855a47f900a207fdb015d322d5e4e61116df15)) * **ssa:** Check if result of array set is used in value of another array set (https://github.com/noir-lang/noir/pull/6197) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Temporarily disable problematic test ([#9051](https://github.com/AztecProtocol/aztec-packages/issues/9051)) ([7ee7f55](https://github.com/AztecProtocol/aztec-packages/commit/7ee7f55b23982f44b9c86b622eacc7ed820900c5)) * Type variables by default should have Any kind (https://github.com/noir-lang/noir/pull/6203) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Use different rust toolchain for foundry builds ([#8869](https://github.com/AztecProtocol/aztec-packages/issues/8869)) ([096a0b2](https://github.com/AztecProtocol/aztec-packages/commit/096a0b265f25c843cb7268c0dff25848ae0dabb9)) * Use properly sized p2p id ([#9040](https://github.com/AztecProtocol/aztec-packages/issues/9040)) ([9fe7436](https://github.com/AztecProtocol/aztec-packages/commit/9fe74367d05d3d6fc9006ed4341a39cbe1327c54)) * Use tree calculator in world state synchronizer ([#8902](https://github.com/AztecProtocol/aztec-packages/issues/8902)) ([2fd4be9](https://github.com/AztecProtocol/aztec-packages/commit/2fd4be918dd6be82c140250bb5b2479e201813b4)) ### Miscellaneous * Add comments to log oracles ([#8981](https://github.com/AztecProtocol/aztec-packages/issues/8981)) ([8efa7ac](https://github.com/AztecProtocol/aztec-packages/commit/8efa7ac9d30d84f76e61b5915e25d6b4619d46a9)) * Add memoize decorator ([#8976](https://github.com/AztecProtocol/aztec-packages/issues/8976)) ([1d9711b](https://github.com/AztecProtocol/aztec-packages/commit/1d9711b0a145f47bfe6d4d64b6837873e2725d2f)) * Archiver identifies prune ([#8666](https://github.com/AztecProtocol/aztec-packages/issues/8666)) ([4cf0f70](https://github.com/AztecProtocol/aztec-packages/commit/4cf0f70681d05e258bcc368e4f6b0880ab86dbe4)) * Autumn cleaning ([#8818](https://github.com/AztecProtocol/aztec-packages/issues/8818)) ([c1a9c6b](https://github.com/AztecProtocol/aztec-packages/commit/c1a9c6b05c1825a1d6276eaa398de4497b76f76f)) * **avm:** Make indirects big enough for relative addressing ([#9000](https://github.com/AztecProtocol/aztec-packages/issues/9000)) ([39b9e78](https://github.com/AztecProtocol/aztec-packages/commit/39b9e78d008b0a3d8be89f4bc6837ac4e3c28b4f)) * **avm:** Remove CMOV opcode ([#9030](https://github.com/AztecProtocol/aztec-packages/issues/9030)) ([ec9dfdf](https://github.com/AztecProtocol/aztec-packages/commit/ec9dfdf9ba36d9bb2e3829a8cdd5b0ed94cbc3fb)) * **avm:** Remove mem accounting from gas ([#8904](https://github.com/AztecProtocol/aztec-packages/issues/8904)) ([38b485e](https://github.com/AztecProtocol/aztec-packages/commit/38b485e4e8bf75453491d41a590f92afa25d4831)) * **bb.js:** Strip wasm-threads again ([#8833](https://github.com/AztecProtocol/aztec-packages/issues/8833)) ([68ba5d4](https://github.com/AztecProtocol/aztec-packages/commit/68ba5d443a79c06d972019abe39faaf851bb3247)) * Big synching case + stability ([#9022](https://github.com/AztecProtocol/aztec-packages/issues/9022)) ([931c59b](https://github.com/AztecProtocol/aztec-packages/commit/931c59b639577e755ccff0f9c9b9e2a3c88f558c)) * Bump foundry ([#8868](https://github.com/AztecProtocol/aztec-packages/issues/8868)) ([bfd0b8e](https://github.com/AztecProtocol/aztec-packages/commit/bfd0b8e6932c2b2fdf6e1c35c3c324edec92118a)) * **ci:** Another earthly corruption retry case ([#8799](https://github.com/AztecProtocol/aztec-packages/issues/8799)) ([c78b2cb](https://github.com/AztecProtocol/aztec-packages/commit/c78b2cb8d1d70c946a8ebeeed6c6618e98f9f542)) * **ci:** Finally isolate bb-native-tests ([#9039](https://github.com/AztecProtocol/aztec-packages/issues/9039)) ([9c9c385](https://github.com/AztecProtocol/aztec-packages/commit/9c9c385b2d8d3d8284d981a7393500a04fd78d38)) * **ci:** Increase timeout for ARM build ([#9041](https://github.com/AztecProtocol/aztec-packages/issues/9041)) ([c505b02](https://github.com/AztecProtocol/aztec-packages/commit/c505b02d10cdf52230b5af0e3c88642a8a3316e8)) * **ci:** Turn on S3 caching for all PRs ([#8898](https://github.com/AztecProtocol/aztec-packages/issues/8898)) ([c68a5ef](https://github.com/AztecProtocol/aztec-packages/commit/c68a5eff1f438860f2aa85d59c48ba9f85fc3d0d)) * **ci:** Update gates diff action to not post Brillig sizes report with no changes (https://github.com/noir-lang/noir/pull/6157) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Cleanup of `Aztec.nr` encryption code ([#8780](https://github.com/AztecProtocol/aztec-packages/issues/8780)) ([0bfcbba](https://github.com/AztecProtocol/aztec-packages/commit/0bfcbbaa74ae8a80d9586bd5049ec9fbe0480a7d)) * Delay proof quote collection ([#8967](https://github.com/AztecProtocol/aztec-packages/issues/8967)) ([640b661](https://github.com/AztecProtocol/aztec-packages/commit/640b66103eb111b5f2c5a4245a66559f9f5e0f84)) * **deploy:** Use docker run instead of helm test, metrics dashboard scripts ([#8926](https://github.com/AztecProtocol/aztec-packages/issues/8926)) ([797d0ca](https://github.com/AztecProtocol/aztec-packages/commit/797d0ca4abb396b6325a8159ca3be248c16c6b97)) * Deprecate various items in stdlib (https://github.com/noir-lang/noir/pull/6156) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Disable block building e2e ([#8895](https://github.com/AztecProtocol/aztec-packages/issues/8895)) ([ada6220](https://github.com/AztecProtocol/aztec-packages/commit/ada62205b127c61c2ca81ee74310d089ec560ccb)) * Disable e2e-fees-failure ([#8784](https://github.com/AztecProtocol/aztec-packages/issues/8784)) ([10b87d1](https://github.com/AztecProtocol/aztec-packages/commit/10b87d109e0b02f0b879df91456ffdc95d9a5fe6)) * Do not start prover node in e2e tests if not needed ([#9008](https://github.com/AztecProtocol/aztec-packages/issues/9008)) ([a2d3f8a](https://github.com/AztecProtocol/aztec-packages/commit/a2d3f8a2bf559b7a024e181a61ed3c1bbc6ff02b)) * **docs:** Add link to more info about proving backend to Solidity verifier page (https://github.com/noir-lang/noir/pull/5754) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Enable tests on aztec-nr and contracts (https://github.com/noir-lang/noir/pull/6162) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Event encryption funcs working as note ones ([#8819](https://github.com/AztecProtocol/aztec-packages/issues/8819)) ([77636f0](https://github.com/AztecProtocol/aztec-packages/commit/77636f053526a8690016f9a47b5a3f625aff5fcf)) * Final partial notes related cleanup ([#8987](https://github.com/AztecProtocol/aztec-packages/issues/8987)) ([880c45f](https://github.com/AztecProtocol/aztec-packages/commit/880c45f4a73e54c60ba8d887ae5f3515e6efd5ad)), closes [#8238](https://github.com/AztecProtocol/aztec-packages/issues/8238) * Fix flakey e2e fees failures test ([#8807](https://github.com/AztecProtocol/aztec-packages/issues/8807)) ([99bac95](https://github.com/AztecProtocol/aztec-packages/commit/99bac950f3c057ee1c25ea61fa6fe4834b348e24)) * Fix some more imports ([#8804](https://github.com/AztecProtocol/aztec-packages/issues/8804)) ([ffe70ec](https://github.com/AztecProtocol/aztec-packages/commit/ffe70ecac593a4b9e2cbb61bc9db4a280c6d917e)) * Fix the transfer test we run in kind clusters ([#8796](https://github.com/AztecProtocol/aztec-packages/issues/8796)) ([7c42ef0](https://github.com/AztecProtocol/aztec-packages/commit/7c42ef09bfc006c1d9725ac89e315d9a84c430fc)) * Fix typo in code snippet (https://github.com/noir-lang/noir/pull/6211) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Have prover-node self-mint L1 fee juice ([#9007](https://github.com/AztecProtocol/aztec-packages/issues/9007)) ([9f1e73a](https://github.com/AztecProtocol/aztec-packages/commit/9f1e73a3a1b746678215f04ea3f5496d6e90be97)) * Increase timeout of AVM full tests job to 75 minutes ([#8883](https://github.com/AztecProtocol/aztec-packages/issues/8883)) ([b70a728](https://github.com/AztecProtocol/aztec-packages/commit/b70a728a8adee13a6b572bb2594d933498bfb70c)) * Keccak_ultra -> ultra_keccak ([#8878](https://github.com/AztecProtocol/aztec-packages/issues/8878)) ([670af8a](https://github.com/AztecProtocol/aztec-packages/commit/670af8a158633d106a3f1df82dbd28ef9a9e4ceb)) * Minor archiver refactor ([#8715](https://github.com/AztecProtocol/aztec-packages/issues/8715)) ([b0d1bab](https://github.com/AztecProtocol/aztec-packages/commit/b0d1bab1f02819e7efbe0db73c3c805b5927b66a)) * Misc unsafe improvements ([#8803](https://github.com/AztecProtocol/aztec-packages/issues/8803)) ([cfe907c](https://github.com/AztecProtocol/aztec-packages/commit/cfe907cc3279a138c8db97b19f359740e0470f9b)) * Move governance out of core ([#8823](https://github.com/AztecProtocol/aztec-packages/issues/8823)) ([7411acc](https://github.com/AztecProtocol/aztec-packages/commit/7411acc0f79c4100d0311555bbcf6bacd072024f)) * Nuking `encode_and_encrypt_note(...)` ([#8815](https://github.com/AztecProtocol/aztec-packages/issues/8815)) ([2da9695](https://github.com/AztecProtocol/aztec-packages/commit/2da9695224e799abe317069af443f0b55ef2e007)) * Nuking `log_traits.nr` ([#8797](https://github.com/AztecProtocol/aztec-packages/issues/8797)) ([5d4accf](https://github.com/AztecProtocol/aztec-packages/commit/5d4accf47cdcd5e760616689c859a4d99824b530)) * Nuking encryption oracles ([#8817](https://github.com/AztecProtocol/aztec-packages/issues/8817)) ([8c98757](https://github.com/AztecProtocol/aztec-packages/commit/8c9875712e0b935947e753836148026fad7508fa)) * Nuking L2Block.fromFields ([#8882](https://github.com/AztecProtocol/aztec-packages/issues/8882)) ([b6551a9](https://github.com/AztecProtocol/aztec-packages/commit/b6551a96cabfb9c511fc60bb9aca2fe57afe7237)) * Optimise l1 to l2 message fetching ([#8672](https://github.com/AztecProtocol/aztec-packages/issues/8672)) ([7b1fb45](https://github.com/AztecProtocol/aztec-packages/commit/7b1fb457023fc60f55d6f9b91f513138082d98bd)) * Partial notes macros ([#8993](https://github.com/AztecProtocol/aztec-packages/issues/8993)) ([567e9a8](https://github.com/AztecProtocol/aztec-packages/commit/567e9a8ecc3666dc5140c3868b21f7a856a34f68)) * Protogalaxy only instantiated with Mega ([#8949](https://github.com/AztecProtocol/aztec-packages/issues/8949)) ([b8d87f1](https://github.com/AztecProtocol/aztec-packages/commit/b8d87f12224ac7e1c4e0bf0e353ddc902bf82fd4)) * Prove_then_verify_ultra_honk on all existing acir tests ([#9042](https://github.com/AztecProtocol/aztec-packages/issues/9042)) ([62f6b8a](https://github.com/AztecProtocol/aztec-packages/commit/62f6b8aeb92bfb266a0df647a0dd33cfdb021f5f)) * Publish bb.js in github action ([#8959](https://github.com/AztecProtocol/aztec-packages/issues/8959)) ([a21ab89](https://github.com/AztecProtocol/aztec-packages/commit/a21ab8915937b3c3f98551fb078c9874f2ed1547)) * Push proof splitting helpers into bb.js ([#8795](https://github.com/AztecProtocol/aztec-packages/issues/8795)) ([951ce6d](https://github.com/AztecProtocol/aztec-packages/commit/951ce6d974504f0453ad2816d10c358d8ef02ce5)) * Rebuild fixtures ([#8995](https://github.com/AztecProtocol/aztec-packages/issues/8995)) ([96b6cfc](https://github.com/AztecProtocol/aztec-packages/commit/96b6cfcc084da7a3012d2125daa067a33edfed16)) * Redo typo PR by bravesasha ([#9003](https://github.com/AztecProtocol/aztec-packages/issues/9003)) ([b516d3a](https://github.com/AztecProtocol/aztec-packages/commit/b516d3a07c53f431a0554657780343a25715409a)) * Redo typo PR by sfyll ([#9002](https://github.com/AztecProtocol/aztec-packages/issues/9002)) ([c970ced](https://github.com/AztecProtocol/aztec-packages/commit/c970ced462fff400afbbcafdcd9cb795891de339)) * Redo typo PR by skaunov ([#8933](https://github.com/AztecProtocol/aztec-packages/issues/8933)) ([7ef1643](https://github.com/AztecProtocol/aztec-packages/commit/7ef1643218356d22d09601269f346927694e22d7)) * Reduce number of gates in stdlib/sha256 hash function ([#8905](https://github.com/AztecProtocol/aztec-packages/issues/8905)) ([dd3a27e](https://github.com/AztecProtocol/aztec-packages/commit/dd3a27e5dc66fc47c34c077ca8124efe6fbea900)) * Reexport `CrateName` through `nargo` (https://github.com/noir-lang/noir/pull/6177) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * **refactor:** Array set optimization context struct for analysis (https://github.com/noir-lang/noir/pull/6204) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Release from Github Actions ([#8820](https://github.com/AztecProtocol/aztec-packages/issues/8820)) ([0354706](https://github.com/AztecProtocol/aztec-packages/commit/03547062bf79f1940275393d6e9080e92f83a768)) * Release Noir(0.35.0) (https://github.com/noir-lang/noir/pull/6030) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Remove `DefCollectorErrorKind::MacroError` (https://github.com/noir-lang/noir/pull/6174) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Remove copy from `compute_row_evaluations` ([#8875](https://github.com/AztecProtocol/aztec-packages/issues/8875)) ([9cd450e](https://github.com/AztecProtocol/aztec-packages/commit/9cd450e79870e00fb7c4c574a1e7f55de2e7b8ff)) * Remove macros_api module (https://github.com/noir-lang/noir/pull/6190) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Remove mock proof commitment escrow ([#9011](https://github.com/AztecProtocol/aztec-packages/issues/9011)) ([4873c7b](https://github.com/AztecProtocol/aztec-packages/commit/4873c7bc850092e2962fcaf747ec60f19e89ba92)) * Remove single block proving ([#8856](https://github.com/AztecProtocol/aztec-packages/issues/8856)) ([aadd9d5](https://github.com/AztecProtocol/aztec-packages/commit/aadd9d5029ace4097a7af51fdfcb5437737b28c5)) * Remove unused header in public executor ([#8990](https://github.com/AztecProtocol/aztec-packages/issues/8990)) ([8e35125](https://github.com/AztecProtocol/aztec-packages/commit/8e35125e45c8e882b388f70bc4c30208a9fbb866)) * Remove unused import ([#8835](https://github.com/AztecProtocol/aztec-packages/issues/8835)) ([dbf2c13](https://github.com/AztecProtocol/aztec-packages/commit/dbf2c13bdbfbe2957eb8a6e2716d9feab6e0ea6d)) * Remove unused methods and small state cleanup ([#8968](https://github.com/AztecProtocol/aztec-packages/issues/8968)) ([9b66a3e](https://github.com/AztecProtocol/aztec-packages/commit/9b66a3e3d1a38b31cdad29f9fd9aee05738b066c)) * Removing hack commitment from eccvm ([#8825](https://github.com/AztecProtocol/aztec-packages/issues/8825)) ([5e4cfa7](https://github.com/AztecProtocol/aztec-packages/commit/5e4cfa7b0159f66e59365f14c02fe8bbf4a73935)) * Rename `DefinitionKind::GenericType` (https://github.com/noir-lang/noir/pull/6182) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Replace relative paths to noir-protocol-circuits ([e062c5b](https://github.com/AztecProtocol/aztec-packages/commit/e062c5be333f6429e19fba92a8e97ba498936ab2)) * Replace relative paths to noir-protocol-circuits ([a0ce8cc](https://github.com/AztecProtocol/aztec-packages/commit/a0ce8cc923c3f7e431781990c5f3119777370254)) * Replace relative paths to noir-protocol-circuits ([240f408](https://github.com/AztecProtocol/aztec-packages/commit/240f408750da2ff6d8cb8095872d1869c78cc377)) * Replace relative paths to noir-protocol-circuits ([4589b79](https://github.com/AztecProtocol/aztec-packages/commit/4589b79b57711e015bbd0fb98e998048b04b3b63)) * Replace relative paths to noir-protocol-circuits ([42d4dde](https://github.com/AztecProtocol/aztec-packages/commit/42d4dde927a4ca9da556cdd7efd5d21d7900c70e)) * Replace relative paths to noir-protocol-circuits ([8cd9eee](https://github.com/AztecProtocol/aztec-packages/commit/8cd9eee5e72a1444170113ae5248c8334560c9d8)) * Replace relative paths to noir-protocol-circuits ([a79bbdd](https://github.com/AztecProtocol/aztec-packages/commit/a79bbdd9fef9f13d084fc875f520629439ba2407)) * Replace relative paths to noir-protocol-circuits ([fd693fe](https://github.com/AztecProtocol/aztec-packages/commit/fd693fee62486ff698e78cc6bb82aa11c2fa38af)) * Replace relative paths to noir-protocol-circuits ([c93bb8f](https://github.com/AztecProtocol/aztec-packages/commit/c93bb8f9ad1cc7f17d66ca9ff7298bb6d8ab6d44)) * Revert "feat: partial notes log encoding ([#8538](https://github.com/AztecProtocol/aztec-packages/issues/8538))" ([#8712](https://github.com/AztecProtocol/aztec-packages/issues/8712)) ([ef1a41e](https://github.com/AztecProtocol/aztec-packages/commit/ef1a41eb838b7bdb108b0218a5e51929bfcf8acc)) * Revert "fix: assign one_idx in the same place as zero_idx in `UltraCircuitBuilder`" ([#9049](https://github.com/AztecProtocol/aztec-packages/issues/9049)) ([ebb6a2d](https://github.com/AztecProtocol/aztec-packages/commit/ebb6a2da62c9d99f448b0da9cf1d14fd64a59b9f)) * Revert mistaken stack size change (https://github.com/noir-lang/noir/pull/6212) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Set assume proven in e2e ([#8830](https://github.com/AztecProtocol/aztec-packages/issues/8830)) ([f4453ce](https://github.com/AztecProtocol/aztec-packages/commit/f4453cec8a4e8060950c35d26cb09330c03ec08c)) * Shared mutable slots use poseidon2 with separator ([#8919](https://github.com/AztecProtocol/aztec-packages/issues/8919)) ([36431d7](https://github.com/AztecProtocol/aztec-packages/commit/36431d78a811294856f011dbf37ac3b36bcdc3c2)) * Small cleanup ([#8965](https://github.com/AztecProtocol/aztec-packages/issues/8965)) ([8031ef4](https://github.com/AztecProtocol/aztec-packages/commit/8031ef45fc02f8897336729e7c41925ecae7c2e2)) * Spartan kubernetes documentation ([#9012](https://github.com/AztecProtocol/aztec-packages/issues/9012)) ([75efafc](https://github.com/AztecProtocol/aztec-packages/commit/75efafc9ff25c2ce2480547c97dc59fb87a168a5)) * Split `test_program`s into modules (https://github.com/noir-lang/noir/pull/6101) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Untangled TS encryption functionality ([#8827](https://github.com/AztecProtocol/aztec-packages/issues/8827)) ([048a848](https://github.com/AztecProtocol/aztec-packages/commit/048a8480ea81d669f730cc604b5b85b2a3c84325)) * Update migration notes with version # ([#9045](https://github.com/AztecProtocol/aztec-packages/issues/9045)) ([02a0bc1](https://github.com/AztecProtocol/aztec-packages/commit/02a0bc1449202a7dbe9ad5d6fea7b6e1a4025e4f)) * Use Noir implementation of pedersen in public (uses MSM instead of pedersen BBs) ([#8798](https://github.com/AztecProtocol/aztec-packages/issues/8798)) ([02821d0](https://github.com/AztecProtocol/aztec-packages/commit/02821d0fb3000537aa8001a00d93c74af3003cc2)) * Use require(predicate, custom_error) ([#8859](https://github.com/AztecProtocol/aztec-packages/issues/8859)) ([84e5e0c](https://github.com/AztecProtocol/aztec-packages/commit/84e5e0ccda7766d205803ca35e0a307a262a96b5)) </details> <details><summary>barretenberg: 0.57.0</summary> ## [0.57.0](https://github.com/AztecProtocol/aztec-packages/compare/barretenberg-v0.56.0...barretenberg-v0.57.0) (2024-10-07) ### ⚠ BREAKING CHANGES * **avm:** remove CMOV opcode ([#9030](https://github.com/AztecProtocol/aztec-packages/issues/9030)) * **avm:** make indirects big enough for relative addressing ([#9000](https://github.com/AztecProtocol/aztec-packages/issues/9000)) * keccak_ultra -> ultra_keccak ([#8878](https://github.com/AztecProtocol/aztec-packages/issues/8878)) ### Features * Add support for unlimited width in ACIR ([#8960](https://github.com/AztecProtocol/aztec-packages/issues/8960)) ([3e05e22](https://github.com/AztecProtocol/aztec-packages/commit/3e05e22d8d9fc73c1225570342392dda5661403f)) * **avm:** Integrate public inputs in AVM recursive verifier ([#8846](https://github.com/AztecProtocol/aztec-packages/issues/8846)) ([4354ae0](https://github.com/AztecProtocol/aztec-packages/commit/4354ae030b5b7e365ff0361e88cd74cd95d71e04)), closes [#8714](https://github.com/AztecProtocol/aztec-packages/issues/8714) * **avm:** Skip gas accounting for fake rows ([#8944](https://github.com/AztecProtocol/aztec-packages/issues/8944)) ([818325a](https://github.com/AztecProtocol/aztec-packages/commit/818325ae35ce0260d88e097261d173f4dc326cbe)), closes [#8903](https://github.com/AztecProtocol/aztec-packages/issues/8903) * CI/local S3 build cache ([#8802](https://github.com/AztecProtocol/aztec-packages/issues/8802)) ([06be26e](https://github.com/AztecProtocol/aztec-packages/commit/06be26e2b5dfd4b1fa35f57231e15ebffbe410a7)) * Connect the public inputs but not the proof in ivc recursion constraints ([#8973](https://github.com/AztecProtocol/aztec-packages/issues/8973)) ([4f1af9a](https://github.com/AztecProtocol/aztec-packages/commit/4f1af9a0baf9e342d0de41ebd58fed24a0c4f615)) * Faster CIV benching with mocked VKs ([#8843](https://github.com/AztecProtocol/aztec-packages/issues/8843)) ([fad3d6e](https://github.com/AztecProtocol/aztec-packages/commit/fad3d6e41765c774696ecc98d45a27851c7c4442)) * Handle consecutive kernels in IVC ([#8924](https://github.com/AztecProtocol/aztec-packages/issues/8924)) ([0be9f25](https://github.com/AztecProtocol/aztec-packages/commit/0be9f253238cc1453d07385ece565f946d4212a3)) * Lazy commitment key allocation for better memory ([#9017](https://github.com/AztecProtocol/aztec-packages/issues/9017)) ([527d820](https://github.com/AztecProtocol/aztec-packages/commit/527d820fcadc24105e43b819da1ad9d848b755ca)) * Make shplemini proof constant ([#8826](https://github.com/AztecProtocol/aztec-packages/issues/8826)) ([c8cbc33](https://github.com/AztecProtocol/aztec-packages/commit/c8cbc3388c2bbe9a0ba8a95717e1b71c602d58e3)) * New Tracy Time preset and more efficient univariate extension ([#8789](https://github.com/AztecProtocol/aztec-packages/issues/8789)) ([ead4649](https://github.com/AztecProtocol/aztec-packages/commit/ead4649b0c21a98534c36e7755edac68052b3c26)) * Origin Tags part 1 ([#8787](https://github.com/AztecProtocol/aztec-packages/issues/8787)) ([ed1e23e](https://github.com/AztecProtocol/aztec-packages/commit/ed1e23edff04ea026a94ffc22b29b6ef520cdf55)) * Origin Tags Part 2 ([#8936](https://github.com/AztecProtocol/aztec-packages/issues/8936)) ([77c05f5](https://github.com/AztecProtocol/aztec-packages/commit/77c05f5469bad85e1394c05e1878791bac084559)) * **sol:** Add shplemini transcript ([#8865](https://github.com/AztecProtocol/aztec-packages/issues/8865)) ([089dbad](https://github.com/AztecProtocol/aztec-packages/commit/089dbadd9e9ca304004c38e01d3703d923b257ec)) * **sol:** Shplemini verification ([#8866](https://github.com/AztecProtocol/aztec-packages/issues/8866)) ([989eb08](https://github.com/AztecProtocol/aztec-packages/commit/989eb08256db49e65e2d5e8a91790f941761d08f)) * Ultra honk on Shplemini ([#8886](https://github.com/AztecProtocol/aztec-packages/issues/8886)) ([d8d04f6](https://github.com/AztecProtocol/aztec-packages/commit/d8d04f6f0b9ca0aa36008dc53dde2562dc3afa63)) * Use structured polys to reduce prover memory ([#8587](https://github.com/AztecProtocol/aztec-packages/issues/8587)) ([59e3dd9](https://github.com/AztecProtocol/aztec-packages/commit/59e3dd93a70398e828269dbf13d8c4b9b38227ea)) ### Bug Fixes * Assign one_idx in the same place as zero_idx in `UltraCircuitBuilder` ([#9029](https://github.com/AztecProtocol/aztec-packages/issues/9029)) ([fe11d9a](https://github.com/AztecProtocol/aztec-packages/commit/fe11d9a3a1b96454999ae627c902d8b362805172)) * **avm:** Kernel out full proving fix ([#8873](https://github.com/AztecProtocol/aztec-packages/issues/8873)) ([784d483](https://github.com/AztecProtocol/aztec-packages/commit/784d483b592cb80da143634c07d330ba2f2c9ab7)) * Bb.js acir tests ([#8862](https://github.com/AztecProtocol/aztec-packages/issues/8862)) ([d8d0541](https://github.com/AztecProtocol/aztec-packages/commit/d8d0541bde1d98d6b7ae3c3bb2a38068383f802b)) ### Miscellaneous * **avm:** Make indirects big enough for relative addressing ([#9000](https://github.com/AztecProtocol/aztec-packages/issues/9000)) ([39b9e78](https://github.com/AztecProtocol/aztec-packages/commit/39b9e78d008b0a3d8be89f4bc6837ac4e3c28b4f)) * **avm:** Remove CMOV opcode ([#9030](https://github.com/AztecProtocol/aztec-packages/issues/9030)) ([ec9dfdf](https://github.com/AztecProtocol/aztec-packages/commit/ec9dfdf9ba36d9bb2e3829a8cdd5b0ed94cbc3fb)) * **bb.js:** Strip wasm-threads again ([#8833](https://github.com/AztecProtocol/aztec-packages/issues/8833)) ([68ba5d4](https://github.com/AztecProtocol/aztec-packages/commit/68ba5d443a79c06d972019abe39faaf851bb3247)) * Bump foundry ([#8868](https://github.com/AztecProtocol/aztec-packages/issues/8868)) ([bfd0b8e](https://github.com/AztecProtocol/aztec-packages/commit/bfd0b8e6932c2b2fdf6e1c35c3c324edec92118a)) * **ci:** Finally isolate bb-native-tests ([#9039](https://github.com/AztecProtocol/aztec-packages/issues/9039)) ([9c9c385](https://github.com/AztecProtocol/aztec-packages/commit/9c9c385b2d8d3d8284d981a7393500a04fd78d38)) * Keccak_ultra -> ultra_keccak ([#8878](https://github.com/AztecProtocol/aztec-packages/issues/8878)) ([670af8a](https://github.com/AztecProtocol/aztec-packages/commit/670af8a158633d106a3f1df82dbd28ef9a9e4ceb)) * Protogalaxy only instantiated with Mega ([#8949](https://github.com/AztecProtocol/aztec-packages/issues/8949)) ([b8d87f1](https://github.com/AztecProtocol/aztec-packages/commit/b8d87f12224ac7e1c4e0bf0e353ddc902bf82fd4)) * Prove_then_verify_ultra_honk on all existing acir tests ([#9042](https://github.com/AztecProtocol/aztec-packages/issues/9042)) ([62f6b8a](https://github.com/AztecProtocol/aztec-packages/commit/62f6b8aeb92bfb266a0df647a0dd33cfdb021f5f)) * Reduce number of gates in stdlib/sha256 hash function ([#8905](https://github.com/AztecProtocol/aztec-packages/issues/8905)) ([dd3a27e](https://github.com/AztecProtocol/aztec-packages/commit/dd3a27e5dc66fc47c34c077ca8124efe6fbea900)) * Remove copy from `compute_row_evaluations` ([#8875](https://github.com/AztecProtocol/aztec-packages/issues/8875)) ([9cd450e](https://github.com/AztecProtocol/aztec-packages/commit/9cd450e79870e00fb7c4c574a1e7f55de2e7b8ff)) * Remove unused methods and small state cleanup ([#8968](https://github.com/AztecProtocol/aztec-packages/issues/8968)) ([9b66a3e](https://github.com/AztecProtocol/aztec-packages/commit/9b66a3e3d1a38b31cdad29f9fd9aee05738b066c)) * Removing hack commitment from eccvm ([#8825](https://github.com/AztecProtocol/aztec-packages/issues/8825)) ([5e4cfa7](https://github.com/AztecProtocol/aztec-packages/commit/5e4cfa7b0159f66e59365f14c02fe8bbf4a73935)) * Revert "fix: assign one_idx in the same place as zero_idx in `UltraCircuitBuilder`" ([#9049](https://github.com/AztecProtocol/aztec-packages/issues/9049)) ([ebb6a2d](https://github.com/AztecProtocol/aztec-packages/commit/ebb6a2da62c9d99f448b0da9cf1d14fd64a59b9f)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

initial attempt for being lazy wrt commitment key, peak memory for ul…

da50004

…tra_honk_bench down to 1786MB!

lucasxia01 self-assigned this Oct 4, 2024

lucasxia01 marked this pull request as ready for review October 4, 2024 04:56

fixing commitment key in translator

6448f32

lucasxia01 added 3 commits October 4, 2024 18:53

do the same for eccvm and native tests should pass

122595b

fix vk generation

214fb5c

undo unnecessary ck creation

baf6563

lucasxia01 commented Oct 5, 2024

View reviewed changes

barretenberg/cpp/src/barretenberg/flavor/flavor.hpp Outdated Show resolved Hide resolved

lucasxia01 commented Oct 5, 2024

View reviewed changes

lucasxia01 added 2 commits October 5, 2024 00:30

small cleanup

d7e02f1

add the commitment key allocation to the vk constructor

99d60bc

maramihali self-requested a review October 5, 2024 10:41

maramihali approved these changes Oct 5, 2024

View reviewed changes

codygunton merged commit 527d820 into master Oct 7, 2024
39 checks passed

codygunton deleted the lx/lazy-commitment-key-allocation branch October 7, 2024 08:36

AztecBot mentioned this pull request Oct 7, 2024

chore(master): Release 0.57.0 #8788

Merged

lucasxia01 mentioned this pull request Dec 24, 2024

feat: free commitment key at the end of oink (for ultrahonk) #8921

Closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: lazy commitment key allocation for better memory #9017

feat: lazy commitment key allocation for better memory #9017

lucasxia01 commented Oct 4, 2024 •

edited

Loading

github-actions bot commented Oct 4, 2024 •

edited

Loading

github-actions bot commented Oct 4, 2024 •

edited

Loading

lucasxia01 Oct 5, 2024

lucasxia01 Oct 5, 2024 •

edited

Loading

lucasxia01 Oct 5, 2024

maramihali Oct 5, 2024

maramihali left a comment

maramihali Oct 5, 2024

maramihali Oct 5, 2024

maramihali Oct 5, 2024

maramihali Oct 5, 2024

codygunton commented Oct 7, 2024

feat: lazy commitment key allocation for better memory #9017

feat: lazy commitment key allocation for better memory #9017

Conversation

lucasxia01 commented Oct 4, 2024 • edited Loading

github-actions bot commented Oct 4, 2024 • edited Loading

Changes to public function bytecode sizes

🧾 Summary (100% most significant diffs)

github-actions bot commented Oct 4, 2024 • edited Loading

Changes to circuit sizes

🧾 Summary (100% most significant diffs)

lucasxia01 Oct 5, 2024

Choose a reason for hiding this comment

lucasxia01 Oct 5, 2024 • edited Loading

Choose a reason for hiding this comment

lucasxia01 Oct 5, 2024

Choose a reason for hiding this comment

maramihali Oct 5, 2024

Choose a reason for hiding this comment

maramihali left a comment

Choose a reason for hiding this comment

maramihali Oct 5, 2024

Choose a reason for hiding this comment

maramihali Oct 5, 2024

Choose a reason for hiding this comment

maramihali Oct 5, 2024

Choose a reason for hiding this comment

maramihali Oct 5, 2024

Choose a reason for hiding this comment

codygunton commented Oct 7, 2024

lucasxia01 commented Oct 4, 2024 •

edited

Loading

github-actions bot commented Oct 4, 2024 •

edited

Loading

github-actions bot commented Oct 4, 2024 •

edited

Loading

lucasxia01 Oct 5, 2024 •

edited

Loading