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: Sync from noir #11051

Merged
merged 52 commits into from
Jan 9, 2025
Merged

feat: Sync from noir #11051

merged 52 commits into from
Jan 9, 2025

Conversation

AztecBot
Copy link
Collaborator

@AztecBot AztecBot commented Jan 4, 2025

Automated pull of development from the noir programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
feat: impl Default for U128 (noir-lang/noir#6984)
fix: Do not emit range check for multiplication by bool (noir-lang/noir#6983)
fix: do not panic on indices which are not valid u32s (noir-lang/noir#6976)
feat!: require trait method calls (foo.bar()) to have the trait in scope (imported) (noir-lang/noir#6895)
feat!: type-check trait default methods (noir-lang/noir#6645)
feat: --pedantic-solving flag (noir-lang/noir#6716)
feat!: update aes128_encrypt to return an array (noir-lang/noir#6973)
fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974)
fix: Start RC at 1 again (noir-lang/noir#6958)
feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953)
fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969)
fix: error on missing function parameters (noir-lang/noir#6967)
feat: don't report warnings for dependencies (noir-lang/noir#6926)
chore: simplify boolean in a mul of a mul (noir-lang/noir#6951)
feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893)
chore: Move comment as part of #6945 (noir-lang/noir#6959)
chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894)
feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952)
feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941)
feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948)
chore: add reproduction case for bignum test failure (noir-lang/noir#6464)
chore: bump noir-gates-diff (noir-lang/noir#6949)
feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835)
chore: also print test output to stdout in CI (noir-lang/noir#6930)
fix: Non-determinism from under constrained checks (noir-lang/noir#6945)
chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump noir-gates-diff (noir-lang/noir#6944)
chore: bump noir-gates-diff (noir-lang/noir#6943)
fix: Show output of test_program_is_idempotent on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from noirc_evaluator (noir-lang/noir#6939)
feat: require trait function calls (Foo::bar()) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version 0.5.0 (noir-lang/noir#6871)
END_COMMIT_OVERRIDE

AztecBot and others added 9 commits January 4, 2025 08:07
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
…lang/noir#6945)

chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
…noir#6930)

fix: Non-determinism from under constrained checks (noir-lang/noir#6945)
chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
fix: Non-determinism from under constrained checks (noir-lang/noir#6945)
chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
@michaeljklein michaeljklein removed the request for review from charlielye January 6, 2025 21:23
michaeljklein and others added 11 commits January 6, 2025 16:26
…oir#6926)

chore: simplify boolean in a mul of a mul (noir-lang/noir#6951)
feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893)
chore: Move comment as part of #6945 (noir-lang/noir#6959)
chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894)
feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952)
feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941)
feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948)
chore: add reproduction case for bignum test failure (noir-lang/noir#6464)
chore: bump `noir-gates-diff` (noir-lang/noir#6949)
feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835)
chore: also print test output to stdout in CI (noir-lang/noir#6930)
fix: Non-determinism from under constrained checks (noir-lang/noir#6945)
chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
chore: simplify boolean in a mul of a mul (noir-lang/noir#6951)
feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893)
chore: Move comment as part of #6945 (noir-lang/noir#6959)
chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894)
feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952)
feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941)
feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948)
chore: add reproduction case for bignum test failure (noir-lang/noir#6464)
chore: bump `noir-gates-diff` (noir-lang/noir#6949)
feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835)
chore: also print test output to stdout in CI (noir-lang/noir#6930)
fix: Non-determinism from under constrained checks (noir-lang/noir#6945)
chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
Copy link
Contributor

github-actions bot commented Jan 7, 2025

Changes to public function bytecode sizes

Generated at commit: 7a6f594a83b8586fe6bb81362f8e9ad017b0a2a6, compared to commit: 15e0d71c49161faa2e1bfb152be8af8f6ee65268

🧾 Summary (100% most significant diffs)

Program Bytecode size in bytes (+/-) %
InclusionProofs::public_dispatch +77 ❌ +2.03%
AuthRegistry::set_authorized +26 ❌ +1.54%
AuthRegistry::_set_authorized +26 ❌ +1.50%
AuthRegistry::is_consumable +26 ❌ +1.49%
Auth::public_dispatch +64 ❌ +0.68%
TokenBlacklist::constructor -13 ✅ -0.19%
TokenBlacklist::update_roles -13 ✅ -0.20%
AvmTest::bulk_testing -53 ✅ -0.22%
Auth::set_authorized_delay -13 ✅ -0.26%
Auth::set_authorized -13 ✅ -0.26%
Crowdfunding::public_dispatch -13 ✅ -0.28%
Token::transfer_in_public -13 ✅ -0.29%
Token::constructor -13 ✅ -0.30%
NFT::constructor -13 ✅ -0.30%
TokenBlacklist::mint_private -13 ✅ -0.35%
Lending::_borrow -26 ✅ -0.36%
NFT::transfer_in_public -13 ✅ -0.36%
Uniswap::swap_public -59 ✅ -0.38%
AppSubscription::constructor -13 ✅ -0.42%
AuthRegistry::consume -13 ✅ -0.42%
Spam::public_dispatch -13 ✅ -0.43%
PriceFeed::public_dispatch -13 ✅ -0.45%
Lending::update_accumulator -26 ✅ -0.47%
Lending::_repay -26 ✅ -0.47%
TokenBlacklist::get_roles -13 ✅ -0.47%
AvmInitializerTest::public_dispatch -13 ✅ -0.48%
Child::public_dispatch -26 ✅ -0.54%
TokenBlacklist::_increase_public_balance -13 ✅ -0.56%
Token::_increase_public_balance -13 ✅ -0.56%
Spam::public_spam -13 ✅ -0.58%
Benchmarking::increment_balance -13 ✅ -0.58%
TokenBridge::exit_to_l1_public -39 ✅ -0.59%
FPC::pay_refund -13 ✅ -0.60%
Lending::_withdraw -52 ✅ -0.60%
StaticParent::public_nested_static_call -13 ✅ -0.60%
FeeJuice::check_balance -13 ✅ -0.62%
FeeJuice::_increase_public_balance -13 ✅ -0.63%
Lending::withdraw_public -13 ✅ -0.65%
Lending::borrow_public -13 ✅ -0.65%
Auth::get_authorized_delay -13 ✅ -0.65%
AMM::public_dispatch -137 ✅ -0.65%
AvmInitializerTest::constructor -13 ✅ -0.68%
TokenBridge::claim_public -78 ✅ -0.68%
EasyPrivateVoting::add_to_tally_public -13 ✅ -0.69%
Test::consume_mint_to_public_message -78 ✅ -0.72%
Claim::public_dispatch -26 ✅ -0.72%
AvmTest::returndata_copy_oracle -13 ✅ -0.73%
TokenBlacklist::balance_of_public -13 ✅ -0.73%
Token::balance_of_public -13 ✅ -0.73%
Uniswap::_approve_bridge_and_exit_input_asset_to_L1 -52 ✅ -0.75%
AMM::_remove_liquidity -52 ✅ -0.75%
AvmTest::add_storage_map -13 ✅ -0.75%
FeeJuice::balance_of_public -13 ✅ -0.75%
NFT::is_minter -13 ✅ -0.77%
PriceFeed::set_price -13 ✅ -0.77%
NFT::set_minter -13 ✅ -0.77%
Token::is_minter -13 ✅ -0.77%
Token::set_minter -13 ✅ -0.77%
NFT::_finish_transfer_to_public -13 ✅ -0.78%
CardGame::start_game -52 ✅ -0.79%
Benchmarking::broadcast -13 ✅ -0.79%
PriceFeed::get_price -13 ✅ -0.79%
AvmTest::set_storage_map -13 ✅ -0.80%
AuthRegistry::is_reject_all -13 ✅ -0.80%
StatefulTest::increment_public_value -13 ✅ -0.80%
StatefulTest::get_public_value -13 ✅ -0.80%
AvmTest::read_storage_map -13 ✅ -0.82%
Test::consume_message_from_arbitrary_sender_public -65 ✅ -0.82%
AuthRegistry::set_reject_all -13 ✅ -0.82%
StatefulTest::increment_public_value_no_init_check -13 ✅ -0.82%
AvmTest::poseidon2_hash -13 ✅ -0.83%
AvmTest::pedersen_hash_with_index -26 ✅ -0.84%
AvmTest::pedersen_hash -26 ✅ -0.84%
Claim::constructor -26 ✅ -0.91%
AMM::_add_liquidity -78 ✅ -0.92%
Lending::deposit_public -26 ✅ -0.93%
Lending::init -26 ✅ -0.93%
CardGame::on_card_played -52 ✅ -0.94%
TokenBridge::constructor -26 ✅ -0.95%
FPC::constructor -26 ✅ -0.96%
FPC::pull_funds -26 ✅ -0.97%
Lending::repay_public -26 ✅ -0.98%
AvmTest::sha256_hash -39 ✅ -0.99%
AvmTest::pedersen_commit -13 ✅ -1.01%
NFT::_store_payload_in_transient_storage_unsafe -13 ✅ -1.07%
Token::_store_payload_in_transient_storage_unsafe -13 ✅ -1.07%
CardGame::on_game_joined -52 ✅ -1.07%
Parent::public_nested_static_call -39 ✅ -1.08%
Lending::_deposit -26 ✅ -1.08%
TestLog::emit_unencrypted_events -13 ✅ -1.14%
ImportTest::public_dispatch -13 ✅ -1.15%
Test::create_l2_to_l1_message_public -26 ✅ -1.18%
Lending::get_asset -26 ✅ -1.25%
CardGame::on_cards_claimed -91 ✅ -1.27%
Token::complete_refund -91 ✅ -1.31%
AvmTest::external_call_to_divide_by_zero_recovers -39 ✅ -1.34%
Auth::get_authorized -26 ✅ -1.36%
EasyPrivateVoting::public_dispatch -67 ✅ -1.38%
AvmTest::get_args_hash -26 ✅ -1.38%
Crowdfunding::_publish_donation_receipts -13 ✅ -1.39%
Token::_finalize_transfer_to_private_unsafe -91 ✅ -1.40%
AvmTest::emit_unencrypted_log -39 ✅ -1.40%
Token::finalize_transfer_to_private -91 ✅ -1.41%
Auth::get_scheduled_authorized -26 ✅ -1.44%
Token::_finalize_mint_to_private_unsafe -91 ✅ -1.48%
Token::finalize_mint_to_private -91 ✅ -1.49%
AvmTest::n_storage_writes -26 ✅ -1.58%
NFT::_finalize_transfer_to_private_unsafe -91 ✅ -1.67%
NFT::finalize_transfer_to_private -91 ✅ -1.68%
TestLog::public_dispatch -39 ✅ -1.70%
Test::emit_unencrypted -26 ✅ -1.76%
CardGame::public_dispatch -277 ✅ -1.84%
AvmTest::keccak_hash -52 ✅ -2.17%
TokenBridge::public_dispatch -490 ✅ -2.35%
Uniswap::public_dispatch -612 ✅ -2.48%
AvmTest::public_dispatch -1,844 ✅ -2.82%
Benchmarking::public_dispatch -120 ✅ -3.25%
Test::public_dispatch -640 ✅ -3.43%
AvmTest::nested_call_to_nothing_recovers -13 ✅ -4.13%
DocsExample::public_dispatch -189 ✅ -4.78%
StaticParent::public_dispatch -288 ✅ -4.87%
Parent::public_dispatch -392 ✅ -4.94%
AppSubscription::public_dispatch -215 ✅ -5.07%
NFT::public_dispatch -1,334 ✅ -5.53%
FeeJuice::public_dispatch -271 ✅ -5.53%
FPC::public_dispatch -462 ✅ -5.84%
StatefulTest::public_dispatch -360 ✅ -5.88%
TokenBlacklist::shield -392 ✅ -6.39%
TokenBlacklist::burn_public -379 ✅ -7.02%
TokenBlacklist::public_dispatch -1,725 ✅ -7.18%
Token::public_dispatch -2,596 ✅ -7.93%
Lending::get_position -389 ✅ -8.34%
TokenBlacklist::transfer_public -500 ✅ -8.40%
Lending::public_dispatch -2,450 ✅ -8.82%
AuthWitTest::public_dispatch -149 ✅ -9.03%
AuthRegistry::public_dispatch -751 ✅ -9.50%
TokenBlacklist::mint_public -415 ✅ -10.33%
Token::mint_to_public -379 ✅ -14.09%
NFT::mint -503 ✅ -18.84%
NFT::owner_of -426 ✅ -18.93%

Full diff report 👇
Program Bytecode size in bytes (+/-) %
InclusionProofs::public_dispatch 3,879 (+77) +2.03%
AuthRegistry::set_authorized 1,712 (+26) +1.54%
AuthRegistry::_set_authorized 1,759 (+26) +1.50%
AuthRegistry::is_consumable 1,766 (+26) +1.49%
Auth::public_dispatch 9,461 (+64) +0.68%
TokenBlacklist::constructor 6,826 (-13) -0.19%
TokenBlacklist::update_roles 6,559 (-13) -0.20%
AvmTest::bulk_testing 23,806 (-53) -0.22%
Auth::set_authorized_delay 5,049 (-13) -0.26%
Auth::set_authorized 4,953 (-13) -0.26%
Crowdfunding::public_dispatch 4,607 (-13) -0.28%
Token::transfer_in_public 4,438 (-13) -0.29%
Token::constructor 4,366 (-13) -0.30%
NFT::constructor 4,291 (-13) -0.30%
TokenBlacklist::mint_private 3,754 (-13) -0.35%
Lending::_borrow 7,243 (-26) -0.36%
NFT::transfer_in_public 3,558 (-13) -0.36%
Uniswap::swap_public 15,525 (-59) -0.38%
AppSubscription::constructor 3,087 (-13) -0.42%
AuthRegistry::consume 3,049 (-13) -0.42%
Spam::public_dispatch 3,028 (-13) -0.43%
PriceFeed::public_dispatch 2,882 (-13) -0.45%
Lending::update_accumulator 5,547 (-26) -0.47%
Lending::_repay 5,496 (-26) -0.47%
TokenBlacklist::get_roles 2,743 (-13) -0.47%
AvmInitializerTest::public_dispatch 2,668 (-13) -0.48%
Child::public_dispatch 4,753 (-26) -0.54%
TokenBlacklist::_increase_public_balance 2,301 (-13) -0.56%
Token::_increase_public_balance 2,301 (-13) -0.56%
Spam::public_spam 2,247 (-13) -0.58%
Benchmarking::increment_balance 2,225 (-13) -0.58%
TokenBridge::exit_to_l1_public 6,534 (-39) -0.59%
FPC::pay_refund 2,158 (-13) -0.60%
Lending::_withdraw 8,615 (-52) -0.60%
StaticParent::public_nested_static_call 2,150 (-13) -0.60%
FeeJuice::check_balance 2,089 (-13) -0.62%
FeeJuice::_increase_public_balance 2,042 (-13) -0.63%
Lending::withdraw_public 1,998 (-13) -0.65%
Lending::borrow_public 1,998 (-13) -0.65%
Auth::get_authorized_delay 1,996 (-13) -0.65%
AMM::public_dispatch 20,842 (-137) -0.65%
AvmInitializerTest::constructor 1,910 (-13) -0.68%
TokenBridge::claim_public 11,328 (-78) -0.68%
EasyPrivateVoting::add_to_tally_public 1,876 (-13) -0.69%
Test::consume_mint_to_public_message 10,808 (-78) -0.72%
Claim::public_dispatch 3,585 (-26) -0.72%
AvmTest::returndata_copy_oracle 1,780 (-13) -0.73%
TokenBlacklist::balance_of_public 1,770 (-13) -0.73%
Token::balance_of_public 1,770 (-13) -0.73%
Uniswap::_approve_bridge_and_exit_input_asset_to_L1 6,924 (-52) -0.75%
AMM::_remove_liquidity 6,911 (-52) -0.75%
AvmTest::add_storage_map 1,724 (-13) -0.75%
FeeJuice::balance_of_public 1,716 (-13) -0.75%
NFT::is_minter 1,672 (-13) -0.77%
PriceFeed::set_price 1,672 (-13) -0.77%
NFT::set_minter 1,671 (-13) -0.77%
Token::is_minter 1,667 (-13) -0.77%
Token::set_minter 1,666 (-13) -0.77%
NFT::_finish_transfer_to_public 1,653 (-13) -0.78%
CardGame::start_game 6,561 (-52) -0.79%
Benchmarking::broadcast 1,637 (-13) -0.79%
PriceFeed::get_price 1,628 (-13) -0.79%
AvmTest::set_storage_map 1,622 (-13) -0.80%
AuthRegistry::is_reject_all 1,618 (-13) -0.80%
StatefulTest::increment_public_value 1,613 (-13) -0.80%
StatefulTest::get_public_value 1,603 (-13) -0.80%
AvmTest::read_storage_map 1,577 (-13) -0.82%
Test::consume_message_from_arbitrary_sender_public 7,860 (-65) -0.82%
AuthRegistry::set_reject_all 1,569 (-13) -0.82%
StatefulTest::increment_public_value_no_init_check 1,564 (-13) -0.82%
AvmTest::poseidon2_hash 1,548 (-13) -0.83%
AvmTest::pedersen_hash_with_index 3,077 (-26) -0.84%
AvmTest::pedersen_hash 3,077 (-26) -0.84%
Claim::constructor 2,820 (-26) -0.91%
AMM::_add_liquidity 8,405 (-78) -0.92%
Lending::deposit_public 2,763 (-26) -0.93%
Lending::init 2,763 (-26) -0.93%
CardGame::on_card_played 5,489 (-52) -0.94%
TokenBridge::constructor 2,724 (-26) -0.95%
FPC::constructor 2,685 (-26) -0.96%
FPC::pull_funds 2,651 (-26) -0.97%
Lending::repay_public 2,633 (-26) -0.98%
AvmTest::sha256_hash 3,888 (-39) -0.99%
AvmTest::pedersen_commit 1,271 (-13) -1.01%
NFT::_store_payload_in_transient_storage_unsafe 1,202 (-13) -1.07%
Token::_store_payload_in_transient_storage_unsafe 1,202 (-13) -1.07%
CardGame::on_game_joined 4,792 (-52) -1.07%
Parent::public_nested_static_call 3,573 (-39) -1.08%
Lending::_deposit 2,372 (-26) -1.08%
TestLog::emit_unencrypted_events 1,131 (-13) -1.14%
ImportTest::public_dispatch 1,113 (-13) -1.15%
Test::create_l2_to_l1_message_public 2,184 (-26) -1.18%
Lending::get_asset 2,053 (-26) -1.25%
CardGame::on_cards_claimed 7,050 (-91) -1.27%
Token::complete_refund 6,857 (-91) -1.31%
AvmTest::external_call_to_divide_by_zero_recovers 2,873 (-39) -1.34%
Auth::get_authorized 1,880 (-26) -1.36%
EasyPrivateVoting::public_dispatch 4,796 (-67) -1.38%
AvmTest::get_args_hash 1,853 (-26) -1.38%
Crowdfunding::_publish_donation_receipts 922 (-13) -1.39%
Token::_finalize_transfer_to_private_unsafe 6,400 (-91) -1.40%
AvmTest::emit_unencrypted_log 2,738 (-39) -1.40%
Token::finalize_transfer_to_private 6,353 (-91) -1.41%
Auth::get_scheduled_authorized 1,785 (-26) -1.44%
Token::_finalize_mint_to_private_unsafe 6,048 (-91) -1.48%
Token::finalize_mint_to_private 6,001 (-91) -1.49%
AvmTest::n_storage_writes 1,623 (-26) -1.58%
NFT::_finalize_transfer_to_private_unsafe 5,360 (-91) -1.67%
NFT::finalize_transfer_to_private 5,313 (-91) -1.68%
TestLog::public_dispatch 2,249 (-39) -1.70%
Test::emit_unencrypted 1,453 (-26) -1.76%
CardGame::public_dispatch 14,811 (-277) -1.84%
AvmTest::keccak_hash 2,349 (-52) -2.17%
TokenBridge::public_dispatch 20,346 (-490) -2.35%
Uniswap::public_dispatch 24,022 (-612) -2.48%
AvmTest::public_dispatch 63,568 (-1,844) -2.82%
Benchmarking::public_dispatch 3,570 (-120) -3.25%
Test::public_dispatch 18,006 (-640) -3.43%
AvmTest::nested_call_to_nothing_recovers 302 (-13) -4.13%
DocsExample::public_dispatch 3,761 (-189) -4.78%
StaticParent::public_dispatch 5,624 (-288) -4.87%
Parent::public_dispatch 7,551 (-392) -4.94%
AppSubscription::public_dispatch 4,028 (-215) -5.07%
NFT::public_dispatch 22,795 (-1,334) -5.53%
FeeJuice::public_dispatch 4,629 (-271) -5.53%
FPC::public_dispatch 7,443 (-462) -5.84%
StatefulTest::public_dispatch 5,764 (-360) -5.88%
TokenBlacklist::shield 5,745 (-392) -6.39%
TokenBlacklist::burn_public 5,022 (-379) -7.02%
TokenBlacklist::public_dispatch 22,314 (-1,725) -7.18%
Token::public_dispatch 30,143 (-2,596) -7.93%
Lending::get_position 4,273 (-389) -8.34%
TokenBlacklist::transfer_public 5,449 (-500) -8.40%
Lending::public_dispatch 25,332 (-2,450) -8.82%
AuthWitTest::public_dispatch 1,501 (-149) -9.03%
AuthRegistry::public_dispatch 7,156 (-751) -9.50%
TokenBlacklist::mint_public 3,601 (-415) -10.33%
Token::mint_to_public 2,310 (-379) -14.09%
NFT::mint 2,167 (-503) -18.84%
NFT::owner_of 1,824 (-426) -18.93%

Copy link
Contributor

github-actions bot commented Jan 7, 2025

Changes to circuit sizes

Generated at commit: 7a6f594a83b8586fe6bb81362f8e9ad017b0a2a6, compared to commit: 15e0d71c49161faa2e1bfb152be8af8f6ee65268

🧾 Summary (100% most significant diffs)

Program ACIR opcodes (+/-) % Circuit size (+/-) %
private_kernel_reset_0_0_0_0_0_64_0_0_0 -1,009 ✅ -3.38% +4,251 ❌ +7.10%
private_kernel_reset_4_4_4_4_4_4_4_4_4 -2,971 ✅ -8.11% +288 ❌ +0.27%
private_kernel_reset_32_4_32_4_4_4_4_4_4 -2,971 ✅ -7.68% +288 ❌ +0.27%
private_kernel_reset -3,332 ✅ -3.41% +1,610 ❌ +0.25%
private_kernel_reset_32_16_32_4_4_4_4_4_4 -2,971 ✅ -7.03% +288 ❌ +0.19%
private_kernel_reset_32_4_32_16_4_4_4_4_4 -2,971 ✅ -6.99% +288 ❌ +0.19%
private_kernel_reset_32_16_32_16_4_4_4_4_4 -2,971 ✅ -6.44% +288 ❌ +0.15%
private_kernel_reset_32_4_32_4_4_4_4_4_32 -3,139 ✅ -7.32% +78 ❌ +0.07%
private_kernel_reset_32_32_32_32_32_32_32_32_32 -3,400 ✅ -5.04% +216 ❌ +0.06%
private_kernel_reset_16_16_16_16_16_16_16_16_16 -3,196 ✅ -6.42% +127 ❌ +0.06%
private_kernel_reset_32_4_32_4_4_4_4_64_4 -3,151 ✅ -7.74% +63 ❌ +0.06%
private_kernel_reset_32_4_32_4_4_4_64_4_4 -3,151 ✅ -7.62% +63 ❌ +0.05%
private_kernel_reset_32_16_32_4_4_4_4_4_32 -3,139 ✅ -6.75% +78 ❌ +0.05%
private_kernel_reset_32_4_32_16_4_4_4_4_32 -3,139 ✅ -6.72% +78 ❌ +0.05%
private_kernel_reset_32_16_32_4_4_4_4_64_4 -3,151 ✅ -7.11% +63 ❌ +0.04%
private_kernel_reset_32_4_32_16_4_4_4_64_4 -3,151 ✅ -7.07% +63 ❌ +0.04%
private_kernel_reset_32_16_32_16_4_4_4_4_32 -3,139 ✅ -6.24% +78 ❌ +0.04%
private_kernel_reset_32_16_32_4_4_4_64_4_4 -3,151 ✅ -7.02% +63 ❌ +0.04%
private_kernel_reset_32_4_32_16_4_4_64_4_4 -3,151 ✅ -6.98% +63 ❌ +0.04%
private_kernel_reset_32_16_32_16_4_4_4_64_4 -3,151 ✅ -6.55% +63 ❌ +0.03%
private_kernel_reset_32_16_32_16_4_4_64_4_4 -3,151 ✅ -6.47% +63 ❌ +0.03%
rollup_block_root_empty -4 ✅ -0.19% -4 ✅ -0.00%
parity_root -18 ✅ -0.42% -20 ✅ -0.00%
rollup_merge -13 ✅ -0.71% -15 ✅ -0.00%
rollup_root -7,118 ✅ -18.50% -7,625 ✅ -0.05%
parity_base -18 ✅ -0.51% -20 ✅ -0.07%
private_kernel_reset_32_16_32_16_4_4_64_4_32 -3,319 ✅ -6.27% -146 ✅ -0.07%
private_kernel_reset_32_16_32_16_4_4_4_64_32 -3,319 ✅ -6.34% -146 ✅ -0.07%
private_kernel_reset_32_16_32_16_4_4_64_64_4 -3,331 ✅ -6.56% -162 ✅ -0.07%
private_kernel_reset_32_4_32_16_4_4_64_4_32 -3,319 ✅ -6.72% -146 ✅ -0.08%
private_kernel_reset_32_16_32_4_4_4_64_4_32 -3,319 ✅ -6.76% -146 ✅ -0.08%
private_kernel_reset_32_4_32_16_4_4_4_64_32 -3,319 ✅ -6.81% -146 ✅ -0.09%
private_kernel_reset_32_16_32_4_4_4_4_64_32 -3,319 ✅ -6.84% -146 ✅ -0.09%
private_kernel_reset_32_4_32_16_4_4_64_64_4 -3,331 ✅ -7.06% -162 ✅ -0.09%
private_kernel_reset_32_16_32_4_4_4_64_64_4 -3,331 ✅ -7.09% -162 ✅ -0.09%
private_kernel_reset_32_4_32_4_4_4_64_4_32 -3,319 ✅ -7.29% -146 ✅ -0.11%
private_kernel_reset_32_4_32_4_4_4_4_64_32 -3,319 ✅ -7.39% -146 ✅ -0.12%
private_kernel_reset_32_4_32_4_4_4_64_64_4 -3,331 ✅ -7.68% -162 ✅ -0.12%
private_kernel_reset_32_16_32_16_4_4_64_64_32 -3,499 ✅ -6.36% -372 ✅ -0.17%
private_kernel_reset_32_4_32_16_4_4_64_64_32 -3,499 ✅ -6.81% -372 ✅ -0.20%
private_kernel_reset_32_16_32_4_4_4_64_64_32 -3,499 ✅ -6.84% -372 ✅ -0.21%
private_kernel_reset_0_0_0_64_0_0_0_0_0 -588 ✅ -1.88% -603 ✅ -0.22%
private_kernel_reset_0_64_0_0_0_0_0_0_0 -588 ✅ -1.96% -603 ✅ -0.23%
private_kernel_reset_0_0_0_0_64_0_0_0_0 -205 ✅ -1.34% -252 ✅ -0.26%
private_kernel_reset_32_4_32_4_4_4_64_64_32 -3,499 ✅ -7.36% -372 ✅ -0.27%
rollup_block_merge -7,118 ✅ -18.50% -7,625 ✅ -0.39%
private_kernel_tail -148 ✅ -2.89% -164 ✅ -0.60%
private_kernel_reset_0_0_64_0_0_0_0_0_0 -588 ✅ -4.48% -603 ✅ -1.63%
private_kernel_reset_64_0_0_0_0_0_0_0_0 -588 ✅ -4.48% -603 ✅ -1.63%
rollup_block_root -135,246 ✅ -18.80% -174,212 ✅ -3.98%
rollup_block_root_single_tx -135,233 ✅ -18.84% -174,196 ✅ -5.05%
private_kernel_tail_to_public -2,112 ✅ -12.93% -2,564 ✅ -5.97%
private_kernel_inner -7,714 ✅ -16.67% -8,218 ✅ -9.22%
private_kernel_init -5,333 ✅ -19.08% -6,178 ✅ -12.72%
rollup_base_public -445,650 ✅ -52.47% -488,321 ✅ -13.03%
rollup_base_private -393,692 ✅ -70.67% -431,670 ✅ -19.42%

Full diff report 👇
Program ACIR opcodes (+/-) % Circuit size (+/-) %
private_kernel_reset_0_0_0_0_0_64_0_0_0 28,811 (-1,009) -3.38% 64,144 (+4,251) +7.10%
private_kernel_reset_4_4_4_4_4_4_4_4_4 33,644 (-2,971) -8.11% 105,293 (+288) +0.27%
private_kernel_reset_32_4_32_4_4_4_4_4_4 35,716 (-2,971) -7.68% 107,967 (+288) +0.27%
private_kernel_reset 94,447 (-3,332) -3.41% 647,604 (+1,610) +0.25%
private_kernel_reset_32_16_32_4_4_4_4_4_4 39,304 (-2,971) -7.03% 150,753 (+288) +0.19%
private_kernel_reset_32_4_32_16_4_4_4_4_4 39,540 (-2,971) -6.99% 152,915 (+288) +0.19%
private_kernel_reset_32_16_32_16_4_4_4_4_4 43,128 (-2,971) -6.44% 195,701 (+288) +0.15%
private_kernel_reset_32_4_32_4_4_4_4_4_32 39,757 (-3,139) -7.32% 113,781 (+78) +0.07%
private_kernel_reset_32_32_32_32_32_32_32_32_32 63,996 (-3,400) -5.04% 360,585 (+216) +0.06%
private_kernel_reset_16_16_16_16_16_16_16_16_16 46,615 (-3,196) -6.42% 214,577 (+127) +0.06%
private_kernel_reset_32_4_32_4_4_4_4_64_4 37,573 (-3,151) -7.74% 114,533 (+63) +0.06%
private_kernel_reset_32_4_32_4_4_4_64_4_4 38,174 (-3,151) -7.62% 124,076 (+63) +0.05%
private_kernel_reset_32_16_32_4_4_4_4_4_32 43,345 (-3,139) -6.75% 156,567 (+78) +0.05%
private_kernel_reset_32_4_32_16_4_4_4_4_32 43,581 (-3,139) -6.72% 158,729 (+78) +0.05%
private_kernel_reset_32_16_32_4_4_4_4_64_4 41,161 (-3,151) -7.11% 157,319 (+63) +0.04%
private_kernel_reset_32_4_32_16_4_4_4_64_4 41,397 (-3,151) -7.07% 159,481 (+63) +0.04%
private_kernel_reset_32_16_32_16_4_4_4_4_32 47,169 (-3,139) -6.24% 201,515 (+78) +0.04%
private_kernel_reset_32_16_32_4_4_4_64_4_4 41,762 (-3,151) -7.02% 166,862 (+63) +0.04%
private_kernel_reset_32_4_32_16_4_4_64_4_4 41,998 (-3,151) -6.98% 169,024 (+63) +0.04%
private_kernel_reset_32_16_32_16_4_4_4_64_4 44,985 (-3,151) -6.55% 202,267 (+63) +0.03%
private_kernel_reset_32_16_32_16_4_4_64_4_4 45,586 (-3,151) -6.47% 211,810 (+63) +0.03%
rollup_block_root_empty 2,054 (-4) -0.19% 880,475 (-4) -0.00%
parity_root 4,272 (-18) -0.42% 3,487,857 (-20) -0.00%
rollup_merge 1,808 (-13) -0.71% 1,800,364 (-15) -0.00%
rollup_root 31,350 (-7,118) -18.50% 14,594,158 (-7,625) -0.05%
parity_base 3,539 (-18) -0.51% 29,934 (-20) -0.07%
private_kernel_reset_32_16_32_16_4_4_64_4_32 49,627 (-3,319) -6.27% 217,624 (-146) -0.07%
private_kernel_reset_32_16_32_16_4_4_4_64_32 49,026 (-3,319) -6.34% 208,081 (-146) -0.07%
private_kernel_reset_32_16_32_16_4_4_64_64_4 47,443 (-3,331) -6.56% 218,376 (-162) -0.07%
private_kernel_reset_32_4_32_16_4_4_64_4_32 46,039 (-3,319) -6.72% 174,838 (-146) -0.08%
private_kernel_reset_32_16_32_4_4_4_64_4_32 45,803 (-3,319) -6.76% 172,676 (-146) -0.08%
private_kernel_reset_32_4_32_16_4_4_4_64_32 45,438 (-3,319) -6.81% 165,295 (-146) -0.09%
private_kernel_reset_32_16_32_4_4_4_4_64_32 45,202 (-3,319) -6.84% 163,133 (-146) -0.09%
private_kernel_reset_32_4_32_16_4_4_64_64_4 43,855 (-3,331) -7.06% 175,590 (-162) -0.09%
private_kernel_reset_32_16_32_4_4_4_64_64_4 43,619 (-3,331) -7.09% 173,428 (-162) -0.09%
private_kernel_reset_32_4_32_4_4_4_64_4_32 42,215 (-3,319) -7.29% 129,890 (-146) -0.11%
private_kernel_reset_32_4_32_4_4_4_4_64_32 41,614 (-3,319) -7.39% 120,347 (-146) -0.12%
private_kernel_reset_32_4_32_4_4_4_64_64_4 40,031 (-3,331) -7.68% 130,642 (-162) -0.12%
private_kernel_reset_32_16_32_16_4_4_64_64_32 51,484 (-3,499) -6.36% 224,189 (-372) -0.17%
private_kernel_reset_32_4_32_16_4_4_64_64_32 47,896 (-3,499) -6.81% 181,403 (-372) -0.20%
private_kernel_reset_32_16_32_4_4_4_64_64_32 47,660 (-3,499) -6.84% 179,241 (-372) -0.21%
private_kernel_reset_0_0_0_64_0_0_0_0_0 30,767 (-588) -1.88% 273,892 (-603) -0.22%
private_kernel_reset_0_64_0_0_0_0_0_0_0 29,421 (-588) -1.96% 262,146 (-603) -0.23%
private_kernel_reset_0_0_0_0_64_0_0_0_0 15,138 (-205) -1.34% 96,837 (-252) -0.26%
private_kernel_reset_32_4_32_4_4_4_64_64_32 44,072 (-3,499) -7.36% 136,455 (-372) -0.27%
rollup_block_merge 31,366 (-7,118) -18.50% 1,955,159 (-7,625) -0.39%
private_kernel_tail 4,973 (-148) -2.89% 27,110 (-164) -0.60%
private_kernel_reset_0_0_64_0_0_0_0_0_0 12,525 (-588) -4.48% 36,292 (-603) -1.63%
private_kernel_reset_64_0_0_0_0_0_0_0_0 12,525 (-588) -4.48% 36,292 (-603) -1.63%
rollup_block_root 583,967 (-135,246) -18.80% 4,205,317 (-174,212) -3.98%
rollup_block_root_single_tx 582,467 (-135,233) -18.84% 3,275,260 (-174,196) -5.05%
private_kernel_tail_to_public 14,222 (-2,112) -12.93% 40,369 (-2,564) -5.97%
private_kernel_inner 38,564 (-7,714) -16.67% 80,869 (-8,218) -9.22%
private_kernel_init 22,622 (-5,333) -19.08% 42,409 (-6,178) -12.72%
rollup_base_public 403,763 (-445,650) -52.47% 3,260,681 (-488,321) -13.03%
rollup_base_private 163,390 (-393,692) -70.67% 1,791,062 (-431,670) -19.42%

TomAFrench and others added 4 commits January 7, 2025 22:43
)

feat: `--pedantic-solving` flag (noir-lang/noir#6716)
feat!: update `aes128_encrypt` to return an array (noir-lang/noir#6973)
fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974)
fix: Start RC at 1 again (noir-lang/noir#6958)
feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953)
fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969)
fix: error on missing function parameters (noir-lang/noir#6967)
feat: don't report warnings for dependencies (noir-lang/noir#6926)
chore: simplify boolean in a mul of a mul (noir-lang/noir#6951)
feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893)
chore: Move comment as part of #6945 (noir-lang/noir#6959)
chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894)
feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952)
feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941)
feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948)
chore: add reproduction case for bignum test failure (noir-lang/noir#6464)
chore: bump `noir-gates-diff` (noir-lang/noir#6949)
feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835)
chore: also print test output to stdout in CI (noir-lang/noir#6930)
fix: Non-determinism from under constrained checks (noir-lang/noir#6945)
chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
feat: `--pedantic-solving` flag (noir-lang/noir#6716)
feat!: update `aes128_encrypt` to return an array (noir-lang/noir#6973)
fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974)
fix: Start RC at 1 again (noir-lang/noir#6958)
feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953)
fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969)
fix: error on missing function parameters (noir-lang/noir#6967)
feat: don't report warnings for dependencies (noir-lang/noir#6926)
chore: simplify boolean in a mul of a mul (noir-lang/noir#6951)
feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893)
chore: Move comment as part of #6945 (noir-lang/noir#6959)
chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894)
feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952)
feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941)
feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948)
chore: add reproduction case for bignum test failure (noir-lang/noir#6464)
chore: bump `noir-gates-diff` (noir-lang/noir#6949)
feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835)
chore: also print test output to stdout in CI (noir-lang/noir#6930)
fix: Non-determinism from under constrained checks (noir-lang/noir#6945)
chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
AztecBot and others added 23 commits January 8, 2025 08:09
feat: `--pedantic-solving` flag (noir-lang/noir#6716)
feat!: update `aes128_encrypt` to return an array (noir-lang/noir#6973)
fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974)
fix: Start RC at 1 again (noir-lang/noir#6958)
feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953)
fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969)
fix: error on missing function parameters (noir-lang/noir#6967)
feat: don't report warnings for dependencies (noir-lang/noir#6926)
chore: simplify boolean in a mul of a mul (noir-lang/noir#6951)
feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893)
chore: Move comment as part of #6945 (noir-lang/noir#6959)
chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894)
feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952)
feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941)
feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948)
chore: add reproduction case for bignum test failure (noir-lang/noir#6464)
chore: bump `noir-gates-diff` (noir-lang/noir#6949)
feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835)
chore: also print test output to stdout in CI (noir-lang/noir#6930)
fix: Non-determinism from under constrained checks (noir-lang/noir#6945)
chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
fix: Do not emit range check for multiplication by bool (noir-lang/noir#6983)
fix: do not panic on indices which are not valid `u32`s (noir-lang/noir#6976)
feat!: require trait method calls (`foo.bar()`) to have the trait in scope (imported) (noir-lang/noir#6895)
feat!: type-check trait default methods (noir-lang/noir#6645)
feat: `--pedantic-solving` flag (noir-lang/noir#6716)
feat!: update `aes128_encrypt` to return an array (noir-lang/noir#6973)
fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974)
fix: Start RC at 1 again (noir-lang/noir#6958)
feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953)
fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969)
fix: error on missing function parameters (noir-lang/noir#6967)
feat: don't report warnings for dependencies (noir-lang/noir#6926)
chore: simplify boolean in a mul of a mul (noir-lang/noir#6951)
feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893)
chore: Move comment as part of #6945 (noir-lang/noir#6959)
chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894)
feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952)
feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941)
feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948)
chore: add reproduction case for bignum test failure (noir-lang/noir#6464)
chore: bump `noir-gates-diff` (noir-lang/noir#6949)
feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835)
chore: also print test output to stdout in CI (noir-lang/noir#6930)
fix: Non-determinism from under constrained checks (noir-lang/noir#6945)
chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
fix: Do not emit range check for multiplication by bool (noir-lang/noir#6983)
fix: do not panic on indices which are not valid `u32`s (noir-lang/noir#6976)
feat!: require trait method calls (`foo.bar()`) to have the trait in scope (imported) (noir-lang/noir#6895)
feat!: type-check trait default methods (noir-lang/noir#6645)
feat: `--pedantic-solving` flag (noir-lang/noir#6716)
feat!: update `aes128_encrypt` to return an array (noir-lang/noir#6973)
fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974)
fix: Start RC at 1 again (noir-lang/noir#6958)
feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953)
fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969)
fix: error on missing function parameters (noir-lang/noir#6967)
feat: don't report warnings for dependencies (noir-lang/noir#6926)
chore: simplify boolean in a mul of a mul (noir-lang/noir#6951)
feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893)
chore: Move comment as part of #6945 (noir-lang/noir#6959)
chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894)
feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952)
feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941)
feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948)
chore: add reproduction case for bignum test failure (noir-lang/noir#6464)
chore: bump `noir-gates-diff` (noir-lang/noir#6949)
feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835)
chore: also print test output to stdout in CI (noir-lang/noir#6930)
fix: Non-determinism from under constrained checks (noir-lang/noir#6945)
chore: use logs for benchmarking (noir-lang/noir#6911)
chore: bump `noir-gates-diff` (noir-lang/noir#6944)
chore: bump `noir-gates-diff` (noir-lang/noir#6943)
fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942)
chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939)
feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882)
chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)
@TomAFrench TomAFrench merged commit 3883a0e into master Jan 9, 2025
48 checks passed
@TomAFrench TomAFrench deleted the sync-noir branch January 9, 2025 21:25
TomAFrench added a commit that referenced this pull request Jan 9, 2025
* master: (287 commits)
  feat: Sync from noir (#11051)
  chore(docs): Update tx concepts page (#10947)
  chore(docs): Edit Aztec.nr Guide section (#10866)
  chore: test:e2e defaults to no-docker (#10966)
  chore(avm): improve column stats (#11135)
  chore: Sanity checking of proving job IDs (#11134)
  feat: permutation argument optimizations  (#10960)
  feat: single tx block root rollup (#11096)
  refactor: prover db config (#11126)
  feat: monitor event loop lag (#11127)
  chore: Greater stability at 1TPS (#10981)
  chore: Jest reporters for CI (#11125)
  fix: Sequencer times out L1 tx at end of L2 slot (#11112)
  feat: browser chunking (#11102)
  fix: Added start/stop guards to running promise and serial queue (#11120)
  fix: Don't retransmit txs upon node restart (#11123)
  fix: Prover node aborts execution at epoch end (#11111)
  feat: blob sink in sandbox without extra process (#11032)
  chore: log number of instructions executed for call in AVM. Misc fix. (#11110)
  git subrepo push --branch=master noir-projects/aztec-nr
  ...
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.

5 participants