Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: fixed number of pub inputs for databus commitment propagation #9336

Merged
merged 14 commits into from
Oct 28, 2024

Conversation

ledwards2225
Copy link
Contributor

@ledwards2225 ledwards2225 commented Oct 22, 2024

This work is motivated by the need to have a "write vk" method for kernel circuits that depends only on acir constraints (no witness data or historical data about the previously accumulated circuits). This is made difficult by the inter-circuit databus consistency check mechanism which, until now, added structure to a present circuit based on the structure of previous circuits. This PR makes updates to the mechanism so that the constraints associated with the databus consistency checks are consistent across all kernel circuits. There are two components to this:

(1) Every kernel propagates 2 commitments worth of data (one for app return data, one for kernel return data) on its public inputs. (Previously this was allowed to be 0, 1 or 2 depending on the number of recursive verifications performed by the kernel). If data does not exist for either of these (e.g. if the kernel is only verifying a proof of one or the other), a default value is propagated. (This value is set to match the commitment to the "empty" calldata that will correspond to the missing return data).

(2) Every kernel performs two commitment consistency checks: one that checks that the app return_data is equal to the secondary_calldata and one that checks that the previous kernel return_data is equal to the calldata. (Previously there could be 0, 1, or 2 such checks depending on the data propagated on the public inputs of the kernel being recursively verified - hence the need for knowledge of history / witness data).

Closes AztecProtocol/barretenberg#1125 (had to do with dynamically determining the number of public inputs associated with databus commitments which is now fixed in size to 16).

@ledwards2225 ledwards2225 marked this pull request as ready for review October 22, 2024 15:37
@ledwards2225 ledwards2225 self-assigned this Oct 22, 2024
Copy link
Contributor

github-actions bot commented Oct 23, 2024

Changes to circuit sizes

Generated at commit: 3e814c88a2feefd25bf90c2efebea9863f53ab92, compared to commit: ad801693592df3263b8a621a081c7616948524da

🧾 Summary (100% most significant diffs)

Program ACIR opcodes (+/-) % Circuit size (+/-) %
private_kernel_reset -3 ✅ -0.00% -79 ✅ -0.02%
private_kernel_reset_4_4_4_4_4_4_4_4_1 -3 ✅ -0.01% -79 ✅ -0.10%
private_kernel_tail_to_public -3 ✅ -0.01% -79 ✅ -0.19%
private_kernel_tail -3 ✅ -0.06% -79 ✅ -0.59%
private_kernel_inner -48 ✅ -0.11% -808 ✅ -1.44%
private_kernel_init -45 ✅ -0.19% -729 ✅ -2.25%

Full diff report 👇
Program ACIR opcodes (+/-) % Circuit size (+/-) %
private_kernel_reset 91,936 (-3) -0.00% 471,841 (-79) -0.02%
private_kernel_reset_4_4_4_4_4_4_4_4_1 34,900 (-3) -0.01% 78,507 (-79) -0.10%
private_kernel_tail_to_public 28,541 (-3) -0.01% 42,019 (-79) -0.19%
private_kernel_tail 4,856 (-3) -0.06% 13,338 (-79) -0.59%
private_kernel_inner 42,816 (-48) -0.11% 55,493 (-808) -1.44%
private_kernel_init 24,093 (-45) -0.19% 31,669 (-729) -2.25%

@maramihali maramihali self-requested a review October 23, 2024 16:55
Copy link
Contributor

@maramihali maramihali left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Mostly looks good - added a questions and some thoughts on the stdlib code

/**
* @brief A DataBus column
*
*/
struct BusVector {

// TODO(https://github.com/AztecProtocol/barretenberg/issues/1138): A default value added to every databus column to
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If we, at some hypothetic point in the future, fix all the remaining issues with point at infinity, would this default value still be needed for the consistency checks?

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ah, the issue describes it clearly

* these checks: (1) extract commitments [R] from proofs received as private witnesses and propagate them to the
* next circuit via adding them to the public inputs. (2) Assert equality of commitments.
* form \pi_i.public_inputs.[R_{i-1}] = \pi_i.[C_i]. This method performs these consistency checks. It also prepares
* return data commitments [R] to be propagated via the public inputs of the present circuit.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this means the public inputs that will be passed along, supposingly to a next circuit, right?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

right, by making something a public input of the circuit A, I'm passing to the circuit that verifies the proof of circuit A since it will be present in the public inputs of the proof pi_A

assert_equality_of_commitments(app_return_data, commitments.secondary_calldata);
// Set the kernel/app return data commitment to be propagated via the public inputs
if (propagation_data.is_kernel) {
kernel_return_data_commitment = return_data;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not something that is a priority now but I wonder whether the *_exists variables shouldn't be bool_t and the kernel_return_data_commitment be set via conditional assigns.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added a note of this to the larger issue for these default commitments

if (app_return_data_commitment_exists) {
propagate_commitment_via_public_inputs(app_return_data_commitment, /*is_kernel=*/false);
} else {
Commitment default_commitment = Commitment::from_witness(&builder, default_commitment_val);
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we shouldn't use from_witness here since the default_commitment_val is a constant (also above)

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added some logic for converting constants to fixed witnesses as we discussed

Copy link
Contributor

Changes to public function bytecode sizes

Generated at commit: 3e814c88a2feefd25bf90c2efebea9863f53ab92, compared to commit: ad801693592df3263b8a621a081c7616948524da

🧾 Summary (100% most significant diffs)

Program Bytecode size in bytes (+/-) %
AvmTest::bulk_testing +606 ❌ +2.63%
AvmTest::debug_logging -9 ✅ -0.73%
AvmTest::elliptic_curve_add_and_double -9 ✅ -1.35%
AvmTest::elliptic_curve_add -9 ✅ -1.67%
Child::public_dispatch -99 ✅ -1.80%
Lending::public_dispatch -459 ✅ -1.83%
AvmTest::public_dispatch -1,027 ✅ -1.87%
AvmTest::keccak_f1600 -9 ✅ -1.92%
AvmTest::variable_base_msm -9 ✅ -2.03%
StaticParent::public_nested_static_call -29 ✅ -2.26%
Lending::deposit_public -39 ✅ -2.26%
Token::public_dispatch -664 ✅ -2.35%
Token::complete_refund -69 ✅ -2.39%
Lending::repay_public -39 ✅ -2.41%
TokenBlacklist::public_dispatch -609 ✅ -2.42%
StaticChild::public_dispatch -69 ✅ -2.43%
Parent::pub_entry_point_twice -29 ✅ -2.49%
Parent::public_static_call -24 ✅ -2.52%
StaticParent::public_static_call -24 ✅ -2.52%
Lending::_withdraw -189 ✅ -2.58%
Lending::_borrow -189 ✅ -2.60%
AvmTest::return_oracle -9 ✅ -2.65%
Lending::update_accumulator -144 ✅ -2.68%
DocsExample::get_shared_immutable_constrained_public_multiple -19 ✅ -2.69%
Parent::pub_entry_point -19 ✅ -2.70%
StaticParent::public_call -19 ✅ -2.70%
StaticParent::public_get_value_from_child -19 ✅ -2.73%
Parent::public_dispatch -219 ✅ -2.75%
AvmTest::create_different_nullifier_in_nested_call -19 ✅ -2.78%
StaticParent::public_dispatch -164 ✅ -2.81%
AvmTest::create_same_nullifier_in_nested_call -19 ✅ -2.82%
ImportTest::pub_call_public_fn -19 ✅ -2.84%
AvmTest::nested_static_call_to_set_storage -19 ✅ -2.84%
NFT::public_dispatch -634 ✅ -2.86%
ImportTest::public_dispatch -49 ✅ -2.87%
Lending::withdraw_public -34 ✅ -2.96%
Lending::borrow_public -34 ✅ -2.96%
Parent::public_nested_static_call -104 ✅ -2.96%
Uniswap::_approve_bridge_and_exit_input_asset_to_L1 -164 ✅ -2.97%
AuthRegistry::public_dispatch -239 ✅ -2.99%
Child::set_value_with_two_nested_calls -39 ✅ -3.02%
Child::set_value_twice_with_nested_first -29 ✅ -3.04%
Child::set_value_twice_with_nested_last -29 ✅ -3.04%
TokenBlacklist::shield -194 ✅ -3.05%
Lending::get_position -149 ✅ -3.06%
Lending::_repay -164 ✅ -3.06%
AvmTest::read_storage_list -19 ✅ -3.06%
AppSubscription::public_dispatch -174 ✅ -3.08%
EasyPrivateVoting::public_dispatch -204 ✅ -3.09%
Token::constructor -179 ✅ -3.12%
AvmTest::test_get_contract_instance -39 ✅ -3.14%
StatefulTest::public_constructor -129 ✅ -3.14%
Auth::public_dispatch -349 ✅ -3.15%
TokenBlacklist::mint_private -129 ✅ -3.17%
FPC::public_dispatch -304 ✅ -3.18%
FPC::prepare_fee -39 ✅ -3.19%
TokenBlacklist::transfer_public -199 ✅ -3.19%
AppSubscription::constructor -139 ✅ -3.20%
Token::shield -169 ✅ -3.22%
NFT::constructor -174 ✅ -3.23%
TokenBlacklist::burn_public -189 ✅ -3.25%
Uniswap::public_dispatch -739 ✅ -3.25%
AuthWitTest::public_dispatch -69 ✅ -3.27%
StatefulTest::public_dispatch -269 ✅ -3.29%
InclusionProofs::public_dispatch -159 ✅ -3.29%
FeeJuice::public_dispatch -194 ✅ -3.29%
Crowdfunding::init -139 ✅ -3.31%
TokenBlacklist::mint_public -144 ✅ -3.33%
Token::mint_private -109 ✅ -3.34%
AvmInitializerTest::public_dispatch -134 ✅ -3.36%
Test::emit_unencrypted -54 ✅ -3.41%
AvmTest::nested_call_to_add -29 ✅ -3.42%
AvmTest::nested_static_call_to_add -29 ✅ -3.42%
AvmTest::nested_call_to_assert_same -29 ✅ -3.42%
EasyPrivateVoting::constructor -134 ✅ -3.43%
Claim::public_dispatch -169 ✅ -3.44%
TokenBlacklist::constructor -289 ✅ -3.45%
AvmTest::get_args_hash -59 ✅ -3.46%
Benchmarking::public_dispatch -174 ✅ -3.47%
Token::burn_public -164 ✅ -3.49%
TokenBlacklist::update_roles -254 ✅ -3.49%
Router::public_dispatch -99 ✅ -3.50%
Token::transfer_public -169 ✅ -3.51%
Claim::constructor -139 ✅ -3.51%
AvmTest::nested_call_to_add_with_gas -29 ✅ -3.52%
TokenBridge::constructor -139 ✅ -3.53%
InclusionProofs::constructor -119 ✅ -3.57%
FPC::constructor -134 ✅ -3.58%
Uniswap::constructor -134 ✅ -3.58%
Token::mint_public -119 ✅ -3.61%
AvmTest::poseidon2_hash -59 ✅ -3.62%
DocsExample::public_dispatch -189 ✅ -3.63%
Lending::get_assets -29 ✅ -3.63%
TokenBlacklist::get_roles -94 ✅ -3.63%
AvmTest::emit_unencrypted_log -104 ✅ -3.67%
Uniswap::swap_public -469 ✅ -3.67%
Benchmarking::increment_balance -114 ✅ -3.67%
AvmTest::to_radix_le -9 ✅ -3.69%
Auth::constructor -139 ✅ -3.69%
Crowdfunding::public_dispatch -249 ✅ -3.69%
PrivateFPC::public_dispatch -179 ✅ -3.73%
Auth::get_authorized_delay -84 ✅ -3.80%
NFT::transfer_in_public -144 ✅ -3.81%
AvmInitializerTest::constructor -124 ✅ -3.81%
AvmTest::pedersen_commit -44 ✅ -3.84%
PrivateFPC::constructor -149 ✅ -3.87%
AuthWitTest::consume_public -34 ✅ -3.90%
TokenBridge::public_dispatch -789 ✅ -3.90%
Auth::set_authorized -224 ✅ -3.92%
PriceFeed::public_dispatch -149 ✅ -3.92%
TestLog::emit_unencrypted_events -69 ✅ -3.94%
NFT::mint -124 ✅ -3.97%
Auth::set_authorized_delay -224 ✅ -3.97%
Benchmarking::broadcast -74 ✅ -3.98%
FeeJuice::check_balance -89 ✅ -3.98%
Child::pub_inc_value -29 ✅ -3.98%
StaticChild::pub_inc_value -29 ✅ -3.98%
TokenBridge::_call_mint_on_token -49 ✅ -3.99%
AvmTest::u128_from_integer_overflow -29 ✅ -4.01%
Spam::public_dispatch -144 ✅ -4.02%
AvmTest::set_storage_map -74 ✅ -4.04%
NFT::finalize_transfer_to_private -154 ✅ -4.05%
FPC::pay_refund -69 ✅ -4.07%
Lending::get_asset -84 ✅ -4.08%
AuthRegistry::consume -124 ✅ -4.08%
AvmTest::read_storage_map -74 ✅ -4.09%
FeeJuice::_increase_public_balance -99 ✅ -4.09%
CardGame::on_game_joined -194 ✅ -4.14%
NFT::_finalize_transfer_to_private_unsafe -159 ✅ -4.14%
Auth::get_authorized -79 ✅ -4.15%
Router::_check_timestamp -54 ✅ -4.16%
AvmTest::pedersen_hash_with_index -119 ✅ -4.16%
AvmTest::pedersen_hash -119 ✅ -4.16%
Lending::init -124 ✅ -4.16%
AvmTest::read_storage_single -19 ✅ -4.17%
EasyPrivateVoting::add_to_tally_public -99 ✅ -4.19%
AuthRegistry::set_authorized -79 ✅ -4.19%
AuthRegistry::is_consumable -84 ✅ -4.20%
NFT::owner_of -109 ✅ -4.21%
Router::_check_block_number -54 ✅ -4.21%
FPC::pay_refund_with_shielded_rebate -69 ✅ -4.23%
StatefulTest::increment_public_value_no_init_check -84 ✅ -4.25%
PriceFeed::get_price -79 ✅ -4.26%
TestLog::public_dispatch -134 ✅ -4.26%
AuthRegistry::set_reject_all -74 ✅ -4.28%
AvmTest::add_storage_map -94 ✅ -4.29%
AuthRegistry::is_reject_all -79 ✅ -4.31%
StatefulTest::get_public_value -79 ✅ -4.33%
TokenBridge::exit_to_l1_public -294 ✅ -4.34%
Lending::_deposit -104 ✅ -4.34%
Spam::public_spam -114 ✅ -4.36%
PriceFeed::set_price -79 ✅ -4.36%
Auth::get_scheduled_authorized -79 ✅ -4.36%
AuthRegistry::_set_authorized -84 ✅ -4.38%
FeeJuice::balance_of_public -84 ✅ -4.38%
DocsExample::get_shared_immutable_constrained_public_indirect -19 ✅ -4.41%
StatefulTest::increment_public_value -89 ✅ -4.43%
DocsExample::get_shared_immutable_constrained_public -24 ✅ -4.45%
AvmTest::set_read_storage_single -29 ✅ -4.45%
TokenBlacklist::_increase_public_balance -119 ✅ -4.47%
Token::_increase_public_balance -119 ✅ -4.47%
NFT::is_minter -84 ✅ -4.48%
Token::is_minter -84 ✅ -4.48%
Child::pub_inc_value_internal -34 ✅ -4.49%
StaticChild::pub_illegal_inc_value -34 ✅ -4.52%
Token::assert_minter_and_mint -109 ✅ -4.53%
TokenBlacklist::balance_of_public -89 ✅ -4.55%
Token::balance_of_public -89 ✅ -4.55%
NFT::set_minter -94 ✅ -4.59%
Token::set_minter -94 ✅ -4.60%
FeeJuice::set_portal -44 ✅ -4.62%
Test::public_dispatch -814 ✅ -4.64%
NFT::_finish_transfer_to_public -84 ✅ -4.72%
CardGame::on_cards_claimed -339 ✅ -4.85%
AvmInitializerTest::read_storage_immutable -24 ✅ -4.86%
TokenBridge::claim_public -494 ✅ -4.89%
Token::_reduce_total_supply -49 ✅ -5.03%
Crowdfunding::_publish_donation_receipts -64 ✅ -5.04%
TokenBlacklist::_reduce_total_supply -49 ✅ -5.05%
Test::consume_mint_public_message -454 ✅ -5.18%
CardGame::on_card_played -289 ✅ -5.18%
DocsExample::initialize_shared_immutable -44 ✅ -5.19%
DocsExample::initialize_public_immutable -44 ✅ -5.19%
TokenBridge::get_portal_address_public -29 ✅ -5.22%
AvmTest::get_function_selector -9 ✅ -5.29%
AvmTest::keccak_hash -144 ✅ -5.35%
Token::public_get_decimals -29 ✅ -5.38%
AvmTest::sha256_hash -154 ✅ -5.43%
Test::consume_message_from_arbitrary_sender_public -364 ✅ -5.43%
TokenBlacklist::total_supply -34 ✅ -5.48%
Token::total_supply -34 ✅ -5.48%
NFT::public_get_name -29 ✅ -5.53%
NFT::get_admin -29 ✅ -5.53%
Token::public_get_name -29 ✅ -5.53%
Token::public_get_symbol -29 ✅ -5.53%
NFT::set_admin -39 ✅ -5.54%
Token::set_admin -39 ✅ -5.54%
EasyPrivateVoting::end_vote -39 ✅ -5.55%
NFT::public_get_symbol -29 ✅ -5.59%
TokenBridge::get_token -29 ✅ -5.59%
Token::get_admin -29 ✅ -5.59%
Child::pub_set_value -19 ✅ -5.72%
StaticChild::pub_set_value -19 ✅ -5.72%
CardGame::public_dispatch -914 ✅ -5.82%
AvmTest::u128_addition_overflow -74 ✅ -5.92%
Test::create_l2_to_l1_message_public -119 ✅ -6.01%
Child::pub_get_value -9 ✅ -6.16%
TokenBridge::_assert_token_is_same -34 ✅ -6.30%
CardGame::start_game -429 ✅ -6.43%
AvmTest::assert_calldata_copy -29 ✅ -6.44%
AvmTest::add_u128 -14 ✅ -6.51%
AvmTest::set_opcode_big_field -9 ✅ -6.82%
AvmTest::set_opcode_really_big_field -9 ✅ -6.82%
AvmTest::set_storage_list -19 ✅ -7.04%
Uniswap::_assert_token_is_same -34 ✅ -7.05%
AvmTest::modulo2 -9 ✅ -7.38%
AvmTest::check_selector -14 ✅ -7.41%
AvmTest::l1_to_l2_msg_exists -9 ✅ -7.56%
AvmTest::note_hash_exists -9 ✅ -7.56%
AvmTest::set_storage_single -19 ✅ -7.60%
AvmTest::nullifier_exists -9 ✅ -7.63%
DocsExample::update_leader -24 ✅ -7.69%
AvmTest::set_opcode_small_field -9 ✅ -7.76%
AvmTest::add_args_return -9 ✅ -7.76%
NFT::_store_point_in_transient_storage_unsafe -29 ✅ -7.92%
StaticChild::pub_get_value -14 ✅ -7.95%
DocsExample::spend_public_authwit -9 ✅ -8.18%
AvmTest::assertion_failure -14 ✅ -8.28%
AvmTest::set_opcode_u64 -9 ✅ -8.33%
AvmTest::send_l2_to_l1_msg -9 ✅ -8.41%
Test::create_l2_to_l1_message_arbitrary_recipient_public -9 ✅ -8.41%
AvmTest::set_opcode_u32 -9 ✅ -8.65%
AvmTest::nullifier_collision -9 ✅ -8.74%
AvmTest::get_address -9 ✅ -9.00%
AvmTest::get_block_number -9 ✅ -9.00%
AvmTest::set_opcode_u8 -9 ✅ -9.00%
AvmTest::get_timestamp -9 ✅ -9.00%
AvmTest::get_transaction_fee -9 ✅ -9.00%
AvmTest::get_chain_id -9 ✅ -9.00%
AvmTest::get_l2_gas_left -9 ✅ -9.00%
AvmTest::get_fee_per_l2_gas -9 ✅ -9.00%
AvmTest::get_da_gas_left -9 ✅ -9.00%
AvmTest::get_version -9 ✅ -9.00%
AvmTest::get_sender -9 ✅ -9.00%
AvmTest::get_fee_per_da_gas -9 ✅ -9.00%
AvmTest::new_nullifier -9 ✅ -9.09%
AvmTest::new_note_hash -9 ✅ -9.09%
Test::emit_nullifier_public -9 ✅ -9.09%
InclusionProofs::push_nullifier_public -14 ✅ -10.22%
AvmTest::test_get_contract_instance_raw -94 ✅ -10.41%
Test::is_time_equal -14 ✅ -10.53%
AvmTest::assert_same -14 ✅ -10.61%
AvmTest::emit_nullifier_and_check -14 ✅ -10.61%
AvmTest::assert_nullifier_exists -14 ✅ -10.94%
AvmTest::assert_timestamp -14 ✅ -11.02%
Test::dummy_public_call -14 ✅ -11.76%
InclusionProofs::test_nullifier_inclusion_from_public -19 ✅ -11.80%
Test::assert_public_global_vars -39 ✅ -13.83%

Full diff report 👇
Program Bytecode size in bytes (+/-) %
AvmTest::bulk_testing 23,691 (+606) +2.63%
AvmTest::debug_logging 1,223 (-9) -0.73%
AvmTest::elliptic_curve_add_and_double 656 (-9) -1.35%
AvmTest::elliptic_curve_add 529 (-9) -1.67%
Child::public_dispatch 5,391 (-99) -1.80%
Lending::public_dispatch 24,617 (-459) -1.83%
AvmTest::public_dispatch 53,965 (-1,027) -1.87%
AvmTest::keccak_f1600 460 (-9) -1.92%
AvmTest::variable_base_msm 434 (-9) -2.03%
StaticParent::public_nested_static_call 1,257 (-29) -2.26%
Lending::deposit_public 1,686 (-39) -2.26%
Token::public_dispatch 27,547 (-664) -2.35%
Token::complete_refund 2,820 (-69) -2.39%
Lending::repay_public 1,580 (-39) -2.41%
TokenBlacklist::public_dispatch 24,585 (-609) -2.42%
StaticChild::public_dispatch 2,771 (-69) -2.43%
Parent::pub_entry_point_twice 1,135 (-29) -2.49%
Parent::public_static_call 929 (-24) -2.52%
StaticParent::public_static_call 929 (-24) -2.52%
Lending::_withdraw 7,150 (-189) -2.58%
Lending::_borrow 7,094 (-189) -2.60%
AvmTest::return_oracle 330 (-9) -2.65%
Lending::update_accumulator 5,235 (-144) -2.68%
DocsExample::get_shared_immutable_constrained_public_multiple 688 (-19) -2.69%
Parent::pub_entry_point 685 (-19) -2.70%
StaticParent::public_call 685 (-19) -2.70%
StaticParent::public_get_value_from_child 676 (-19) -2.73%
Parent::public_dispatch 7,757 (-219) -2.75%
AvmTest::create_different_nullifier_in_nested_call 665 (-19) -2.78%
StaticParent::public_dispatch 5,670 (-164) -2.81%
AvmTest::create_same_nullifier_in_nested_call 655 (-19) -2.82%
ImportTest::pub_call_public_fn 650 (-19) -2.84%
AvmTest::nested_static_call_to_set_storage 649 (-19) -2.84%
NFT::public_dispatch 21,559 (-634) -2.86%
ImportTest::public_dispatch 1,661 (-49) -2.87%
Lending::withdraw_public 1,116 (-34) -2.96%
Lending::borrow_public 1,116 (-34) -2.96%
Parent::public_nested_static_call 3,412 (-104) -2.96%
Uniswap::_approve_bridge_and_exit_input_asset_to_L1 5,353 (-164) -2.97%
AuthRegistry::public_dispatch 7,745 (-239) -2.99%
Child::set_value_with_two_nested_calls 1,251 (-39) -3.02%
Child::set_value_twice_with_nested_first 924 (-29) -3.04%
Child::set_value_twice_with_nested_last 924 (-29) -3.04%
TokenBlacklist::shield 6,175 (-194) -3.05%
Lending::get_position 4,718 (-149) -3.06%
Lending::_repay 5,189 (-164) -3.06%
AvmTest::read_storage_list 601 (-19) -3.06%
AppSubscription::public_dispatch 5,469 (-174) -3.08%
EasyPrivateVoting::public_dispatch 6,399 (-204) -3.09%
Token::constructor 5,554 (-179) -3.12%
AvmTest::test_get_contract_instance 1,202 (-39) -3.14%
StatefulTest::public_constructor 3,974 (-129) -3.14%
Auth::public_dispatch 10,719 (-349) -3.15%
TokenBlacklist::mint_private 3,940 (-129) -3.17%
FPC::public_dispatch 9,269 (-304) -3.18%
FPC::prepare_fee 1,185 (-39) -3.19%
TokenBlacklist::transfer_public 6,036 (-199) -3.19%
AppSubscription::constructor 4,211 (-139) -3.20%
Token::shield 5,075 (-169) -3.22%
NFT::constructor 5,211 (-174) -3.23%
TokenBlacklist::burn_public 5,634 (-189) -3.25%
Uniswap::public_dispatch 22,007 (-739) -3.25%
AuthWitTest::public_dispatch 2,042 (-69) -3.27%
StatefulTest::public_dispatch 7,913 (-269) -3.29%
InclusionProofs::public_dispatch 4,673 (-159) -3.29%
FeeJuice::public_dispatch 5,701 (-194) -3.29%
Crowdfunding::init 4,064 (-139) -3.31%
TokenBlacklist::mint_public 4,178 (-144) -3.33%
Token::mint_private 3,154 (-109) -3.34%
AvmInitializerTest::public_dispatch 3,854 (-134) -3.36%
Test::emit_unencrypted 1,528 (-54) -3.41%
AvmTest::nested_call_to_add 819 (-29) -3.42%
AvmTest::nested_static_call_to_add 819 (-29) -3.42%
AvmTest::nested_call_to_assert_same 819 (-29) -3.42%
EasyPrivateVoting::constructor 3,772 (-134) -3.43%
Claim::public_dispatch 4,741 (-169) -3.44%
TokenBlacklist::constructor 8,082 (-289) -3.45%
AvmTest::get_args_hash 1,647 (-59) -3.46%
Benchmarking::public_dispatch 4,846 (-174) -3.47%
Token::burn_public 4,539 (-164) -3.49%
TokenBlacklist::update_roles 7,014 (-254) -3.49%
Router::public_dispatch 2,727 (-99) -3.50%
Token::transfer_public 4,646 (-169) -3.51%
Claim::constructor 3,819 (-139) -3.51%
AvmTest::nested_call_to_add_with_gas 794 (-29) -3.52%
TokenBridge::constructor 3,798 (-139) -3.53%
InclusionProofs::constructor 3,217 (-119) -3.57%
FPC::constructor 3,609 (-134) -3.58%
Uniswap::constructor 3,609 (-134) -3.58%
Token::mint_public 3,179 (-119) -3.61%
AvmTest::poseidon2_hash 1,573 (-59) -3.62%
DocsExample::public_dispatch 5,019 (-189) -3.63%
Lending::get_assets 770 (-29) -3.63%
TokenBlacklist::get_roles 2,494 (-94) -3.63%
AvmTest::emit_unencrypted_log 2,733 (-104) -3.67%
Uniswap::swap_public 12,324 (-469) -3.67%
Benchmarking::increment_balance 2,993 (-114) -3.67%
AvmTest::to_radix_le 235 (-9) -3.69%
Auth::constructor 3,629 (-139) -3.69%
Crowdfunding::public_dispatch 6,498 (-249) -3.69%
PrivateFPC::public_dispatch 4,617 (-179) -3.73%
Auth::get_authorized_delay 2,127 (-84) -3.80%
NFT::transfer_in_public 3,639 (-144) -3.81%
AvmInitializerTest::constructor 3,128 (-124) -3.81%
AvmTest::pedersen_commit 1,102 (-44) -3.84%
PrivateFPC::constructor 3,700 (-149) -3.87%
AuthWitTest::consume_public 837 (-34) -3.90%
TokenBridge::public_dispatch 19,418 (-789) -3.90%
Auth::set_authorized 5,493 (-224) -3.92%
PriceFeed::public_dispatch 3,651 (-149) -3.92%
TestLog::emit_unencrypted_events 1,684 (-69) -3.94%
NFT::mint 3,001 (-124) -3.97%
Auth::set_authorized_delay 5,413 (-224) -3.97%
Benchmarking::broadcast 1,787 (-74) -3.98%
FeeJuice::check_balance 2,149 (-89) -3.98%
Child::pub_inc_value 699 (-29) -3.98%
StaticChild::pub_inc_value 699 (-29) -3.98%
TokenBridge::_call_mint_on_token 1,179 (-49) -3.99%
AvmTest::u128_from_integer_overflow 694 (-29) -4.01%
Spam::public_dispatch 3,436 (-144) -4.02%
AvmTest::set_storage_map 1,759 (-74) -4.04%
NFT::finalize_transfer_to_private 3,653 (-154) -4.05%
FPC::pay_refund 1,625 (-69) -4.07%
Lending::get_asset 1,974 (-84) -4.08%
AuthRegistry::consume 2,913 (-124) -4.08%
AvmTest::read_storage_map 1,736 (-74) -4.09%
FeeJuice::_increase_public_balance 2,322 (-99) -4.09%
CardGame::on_game_joined 4,495 (-194) -4.14%
NFT::_finalize_transfer_to_private_unsafe 3,679 (-159) -4.14%
Auth::get_authorized 1,823 (-79) -4.15%
Router::_check_timestamp 1,245 (-54) -4.16%
AvmTest::pedersen_hash_with_index 2,740 (-119) -4.16%
AvmTest::pedersen_hash 2,740 (-119) -4.16%
Lending::init 2,855 (-124) -4.16%
AvmTest::read_storage_single 437 (-19) -4.17%
EasyPrivateVoting::add_to_tally_public 2,265 (-99) -4.19%
AuthRegistry::set_authorized 1,807 (-79) -4.19%
AuthRegistry::is_consumable 1,914 (-84) -4.20%
NFT::owner_of 2,482 (-109) -4.21%
Router::_check_block_number 1,228 (-54) -4.21%
FPC::pay_refund_with_shielded_rebate 1,561 (-69) -4.23%
StatefulTest::increment_public_value_no_init_check 1,891 (-84) -4.25%
PriceFeed::get_price 1,774 (-79) -4.26%
TestLog::public_dispatch 3,008 (-134) -4.26%
AuthRegistry::set_reject_all 1,654 (-74) -4.28%
AvmTest::add_storage_map 2,095 (-94) -4.29%
AuthRegistry::is_reject_all 1,756 (-79) -4.31%
StatefulTest::get_public_value 1,746 (-79) -4.33%
TokenBridge::exit_to_l1_public 6,487 (-294) -4.34%
Lending::_deposit 2,290 (-104) -4.34%
Spam::public_spam 2,503 (-114) -4.36%
PriceFeed::set_price 1,734 (-79) -4.36%
Auth::get_scheduled_authorized 1,731 (-79) -4.36%
AuthRegistry::_set_authorized 1,833 (-84) -4.38%
FeeJuice::balance_of_public 1,833 (-84) -4.38%
DocsExample::get_shared_immutable_constrained_public_indirect 412 (-19) -4.41%
StatefulTest::increment_public_value 1,919 (-89) -4.43%
DocsExample::get_shared_immutable_constrained_public 515 (-24) -4.45%
AvmTest::set_read_storage_single 622 (-29) -4.45%
TokenBlacklist::_increase_public_balance 2,541 (-119) -4.47%
Token::_increase_public_balance 2,541 (-119) -4.47%
NFT::is_minter 1,789 (-84) -4.48%
Token::is_minter 1,789 (-84) -4.48%
Child::pub_inc_value_internal 724 (-34) -4.49%
StaticChild::pub_illegal_inc_value 719 (-34) -4.52%
Token::assert_minter_and_mint 2,296 (-109) -4.53%
TokenBlacklist::balance_of_public 1,866 (-89) -4.55%
Token::balance_of_public 1,866 (-89) -4.55%
NFT::set_minter 1,956 (-94) -4.59%
Token::set_minter 1,951 (-94) -4.60%
FeeJuice::set_portal 909 (-44) -4.62%
Test::public_dispatch 16,738 (-814) -4.64%
NFT::_finish_transfer_to_public 1,696 (-84) -4.72%
CardGame::on_cards_claimed 6,650 (-339) -4.85%
AvmInitializerTest::read_storage_immutable 470 (-24) -4.86%
TokenBridge::claim_public 9,608 (-494) -4.89%
Token::_reduce_total_supply 926 (-49) -5.03%
Crowdfunding::_publish_donation_receipts 1,207 (-64) -5.04%
TokenBlacklist::_reduce_total_supply 921 (-49) -5.05%
Test::consume_mint_public_message 8,311 (-454) -5.18%
CardGame::on_card_played 5,285 (-289) -5.18%
DocsExample::initialize_shared_immutable 804 (-44) -5.19%
DocsExample::initialize_public_immutable 804 (-44) -5.19%
TokenBridge::get_portal_address_public 527 (-29) -5.22%
AvmTest::get_function_selector 161 (-9) -5.29%
AvmTest::keccak_hash 2,548 (-144) -5.35%
Token::public_get_decimals 510 (-29) -5.38%
AvmTest::sha256_hash 2,684 (-154) -5.43%
Test::consume_message_from_arbitrary_sender_public 6,344 (-364) -5.43%
TokenBlacklist::total_supply 587 (-34) -5.48%
Token::total_supply 587 (-34) -5.48%
NFT::public_get_name 495 (-29) -5.53%
NFT::get_admin 495 (-29) -5.53%
Token::public_get_name 495 (-29) -5.53%
Token::public_get_symbol 495 (-29) -5.53%
NFT::set_admin 665 (-39) -5.54%
Token::set_admin 665 (-39) -5.54%
EasyPrivateVoting::end_vote 664 (-39) -5.55%
NFT::public_get_symbol 490 (-29) -5.59%
TokenBridge::get_token 490 (-29) -5.59%
Token::get_admin 490 (-29) -5.59%
Child::pub_set_value 313 (-19) -5.72%
StaticChild::pub_set_value 313 (-19) -5.72%
CardGame::public_dispatch 14,790 (-914) -5.82%
AvmTest::u128_addition_overflow 1,175 (-74) -5.92%
Test::create_l2_to_l1_message_public 1,860 (-119) -6.01%
Child::pub_get_value 137 (-9) -6.16%
TokenBridge::_assert_token_is_same 506 (-34) -6.30%
CardGame::start_game 6,248 (-429) -6.43%
AvmTest::assert_calldata_copy 421 (-29) -6.44%
AvmTest::add_u128 201 (-14) -6.51%
AvmTest::set_opcode_big_field 123 (-9) -6.82%
AvmTest::set_opcode_really_big_field 123 (-9) -6.82%
AvmTest::set_storage_list 251 (-19) -7.04%
Uniswap::_assert_token_is_same 448 (-34) -7.05%
AvmTest::modulo2 113 (-9) -7.38%
AvmTest::check_selector 175 (-14) -7.41%
AvmTest::l1_to_l2_msg_exists 110 (-9) -7.56%
AvmTest::note_hash_exists 110 (-9) -7.56%
AvmTest::set_storage_single 231 (-19) -7.60%
AvmTest::nullifier_exists 109 (-9) -7.63%
DocsExample::update_leader 288 (-24) -7.69%
AvmTest::set_opcode_small_field 107 (-9) -7.76%
AvmTest::add_args_return 107 (-9) -7.76%
NFT::_store_point_in_transient_storage_unsafe 337 (-29) -7.92%
StaticChild::pub_get_value 162 (-14) -7.95%
DocsExample::spend_public_authwit 101 (-9) -8.18%
AvmTest::assertion_failure 155 (-14) -8.28%
AvmTest::set_opcode_u64 99 (-9) -8.33%
AvmTest::send_l2_to_l1_msg 98 (-9) -8.41%
Test::create_l2_to_l1_message_arbitrary_recipient_public 98 (-9) -8.41%
AvmTest::set_opcode_u32 95 (-9) -8.65%
AvmTest::nullifier_collision 94 (-9) -8.74%
AvmTest::get_address 91 (-9) -9.00%
AvmTest::get_block_number 91 (-9) -9.00%
AvmTest::set_opcode_u8 91 (-9) -9.00%
AvmTest::get_timestamp 91 (-9) -9.00%
AvmTest::get_transaction_fee 91 (-9) -9.00%
AvmTest::get_chain_id 91 (-9) -9.00%
AvmTest::get_l2_gas_left 91 (-9) -9.00%
AvmTest::get_fee_per_l2_gas 91 (-9) -9.00%
AvmTest::get_da_gas_left 91 (-9) -9.00%
AvmTest::get_version 91 (-9) -9.00%
AvmTest::get_sender 91 (-9) -9.00%
AvmTest::get_fee_per_da_gas 91 (-9) -9.00%
AvmTest::new_nullifier 90 (-9) -9.09%
AvmTest::new_note_hash 90 (-9) -9.09%
Test::emit_nullifier_public 90 (-9) -9.09%
InclusionProofs::push_nullifier_public 123 (-14) -10.22%
AvmTest::test_get_contract_instance_raw 809 (-94) -10.41%
Test::is_time_equal 119 (-14) -10.53%
AvmTest::assert_same 118 (-14) -10.61%
AvmTest::emit_nullifier_and_check 118 (-14) -10.61%
AvmTest::assert_nullifier_exists 114 (-14) -10.94%
AvmTest::assert_timestamp 113 (-14) -11.02%
Test::dummy_public_call 105 (-14) -11.76%
InclusionProofs::test_nullifier_inclusion_from_public 142 (-19) -11.80%
Test::assert_public_global_vars 243 (-39) -13.83%

@ledwards2225 ledwards2225 merged commit 8658abd into master Oct 28, 2024
61 checks passed
@ledwards2225 ledwards2225 deleted the lde/fixed_bus_propagation_size branch October 28, 2024 14:42
TomAFrench added a commit that referenced this pull request Oct 28, 2024
* master: (62 commits)
  chore: dont show aws creds in docker fast  (#9465)
  fix: make sure kind tests run every master commit (#9478)
  feat: simulate latency with network chaos (#9469)
  feat: fixed number of pub inputs for databus commitment propagation (#9336)
  chore(CI): remove end-to-end/Earthfile (#9364)
  chore!: use Brillig opcode when possible for less-than operations on fields (#9416)
  fix: remove unnecessary ivpk's from aztec-nr (#9460)
  feat: Sync from noir (#9425)
  chore!: split base rollup and remove public kernel proving (#9434)
  refactor: clean up note processor after changes due to address (#9401)
  feat(avm): merkle tree gadget (#9205)
  fix: docker fast (#9467)
  chore(avm:): Fix execution tests in proving mode (#9466)
  chore: remove unnecessary trait (#9437)
  fix: yarn build:fast (#9464)
  git subrepo push --branch=master noir-projects/aztec-nr
  git_subrepo.sh: Fix parent in .gitrepo file. [skip ci]
  chore: replace relative paths to noir-protocol-circuits
  git subrepo push --branch=master barretenberg
  fix: cleanup of janky encryption apis (#9390)
  ...
TomAFrench pushed a commit that referenced this pull request Oct 30, 2024
🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.61.0</summary>

##
[0.61.0](aztec-package-v0.60.0...aztec-package-v0.61.0)
(2024-10-30)


### Miscellaneous

* **aztec-package:** Synchronize aztec-packages versions
</details>

<details><summary>barretenberg.js: 0.61.0</summary>

##
[0.61.0](barretenberg.js-v0.60.0...barretenberg.js-v0.61.0)
(2024-10-30)


### Miscellaneous

* **barretenberg.js:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-packages: 0.61.0</summary>

##
[0.61.0](aztec-packages-v0.60.0...aztec-packages-v0.61.0)
(2024-10-30)


### ⚠ BREAKING CHANGES

* **avm:** cleanup CALL
([#9551](#9551))
* **avm:** returndatasize + returndatacopy
([#9475](#9475))
* use Brillig opcode when possible for less-than operations on fields
([#9416](#9416))
* **profiler:** New flamegraph command that profiles the opcodes
executed (noir-lang/noir#6327)
* split base rollup and remove public kernel proving
([#9434](#9434))
* getcontractinstance instruction returns only a specified member
([#9300](#9300))
* **avm/brillig:** revert/rethrow oracle
([#9408](#9408))

### Features

* `bytes_to_fields` requiring only 1 generic param
([#9417](#9417))
([2217da6](2217da6))
* 20-30% cost reduction in recursive ipa algorithm
([#9420](#9420))
([a4bd3e1](a4bd3e1))
* Add capacities to brillig vectors and use them in slice ops
(noir-lang/noir#6332)
([b82f3d1](b82f3d1))
* Added indexes and a way to store/retrieve tagged secrets
([#9468](#9468))
([1c685b1](1c685b1))
* **avm/brillig:** Revert/rethrow oracle
([#9408](#9408))
([1bbd724](1bbd724))
* **avm:** Avm replace zeromorph pcs by shplemini
([#9389](#9389))
([07d6dc2](07d6dc2))
* **avm:** Cleanup CALL
([#9551](#9551))
([26adc55](26adc55))
* **avm:** Merkle tree gadget
([#9205](#9205))
([d52b616](d52b616))
* **avm:** Returndatasize + returndatacopy
([#9475](#9475))
([8f71006](8f71006))
* **avm:** Trace contract class and contract instance
([#8840](#8840))
([84205d8](84205d8))
* Better LSP hover for functions
(noir-lang/noir#6376)
([b82f3d1](b82f3d1))
* Bytecode hashing init
([#8535](#8535))
([2bb09e5](2bb09e5))
* Check trait where clause (noir-lang/noir#6325)
([d67381b](d67381b))
* Comptime deriving generators in macros
([#9195](#9195))
([c4b629c](c4b629c))
* Derive address and class id in avm
([#8897](#8897))
([2ebe361](2ebe361))
* Do not increment reference counts on arrays through references
(noir-lang/noir#6375)
([f386612](f386612))
* **docs:** Function transforms (hidden macros)
([#7784](#7784))
([831cc66](831cc66))
* Fee pricing to 0 for old instances
([#9296](#9296))
([7bc3a21](7bc3a21))
* Fixed number of pub inputs for databus commitment propagation
([#9336](#9336))
([8658abd](8658abd))
* Getcontractinstance instruction returns only a specified member
([#9300](#9300))
([29b692f](29b692f))
* Implement encryption to an address point and decryption from an
address secret
([#9272](#9272))
([6d77dd0](6d77dd0))
* Initial block reward + external libraries
([#9297](#9297))
([240e9b5](240e9b5))
* Let LSP suggest traits in trait bounds
(noir-lang/noir#6370)
([f386612](f386612))
* Let the formatter remove lambda block braces for single-statement
blocks (noir-lang/noir#6335)
([d67381b](d67381b))
* Let the LSP import code action insert into existing use statements
(noir-lang/noir#6358)
([f386612](f386612))
* Let the LSP import code action insert into existing use statements
(noir-lang/noir#6358)
([d67381b](d67381b))
* LSP auto-import will try to add to existing use statements
(noir-lang/noir#6354)
([f386612](f386612))
* LSP auto-import will try to add to existing use statements
(noir-lang/noir#6354)
([d67381b](d67381b))
* Merge and sort imports (noir-lang/noir#6322)
([b4db379](b4db379))
* Note tagging oracle
([#9429](#9429))
([cec6306](cec6306))
* Ownable sysstia
([#9398](#9398))
([30314ec](30314ec)),
closes
[#9351](#9351)
* **perf:** Use [u32;16] for message block in sha256
(noir-lang/noir#6324)
([d67381b](d67381b))
* Print finalized size and log dyadic size during Ultra proof
construction
([#9411](#9411))
([84fdc52](84fdc52))
* **profiler:** New flamegraph command that profiles the opcodes
executed (noir-lang/noir#6327)
([d67381b](d67381b))
* Prover coordination test with a reorg
([#9405](#9405))
([9efe288](9efe288))
* **prover:** Perform prover coordination via p2p layer
([#9325](#9325))
([2132bc2](2132bc2)),
closes
[#9264](#9264)
* Reject programs with unconditional recursion
(noir-lang/noir#6292)
([b4db379](b4db379))
* Remove 'single use' intermediate variables
(noir-lang/noir#6268)
([d67381b](d67381b))
* Reorder blocks for efficiency
([#9560](#9560))
([10874f4](10874f4))
* Simulate latency with network chaos
([#9469](#9469))
([10aefbb](10aefbb))
* Sol shplemini in acir tests + contract_gen
([#8874](#8874))
([1c0275d](1c0275d))
* Suggest removing `!` from macro call that doesn't return Quoted
(noir-lang/noir#6384)
([b82f3d1](b82f3d1))
* Support specifying generics on a struct when calling an associated
function (noir-lang/noir#6306)
([b82f3d1](b82f3d1))
* Sync from aztec-packages (noir-lang/noir#6345)
([d67381b](d67381b))
* Tally AVM opcodes executed in simulator
([#9473](#9473))
([9a06ada](9a06ada))
* **test:** Run test matrix on stdlib tests
(noir-lang/noir#6352)
([f386612](f386612))
* **test:** Run test matrix on stdlib tests
(noir-lang/noir#6352)
([d67381b](d67381b))


### Bug Fixes

* (formatter) correctly format quote delimiters
(noir-lang/noir#6377)
([b82f3d1](b82f3d1))
* (formatter) indent after infix lhs
(noir-lang/noir#6331)
([b4db379](b4db379))
* (LSP) check visibility of module that re-exports item, if any
(noir-lang/noir#6371)
([f386612](f386612))
* Add native verification test to honk keccak
([#9501](#9501))
([59810e0](59810e0))
* Allow globals in format strings
(noir-lang/noir#6382)
([b82f3d1](b82f3d1))
* Allow more resources for 4epochs tests
([#9418](#9418))
([74a8ad1](74a8ad1))
* Allow type aliases in let patterns
(noir-lang/noir#6356)
([f386612](f386612))
* Allow type aliases in let patterns
(noir-lang/noir#6356)
([d67381b](d67381b))
* Always inline `derive_generators`
(noir-lang/noir#6350)
([f386612](f386612))
* Always inline `derive_generators`
(noir-lang/noir#6350)
([d67381b](d67381b))
* **avm:** Address bytecode hashing comments
([#9436](#9436))
([a85f92a](a85f92a))
* **avm:** Disable sha256 in bulk test until we debug it
([#9482](#9482))
([078c318](078c318))
* **avm:** Re-enable sha256 in bulk test, fix bug in AVM SHL/SHR
([#9496](#9496))
([0fe64df](0fe64df))
* Bb-only-change fix e2e build instability
([#9441](#9441))
([ca3abaa](ca3abaa))
* Better formatting of leading/trailing line/block comments in
expression lists (noir-lang/noir#6338)
([d67381b](d67381b))
* Cleanup of janky encryption apis
([#9390](#9390))
([9e3e536](9e3e536))
* Deploy & version aztec-up scripts
([#9435](#9435))
([ad80169](ad80169))
* Display every bit in integer tokens
(noir-lang/noir#6360)
([b82f3d1](b82f3d1))
* Docker fast
([#9467](#9467))
([34e6dd0](34e6dd0))
* **docs:** Update getting started docs
([#9426](#9426))
([985190b](985190b))
* Fix panic in comptime code
(noir-lang/noir#6361)
([f386612](f386612))
* Fix panic in comptime code
(noir-lang/noir#6361)
([d67381b](d67381b))
* Formatter didn't format `&gt;>=` well
(noir-lang/noir#6337)
([b4db379](b4db379))
* Honk shplemini acir artifacts
([#9550](#9550))
([468c100](468c100))
* Issue in partial notes API
([#9555](#9555))
([9d66c1a](9d66c1a))
* LSP auto-import would import public item inside private module
(noir-lang/noir#6366)
([f386612](f386612))
* Make keccak256 work with input lengths greater than 136 bytes
(noir-lang/noir#6393)
([b82f3d1](b82f3d1))
* Make sure kind tests run every master commit
([#9478](#9478))
([78de316](78de316))
* Mutable global pattern didn't have a span
(noir-lang/noir#6328)
([b4db379](b4db379))
* Remove assumed parent traits
(noir-lang/noir#6365)
([f386612](f386612))
* Remove unnecessary ivpk's from aztec-nr
([#9460](#9460))
([c6437cc](c6437cc))
* Replace npk_m_hash with addresses
([#9461](#9461))
([f4ed55b](f4ed55b))
* Revert "feat: sol shplemini in acir tests + contract_gen"
([#9505](#9505))
([3351217](3351217))
* Slightly better formatting of empty blocks with comments
(noir-lang/noir#6367)
([f386612](f386612))
* Spot_strategy passing
([#9428](#9428))
([1e38d3e](1e38d3e))
* **ssa:** Do not mark an array from a parameter mutable
(noir-lang/noir#6355)
([f386612](f386612))
* **ssa:** Do not mark an array from a parameter mutable
(noir-lang/noir#6355)
([d67381b](d67381b))
* Yarn build:fast
([#9464](#9464))
([bbe6d06](bbe6d06))
* Yarn project bootstrap fast
([#9440](#9440))
([c1ebed5](c1ebed5))


### Miscellaneous

* Add serdes and eq for address note
([#9544](#9544))
([74bcfab](74bcfab))
* Add some tests for type aliases
([d67381b](d67381b))
* Add test to check that duplicate definitions generated from macros
throws error (noir-lang/noir#6351)
([f386612](f386612))
* Add test to check that duplicate definitions generated from macros
throws error (noir-lang/noir#6351)
([d67381b](d67381b))
* Align debug logging between AVM sim & witgen
([#9498](#9498))
([7c2d67a](7c2d67a))
* **avm::** Fix execution tests in proving mode
([#9466](#9466))
([8e07de8](8e07de8))
* **avm:** Allocate memory for unshifted polynomials according to their
trace col size
([#9345](#9345))
([a67d0e2](a67d0e2))
* Bumping L2 gas and public reads constants
([#9431](#9431))
([91c50dd](91c50dd))
* **CI:** Remove end-to-end/Earthfile
([#9364](#9364))
([2823cbb](2823cbb)),
closes
[#9221](#9221)
* Clean up note processor after changes due to address
([#9401](#9401))
([d33c988](d33c988))
* Disable e2e_fees_dapp_subscription
([#9489](#9489))
([26416b6](26416b6))
* Disable flakey e2e_synching.test.ts
([#9439](#9439))
([01147a5](01147a5))
* Dont show aws creds in docker fast
([#9465](#9465))
([a6d8f48](a6d8f48))
* Fix sync scripts
([#9423](#9423))
([7766c8e](7766c8e))
* Have 'aztec' honour the 'DEBUG' env var
([#9413](#9413))
([771a2ac](771a2ac))
* Minor tweaks to comptime doc
(noir-lang/noir#6357)
([f386612](f386612))
* Minor tweaks to comptime doc
(noir-lang/noir#6357)
([d67381b](d67381b))
* Minting only private or public balance in Token TXE tests
([#9491](#9491))
([b8c015b](b8c015b))
* Node follow prune and extend chain
([#9328](#9328))
([a653fd3](a653fd3))
* Noir bug workaround
([#9443](#9443))
([f619687](f619687))
* Passing partial note logs through transient storage
([#9356](#9356))
([8835b31](8835b31))
* Redo typo PR by defitricks
([#9571](#9571))
([9a5dce3](9a5dce3))
* Remove ovpk as param in boxes contracts
([#9495](#9495))
([2b24b98](2b24b98))
* Remove unnecessary trait
([#9437](#9437))
([1db2eec](1db2eec))
* Rename private function in L2 block stream
([#9481](#9481))
([a34d4aa](a34d4aa)),
closes
[#9314](#9314)
* Replace relative paths to noir-protocol-circuits
([4f2d67c](4f2d67c))
* Replace relative paths to noir-protocol-circuits
([33f2151](33f2151))
* Replace relative paths to noir-protocol-circuits
([5247be2](5247be2))
* Replace relative paths to noir-protocol-circuits
([49467ba](49467ba))
* Replace relative paths to noir-protocol-circuits
([f6d714f](f6d714f))
* Replace relative paths to noir-protocol-circuits
([b4841ad](b4841ad))
* Replace token note with uint note
([#8143](#8143))
([493a3f3](493a3f3))
* Run tests in metaprogramming.rs
(noir-lang/noir#6339)
([d67381b](d67381b))
* Split base rollup and remove public kernel proving
([#9434](#9434))
([4316242](4316242))
* Switch to btreeset for deterministic ordering
(noir-lang/noir#6348)
([d67381b](d67381b))
* Update title from feedback
(noir-lang/noir#6334)
([b4db379](b4db379))
* Use array instead of Vec in keccak256
(noir-lang/noir#6395)
([b82f3d1](b82f3d1))
* Use big endian in sha
([#9471](#9471))
([bc9828e](bc9828e))
* Use Brillig opcode when possible for less-than operations on fields
([#9416](#9416))
([e50303d](e50303d))


### Documentation

* Clean up docker messaging
([#9419](#9419))
([4c4974f](4c4974f))
</details>

<details><summary>barretenberg: 0.61.0</summary>

##
[0.61.0](barretenberg-v0.60.0...barretenberg-v0.61.0)
(2024-10-30)


### ⚠ BREAKING CHANGES

* **avm:** cleanup CALL
([#9551](#9551))
* **avm:** returndatasize + returndatacopy
([#9475](#9475))
* getcontractinstance instruction returns only a specified member
([#9300](#9300))
* **avm/brillig:** revert/rethrow oracle
([#9408](#9408))

### Features

* 20-30% cost reduction in recursive ipa algorithm
([#9420](#9420))
([a4bd3e1](a4bd3e1))
* **avm/brillig:** Revert/rethrow oracle
([#9408](#9408))
([1bbd724](1bbd724))
* **avm:** Avm replace zeromorph pcs by shplemini
([#9389](#9389))
([07d6dc2](07d6dc2))
* **avm:** Cleanup CALL
([#9551](#9551))
([26adc55](26adc55))
* **avm:** Merkle tree gadget
([#9205](#9205))
([d52b616](d52b616))
* **avm:** Returndatasize + returndatacopy
([#9475](#9475))
([8f71006](8f71006))
* **avm:** Trace contract class and contract instance
([#8840](#8840))
([84205d8](84205d8))
* Bytecode hashing init
([#8535](#8535))
([2bb09e5](2bb09e5))
* Derive address and class id in avm
([#8897](#8897))
([2ebe361](2ebe361))
* Fixed number of pub inputs for databus commitment propagation
([#9336](#9336))
([8658abd](8658abd))
* Getcontractinstance instruction returns only a specified member
([#9300](#9300))
([29b692f](29b692f))
* Print finalized size and log dyadic size during Ultra proof
construction
([#9411](#9411))
([84fdc52](84fdc52))
* Reorder blocks for efficiency
([#9560](#9560))
([10874f4](10874f4))
* Sol shplemini in acir tests + contract_gen
([#8874](#8874))
([1c0275d](1c0275d))


### Bug Fixes

* Add native verification test to honk keccak
([#9501](#9501))
([59810e0](59810e0))
* **avm:** Address bytecode hashing comments
([#9436](#9436))
([a85f92a](a85f92a))
* **avm:** Re-enable sha256 in bulk test, fix bug in AVM SHL/SHR
([#9496](#9496))
([0fe64df](0fe64df))
* Honk shplemini acir artifacts
([#9550](#9550))
([468c100](468c100))
* Revert "feat: sol shplemini in acir tests + contract_gen"
([#9505](#9505))
([3351217](3351217))


### Miscellaneous

* Align debug logging between AVM sim & witgen
([#9498](#9498))
([7c2d67a](7c2d67a))
* **avm::** Fix execution tests in proving mode
([#9466](#9466))
([8e07de8](8e07de8))
* **avm:** Allocate memory for unshifted polynomials according to their
trace col size
([#9345](#9345))
([a67d0e2](a67d0e2))
* Bumping L2 gas and public reads constants
([#9431](#9431))
([91c50dd](91c50dd))
* Use big endian in sha
([#9471](#9471))
([bc9828e](bc9828e))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
AztecBot added a commit to AztecProtocol/barretenberg that referenced this pull request Oct 31, 2024
🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.61.0</summary>

##
[0.61.0](AztecProtocol/aztec-packages@aztec-package-v0.60.0...aztec-package-v0.61.0)
(2024-10-30)


### Miscellaneous

* **aztec-package:** Synchronize aztec-packages versions
</details>

<details><summary>barretenberg.js: 0.61.0</summary>

##
[0.61.0](AztecProtocol/aztec-packages@barretenberg.js-v0.60.0...barretenberg.js-v0.61.0)
(2024-10-30)


### Miscellaneous

* **barretenberg.js:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-packages: 0.61.0</summary>

##
[0.61.0](AztecProtocol/aztec-packages@aztec-packages-v0.60.0...aztec-packages-v0.61.0)
(2024-10-30)


### ⚠ BREAKING CHANGES

* **avm:** cleanup CALL
([#9551](AztecProtocol/aztec-packages#9551))
* **avm:** returndatasize + returndatacopy
([#9475](AztecProtocol/aztec-packages#9475))
* use Brillig opcode when possible for less-than operations on fields
([#9416](AztecProtocol/aztec-packages#9416))
* **profiler:** New flamegraph command that profiles the opcodes
executed (noir-lang/noir#6327)
* split base rollup and remove public kernel proving
([#9434](AztecProtocol/aztec-packages#9434))
* getcontractinstance instruction returns only a specified member
([#9300](AztecProtocol/aztec-packages#9300))
* **avm/brillig:** revert/rethrow oracle
([#9408](AztecProtocol/aztec-packages#9408))

### Features

* `bytes_to_fields` requiring only 1 generic param
([#9417](AztecProtocol/aztec-packages#9417))
([2217da6](AztecProtocol/aztec-packages@2217da6))
* 20-30% cost reduction in recursive ipa algorithm
([#9420](AztecProtocol/aztec-packages#9420))
([a4bd3e1](AztecProtocol/aztec-packages@a4bd3e1))
* Add capacities to brillig vectors and use them in slice ops
(noir-lang/noir#6332)
([b82f3d1](AztecProtocol/aztec-packages@b82f3d1))
* Added indexes and a way to store/retrieve tagged secrets
([#9468](AztecProtocol/aztec-packages#9468))
([1c685b1](AztecProtocol/aztec-packages@1c685b1))
* **avm/brillig:** Revert/rethrow oracle
([#9408](AztecProtocol/aztec-packages#9408))
([1bbd724](AztecProtocol/aztec-packages@1bbd724))
* **avm:** Avm replace zeromorph pcs by shplemini
([#9389](AztecProtocol/aztec-packages#9389))
([07d6dc2](AztecProtocol/aztec-packages@07d6dc2))
* **avm:** Cleanup CALL
([#9551](AztecProtocol/aztec-packages#9551))
([26adc55](AztecProtocol/aztec-packages@26adc55))
* **avm:** Merkle tree gadget
([#9205](AztecProtocol/aztec-packages#9205))
([d52b616](AztecProtocol/aztec-packages@d52b616))
* **avm:** Returndatasize + returndatacopy
([#9475](AztecProtocol/aztec-packages#9475))
([8f71006](AztecProtocol/aztec-packages@8f71006))
* **avm:** Trace contract class and contract instance
([#8840](AztecProtocol/aztec-packages#8840))
([84205d8](AztecProtocol/aztec-packages@84205d8))
* Better LSP hover for functions
(noir-lang/noir#6376)
([b82f3d1](AztecProtocol/aztec-packages@b82f3d1))
* Bytecode hashing init
([#8535](AztecProtocol/aztec-packages#8535))
([2bb09e5](AztecProtocol/aztec-packages@2bb09e5))
* Check trait where clause (noir-lang/noir#6325)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Comptime deriving generators in macros
([#9195](AztecProtocol/aztec-packages#9195))
([c4b629c](AztecProtocol/aztec-packages@c4b629c))
* Derive address and class id in avm
([#8897](AztecProtocol/aztec-packages#8897))
([2ebe361](AztecProtocol/aztec-packages@2ebe361))
* Do not increment reference counts on arrays through references
(noir-lang/noir#6375)
([f386612](AztecProtocol/aztec-packages@f386612))
* **docs:** Function transforms (hidden macros)
([#7784](AztecProtocol/aztec-packages#7784))
([831cc66](AztecProtocol/aztec-packages@831cc66))
* Fee pricing to 0 for old instances
([#9296](AztecProtocol/aztec-packages#9296))
([7bc3a21](AztecProtocol/aztec-packages@7bc3a21))
* Fixed number of pub inputs for databus commitment propagation
([#9336](AztecProtocol/aztec-packages#9336))
([8658abd](AztecProtocol/aztec-packages@8658abd))
* Getcontractinstance instruction returns only a specified member
([#9300](AztecProtocol/aztec-packages#9300))
([29b692f](AztecProtocol/aztec-packages@29b692f))
* Implement encryption to an address point and decryption from an
address secret
([#9272](AztecProtocol/aztec-packages#9272))
([6d77dd0](AztecProtocol/aztec-packages@6d77dd0))
* Initial block reward + external libraries
([#9297](AztecProtocol/aztec-packages#9297))
([240e9b5](AztecProtocol/aztec-packages@240e9b5))
* Let LSP suggest traits in trait bounds
(noir-lang/noir#6370)
([f386612](AztecProtocol/aztec-packages@f386612))
* Let the formatter remove lambda block braces for single-statement
blocks (noir-lang/noir#6335)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Let the LSP import code action insert into existing use statements
(noir-lang/noir#6358)
([f386612](AztecProtocol/aztec-packages@f386612))
* Let the LSP import code action insert into existing use statements
(noir-lang/noir#6358)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* LSP auto-import will try to add to existing use statements
(noir-lang/noir#6354)
([f386612](AztecProtocol/aztec-packages@f386612))
* LSP auto-import will try to add to existing use statements
(noir-lang/noir#6354)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Merge and sort imports (noir-lang/noir#6322)
([b4db379](AztecProtocol/aztec-packages@b4db379))
* Note tagging oracle
([#9429](AztecProtocol/aztec-packages#9429))
([cec6306](AztecProtocol/aztec-packages@cec6306))
* Ownable sysstia
([#9398](AztecProtocol/aztec-packages#9398))
([30314ec](AztecProtocol/aztec-packages@30314ec)),
closes
[#9351](AztecProtocol/aztec-packages#9351)
* **perf:** Use [u32;16] for message block in sha256
(noir-lang/noir#6324)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Print finalized size and log dyadic size during Ultra proof
construction
([#9411](AztecProtocol/aztec-packages#9411))
([84fdc52](AztecProtocol/aztec-packages@84fdc52))
* **profiler:** New flamegraph command that profiles the opcodes
executed (noir-lang/noir#6327)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Prover coordination test with a reorg
([#9405](AztecProtocol/aztec-packages#9405))
([9efe288](AztecProtocol/aztec-packages@9efe288))
* **prover:** Perform prover coordination via p2p layer
([#9325](AztecProtocol/aztec-packages#9325))
([2132bc2](AztecProtocol/aztec-packages@2132bc2)),
closes
[#9264](AztecProtocol/aztec-packages#9264)
* Reject programs with unconditional recursion
(noir-lang/noir#6292)
([b4db379](AztecProtocol/aztec-packages@b4db379))
* Remove 'single use' intermediate variables
(noir-lang/noir#6268)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Reorder blocks for efficiency
([#9560](AztecProtocol/aztec-packages#9560))
([10874f4](AztecProtocol/aztec-packages@10874f4))
* Simulate latency with network chaos
([#9469](AztecProtocol/aztec-packages#9469))
([10aefbb](AztecProtocol/aztec-packages@10aefbb))
* Sol shplemini in acir tests + contract_gen
([#8874](AztecProtocol/aztec-packages#8874))
([1c0275d](AztecProtocol/aztec-packages@1c0275d))
* Suggest removing `!` from macro call that doesn't return Quoted
(noir-lang/noir#6384)
([b82f3d1](AztecProtocol/aztec-packages@b82f3d1))
* Support specifying generics on a struct when calling an associated
function (noir-lang/noir#6306)
([b82f3d1](AztecProtocol/aztec-packages@b82f3d1))
* Sync from aztec-packages (noir-lang/noir#6345)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Tally AVM opcodes executed in simulator
([#9473](AztecProtocol/aztec-packages#9473))
([9a06ada](AztecProtocol/aztec-packages@9a06ada))
* **test:** Run test matrix on stdlib tests
(noir-lang/noir#6352)
([f386612](AztecProtocol/aztec-packages@f386612))
* **test:** Run test matrix on stdlib tests
(noir-lang/noir#6352)
([d67381b](AztecProtocol/aztec-packages@d67381b))


### Bug Fixes

* (formatter) correctly format quote delimiters
(noir-lang/noir#6377)
([b82f3d1](AztecProtocol/aztec-packages@b82f3d1))
* (formatter) indent after infix lhs
(noir-lang/noir#6331)
([b4db379](AztecProtocol/aztec-packages@b4db379))
* (LSP) check visibility of module that re-exports item, if any
(noir-lang/noir#6371)
([f386612](AztecProtocol/aztec-packages@f386612))
* Add native verification test to honk keccak
([#9501](AztecProtocol/aztec-packages#9501))
([59810e0](AztecProtocol/aztec-packages@59810e0))
* Allow globals in format strings
(noir-lang/noir#6382)
([b82f3d1](AztecProtocol/aztec-packages@b82f3d1))
* Allow more resources for 4epochs tests
([#9418](AztecProtocol/aztec-packages#9418))
([74a8ad1](AztecProtocol/aztec-packages@74a8ad1))
* Allow type aliases in let patterns
(noir-lang/noir#6356)
([f386612](AztecProtocol/aztec-packages@f386612))
* Allow type aliases in let patterns
(noir-lang/noir#6356)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Always inline `derive_generators`
(noir-lang/noir#6350)
([f386612](AztecProtocol/aztec-packages@f386612))
* Always inline `derive_generators`
(noir-lang/noir#6350)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* **avm:** Address bytecode hashing comments
([#9436](AztecProtocol/aztec-packages#9436))
([a85f92a](AztecProtocol/aztec-packages@a85f92a))
* **avm:** Disable sha256 in bulk test until we debug it
([#9482](AztecProtocol/aztec-packages#9482))
([078c318](AztecProtocol/aztec-packages@078c318))
* **avm:** Re-enable sha256 in bulk test, fix bug in AVM SHL/SHR
([#9496](AztecProtocol/aztec-packages#9496))
([0fe64df](AztecProtocol/aztec-packages@0fe64df))
* Bb-only-change fix e2e build instability
([#9441](AztecProtocol/aztec-packages#9441))
([ca3abaa](AztecProtocol/aztec-packages@ca3abaa))
* Better formatting of leading/trailing line/block comments in
expression lists (noir-lang/noir#6338)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Cleanup of janky encryption apis
([#9390](AztecProtocol/aztec-packages#9390))
([9e3e536](AztecProtocol/aztec-packages@9e3e536))
* Deploy & version aztec-up scripts
([#9435](AztecProtocol/aztec-packages#9435))
([ad80169](AztecProtocol/aztec-packages@ad80169))
* Display every bit in integer tokens
(noir-lang/noir#6360)
([b82f3d1](AztecProtocol/aztec-packages@b82f3d1))
* Docker fast
([#9467](AztecProtocol/aztec-packages#9467))
([34e6dd0](AztecProtocol/aztec-packages@34e6dd0))
* **docs:** Update getting started docs
([#9426](AztecProtocol/aztec-packages#9426))
([985190b](AztecProtocol/aztec-packages@985190b))
* Fix panic in comptime code
(noir-lang/noir#6361)
([f386612](AztecProtocol/aztec-packages@f386612))
* Fix panic in comptime code
(noir-lang/noir#6361)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Formatter didn't format `&gt;>=` well
(noir-lang/noir#6337)
([b4db379](AztecProtocol/aztec-packages@b4db379))
* Honk shplemini acir artifacts
([#9550](AztecProtocol/aztec-packages#9550))
([468c100](AztecProtocol/aztec-packages@468c100))
* Issue in partial notes API
([#9555](AztecProtocol/aztec-packages#9555))
([9d66c1a](AztecProtocol/aztec-packages@9d66c1a))
* LSP auto-import would import public item inside private module
(noir-lang/noir#6366)
([f386612](AztecProtocol/aztec-packages@f386612))
* Make keccak256 work with input lengths greater than 136 bytes
(noir-lang/noir#6393)
([b82f3d1](AztecProtocol/aztec-packages@b82f3d1))
* Make sure kind tests run every master commit
([#9478](AztecProtocol/aztec-packages#9478))
([78de316](AztecProtocol/aztec-packages@78de316))
* Mutable global pattern didn't have a span
(noir-lang/noir#6328)
([b4db379](AztecProtocol/aztec-packages@b4db379))
* Remove assumed parent traits
(noir-lang/noir#6365)
([f386612](AztecProtocol/aztec-packages@f386612))
* Remove unnecessary ivpk's from aztec-nr
([#9460](AztecProtocol/aztec-packages#9460))
([c6437cc](AztecProtocol/aztec-packages@c6437cc))
* Replace npk_m_hash with addresses
([#9461](AztecProtocol/aztec-packages#9461))
([f4ed55b](AztecProtocol/aztec-packages@f4ed55b))
* Revert "feat: sol shplemini in acir tests + contract_gen"
([#9505](AztecProtocol/aztec-packages#9505))
([3351217](AztecProtocol/aztec-packages@3351217))
* Slightly better formatting of empty blocks with comments
(noir-lang/noir#6367)
([f386612](AztecProtocol/aztec-packages@f386612))
* Spot_strategy passing
([#9428](AztecProtocol/aztec-packages#9428))
([1e38d3e](AztecProtocol/aztec-packages@1e38d3e))
* **ssa:** Do not mark an array from a parameter mutable
(noir-lang/noir#6355)
([f386612](AztecProtocol/aztec-packages@f386612))
* **ssa:** Do not mark an array from a parameter mutable
(noir-lang/noir#6355)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Yarn build:fast
([#9464](AztecProtocol/aztec-packages#9464))
([bbe6d06](AztecProtocol/aztec-packages@bbe6d06))
* Yarn project bootstrap fast
([#9440](AztecProtocol/aztec-packages#9440))
([c1ebed5](AztecProtocol/aztec-packages@c1ebed5))


### Miscellaneous

* Add serdes and eq for address note
([#9544](AztecProtocol/aztec-packages#9544))
([74bcfab](AztecProtocol/aztec-packages@74bcfab))
* Add some tests for type aliases
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Add test to check that duplicate definitions generated from macros
throws error (noir-lang/noir#6351)
([f386612](AztecProtocol/aztec-packages@f386612))
* Add test to check that duplicate definitions generated from macros
throws error (noir-lang/noir#6351)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Align debug logging between AVM sim & witgen
([#9498](AztecProtocol/aztec-packages#9498))
([7c2d67a](AztecProtocol/aztec-packages@7c2d67a))
* **avm::** Fix execution tests in proving mode
([#9466](AztecProtocol/aztec-packages#9466))
([8e07de8](AztecProtocol/aztec-packages@8e07de8))
* **avm:** Allocate memory for unshifted polynomials according to their
trace col size
([#9345](AztecProtocol/aztec-packages#9345))
([a67d0e2](AztecProtocol/aztec-packages@a67d0e2))
* Bumping L2 gas and public reads constants
([#9431](AztecProtocol/aztec-packages#9431))
([91c50dd](AztecProtocol/aztec-packages@91c50dd))
* **CI:** Remove end-to-end/Earthfile
([#9364](AztecProtocol/aztec-packages#9364))
([2823cbb](AztecProtocol/aztec-packages@2823cbb)),
closes
[#9221](AztecProtocol/aztec-packages#9221)
* Clean up note processor after changes due to address
([#9401](AztecProtocol/aztec-packages#9401))
([d33c988](AztecProtocol/aztec-packages@d33c988))
* Disable e2e_fees_dapp_subscription
([#9489](AztecProtocol/aztec-packages#9489))
([26416b6](AztecProtocol/aztec-packages@26416b6))
* Disable flakey e2e_synching.test.ts
([#9439](AztecProtocol/aztec-packages#9439))
([01147a5](AztecProtocol/aztec-packages@01147a5))
* Dont show aws creds in docker fast
([#9465](AztecProtocol/aztec-packages#9465))
([a6d8f48](AztecProtocol/aztec-packages@a6d8f48))
* Fix sync scripts
([#9423](AztecProtocol/aztec-packages#9423))
([7766c8e](AztecProtocol/aztec-packages@7766c8e))
* Have 'aztec' honour the 'DEBUG' env var
([#9413](AztecProtocol/aztec-packages#9413))
([771a2ac](AztecProtocol/aztec-packages@771a2ac))
* Minor tweaks to comptime doc
(noir-lang/noir#6357)
([f386612](AztecProtocol/aztec-packages@f386612))
* Minor tweaks to comptime doc
(noir-lang/noir#6357)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Minting only private or public balance in Token TXE tests
([#9491](AztecProtocol/aztec-packages#9491))
([b8c015b](AztecProtocol/aztec-packages@b8c015b))
* Node follow prune and extend chain
([#9328](AztecProtocol/aztec-packages#9328))
([a653fd3](AztecProtocol/aztec-packages@a653fd3))
* Noir bug workaround
([#9443](AztecProtocol/aztec-packages#9443))
([f619687](AztecProtocol/aztec-packages@f619687))
* Passing partial note logs through transient storage
([#9356](AztecProtocol/aztec-packages#9356))
([8835b31](AztecProtocol/aztec-packages@8835b31))
* Redo typo PR by defitricks
([#9571](AztecProtocol/aztec-packages#9571))
([9a5dce3](AztecProtocol/aztec-packages@9a5dce3))
* Remove ovpk as param in boxes contracts
([#9495](AztecProtocol/aztec-packages#9495))
([2b24b98](AztecProtocol/aztec-packages@2b24b98))
* Remove unnecessary trait
([#9437](AztecProtocol/aztec-packages#9437))
([1db2eec](AztecProtocol/aztec-packages@1db2eec))
* Rename private function in L2 block stream
([#9481](AztecProtocol/aztec-packages#9481))
([a34d4aa](AztecProtocol/aztec-packages@a34d4aa)),
closes
[#9314](AztecProtocol/aztec-packages#9314)
* Replace relative paths to noir-protocol-circuits
([4f2d67c](AztecProtocol/aztec-packages@4f2d67c))
* Replace relative paths to noir-protocol-circuits
([33f2151](AztecProtocol/aztec-packages@33f2151))
* Replace relative paths to noir-protocol-circuits
([5247be2](AztecProtocol/aztec-packages@5247be2))
* Replace relative paths to noir-protocol-circuits
([49467ba](AztecProtocol/aztec-packages@49467ba))
* Replace relative paths to noir-protocol-circuits
([f6d714f](AztecProtocol/aztec-packages@f6d714f))
* Replace relative paths to noir-protocol-circuits
([b4841ad](AztecProtocol/aztec-packages@b4841ad))
* Replace token note with uint note
([#8143](AztecProtocol/aztec-packages#8143))
([493a3f3](AztecProtocol/aztec-packages@493a3f3))
* Run tests in metaprogramming.rs
(noir-lang/noir#6339)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Split base rollup and remove public kernel proving
([#9434](AztecProtocol/aztec-packages#9434))
([4316242](AztecProtocol/aztec-packages@4316242))
* Switch to btreeset for deterministic ordering
(noir-lang/noir#6348)
([d67381b](AztecProtocol/aztec-packages@d67381b))
* Update title from feedback
(noir-lang/noir#6334)
([b4db379](AztecProtocol/aztec-packages@b4db379))
* Use array instead of Vec in keccak256
(noir-lang/noir#6395)
([b82f3d1](AztecProtocol/aztec-packages@b82f3d1))
* Use big endian in sha
([#9471](AztecProtocol/aztec-packages#9471))
([bc9828e](AztecProtocol/aztec-packages@bc9828e))
* Use Brillig opcode when possible for less-than operations on fields
([#9416](AztecProtocol/aztec-packages#9416))
([e50303d](AztecProtocol/aztec-packages@e50303d))


### Documentation

* Clean up docker messaging
([#9419](AztecProtocol/aztec-packages#9419))
([4c4974f](AztecProtocol/aztec-packages@4c4974f))
</details>

<details><summary>barretenberg: 0.61.0</summary>

##
[0.61.0](AztecProtocol/aztec-packages@barretenberg-v0.60.0...barretenberg-v0.61.0)
(2024-10-30)


### ⚠ BREAKING CHANGES

* **avm:** cleanup CALL
([#9551](AztecProtocol/aztec-packages#9551))
* **avm:** returndatasize + returndatacopy
([#9475](AztecProtocol/aztec-packages#9475))
* getcontractinstance instruction returns only a specified member
([#9300](AztecProtocol/aztec-packages#9300))
* **avm/brillig:** revert/rethrow oracle
([#9408](AztecProtocol/aztec-packages#9408))

### Features

* 20-30% cost reduction in recursive ipa algorithm
([#9420](AztecProtocol/aztec-packages#9420))
([a4bd3e1](AztecProtocol/aztec-packages@a4bd3e1))
* **avm/brillig:** Revert/rethrow oracle
([#9408](AztecProtocol/aztec-packages#9408))
([1bbd724](AztecProtocol/aztec-packages@1bbd724))
* **avm:** Avm replace zeromorph pcs by shplemini
([#9389](AztecProtocol/aztec-packages#9389))
([07d6dc2](AztecProtocol/aztec-packages@07d6dc2))
* **avm:** Cleanup CALL
([#9551](AztecProtocol/aztec-packages#9551))
([26adc55](AztecProtocol/aztec-packages@26adc55))
* **avm:** Merkle tree gadget
([#9205](AztecProtocol/aztec-packages#9205))
([d52b616](AztecProtocol/aztec-packages@d52b616))
* **avm:** Returndatasize + returndatacopy
([#9475](AztecProtocol/aztec-packages#9475))
([8f71006](AztecProtocol/aztec-packages@8f71006))
* **avm:** Trace contract class and contract instance
([#8840](AztecProtocol/aztec-packages#8840))
([84205d8](AztecProtocol/aztec-packages@84205d8))
* Bytecode hashing init
([#8535](AztecProtocol/aztec-packages#8535))
([2bb09e5](AztecProtocol/aztec-packages@2bb09e5))
* Derive address and class id in avm
([#8897](AztecProtocol/aztec-packages#8897))
([2ebe361](AztecProtocol/aztec-packages@2ebe361))
* Fixed number of pub inputs for databus commitment propagation
([#9336](AztecProtocol/aztec-packages#9336))
([8658abd](AztecProtocol/aztec-packages@8658abd))
* Getcontractinstance instruction returns only a specified member
([#9300](AztecProtocol/aztec-packages#9300))
([29b692f](AztecProtocol/aztec-packages@29b692f))
* Print finalized size and log dyadic size during Ultra proof
construction
([#9411](AztecProtocol/aztec-packages#9411))
([84fdc52](AztecProtocol/aztec-packages@84fdc52))
* Reorder blocks for efficiency
([#9560](AztecProtocol/aztec-packages#9560))
([10874f4](AztecProtocol/aztec-packages@10874f4))
* Sol shplemini in acir tests + contract_gen
([#8874](AztecProtocol/aztec-packages#8874))
([1c0275d](AztecProtocol/aztec-packages@1c0275d))


### Bug Fixes

* Add native verification test to honk keccak
([#9501](AztecProtocol/aztec-packages#9501))
([59810e0](AztecProtocol/aztec-packages@59810e0))
* **avm:** Address bytecode hashing comments
([#9436](AztecProtocol/aztec-packages#9436))
([a85f92a](AztecProtocol/aztec-packages@a85f92a))
* **avm:** Re-enable sha256 in bulk test, fix bug in AVM SHL/SHR
([#9496](AztecProtocol/aztec-packages#9496))
([0fe64df](AztecProtocol/aztec-packages@0fe64df))
* Honk shplemini acir artifacts
([#9550](AztecProtocol/aztec-packages#9550))
([468c100](AztecProtocol/aztec-packages@468c100))
* Revert "feat: sol shplemini in acir tests + contract_gen"
([#9505](AztecProtocol/aztec-packages#9505))
([3351217](AztecProtocol/aztec-packages@3351217))


### Miscellaneous

* Align debug logging between AVM sim & witgen
([#9498](AztecProtocol/aztec-packages#9498))
([7c2d67a](AztecProtocol/aztec-packages@7c2d67a))
* **avm::** Fix execution tests in proving mode
([#9466](AztecProtocol/aztec-packages#9466))
([8e07de8](AztecProtocol/aztec-packages@8e07de8))
* **avm:** Allocate memory for unshifted polynomials according to their
trace col size
([#9345](AztecProtocol/aztec-packages#9345))
([a67d0e2](AztecProtocol/aztec-packages@a67d0e2))
* Bumping L2 gas and public reads constants
([#9431](AztecProtocol/aztec-packages#9431))
([91c50dd](AztecProtocol/aztec-packages@91c50dd))
* Use big endian in sha
([#9471](AztecProtocol/aztec-packages#9471))
([bc9828e](AztecProtocol/aztec-packages@bc9828e))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Dynamically remove databus commitments from tube public inputs
2 participants