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.

Sign up for GitHub

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

Jump to bottom

feat: Several Updates in SMT verification module (part 1) #10437

Merged
merged 8 commits into from
Dec 9, 2024
Merged

feat: Several Updates in SMT verification module (part 1) #10437

merged 8 commits into from
Dec 9, 2024
+414 −77

Conversation

Sarkoxed
Copy link
Contributor

@Sarkoxed Sarkoxed commented Dec 5, 2024 •
edited
Loading

This pr enhances symbolic circuit to produce valid witnesses.

Utils

Added post processing functionality. So now, while optimizing something inside the circuit, you can postpone some witness calculations until here, in case the variable has been optimized and does not fit as an STerm.

Builders + Schema

Added circuit_finalized flag to the export. Should be used in the future, during RAM/ROM processing.

StandardCircuit

Pushed the post processing for standard logic operations. They were used to test the sha256 witness, which is coming in part 3, I guess.

@Sarkoxed Sarkoxed changed the title feat: Several Updates in SMT verification module feat: Several Updates in SMT verification module (part 1) Dec 5, 2024
@Sarkoxed Sarkoxed self-assigned this Dec 5, 2024
@Sarkoxed Sarkoxed added the product-security PRs extending our security mechanisms label Dec 5, 2024
@Sarkoxed Sarkoxed marked this pull request as ready for review December 5, 2024 20:18
@Sarkoxed Sarkoxed requested a review from Rumata888 December 6, 2024 11:44
Rumata888
Rumata888 reviewed Dec 6, 2024
View reviewed changes
barretenberg/cpp/src/barretenberg/smt_verification/util/smt_util.cpp
packed_witness.push_back({ string_to_fr(mmap1[vname1], base), string_to_fr(mmap2[vname2], base) });
}
myfile << "};";
myfile.close();

for (const auto& post : c1.post_process) {
Copy link
Contributor

Choose a reason for hiding this comment

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

What does this do?

Rumata888
Rumata888 reviewed Dec 6, 2024
View reviewed changes
barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.test.cpp Outdated

TEST(standard_circuit, optimized_range_witness)
{
uint32_t rbit = static_cast<uint32_t>(bb::fr::random_element()) & 1;
Copy link
Contributor

Choose a reason for hiding this comment

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

RandomEngine can give you a random uint

Rumata888
Rumata888 reviewed Dec 6, 2024
View reviewed changes
barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.test.cpp
@@ -376,3 +376,134 @@ TEST(standard_circuit, check_double_xor_bug)
Solver s(circuit_info.modulus, default_solver_config, 16, 64);
StandardCircuit circuit(circuit_info, &s, TermType::BVTerm);
}

TEST(standard_circuit, optimized_range_witness)
Copy link
Contributor

Choose a reason for hiding this comment

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

What does this test do?

Rumata888
Rumata888 reviewed Dec 6, 2024
View reviewed changes
barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.test.cpp
}
}

TEST(standard_circuit, optimized_logic_witness)
Copy link
Contributor

Choose a reason for hiding this comment

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

What is this test doing?

Rumata888
Rumata888 reviewed Dec 6, 2024
View reviewed changes
barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.test.cpp
}
}

TEST(standard_circuit, optimized_shr_witness)
Copy link
Contributor

Choose a reason for hiding this comment

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

What are all these tests doing?

Rumata888
Rumata888 reviewed Dec 6, 2024
View reviewed changes
barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.cpp
uint32_t processed_gates = 0;

for (size_t i = num_quads - 1; i < num_quads; i--) {
uint32_t lo_idx = this->real_variable_index[this->wires_idxs[cursor + processed_gates][0]];
Copy link
Contributor

Choose a reason for hiding this comment

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

Could you please add a few more comments describing what you are doing?

Rumata888
Rumata888 reviewed Dec 6, 2024
View reviewed changes
barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.cpp
out == shled;
// Simulate the shr circuit using bitwise ops
uint32_t shift = nr.second;
if ((shift & 1) == 1) {
Copy link
Contributor

Choose a reason for hiding this comment

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

Where are these formulas from? An explanation wouldn't hurt. It is very hard to understand what's happening here without context

Rumata888
Rumata888 reviewed Dec 6, 2024
View reviewed changes
barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.cpp Outdated
@@ -652,7 +738,35 @@ size_t StandardCircuit::handle_shl_constraint(size_t cursor)
STerm left = this->symbolic_vars[left_idx];
STerm out = this->symbolic_vars[out_idx];

STerm shled = (left << nr.second) & (bb::fr(2).pow(nr.first) - 1);
// Simulate the shr circuit using bitwise ops
Copy link
Contributor

Choose a reason for hiding this comment

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

Shift left

Rumata888
Rumata888 reviewed Dec 6, 2024
View reviewed changes
barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.cpp
// Simulate the shr circuit using bitwise ops
uint32_t num_bits = nr.first;
uint32_t shift = nr.second;
if ((shift & 1) == 1) {
Copy link
Contributor

Choose a reason for hiding this comment

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

Could you provide an explanation of what you are doing here?

Rumata888
Rumata888 reviewed Dec 6, 2024
View reviewed changes
barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.cpp
// Simulate the ror circuit using bitwise ops
uint32_t num_bits = nr.first;
uint32_t rotation = nr.second;
if ((rotation & 1) == 1) {
Copy link
Contributor

Choose a reason for hiding this comment

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

Please explain how this works

@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Dec 7, 2024

Changes to public function bytecode sizes

Generated at commit: fbc1d94e4e7bd724abdac3ba51ea64026b21e145, compared to commit: 2d4dc3dffc98af0361b54f2884a8a0a9f496bed1

🧾 Summary (100% most significant diffs)

Program Bytecode size in bytes (+/-) %
Lending::get_assets +86 ❌ +19.91%
AMM::_swap_exact_tokens_for_tokens +503 ❌ +12.12%
AvmTest::poseidon2_hash +181 ❌ +11.69%
AvmTest::set_storage_map +177 ❌ +10.91%
AuthRegistry::set_authorized +181 ❌ +10.82%
AuthRegistry::_set_authorized +181 ❌ +10.52%
AuthRegistry::is_consumable +181 ❌ +10.48%
AvmTest::add_storage_map +177 ❌ +10.27%
AMM::_swap_tokens_for_exact_tokens +464 ❌ +9.83%
EasyPrivateVoting::add_to_tally_public +177 ❌ +9.43%
EasyPrivateVoting::public_dispatch +445 ❌ +9.36%
StatefulTest::increment_public_value_no_init_check +138 ❌ +8.82%
FeeJuice::_increase_public_balance +177 ❌ +8.67%
NFT::owner_of +192 ❌ +8.58%
StatefulTest::increment_public_value +138 ❌ +8.56%
AuthRegistry::set_reject_all +133 ❌ +8.48%
Benchmarking::broadcast +138 ❌ +8.43%
StatefulTest::get_public_value +134 ❌ +8.36%
Token::set_minter +138 ❌ +8.28%
AvmTest::read_storage_map +129 ❌ +8.18%
TokenBlacklist::_increase_public_balance +187 ❌ +8.13%
Token::_increase_public_balance +187 ❌ +8.13%
CardGame::on_card_played +446 ❌ +8.10%
Spam::public_spam +182 ❌ +8.10%
NFT::_finish_transfer_to_public +133 ❌ +8.05%
Token::is_minter +134 ❌ +8.04%
AuthRegistry::is_reject_all +129 ❌ +7.97%
NFT::set_minter +133 ❌ +7.96%
PriceFeed::set_price +133 ❌ +7.95%
NFT::is_minter +129 ❌ +7.72%
PriceFeed::get_price +125 ❌ +7.68%
FeeJuice::balance_of_public +129 ❌ +7.52%
TokenBlacklist::balance_of_public +129 ❌ +7.29%
Token::balance_of_public +129 ❌ +7.29%
Lending::get_asset +147 ❌ +7.16%
Token::mint_to_public +187 ❌ +6.99%
NFT::mint +183 ❌ +6.89%
Lending::init +190 ❌ +6.88%
Benchmarking::public_dispatch +247 ❌ +6.65%
Benchmarking::increment_balance +143 ❌ +6.39%
CardGame::start_game +421 ❌ +6.38%
FeeJuice::check_balance +133 ❌ +6.37%
Lending::get_position +298 ❌ +6.34%
Lending::_deposit +151 ❌ +6.33%
Spam::public_dispatch +190 ❌ +6.22%
AvmTest::get_args_hash +99 ❌ +5.81%
FeeJuice::public_dispatch +283 ❌ +5.66%
Auth::get_authorized_delay +108 ❌ +5.56%
AvmInitializerTest::constructor +95 ❌ +5.12%
PriceFeed::public_dispatch +146 ❌ +4.95%
CardGame::public_dispatch +721 ❌ +4.73%
CardGame::on_game_joined +221 ❌ +4.60%
DocsExample::public_dispatch +175 ❌ +4.36%
Auth::get_scheduled_authorized +71 ❌ +4.08%
Auth::get_authorized +71 ❌ +3.85%
AvmInitializerTest::public_dispatch +95 ❌ +3.63%
Lending::update_accumulator +195 ❌ +3.52%
Crowdfunding::_publish_donation_receipts +31 ❌ +3.36%
Crowdfunding::public_dispatch +142 ❌ +3.13%
CardGame::on_cards_claimed +221 ❌ +3.12%
Lending::_repay +161 ❌ +2.92%
Router::public_dispatch +55 ❌ +2.39%
InclusionProofs::public_dispatch +87 ❌ +2.37%
TokenBlacklist::mint_public +92 ❌ +2.36%
AuthRegistry::consume +56 ❌ +1.98%
InclusionProofs::constructor +43 ❌ +1.90%
TokenBlacklist::mint_private +69 ❌ +1.88%
Uniswap::constructor +43 ❌ +1.85%
EasyPrivateVoting::constructor +43 ❌ +1.82%
Auth::constructor +43 ❌ +1.82%
Token::finalize_transfer_to_private +113 ❌ +1.77%
Token::_finalize_transfer_to_private_unsafe +113 ❌ +1.75%
NFT::public_dispatch +387 ❌ +1.66%
AMM::constructor +43 ❌ +1.62%
Crowdfunding::init +43 ❌ +1.61%
TestLog::emit_unencrypted_events +18 ❌ +1.59%
NFT::_store_payload_in_transient_storage_unsafe +18 ❌ +1.54%
Token::_store_payload_in_transient_storage_unsafe +18 ❌ +1.54%
AppSubscription::constructor +43 ❌ +1.54%
AvmTest::keccak_hash +35 ❌ +1.48%
TokenBlacklist::get_roles +38 ❌ +1.44%
NFT::finalize_transfer_to_private +71 ❌ +1.33%
NFT::_finalize_transfer_to_private_unsafe +71 ❌ +1.32%
TokenBlacklist::update_roles +79 ❌ +1.31%
Auth::set_authorized +56 ❌ +1.25%
Test::emit_unencrypted +18 ❌ +1.23%
Auth::set_authorized_delay +56 ❌ +1.22%
NFT::constructor +47 ❌ +1.17%
AuthRegistry::public_dispatch +92 ❌ +1.17%
Token::constructor +47 ❌ +1.15%
Auth::public_dispatch +100 ❌ +1.15%
Test::public_dispatch +216 ❌ +1.14%
Lending::_borrow +83 ❌ +1.14%
StatefulTest::public_dispatch +62 ❌ +1.02%
Token::finalize_mint_to_private +58 ❌ +0.96%
Token::_finalize_mint_to_private_unsafe +58 ❌ +0.95%
Parent::public_nested_static_call +30 ❌ +0.90%
AppSubscription::public_dispatch +35 ❌ +0.88%
Router::_check_block_number +8 ❌ +0.83%
Router::_check_timestamp +8 ❌ +0.81%
TokenBlacklist::constructor +43 ❌ +0.70%
Test::consume_message_from_arbitrary_sender_public +46 ❌ +0.58%
TokenBlacklist::burn_public +27 ❌ +0.52%
TokenBlacklist::transfer_public +27 ❌ +0.48%
AvmTest::emit_unencrypted_log +13 ❌ +0.47%
Token::burn_public +14 ❌ +0.34%
Token::transfer_in_public +14 ❌ +0.33%
TestLog::public_dispatch +6 ❌ +0.26%
Token::public_dispatch +78 ❌ +0.25%
TokenBlacklist::shield +14 ❌ +0.24%
Test::create_l2_to_l1_message_public +5 ❌ +0.23%
Claim::public_dispatch +7 ❌ +0.22%
AvmTest::bulk_testing +42 ❌ +0.19%
AvmTest::pedersen_hash_with_index +5 ❌ +0.16%
AvmTest::pedersen_hash +5 ❌ +0.16%
StatefulTest::public_constructor +4 ❌ +0.14%
NFT::transfer_in_public +4 ❌ +0.12%
Claim::constructor -1 ✅ -0.04%
TokenBridge::constructor -1 ✅ -0.04%
FPC::constructor -1 ✅ -0.04%
TokenBlacklist::public_dispatch -79 ✅ -0.34%
AvmTest::u128_addition_overflow -5 ✅ -0.37%
Lending::_withdraw -47 ✅ -0.54%
StaticChild::public_dispatch -19 ✅ -0.89%
AuthWitTest::public_dispatch -17 ✅ -1.01%
AvmTest::u128_from_integer_overflow -9 ✅ -1.09%
Test::consume_mint_to_public_message -135 ✅ -1.24%
AvmTest::sha256_hash -52 ✅ -1.31%
FPC::public_dispatch -109 ✅ -1.51%
TokenBridge::claim_public -174 ✅ -1.52%
AvmTest::pedersen_commit -21 ✅ -1.64%
Token::complete_refund -95 ✅ -1.74%
AvmTest::debug_logging -26 ✅ -1.97%
TokenBridge::public_dispatch -443 ✅ -2.12%
Parent::public_static_call -26 ✅ -2.23%
StaticParent::public_static_call -26 ✅ -2.23%
AvmTest::assert_calldata_copy -13 ✅ -2.39%
Uniswap::_approve_bridge_and_exit_input_asset_to_L1 -165 ✅ -2.62%
Parent::public_dispatch -211 ✅ -2.69%
AvmTest::returndata_copy_oracle -50 ✅ -2.75%
Uniswap::public_dispatch -670 ✅ -2.83%
Uniswap::swap_public -461 ✅ -2.95%
Child::public_dispatch -152 ✅ -3.09%
AMM::public_dispatch -670 ✅ -3.12%
Lending::public_dispatch -970 ✅ -3.46%
AvmTest::elliptic_curve_add_and_double -26 ✅ -3.52%
AvmTest::public_dispatch -2,530 ✅ -4.00%
AvmTest::elliptic_curve_add -26 ✅ -4.29%
Parent::pub_entry_point -26 ✅ -4.30%
StaticParent::public_call -26 ✅ -4.30%
AvmTest::read_storage_list -13 ✅ -4.38%
StaticParent::public_dispatch -278 ✅ -4.60%
Parent::pub_entry_point_twice -52 ✅ -5.06%
Uniswap::_assert_token_is_same -39 ✅ -5.16%
StaticParent::public_nested_static_call -117 ✅ -5.41%
DocsExample::get_public_immutable_constrained_public_indirect -39 ✅ -5.61%
Lending::borrow_public -117 ✅ -5.82%
Lending::withdraw_public -117 ✅ -5.82%
TokenBridge::exit_to_l1_public -391 ✅ -5.82%
AuthWitTest::consume_public -39 ✅ -5.90%
FPC::pay_refund -130 ✅ -5.99%
FPC::prepare_fee -130 ✅ -6.14%
Child::set_value_twice_with_nested_last -39 ✅ -6.21%
Child::set_value_twice_with_nested_first -39 ✅ -6.21%
AMM::_remove_liquidity -442 ✅ -6.31%
AvmTest::nested_call_to_add -39 ✅ -6.41%
AvmTest::nested_static_call_to_add -39 ✅ -6.41%
AvmTest::nested_call_to_assert_same -39 ✅ -6.41%
AMM::_add_liquidity -559 ✅ -6.50%
StaticParent::public_get_value_from_child -39 ✅ -6.57%
AvmTest::nested_call_to_add_with_gas -39 ✅ -6.69%
AvmTest::create_different_nullifier_in_nested_call -39 ✅ -7.32%
AvmTest::create_same_nullifier_in_nested_call -39 ✅ -7.46%
ImportTest::pub_call_public_fn -39 ✅ -7.53%
AvmTest::nested_static_call_to_set_storage -39 ✅ -7.54%
Child::set_value_with_two_nested_calls -78 ✅ -7.74%
AvmTest::external_call_to_assertion_failure -39 ✅ -7.75%
AvmTest::nested_call_to_nothing -39 ✅ -7.75%
AvmTest::external_call_to_divide_by_zero -39 ✅ -7.75%
ImportTest::public_dispatch -91 ✅ -7.90%
Lending::repay_public -221 ✅ -8.35%
Lending::deposit_public -234 ✅ -8.43%
Full diff report 👇
Program Bytecode size in bytes (+/-) %
Lending::get_assets 518 (+86) +19.91%
AMM::_swap_exact_tokens_for_tokens 4,653 (+503) +12.12%
AvmTest::poseidon2_hash 1,729 (+181) +11.69%
AvmTest::set_storage_map 1,799 (+177) +10.91%
AuthRegistry::set_authorized 1,854 (+181) +10.82%
AuthRegistry::_set_authorized 1,901 (+181) +10.52%
AuthRegistry::is_consumable 1,908 (+181) +10.48%
AvmTest::add_storage_map 1,901 (+177) +10.27%
AMM::_swap_tokens_for_exact_tokens 5,184 (+464) +9.83%
EasyPrivateVoting::add_to_tally_public 2,053 (+177) +9.43%
EasyPrivateVoting::public_dispatch 5,199 (+445) +9.36%
StatefulTest::increment_public_value_no_init_check 1,702 (+138) +8.82%
FeeJuice::_increase_public_balance 2,219 (+177) +8.67%
NFT::owner_of 2,429 (+192) +8.58%
StatefulTest::increment_public_value 1,751 (+138) +8.56%
AuthRegistry::set_reject_all 1,702 (+133) +8.48%
Benchmarking::broadcast 1,775 (+138) +8.43%
StatefulTest::get_public_value 1,737 (+134) +8.36%
Token::set_minter 1,804 (+138) +8.28%
AvmTest::read_storage_map 1,706 (+129) +8.18%
TokenBlacklist::_increase_public_balance 2,488 (+187) +8.13%
Token::_increase_public_balance 2,488 (+187) +8.13%
CardGame::on_card_played 5,949 (+446) +8.10%
Spam::public_spam 2,429 (+182) +8.10%
NFT::_finish_transfer_to_public 1,786 (+133) +8.05%
Token::is_minter 1,801 (+134) +8.04%
AuthRegistry::is_reject_all 1,747 (+129) +7.97%
NFT::set_minter 1,804 (+133) +7.96%
PriceFeed::set_price 1,805 (+133) +7.95%
NFT::is_minter 1,801 (+129) +7.72%
PriceFeed::get_price 1,753 (+125) +7.68%
FeeJuice::balance_of_public 1,845 (+129) +7.52%
TokenBlacklist::balance_of_public 1,899 (+129) +7.29%
Token::balance_of_public 1,899 (+129) +7.29%
Lending::get_asset 2,200 (+147) +7.16%
Token::mint_to_public 2,863 (+187) +6.99%
NFT::mint 2,840 (+183) +6.89%
Lending::init 2,953 (+190) +6.88%
Benchmarking::public_dispatch 3,963 (+247) +6.65%
Benchmarking::increment_balance 2,381 (+143) +6.39%
CardGame::start_game 7,022 (+421) +6.38%
FeeJuice::check_balance 2,222 (+133) +6.37%
Lending::get_position 5,000 (+298) +6.34%
Lending::_deposit 2,536 (+151) +6.33%
Spam::public_dispatch 3,244 (+190) +6.22%
AvmTest::get_args_hash 1,804 (+99) +5.81%
FeeJuice::public_dispatch 5,287 (+283) +5.66%
Auth::get_authorized_delay 2,051 (+108) +5.56%
AvmInitializerTest::constructor 1,952 (+95) +5.12%
PriceFeed::public_dispatch 3,093 (+146) +4.95%
CardGame::public_dispatch 15,953 (+721) +4.73%
CardGame::on_game_joined 5,027 (+221) +4.60%
DocsExample::public_dispatch 4,190 (+175) +4.36%
Auth::get_scheduled_authorized 1,813 (+71) +4.08%
Auth::get_authorized 1,913 (+71) +3.85%
AvmInitializerTest::public_dispatch 2,710 (+95) +3.63%
Lending::update_accumulator 5,742 (+195) +3.52%
Crowdfunding::_publish_donation_receipts 953 (+31) +3.36%
Crowdfunding::public_dispatch 4,674 (+142) +3.13%
CardGame::on_cards_claimed 7,298 (+221) +3.12%
Lending::_repay 5,670 (+161) +2.92%
Router::public_dispatch 2,361 (+55) +2.39%
InclusionProofs::public_dispatch 3,762 (+87) +2.37%
TokenBlacklist::mint_public 3,996 (+92) +2.36%
AuthRegistry::consume 2,888 (+56) +1.98%
InclusionProofs::constructor 2,301 (+43) +1.90%
TokenBlacklist::mint_private 3,737 (+69) +1.88%
Uniswap::constructor 2,365 (+43) +1.85%
EasyPrivateVoting::constructor 2,402 (+43) +1.82%
Auth::constructor 2,406 (+43) +1.82%
Token::finalize_transfer_to_private 6,515 (+113) +1.77%
Token::_finalize_transfer_to_private_unsafe 6,562 (+113) +1.75%
NFT::public_dispatch 23,684 (+387) +1.66%
AMM::constructor 2,701 (+43) +1.62%
Crowdfunding::init 2,716 (+43) +1.61%
TestLog::emit_unencrypted_events 1,149 (+18) +1.59%
NFT::_store_payload_in_transient_storage_unsafe 1,185 (+18) +1.54%
Token::_store_payload_in_transient_storage_unsafe 1,185 (+18) +1.54%
AppSubscription::constructor 2,834 (+43) +1.54%
AvmTest::keccak_hash 2,398 (+35) +1.48%
TokenBlacklist::get_roles 2,682 (+38) +1.44%
NFT::finalize_transfer_to_private 5,420 (+71) +1.33%
NFT::_finalize_transfer_to_private_unsafe 5,467 (+71) +1.32%
TokenBlacklist::update_roles 6,132 (+79) +1.31%
Auth::set_authorized 4,544 (+56) +1.25%
Test::emit_unencrypted 1,484 (+18) +1.23%
Auth::set_authorized_delay 4,640 (+56) +1.22%
NFT::constructor 4,050 (+47) +1.17%
AuthRegistry::public_dispatch 7,938 (+92) +1.17%
Token::constructor 4,125 (+47) +1.15%
Auth::public_dispatch 8,790 (+100) +1.15%
Test::public_dispatch 19,125 (+216) +1.14%
Lending::_borrow 7,391 (+83) +1.14%
StatefulTest::public_dispatch 6,132 (+62) +1.02%
Token::finalize_mint_to_private 6,108 (+58) +0.96%
Token::_finalize_mint_to_private_unsafe 6,155 (+58) +0.95%
Parent::public_nested_static_call 3,360 (+30) +0.90%
AppSubscription::public_dispatch 3,995 (+35) +0.88%
Router::_check_block_number 976 (+8) +0.83%
Router::_check_timestamp 993 (+8) +0.81%
TokenBlacklist::constructor 6,227 (+43) +0.70%
Test::consume_message_from_arbitrary_sender_public 7,913 (+46) +0.58%
TokenBlacklist::burn_public 5,223 (+27) +0.52%
TokenBlacklist::transfer_public 5,603 (+27) +0.48%
AvmTest::emit_unencrypted_log 2,777 (+13) +0.47%
Token::burn_public 4,167 (+14) +0.34%
Token::transfer_in_public 4,217 (+14) +0.33%
TestLog::public_dispatch 2,320 (+6) +0.26%
Token::public_dispatch 31,494 (+78) +0.25%
TokenBlacklist::shield 5,791 (+14) +0.24%
Test::create_l2_to_l1_message_public 2,202 (+5) +0.23%
Claim::public_dispatch 3,252 (+7) +0.22%
AvmTest::bulk_testing 22,633 (+42) +0.19%
AvmTest::pedersen_hash_with_index 3,095 (+5) +0.16%
AvmTest::pedersen_hash 3,095 (+5) +0.16%
StatefulTest::public_constructor 2,787 (+4) +0.14%
NFT::transfer_in_public 3,327 (+4) +0.12%
Claim::constructor 2,453 (-1) -0.04%
TokenBridge::constructor 2,357 (-1) -0.04%
FPC::constructor 2,318 (-1) -0.04%
TokenBlacklist::public_dispatch 23,178 (-79) -0.34%
AvmTest::u128_addition_overflow 1,337 (-5) -0.37%
Lending::_withdraw 8,633 (-47) -0.54%
StaticChild::public_dispatch 2,112 (-19) -0.89%
AuthWitTest::public_dispatch 1,659 (-17) -1.01%
AvmTest::u128_from_integer_overflow 817 (-9) -1.09%
Test::consume_mint_to_public_message 10,767 (-135) -1.24%
AvmTest::sha256_hash 3,915 (-52) -1.31%
FPC::public_dispatch 7,131 (-109) -1.51%
TokenBridge::claim_public 11,261 (-174) -1.52%
AvmTest::pedersen_commit 1,263 (-21) -1.64%
Token::complete_refund 5,373 (-95) -1.74%
AvmTest::debug_logging 1,292 (-26) -1.97%
TokenBridge::public_dispatch 20,492 (-443) -2.12%
Parent::public_static_call 1,138 (-26) -2.23%
StaticParent::public_static_call 1,138 (-26) -2.23%
AvmTest::assert_calldata_copy 531 (-13) -2.39%
Uniswap::_approve_bridge_and_exit_input_asset_to_L1 6,142 (-165) -2.62%
Parent::public_dispatch 7,629 (-211) -2.69%
AvmTest::returndata_copy_oracle 1,769 (-50) -2.75%
Uniswap::public_dispatch 22,971 (-670) -2.83%
Uniswap::swap_public 15,162 (-461) -2.95%
Child::public_dispatch 4,770 (-152) -3.09%
AMM::public_dispatch 20,802 (-670) -3.12%
Lending::public_dispatch 27,067 (-970) -3.46%
AvmTest::elliptic_curve_add_and_double 713 (-26) -3.52%
AvmTest::public_dispatch 60,662 (-2,530) -4.00%
AvmTest::elliptic_curve_add 580 (-26) -4.29%
Parent::pub_entry_point 578 (-26) -4.30%
StaticParent::public_call 578 (-26) -4.30%
AvmTest::read_storage_list 284 (-13) -4.38%
StaticParent::public_dispatch 5,764 (-278) -4.60%
Parent::pub_entry_point_twice 975 (-52) -5.06%
Uniswap::_assert_token_is_same 717 (-39) -5.16%
StaticParent::public_nested_static_call 2,046 (-117) -5.41%
DocsExample::get_public_immutable_constrained_public_indirect 656 (-39) -5.61%
Lending::borrow_public 1,894 (-117) -5.82%
Lending::withdraw_public 1,894 (-117) -5.82%
TokenBridge::exit_to_l1_public 6,327 (-391) -5.82%
AuthWitTest::consume_public 622 (-39) -5.90%
FPC::pay_refund 2,041 (-130) -5.99%
FPC::prepare_fee 1,986 (-130) -6.14%
Child::set_value_twice_with_nested_last 589 (-39) -6.21%
Child::set_value_twice_with_nested_first 589 (-39) -6.21%
AMM::_remove_liquidity 6,560 (-442) -6.31%
AvmTest::nested_call_to_add 569 (-39) -6.41%
AvmTest::nested_static_call_to_add 569 (-39) -6.41%
AvmTest::nested_call_to_assert_same 569 (-39) -6.41%
AMM::_add_liquidity 8,043 (-559) -6.50%
StaticParent::public_get_value_from_child 555 (-39) -6.57%
AvmTest::nested_call_to_add_with_gas 544 (-39) -6.69%
AvmTest::create_different_nullifier_in_nested_call 494 (-39) -7.32%
AvmTest::create_same_nullifier_in_nested_call 484 (-39) -7.46%
ImportTest::pub_call_public_fn 479 (-39) -7.53%
AvmTest::nested_static_call_to_set_storage 478 (-39) -7.54%
Child::set_value_with_two_nested_calls 930 (-78) -7.74%
AvmTest::external_call_to_assertion_failure 464 (-39) -7.75%
AvmTest::nested_call_to_nothing 464 (-39) -7.75%
AvmTest::external_call_to_divide_by_zero 464 (-39) -7.75%
ImportTest::public_dispatch 1,061 (-91) -7.90%
Lending::repay_public 2,425 (-221) -8.35%
Lending::deposit_public 2,542 (-234) -8.43%

Rumata888
Rumata888 reviewed Dec 9, 2024
View reviewed changes
barretenberg/cpp/src/barretenberg/smt_verification/util/smt_util.cpp
}
Copy link
Contributor

Choose a reason for hiding this comment

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

There is a stray newline, please remove

Rumata888
Rumata888 approved these changes Dec 9, 2024
View reviewed changes
Copy link
Contributor

@Rumata888 Rumata888 left a comment

Choose a reason for hiding this comment

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

Looks great. Please remove the stray newline and then merge

@Sarkoxed Sarkoxed merged commit 0c37672 into master Dec 9, 2024
43 checks passed
@Sarkoxed Sarkoxed deleted the as/smt-verification-module-update-7 branch December 9, 2024 14:29
@AztecBot AztecBot mentioned this pull request Dec 9, 2024
Merged
rahul-kothari pushed a commit that referenced this pull request Dec 13, 2024
@AztecBot
chore(master): Release 0.67.0 (#10472)
19a500f 
🤖 I have created a release *beep* *boop*
---


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

##
[0.67.0](aztec-package-v0.66.0...aztec-package-v0.67.0)
(2024-12-13)


### Features

* Deploy faucet
([#10580](#10580))
([09e95a1](09e95a1))
* Expose P2P service API and clean up logs
([#10552](#10552))
([98cea58](98cea58)),
closes
[#10299](#10299)
* PXE in the browser
([#10353](#10353))
([676f673](676f673))
* PXE sync on demand
([#10613](#10613))
([b2f1159](b2f1159))


### Bug Fixes

* Do not load pino-pretty in production bundles
([#10578](#10578))
([e515e6e](e515e6e))
* Tweaking Fr and Fq fromString functionality to distinguish number-only
strings
([#10529](#10529))
([736fce1](736fce1))


### Miscellaneous

* Bump jest default test timeout to 30s
([#10550](#10550))
([841bf48](841bf48))
* Rename logger modules
([#10404](#10404))
([7441767](7441767)),
closes
[#10125](#10125)
</details>

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

##
[0.67.0](barretenberg.js-v0.66.0...barretenberg.js-v0.67.0)
(2024-12-13)


### Features

* CIVC browser proveThenVerify
([#10431](#10431))
([8c064d4](8c064d4))
* Keccak honk proving in bb.js
([#10489](#10489))
([e0d7431](e0d7431))


### Bug Fixes

* Bump hard coded SRS size for wasm from 2^19 to 2^10
([#10596](#10596))
([a37f82d](a37f82d))
</details>

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

##
[0.67.0](aztec-packages-v0.66.0...aztec-packages-v0.67.0)
(2024-12-13)


### ⚠ BREAKING CHANGES

* **stdlib:** Remove Schnorr
(noir-lang/noir#6749)
* lower public tx gas limit to 6M
([#10635](#10635))
* l2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k.
([#10214](#10214))
* rm outgoing logs
([#10486](#10486))
* rename Header to BlockHeader
([#10372](#10372))
* several format string fixes and improvements
(noir-lang/noir#6703)

### Features

* `std::hint::black_box` function.
(noir-lang/noir#6529)
([3166529](3166529))
* Add rollup circuit sample inputs
([#10608](#10608))
([775b459](775b459))
* Add verify proof calls to private kernels
([#10533](#10533))
([ce0eee0](ce0eee0))
* Adding fuzzer for ultra bigfield and relaxing ultra circuit checker
([#10433](#10433))
([da4c47c](da4c47c))
* Allow making range queries to prometheus in tests
([f9810cc](f9810cc))
* Allow metrics to be instantly flushed
([f9810cc](f9810cc))
* AVM inserts fee write on txs with public calls
([#10394](#10394))
([98ba747](98ba747))
* **ci:** Initial compilation report on test_programs
(noir-lang/noir#6731)
([3166529](3166529))
* CIVC browser proveThenVerify
([#10431](#10431))
([8c064d4](8c064d4))
* Cli wallet improvements
([#10425](#10425))
([cc8bd80](cc8bd80))
* **cli:** Run command on the package closest to the current directory
(noir-lang/noir#6752)
([3166529](3166529))
* DB Metrics now use labels for easier querying
([#10572](#10572))
([adadfa5](adadfa5))
* Deploy a network using master each night night
([#10536](#10536))
([015ec0e](015ec0e)),
closes
[#10474](#10474)
[#10473](#10473)
* Deploy faucet
([#10580](#10580))
([09e95a1](09e95a1))
* Do not make unique revertible note hashes in the private kernels
([#10524](#10524))
([d327da1](d327da1))
* Emulating blocks and correct (non-partial) note discovery in txe
([#10356](#10356))
([6f209fb](6f209fb))
* Expose P2P service API and clean up logs
([#10552](#10552))
([98cea58](98cea58)),
closes
[#10299](#10299)
* GETCONTRACTINSTANCE and bytecode retrieval perform nullifier
membership checks
([#10445](#10445))
([9301253](9301253)),
closes
[#10377](#10377)
[#10379](#10379)
* Handle nested calls in witgen
([#10384](#10384))
([1e21f31](1e21f31))
* Keccak honk proving in bb.js
([#10489](#10489))
([e0d7431](e0d7431))
* Metrics via terraform
([#10594](#10594))
([e21069d](e21069d)),
closes
[#10191](#10191)
[#10439](#10439)
* Modify HonkRecursionConstraint to handle IPA claims
([#10469](#10469))
([a204d1b](a204d1b))
* Order attribute execution by their source ordering
(noir-lang/noir#6326)
([3166529](3166529))
* Persistence in helm chart for validator and boot node
([#10543](#10543))
([f9810cc](f9810cc))
* Prover-client exec timing analysis scripts.
([82434a2](82434a2))
* PXE in the browser
([#10353](#10353))
([676f673](676f673))
* PXE sync on demand
([#10613](#10613))
([b2f1159](b2f1159))
* Remove auto verify mode from ClientIVC
([#10599](#10599))
([b1d8b97](b1d8b97))
* Rename Header to BlockHeader
([#10372](#10372))
([0803964](0803964))
* Rm outgoing logs
([#10486](#10486))
([c28beec](c28beec))
* Sayonara old hints
([#10547](#10547))
([dede16e](dede16e))
* Several `nargo test` improvements
(noir-lang/noir#6728)
([3166529](3166529))
* Several Updates in SMT verification module (part 1)
([#10437](#10437))
([0c37672](0c37672))
* **ssa:** Implement missing brillig constraints SSA check
(noir-lang/noir#6658)
([3166529](3166529))
* Sync from aztec-packages (noir-lang/noir#6730)
([3166529](3166529))
* **test:** Check that `nargo::ops::transform_program` is idempotent
(noir-lang/noir#6694)
([3166529](3166529))
* Unified create circuit from acir
([#10440](#10440))
([a4dfe13](a4dfe13))
* Update and generate test Prover.tomls for protocol circuits
([#10659](#10659))
([eb5f18a](eb5f18a))


### Bug Fixes

* [#10473](#10473)
([015ec0e](015ec0e))
* [#10474](#10474)
([015ec0e](015ec0e))
* Allow empty loop headers (noir-lang/noir#6736)
([3166529](3166529))
* Always respect aztec image pull policy
([#10617](#10617))
([e7686f1](e7686f1))
* Attempt to fix flake in e2e cross chain messaging test
([#10634](#10634))
([a69502c](a69502c))
* Bad merge on boxes
([#10579](#10579))
([9b26651](9b26651))
* Boxes webpack config
([#10548](#10548))
([49f9418](49f9418))
* Bump hard coded SRS size for wasm from 2^19 to 2^10
([#10596](#10596))
([a37f82d](a37f82d))
* Bump timeout for failing data store tests
([#10639](#10639))
([c75fee0](c75fee0))
* Correct size in bytes of a complete address
([#10574](#10574))
([e72b988](e72b988))
* Destroy old masternet if we can
([#10584](#10584))
([679684d](679684d))
* Do not attempt proof quote on empty epoch
([#10557](#10557))
([39d3bc2](39d3bc2))
* Do not load pino-pretty in production bundles
([#10578](#10578))
([e515e6e](e515e6e))
* Do not merge expressions that contain output witnesses
(noir-lang/noir#6757)
([3166529](3166529))
* Ensure LMDB store metrics have hard coded descriptions
([#10642](#10642))
([043e2c2](043e2c2))
* Formatting master
([#10583](#10583))
([79e49c9](79e49c9))
* Git dependency trailing slash
(noir-lang/noir#6725)
([f4ed66b](f4ed66b))
* Improve type error when indexing a variable of unknown type
(noir-lang/noir#6744)
([3166529](3166529))
* Link in README.md
([#10471](#10471))
([fca9600](fca9600))
* Log level not honored with multi transport
([#10643](#10643))
([e1e5864](e1e5864))
* Map entry point indexes after all ssa passes
(noir-lang/noir#6740)
([3166529](3166529))
* Memory leak in the broker
([#10567](#10567))
([ecc037f](ecc037f))
* Mispelled aztec
([#10491](#10491))
([866a5f7](866a5f7))
* Parser would hand on function type with colon in it
(noir-lang/noir#6764)
([3166529](3166529))
* Pass salt to deploy-l1-contracts.sh
([#10586](#10586))
([d6be2c8](d6be2c8))
* Pod anti affinity spans all namespaces
([#10475](#10475))
([2d4dc3d](2d4dc3d))
* Print ssa blocks without recursion
(noir-lang/noir#6715)
([f4ed66b](f4ed66b))
* Println("{{}}") was printing "{{}}" instead of "{}"
(noir-lang/noir#6745)
([3166529](3166529))
* Properly trace storage reads to slots never written before in AVM
([#10560](#10560))
([410c730](410c730))
* Remove auto verify in cbind ivc prove
([#10627](#10627))
([d773423](d773423))
* Remove otel collector endpoint
([#10604](#10604))
([276a82c](276a82c))
* Sequencer negative histogram recodings
([#10490](#10490))
([623f3e2](623f3e2))
* Several format string fixes and improvements
(noir-lang/noir#6703)
([f4ed66b](f4ed66b))
* Simulation error enriching
([#10595](#10595))
([2c36088](2c36088))
* Temporary fix for private kernel tail proving
([#10593](#10593))
([d194cdf](d194cdf))
* Track published bytecode
([#10636](#10636))
([cadb4ce](cadb4ce))
* Tweaking Fr and Fq fromString functionality to distinguish number-only
strings
([#10529](#10529))
([736fce1](736fce1))
* Use e2e structure in cbind
([#10585](#10585))
([985aef1](985aef1))


### Miscellaneous

* Add a few regression tests for
[#6674](#6674)
(noir-lang/noir#6687)
([f4ed66b](f4ed66b))
* Add script to check for critical libraries supporting a given Noir
version (noir-lang/noir#6697)
([f4ed66b](f4ed66b))
* **avm:** Gas constants adjustment based on trace rows accounting
([#10614](#10614))
([fc729ef](fc729ef)),
closes
[#10368](#10368)
* **avm:** More pilcom compat changes
([#10569](#10569))
([f18d701](f18d701))
* **avm:** Pilcom compatibility changes
([#10544](#10544))
([fbc8c0e](fbc8c0e))
* **avm:** Reduce the number of gates for fake AVM recursive verifier
([#10619](#10619))
([0be44b2](0be44b2))
* **avm:** Remove function selector from AvmExecutionEnvironment
([#10532](#10532))
([fef5f93](fef5f93))
* Boxes tests cause resource issues
([#10676](#10676))
([ccf1c78](ccf1c78))
* Bump avm tree test timeout
([323e2eb](323e2eb))
* Bump exp1 config to 48 validators
([#10577](#10577))
([0379718](0379718))
* Bump jest default test timeout to 30s
([#10550](#10550))
([841bf48](841bf48))
* Bump mocha timeout
([#10571](#10571))
([35e525f](35e525f))
* Bump proven timeout
([#10680](#10680))
([3f5cf6c](3f5cf6c))
* Bump prover agents
([#10626](#10626))
([64eea72](64eea72))
* **ci:** Extend compiler memory report to external repos
(noir-lang/noir#6768)
([3166529](3166529))
* **ci:** Handle external libraries in compilation timing report
(noir-lang/noir#6750)
([3166529](3166529))
* **ci:** Prune launch templates job
([#10561](#10561))
([d6e4f4c](d6e4f4c))
* **ci:** Reenable `rerun-check` job
([#10653](#10653))
([b2c4f48](b2c4f48))
* Cleanup unrolling pass (noir-lang/noir#6743)
([3166529](3166529))
* Disable broken test
([#10663](#10663))
([0771260](0771260))
* Disable ivc integration yarn tests
([#10625](#10625))
([7c50107](7c50107))
* **docs:** Update branding
(noir-lang/noir#6759)
([3166529](3166529))
* Documenting convenient redirect to the spartan creator
([#10565](#10565))
([b94b8ee](b94b8ee))
* Enable nightly tests
([#10542](#10542))
([4fa068c](4fa068c))
* Faucet LB if public, proving devnet
([#10665](#10665))
([996d921](996d921))
* Fix build issue from bad merge
([85c0676](85c0676))
* Fix migration notes
([#10656](#10656))
([333d6ce](333d6ce))
* Fix public keys deserialization
([#10647](#10647))
([12473c8](12473c8))
* Flush archiver metrics on startup
([f9810cc](f9810cc))
* Free memory for silenced warnings early
(noir-lang/noir#6748)
([3166529](3166529))
* Give validators/boot-nodes 100Gi in network configs
([f9810cc](f9810cc))
* Handle errors in e2e teardown to fix e2e token
([#10590](#10590))
([5d4cdc1](5d4cdc1))
* Increase test timeout to reduce flakes
([#10641](#10641))
([4ade2ad](4ade2ad))
* Inject k8s pod name and uid
([#10633](#10633))
([eb472ff](eb472ff))
* L2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k.
([#10214](#10214))
([1365401](1365401))
* Load balancers for the boot node, longer epochs
([#10632](#10632))
([001bbb1](001bbb1))
* Lock CI to use ubuntu 22.04
(noir-lang/noir#6755)
([3166529](3166529))
* Log when validator enters commitee
([#10615](#10615))
([7746a39](7746a39)),
closes
[#10337](#10337)
* Lower public tx gas limit to 6M
([#10635](#10635))
([9836036](9836036))
* Merge queue CI
([#10629](#10629))
([835e6fd](835e6fd))
* More bots for exp1
([#10671](#10671))
([0ba2425](0ba2425))
* More logs cleanup
([#10630](#10630))
([00c629c](00c629c))
* Move some nr utils around
([#10553](#10553))
([d132f83](d132f83))
* Moving stuff from the aztec sequencer node guide into this README
([#10570](#10570))
([93b8b1b](93b8b1b))
* Optimise grand product computation round based on active ranges
([#10460](#10460))
([7fa8f84](7fa8f84))
* Optimise older opcodes in reverse order
(noir-lang/noir#6476)
([f4ed66b](f4ed66b))
* Redo typo PR by Madmaxs2 (noir-lang/noir#6721)
([f4ed66b](f4ed66b))
* Reduce bb_prover_full_rollup to a single block epoch test
([#10679](#10679))
([0c2a4d9](0c2a4d9))
* Remove Proxy from json rpc client
([#10554](#10554))
([93b1c45](93b1c45))
* Remove warnings from protocol circuits
([#10556](#10556))
([e065e05](e065e05))
* Rename logger modules
([#10404](#10404))
([7441767](7441767)),
closes
[#10125](#10125)
* Rename pxe script generate-package-info to generate
([#10534](#10534))
([ead9c0b](ead9c0b))
* Replace relative paths to noir-protocol-circuits
([acfd5df](acfd5df))
* Replace relative paths to noir-protocol-circuits
([6c0533f](6c0533f))
* Replace relative paths to noir-protocol-circuits
([a245b95](a245b95))
* Replace relative paths to noir-protocol-circuits
([153c720](153c720))
* Replace relative paths to noir-protocol-circuits
([a080436](a080436))
* Replace relative paths to noir-protocol-circuits
([8419f5a](8419f5a))
* Secret derivation funcs naming cleanup
([#10637](#10637))
([5c50711](5c50711))
* Simplify MSM with constant folding
(noir-lang/noir#6650)
([f4ed66b](f4ed66b))
* **stdlib:** Remove Schnorr
(noir-lang/noir#6749)
([3166529](3166529))
* Try replace callstack with a linked list
(noir-lang/noir#6747)
([3166529](3166529))
* Tweak validator logs
([#10597](#10597))
([9eaa527](9eaa527))
* Unprove devnet
([#10683](#10683))
([1c92f77](1c92f77))
* Update url to 2.5.4 (noir-lang/noir#6741)
([3166529](3166529))
* Use `NumericType` not `Type` for casts and numeric constants
(noir-lang/noir#6769)
([3166529](3166529))
* **val:** Reject proposals not for the current or next slot
([#10450](#10450))
([27620f5](27620f5))
</details>

<details><summary>barretenberg: 0.67.0</summary>

##
[0.67.0](barretenberg-v0.66.0...barretenberg-v0.67.0)
(2024-12-13)


### ⚠ BREAKING CHANGES

* lower public tx gas limit to 6M
([#10635](#10635))
* l2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k.
([#10214](#10214))
* rename Header to BlockHeader
([#10372](#10372))

### Features

* Add verify proof calls to private kernels
([#10533](#10533))
([ce0eee0](ce0eee0))
* Adding fuzzer for ultra bigfield and relaxing ultra circuit checker
([#10433](#10433))
([da4c47c](da4c47c))
* AVM inserts fee write on txs with public calls
([#10394](#10394))
([98ba747](98ba747))
* CIVC browser proveThenVerify
([#10431](#10431))
([8c064d4](8c064d4))
* GETCONTRACTINSTANCE and bytecode retrieval perform nullifier
membership checks
([#10445](#10445))
([9301253](9301253)),
closes
[#10377](#10377)
[#10379](#10379)
* Handle nested calls in witgen
([#10384](#10384))
([1e21f31](1e21f31))
* Keccak honk proving in bb.js
([#10489](#10489))
([e0d7431](e0d7431))
* Modify HonkRecursionConstraint to handle IPA claims
([#10469](#10469))
([a204d1b](a204d1b))
* Remove auto verify mode from ClientIVC
([#10599](#10599))
([b1d8b97](b1d8b97))
* Rename Header to BlockHeader
([#10372](#10372))
([0803964](0803964))
* Sayonara old hints
([#10547](#10547))
([dede16e](dede16e))
* Several Updates in SMT verification module (part 1)
([#10437](#10437))
([0c37672](0c37672))
* Unified create circuit from acir
([#10440](#10440))
([a4dfe13](a4dfe13))


### Bug Fixes

* Remove auto verify in cbind ivc prove
([#10627](#10627))
([d773423](d773423))
* Use e2e structure in cbind
([#10585](#10585))
([985aef1](985aef1))


### Miscellaneous

* **avm:** Gas constants adjustment based on trace rows accounting
([#10614](#10614))
([fc729ef](fc729ef)),
closes
[#10368](#10368)
* **avm:** More pilcom compat changes
([#10569](#10569))
([f18d701](f18d701))
* **avm:** Pilcom compatibility changes
([#10544](#10544))
([fbc8c0e](fbc8c0e))
* L2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k.
([#10214](#10214))
([1365401](1365401))
* Lower public tx gas limit to 6M
([#10635](#10635))
([9836036](9836036))
* Optimise grand product computation round based on active ranges
([#10460](#10460))
([7fa8f84](7fa8f84))
</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 Dec 14, 2024
@AztecBot
chore(master): Release 0.67.0 (#10472)
0b4630b 
🤖 I have created a release *beep* *boop*
---


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

##
[0.67.0](AztecProtocol/aztec-packages@aztec-package-v0.66.0...aztec-package-v0.67.0)
(2024-12-13)


### Features

* Deploy faucet
([#10580](AztecProtocol/aztec-packages#10580))
([09e95a1](AztecProtocol/aztec-packages@09e95a1))
* Expose P2P service API and clean up logs
([#10552](AztecProtocol/aztec-packages#10552))
([98cea58](AztecProtocol/aztec-packages@98cea58)),
closes
[#10299](AztecProtocol/aztec-packages#10299)
* PXE in the browser
([#10353](AztecProtocol/aztec-packages#10353))
([676f673](AztecProtocol/aztec-packages@676f673))
* PXE sync on demand
([#10613](AztecProtocol/aztec-packages#10613))
([b2f1159](AztecProtocol/aztec-packages@b2f1159))


### Bug Fixes

* Do not load pino-pretty in production bundles
([#10578](AztecProtocol/aztec-packages#10578))
([e515e6e](AztecProtocol/aztec-packages@e515e6e))
* Tweaking Fr and Fq fromString functionality to distinguish number-only
strings
([#10529](AztecProtocol/aztec-packages#10529))
([736fce1](AztecProtocol/aztec-packages@736fce1))


### Miscellaneous

* Bump jest default test timeout to 30s
([#10550](AztecProtocol/aztec-packages#10550))
([841bf48](AztecProtocol/aztec-packages@841bf48))
* Rename logger modules
([#10404](AztecProtocol/aztec-packages#10404))
([7441767](AztecProtocol/aztec-packages@7441767)),
closes
[#10125](AztecProtocol/aztec-packages#10125)
</details>

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

##
[0.67.0](AztecProtocol/aztec-packages@barretenberg.js-v0.66.0...barretenberg.js-v0.67.0)
(2024-12-13)


### Features

* CIVC browser proveThenVerify
([#10431](AztecProtocol/aztec-packages#10431))
([8c064d4](AztecProtocol/aztec-packages@8c064d4))
* Keccak honk proving in bb.js
([#10489](AztecProtocol/aztec-packages#10489))
([e0d7431](AztecProtocol/aztec-packages@e0d7431))


### Bug Fixes

* Bump hard coded SRS size for wasm from 2^19 to 2^10
([#10596](AztecProtocol/aztec-packages#10596))
([a37f82d](AztecProtocol/aztec-packages@a37f82d))
</details>

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

##
[0.67.0](AztecProtocol/aztec-packages@aztec-packages-v0.66.0...aztec-packages-v0.67.0)
(2024-12-13)


### ⚠ BREAKING CHANGES

* **stdlib:** Remove Schnorr
(noir-lang/noir#6749)
* lower public tx gas limit to 6M
([#10635](AztecProtocol/aztec-packages#10635))
* l2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k.
([#10214](AztecProtocol/aztec-packages#10214))
* rm outgoing logs
([#10486](AztecProtocol/aztec-packages#10486))
* rename Header to BlockHeader
([#10372](AztecProtocol/aztec-packages#10372))
* several format string fixes and improvements
(noir-lang/noir#6703)

### Features

* `std::hint::black_box` function.
(noir-lang/noir#6529)
([3166529](AztecProtocol/aztec-packages@3166529))
* Add rollup circuit sample inputs
([#10608](AztecProtocol/aztec-packages#10608))
([775b459](AztecProtocol/aztec-packages@775b459))
* Add verify proof calls to private kernels
([#10533](AztecProtocol/aztec-packages#10533))
([ce0eee0](AztecProtocol/aztec-packages@ce0eee0))
* Adding fuzzer for ultra bigfield and relaxing ultra circuit checker
([#10433](AztecProtocol/aztec-packages#10433))
([da4c47c](AztecProtocol/aztec-packages@da4c47c))
* Allow making range queries to prometheus in tests
([f9810cc](AztecProtocol/aztec-packages@f9810cc))
* Allow metrics to be instantly flushed
([f9810cc](AztecProtocol/aztec-packages@f9810cc))
* AVM inserts fee write on txs with public calls
([#10394](AztecProtocol/aztec-packages#10394))
([98ba747](AztecProtocol/aztec-packages@98ba747))
* **ci:** Initial compilation report on test_programs
(noir-lang/noir#6731)
([3166529](AztecProtocol/aztec-packages@3166529))
* CIVC browser proveThenVerify
([#10431](AztecProtocol/aztec-packages#10431))
([8c064d4](AztecProtocol/aztec-packages@8c064d4))
* Cli wallet improvements
([#10425](AztecProtocol/aztec-packages#10425))
([cc8bd80](AztecProtocol/aztec-packages@cc8bd80))
* **cli:** Run command on the package closest to the current directory
(noir-lang/noir#6752)
([3166529](AztecProtocol/aztec-packages@3166529))
* DB Metrics now use labels for easier querying
([#10572](AztecProtocol/aztec-packages#10572))
([adadfa5](AztecProtocol/aztec-packages@adadfa5))
* Deploy a network using master each night night
([#10536](AztecProtocol/aztec-packages#10536))
([015ec0e](AztecProtocol/aztec-packages@015ec0e)),
closes
[#10474](AztecProtocol/aztec-packages#10474)
[#10473](AztecProtocol/aztec-packages#10473)
* Deploy faucet
([#10580](AztecProtocol/aztec-packages#10580))
([09e95a1](AztecProtocol/aztec-packages@09e95a1))
* Do not make unique revertible note hashes in the private kernels
([#10524](AztecProtocol/aztec-packages#10524))
([d327da1](AztecProtocol/aztec-packages@d327da1))
* Emulating blocks and correct (non-partial) note discovery in txe
([#10356](AztecProtocol/aztec-packages#10356))
([6f209fb](AztecProtocol/aztec-packages@6f209fb))
* Expose P2P service API and clean up logs
([#10552](AztecProtocol/aztec-packages#10552))
([98cea58](AztecProtocol/aztec-packages@98cea58)),
closes
[#10299](AztecProtocol/aztec-packages#10299)
* GETCONTRACTINSTANCE and bytecode retrieval perform nullifier
membership checks
([#10445](AztecProtocol/aztec-packages#10445))
([9301253](AztecProtocol/aztec-packages@9301253)),
closes
[#10377](AztecProtocol/aztec-packages#10377)
[#10379](AztecProtocol/aztec-packages#10379)
* Handle nested calls in witgen
([#10384](AztecProtocol/aztec-packages#10384))
([1e21f31](AztecProtocol/aztec-packages@1e21f31))
* Keccak honk proving in bb.js
([#10489](AztecProtocol/aztec-packages#10489))
([e0d7431](AztecProtocol/aztec-packages@e0d7431))
* Metrics via terraform
([#10594](AztecProtocol/aztec-packages#10594))
([e21069d](AztecProtocol/aztec-packages@e21069d)),
closes
[#10191](AztecProtocol/aztec-packages#10191)
[#10439](AztecProtocol/aztec-packages#10439)
* Modify HonkRecursionConstraint to handle IPA claims
([#10469](AztecProtocol/aztec-packages#10469))
([a204d1b](AztecProtocol/aztec-packages@a204d1b))
* Order attribute execution by their source ordering
(noir-lang/noir#6326)
([3166529](AztecProtocol/aztec-packages@3166529))
* Persistence in helm chart for validator and boot node
([#10543](AztecProtocol/aztec-packages#10543))
([f9810cc](AztecProtocol/aztec-packages@f9810cc))
* Prover-client exec timing analysis scripts.
([82434a2](AztecProtocol/aztec-packages@82434a2))
* PXE in the browser
([#10353](AztecProtocol/aztec-packages#10353))
([676f673](AztecProtocol/aztec-packages@676f673))
* PXE sync on demand
([#10613](AztecProtocol/aztec-packages#10613))
([b2f1159](AztecProtocol/aztec-packages@b2f1159))
* Remove auto verify mode from ClientIVC
([#10599](AztecProtocol/aztec-packages#10599))
([b1d8b97](AztecProtocol/aztec-packages@b1d8b97))
* Rename Header to BlockHeader
([#10372](AztecProtocol/aztec-packages#10372))
([0803964](AztecProtocol/aztec-packages@0803964))
* Rm outgoing logs
([#10486](AztecProtocol/aztec-packages#10486))
([c28beec](AztecProtocol/aztec-packages@c28beec))
* Sayonara old hints
([#10547](AztecProtocol/aztec-packages#10547))
([dede16e](AztecProtocol/aztec-packages@dede16e))
* Several `nargo test` improvements
(noir-lang/noir#6728)
([3166529](AztecProtocol/aztec-packages@3166529))
* Several Updates in SMT verification module (part 1)
([#10437](AztecProtocol/aztec-packages#10437))
([0c37672](AztecProtocol/aztec-packages@0c37672))
* **ssa:** Implement missing brillig constraints SSA check
(noir-lang/noir#6658)
([3166529](AztecProtocol/aztec-packages@3166529))
* Sync from aztec-packages (noir-lang/noir#6730)
([3166529](AztecProtocol/aztec-packages@3166529))
* **test:** Check that `nargo::ops::transform_program` is idempotent
(noir-lang/noir#6694)
([3166529](AztecProtocol/aztec-packages@3166529))
* Unified create circuit from acir
([#10440](AztecProtocol/aztec-packages#10440))
([a4dfe13](AztecProtocol/aztec-packages@a4dfe13))
* Update and generate test Prover.tomls for protocol circuits
([#10659](AztecProtocol/aztec-packages#10659))
([eb5f18a](AztecProtocol/aztec-packages@eb5f18a))


### Bug Fixes

* [#10473](AztecProtocol/aztec-packages#10473)
([015ec0e](AztecProtocol/aztec-packages@015ec0e))
* [#10474](AztecProtocol/aztec-packages#10474)
([015ec0e](AztecProtocol/aztec-packages@015ec0e))
* Allow empty loop headers (noir-lang/noir#6736)
([3166529](AztecProtocol/aztec-packages@3166529))
* Always respect aztec image pull policy
([#10617](AztecProtocol/aztec-packages#10617))
([e7686f1](AztecProtocol/aztec-packages@e7686f1))
* Attempt to fix flake in e2e cross chain messaging test
([#10634](AztecProtocol/aztec-packages#10634))
([a69502c](AztecProtocol/aztec-packages@a69502c))
* Bad merge on boxes
([#10579](AztecProtocol/aztec-packages#10579))
([9b26651](AztecProtocol/aztec-packages@9b26651))
* Boxes webpack config
([#10548](AztecProtocol/aztec-packages#10548))
([49f9418](AztecProtocol/aztec-packages@49f9418))
* Bump hard coded SRS size for wasm from 2^19 to 2^10
([#10596](AztecProtocol/aztec-packages#10596))
([a37f82d](AztecProtocol/aztec-packages@a37f82d))
* Bump timeout for failing data store tests
([#10639](AztecProtocol/aztec-packages#10639))
([c75fee0](AztecProtocol/aztec-packages@c75fee0))
* Correct size in bytes of a complete address
([#10574](AztecProtocol/aztec-packages#10574))
([e72b988](AztecProtocol/aztec-packages@e72b988))
* Destroy old masternet if we can
([#10584](AztecProtocol/aztec-packages#10584))
([679684d](AztecProtocol/aztec-packages@679684d))
* Do not attempt proof quote on empty epoch
([#10557](AztecProtocol/aztec-packages#10557))
([39d3bc2](AztecProtocol/aztec-packages@39d3bc2))
* Do not load pino-pretty in production bundles
([#10578](AztecProtocol/aztec-packages#10578))
([e515e6e](AztecProtocol/aztec-packages@e515e6e))
* Do not merge expressions that contain output witnesses
(noir-lang/noir#6757)
([3166529](AztecProtocol/aztec-packages@3166529))
* Ensure LMDB store metrics have hard coded descriptions
([#10642](AztecProtocol/aztec-packages#10642))
([043e2c2](AztecProtocol/aztec-packages@043e2c2))
* Formatting master
([#10583](AztecProtocol/aztec-packages#10583))
([79e49c9](AztecProtocol/aztec-packages@79e49c9))
* Git dependency trailing slash
(noir-lang/noir#6725)
([f4ed66b](AztecProtocol/aztec-packages@f4ed66b))
* Improve type error when indexing a variable of unknown type
(noir-lang/noir#6744)
([3166529](AztecProtocol/aztec-packages@3166529))
* Link in README.md
([#10471](AztecProtocol/aztec-packages#10471))
([fca9600](AztecProtocol/aztec-packages@fca9600))
* Log level not honored with multi transport
([#10643](AztecProtocol/aztec-packages#10643))
([e1e5864](AztecProtocol/aztec-packages@e1e5864))
* Map entry point indexes after all ssa passes
(noir-lang/noir#6740)
([3166529](AztecProtocol/aztec-packages@3166529))
* Memory leak in the broker
([#10567](AztecProtocol/aztec-packages#10567))
([ecc037f](AztecProtocol/aztec-packages@ecc037f))
* Mispelled aztec
([#10491](AztecProtocol/aztec-packages#10491))
([866a5f7](AztecProtocol/aztec-packages@866a5f7))
* Parser would hand on function type with colon in it
(noir-lang/noir#6764)
([3166529](AztecProtocol/aztec-packages@3166529))
* Pass salt to deploy-l1-contracts.sh
([#10586](AztecProtocol/aztec-packages#10586))
([d6be2c8](AztecProtocol/aztec-packages@d6be2c8))
* Pod anti affinity spans all namespaces
([#10475](AztecProtocol/aztec-packages#10475))
([2d4dc3d](AztecProtocol/aztec-packages@2d4dc3d))
* Print ssa blocks without recursion
(noir-lang/noir#6715)
([f4ed66b](AztecProtocol/aztec-packages@f4ed66b))
* Println("{{}}") was printing "{{}}" instead of "{}"
(noir-lang/noir#6745)
([3166529](AztecProtocol/aztec-packages@3166529))
* Properly trace storage reads to slots never written before in AVM
([#10560](AztecProtocol/aztec-packages#10560))
([410c730](AztecProtocol/aztec-packages@410c730))
* Remove auto verify in cbind ivc prove
([#10627](AztecProtocol/aztec-packages#10627))
([d773423](AztecProtocol/aztec-packages@d773423))
* Remove otel collector endpoint
([#10604](AztecProtocol/aztec-packages#10604))
([276a82c](AztecProtocol/aztec-packages@276a82c))
* Sequencer negative histogram recodings
([#10490](AztecProtocol/aztec-packages#10490))
([623f3e2](AztecProtocol/aztec-packages@623f3e2))
* Several format string fixes and improvements
(noir-lang/noir#6703)
([f4ed66b](AztecProtocol/aztec-packages@f4ed66b))
* Simulation error enriching
([#10595](AztecProtocol/aztec-packages#10595))
([2c36088](AztecProtocol/aztec-packages@2c36088))
* Temporary fix for private kernel tail proving
([#10593](AztecProtocol/aztec-packages#10593))
([d194cdf](AztecProtocol/aztec-packages@d194cdf))
* Track published bytecode
([#10636](AztecProtocol/aztec-packages#10636))
([cadb4ce](AztecProtocol/aztec-packages@cadb4ce))
* Tweaking Fr and Fq fromString functionality to distinguish number-only
strings
([#10529](AztecProtocol/aztec-packages#10529))
([736fce1](AztecProtocol/aztec-packages@736fce1))
* Use e2e structure in cbind
([#10585](AztecProtocol/aztec-packages#10585))
([985aef1](AztecProtocol/aztec-packages@985aef1))


### Miscellaneous

* Add a few regression tests for
[#6674](AztecProtocol/aztec-packages#6674)
(noir-lang/noir#6687)
([f4ed66b](AztecProtocol/aztec-packages@f4ed66b))
* Add script to check for critical libraries supporting a given Noir
version (noir-lang/noir#6697)
([f4ed66b](AztecProtocol/aztec-packages@f4ed66b))
* **avm:** Gas constants adjustment based on trace rows accounting
([#10614](AztecProtocol/aztec-packages#10614))
([fc729ef](AztecProtocol/aztec-packages@fc729ef)),
closes
[#10368](AztecProtocol/aztec-packages#10368)
* **avm:** More pilcom compat changes
([#10569](AztecProtocol/aztec-packages#10569))
([f18d701](AztecProtocol/aztec-packages@f18d701))
* **avm:** Pilcom compatibility changes
([#10544](AztecProtocol/aztec-packages#10544))
([fbc8c0e](AztecProtocol/aztec-packages@fbc8c0e))
* **avm:** Reduce the number of gates for fake AVM recursive verifier
([#10619](AztecProtocol/aztec-packages#10619))
([0be44b2](AztecProtocol/aztec-packages@0be44b2))
* **avm:** Remove function selector from AvmExecutionEnvironment
([#10532](AztecProtocol/aztec-packages#10532))
([fef5f93](AztecProtocol/aztec-packages@fef5f93))
* Boxes tests cause resource issues
([#10676](AztecProtocol/aztec-packages#10676))
([ccf1c78](AztecProtocol/aztec-packages@ccf1c78))
* Bump avm tree test timeout
([323e2eb](AztecProtocol/aztec-packages@323e2eb))
* Bump exp1 config to 48 validators
([#10577](AztecProtocol/aztec-packages#10577))
([0379718](AztecProtocol/aztec-packages@0379718))
* Bump jest default test timeout to 30s
([#10550](AztecProtocol/aztec-packages#10550))
([841bf48](AztecProtocol/aztec-packages@841bf48))
* Bump mocha timeout
([#10571](AztecProtocol/aztec-packages#10571))
([35e525f](AztecProtocol/aztec-packages@35e525f))
* Bump proven timeout
([#10680](AztecProtocol/aztec-packages#10680))
([3f5cf6c](AztecProtocol/aztec-packages@3f5cf6c))
* Bump prover agents
([#10626](AztecProtocol/aztec-packages#10626))
([64eea72](AztecProtocol/aztec-packages@64eea72))
* **ci:** Extend compiler memory report to external repos
(noir-lang/noir#6768)
([3166529](AztecProtocol/aztec-packages@3166529))
* **ci:** Handle external libraries in compilation timing report
(noir-lang/noir#6750)
([3166529](AztecProtocol/aztec-packages@3166529))
* **ci:** Prune launch templates job
([#10561](AztecProtocol/aztec-packages#10561))
([d6e4f4c](AztecProtocol/aztec-packages@d6e4f4c))
* **ci:** Reenable `rerun-check` job
([#10653](AztecProtocol/aztec-packages#10653))
([b2c4f48](AztecProtocol/aztec-packages@b2c4f48))
* Cleanup unrolling pass (noir-lang/noir#6743)
([3166529](AztecProtocol/aztec-packages@3166529))
* Disable broken test
([#10663](AztecProtocol/aztec-packages#10663))
([0771260](AztecProtocol/aztec-packages@0771260))
* Disable ivc integration yarn tests
([#10625](AztecProtocol/aztec-packages#10625))
([7c50107](AztecProtocol/aztec-packages@7c50107))
* **docs:** Update branding
(noir-lang/noir#6759)
([3166529](AztecProtocol/aztec-packages@3166529))
* Documenting convenient redirect to the spartan creator
([#10565](AztecProtocol/aztec-packages#10565))
([b94b8ee](AztecProtocol/aztec-packages@b94b8ee))
* Enable nightly tests
([#10542](AztecProtocol/aztec-packages#10542))
([4fa068c](AztecProtocol/aztec-packages@4fa068c))
* Faucet LB if public, proving devnet
([#10665](AztecProtocol/aztec-packages#10665))
([996d921](AztecProtocol/aztec-packages@996d921))
* Fix build issue from bad merge
([85c0676](AztecProtocol/aztec-packages@85c0676))
* Fix migration notes
([#10656](AztecProtocol/aztec-packages#10656))
([333d6ce](AztecProtocol/aztec-packages@333d6ce))
* Fix public keys deserialization
([#10647](AztecProtocol/aztec-packages#10647))
([12473c8](AztecProtocol/aztec-packages@12473c8))
* Flush archiver metrics on startup
([f9810cc](AztecProtocol/aztec-packages@f9810cc))
* Free memory for silenced warnings early
(noir-lang/noir#6748)
([3166529](AztecProtocol/aztec-packages@3166529))
* Give validators/boot-nodes 100Gi in network configs
([f9810cc](AztecProtocol/aztec-packages@f9810cc))
* Handle errors in e2e teardown to fix e2e token
([#10590](AztecProtocol/aztec-packages#10590))
([5d4cdc1](AztecProtocol/aztec-packages@5d4cdc1))
* Increase test timeout to reduce flakes
([#10641](AztecProtocol/aztec-packages#10641))
([4ade2ad](AztecProtocol/aztec-packages@4ade2ad))
* Inject k8s pod name and uid
([#10633](AztecProtocol/aztec-packages#10633))
([eb472ff](AztecProtocol/aztec-packages@eb472ff))
* L2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k.
([#10214](AztecProtocol/aztec-packages#10214))
([1365401](AztecProtocol/aztec-packages@1365401))
* Load balancers for the boot node, longer epochs
([#10632](AztecProtocol/aztec-packages#10632))
([001bbb1](AztecProtocol/aztec-packages@001bbb1))
* Lock CI to use ubuntu 22.04
(noir-lang/noir#6755)
([3166529](AztecProtocol/aztec-packages@3166529))
* Log when validator enters commitee
([#10615](AztecProtocol/aztec-packages#10615))
([7746a39](AztecProtocol/aztec-packages@7746a39)),
closes
[#10337](AztecProtocol/aztec-packages#10337)
* Lower public tx gas limit to 6M
([#10635](AztecProtocol/aztec-packages#10635))
([9836036](AztecProtocol/aztec-packages@9836036))
* Merge queue CI
([#10629](AztecProtocol/aztec-packages#10629))
([835e6fd](AztecProtocol/aztec-packages@835e6fd))
* More bots for exp1
([#10671](AztecProtocol/aztec-packages#10671))
([0ba2425](AztecProtocol/aztec-packages@0ba2425))
* More logs cleanup
([#10630](AztecProtocol/aztec-packages#10630))
([00c629c](AztecProtocol/aztec-packages@00c629c))
* Move some nr utils around
([#10553](AztecProtocol/aztec-packages#10553))
([d132f83](AztecProtocol/aztec-packages@d132f83))
* Moving stuff from the aztec sequencer node guide into this README
([#10570](AztecProtocol/aztec-packages#10570))
([93b8b1b](AztecProtocol/aztec-packages@93b8b1b))
* Optimise grand product computation round based on active ranges
([#10460](AztecProtocol/aztec-packages#10460))
([7fa8f84](AztecProtocol/aztec-packages@7fa8f84))
* Optimise older opcodes in reverse order
(noir-lang/noir#6476)
([f4ed66b](AztecProtocol/aztec-packages@f4ed66b))
* Redo typo PR by Madmaxs2 (noir-lang/noir#6721)
([f4ed66b](AztecProtocol/aztec-packages@f4ed66b))
* Reduce bb_prover_full_rollup to a single block epoch test
([#10679](AztecProtocol/aztec-packages#10679))
([0c2a4d9](AztecProtocol/aztec-packages@0c2a4d9))
* Remove Proxy from json rpc client
([#10554](AztecProtocol/aztec-packages#10554))
([93b1c45](AztecProtocol/aztec-packages@93b1c45))
* Remove warnings from protocol circuits
([#10556](AztecProtocol/aztec-packages#10556))
([e065e05](AztecProtocol/aztec-packages@e065e05))
* Rename logger modules
([#10404](AztecProtocol/aztec-packages#10404))
([7441767](AztecProtocol/aztec-packages@7441767)),
closes
[#10125](AztecProtocol/aztec-packages#10125)
* Rename pxe script generate-package-info to generate
([#10534](AztecProtocol/aztec-packages#10534))
([ead9c0b](AztecProtocol/aztec-packages@ead9c0b))
* Replace relative paths to noir-protocol-circuits
([acfd5df](AztecProtocol/aztec-packages@acfd5df))
* Replace relative paths to noir-protocol-circuits
([6c0533f](AztecProtocol/aztec-packages@6c0533f))
* Replace relative paths to noir-protocol-circuits
([a245b95](AztecProtocol/aztec-packages@a245b95))
* Replace relative paths to noir-protocol-circuits
([153c720](AztecProtocol/aztec-packages@153c720))
* Replace relative paths to noir-protocol-circuits
([a080436](AztecProtocol/aztec-packages@a080436))
* Replace relative paths to noir-protocol-circuits
([8419f5a](AztecProtocol/aztec-packages@8419f5a))
* Secret derivation funcs naming cleanup
([#10637](AztecProtocol/aztec-packages#10637))
([5c50711](AztecProtocol/aztec-packages@5c50711))
* Simplify MSM with constant folding
(noir-lang/noir#6650)
([f4ed66b](AztecProtocol/aztec-packages@f4ed66b))
* **stdlib:** Remove Schnorr
(noir-lang/noir#6749)
([3166529](AztecProtocol/aztec-packages@3166529))
* Try replace callstack with a linked list
(noir-lang/noir#6747)
([3166529](AztecProtocol/aztec-packages@3166529))
* Tweak validator logs
([#10597](AztecProtocol/aztec-packages#10597))
([9eaa527](AztecProtocol/aztec-packages@9eaa527))
* Unprove devnet
([#10683](AztecProtocol/aztec-packages#10683))
([1c92f77](AztecProtocol/aztec-packages@1c92f77))
* Update url to 2.5.4 (noir-lang/noir#6741)
([3166529](AztecProtocol/aztec-packages@3166529))
* Use `NumericType` not `Type` for casts and numeric constants
(noir-lang/noir#6769)
([3166529](AztecProtocol/aztec-packages@3166529))
* **val:** Reject proposals not for the current or next slot
([#10450](AztecProtocol/aztec-packages#10450))
([27620f5](AztecProtocol/aztec-packages@27620f5))
</details>

<details><summary>barretenberg: 0.67.0</summary>

##
[0.67.0](AztecProtocol/aztec-packages@barretenberg-v0.66.0...barretenberg-v0.67.0)
(2024-12-13)


### ⚠ BREAKING CHANGES

* lower public tx gas limit to 6M
([#10635](AztecProtocol/aztec-packages#10635))
* l2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k.
([#10214](AztecProtocol/aztec-packages#10214))
* rename Header to BlockHeader
([#10372](AztecProtocol/aztec-packages#10372))

### Features

* Add verify proof calls to private kernels
([#10533](AztecProtocol/aztec-packages#10533))
([ce0eee0](AztecProtocol/aztec-packages@ce0eee0))
* Adding fuzzer for ultra bigfield and relaxing ultra circuit checker
([#10433](AztecProtocol/aztec-packages#10433))
([da4c47c](AztecProtocol/aztec-packages@da4c47c))
* AVM inserts fee write on txs with public calls
([#10394](AztecProtocol/aztec-packages#10394))
([98ba747](AztecProtocol/aztec-packages@98ba747))
* CIVC browser proveThenVerify
([#10431](AztecProtocol/aztec-packages#10431))
([8c064d4](AztecProtocol/aztec-packages@8c064d4))
* GETCONTRACTINSTANCE and bytecode retrieval perform nullifier
membership checks
([#10445](AztecProtocol/aztec-packages#10445))
([9301253](AztecProtocol/aztec-packages@9301253)),
closes
[#10377](AztecProtocol/aztec-packages#10377)
[#10379](AztecProtocol/aztec-packages#10379)
* Handle nested calls in witgen
([#10384](AztecProtocol/aztec-packages#10384))
([1e21f31](AztecProtocol/aztec-packages@1e21f31))
* Keccak honk proving in bb.js
([#10489](AztecProtocol/aztec-packages#10489))
([e0d7431](AztecProtocol/aztec-packages@e0d7431))
* Modify HonkRecursionConstraint to handle IPA claims
([#10469](AztecProtocol/aztec-packages#10469))
([a204d1b](AztecProtocol/aztec-packages@a204d1b))
* Remove auto verify mode from ClientIVC
([#10599](AztecProtocol/aztec-packages#10599))
([b1d8b97](AztecProtocol/aztec-packages@b1d8b97))
* Rename Header to BlockHeader
([#10372](AztecProtocol/aztec-packages#10372))
([0803964](AztecProtocol/aztec-packages@0803964))
* Sayonara old hints
([#10547](AztecProtocol/aztec-packages#10547))
([dede16e](AztecProtocol/aztec-packages@dede16e))
* Several Updates in SMT verification module (part 1)
([#10437](AztecProtocol/aztec-packages#10437))
([0c37672](AztecProtocol/aztec-packages@0c37672))
* Unified create circuit from acir
([#10440](AztecProtocol/aztec-packages#10440))
([a4dfe13](AztecProtocol/aztec-packages@a4dfe13))


### Bug Fixes

* Remove auto verify in cbind ivc prove
([#10627](AztecProtocol/aztec-packages#10627))
([d773423](AztecProtocol/aztec-packages@d773423))
* Use e2e structure in cbind
([#10585](AztecProtocol/aztec-packages#10585))
([985aef1](AztecProtocol/aztec-packages@985aef1))


### Miscellaneous

* **avm:** Gas constants adjustment based on trace rows accounting
([#10614](AztecProtocol/aztec-packages#10614))
([fc729ef](AztecProtocol/aztec-packages@fc729ef)),
closes
[#10368](AztecProtocol/aztec-packages#10368)
* **avm:** More pilcom compat changes
([#10569](AztecProtocol/aztec-packages#10569))
([f18d701](AztecProtocol/aztec-packages@f18d701))
* **avm:** Pilcom compatibility changes
([#10544](AztecProtocol/aztec-packages#10544))
([fbc8c0e](AztecProtocol/aztec-packages@fbc8c0e))
* L2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k.
([#10214](AztecProtocol/aztec-packages#10214))
([1365401](AztecProtocol/aztec-packages@1365401))
* Lower public tx gas limit to 6M
([#10635](AztecProtocol/aztec-packages#10635))
([9836036](AztecProtocol/aztec-packages@9836036))
* Optimise grand product computation round based on active ranges
([#10460](AztecProtocol/aztec-packages#10460))
([7fa8f84](AztecProtocol/aztec-packages@7fa8f84))
</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
Reviewers

@Rumata888 Rumata888 Rumata888 approved these changes

Assignees

@Sarkoxed Sarkoxed

Labels
product-security PRs extending our security mechanisms
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Sarkoxed @Rumata888