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 aztec-packages #6001

Merged
merged 1 commit into from
Sep 11, 2024
Merged

feat: Sync from aztec-packages #6001

merged 1 commit into from
Sep 11, 2024

Conversation

AztecBot
Copy link
Collaborator

Automated pull of Noir development from aztec-packages.
BEGIN_COMMIT_OVERRIDE
feat: Sync from noir (AztecProtocol/aztec-packages#8482)
feat: Change the layout of arrays and vectors to be a single pointer (AztecProtocol/aztec-packages#8448)
END_COMMIT_OVERRIDE

Copy link
Contributor

Changes to Brillig bytecode sizes

Generated at commit: dae9334622274374e2c7e96ccef348ef2e10bbc6, compared to commit: 29550d1d7698a1af65b867171ff80e817f3ed2f6

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
double_verify_proof +44 ❌ +169.23%
double_verify_proof_recursive +44 ❌ +169.23%
simple_array_param +21 ❌ +116.67%
array_len +30 ❌ +90.91%
type_aliases +21 ❌ +84.00%
nested_arrays_from_brillig +24 ❌ +77.42%
integer_array_indexing +23 ❌ +76.67%
struct_array_inputs +22 ❌ +73.33%
main_bool_arg +22 ❌ +66.67%
array_eq +30 ❌ +55.56%
array_neq +30 ❌ +53.57%
conditional_regression_421 +26 ❌ +48.15%
brillig_arrays +33 ❌ +44.59%
array_dynamic_nested_blackbox_input -629 ✅ -62.15%

Full diff report 👇
Program Brillig opcodes (+/-) %
double_verify_proof 70 (+44) +169.23%
double_verify_proof_recursive 70 (+44) +169.23%
simple_array_param 39 (+21) +116.67%
array_len 63 (+30) +90.91%
type_aliases 46 (+21) +84.00%
nested_arrays_from_brillig 55 (+24) +77.42%
integer_array_indexing 53 (+23) +76.67%
struct_array_inputs 52 (+22) +73.33%
main_bool_arg 55 (+22) +66.67%
array_eq 84 (+30) +55.56%
array_neq 86 (+30) +53.57%
conditional_regression_421 80 (+26) +48.15%
brillig_arrays 107 (+33) +44.59%
brillig_array_to_slice 102 (+30) +41.67%
if_else_chain 102 (+29) +39.73%
brillig_calls_array 81 (+23) +39.66%
databus_two_calldata_simple 108 (+29) +36.71%
blake3 132 (+34) +34.69%
7 132 (+34) +34.69%
brillig_blake3 132 (+34) +34.69%
global_consts 227 (+57) +33.53%
brillig_blake2s 129 (+32) +32.99%
struct_inputs 303 (+68) +28.94%
array_dynamic_main_output 84 (+18) +27.27%
databus 87 (+18) +26.09%
brillig_sha256 123 (+25) +25.51%
bench_ecdsa_secp256k1 237 (+48) +25.40%
brillig_ecdsa_secp256k1 237 (+48) +25.40%
brillig_ecdsa_secp256r1 237 (+48) +25.40%
ecdsa_secp256r1 237 (+48) +25.40%
conditional_regression_short_circuit 210 (+41) +24.26%
brillig_calls_conditionals 120 (+23) +23.71%
ecdsa_secp256k1 337 (+62) +22.55%
simple_shield 311 (+57) +22.44%
conditional_regression_661 121 (+22) +22.22%
brillig_cow 406 (+73) +21.92%
ecdsa_secp256r1_3x 669 (+120) +21.86%
regression_mem_op_predicate 101 (+18) +21.69%
conditional_2 106 (+18) +20.45%
embedded_curve_ops 127 (+21) +19.81%
regression_4202 105 (+17) +19.32%
tuple_inputs 348 (+56) +19.18%
signed_div 149 (+23) +18.25%
aes128_encrypt 498 (+76) +18.01%
simple_radix 40 (+6) +17.65%
regression_5045 82 (+12) +17.14%
import 62 (+9) +16.98%
nested_dyn_array_regression_5782 168 (+24) +16.67%
pedersen_check 219 (+31) +16.49%
brillig_pedersen 219 (+31) +16.49%
to_bytes_integration 50 (+7) +16.28%
array_if_cond_simple 124 (+16) +14.81%
pedersen_commitment 70 (+9) +14.75%
simple_add_and_ret_arr 39 (+5) +14.71%
bigint 3,956 (+501) +14.50%
array_dynamic 308 (+39) +14.50%
databus_two_calldata 258 (+32) +14.16%
6_array 405 (+48) +13.45%
array_to_slice 1,076 (+102) +10.47%
regression_capacity_tracker 183 (+17) +10.24%
slices 2,900 (+249) +9.39%
brillig_unitialised_arrays 39 (+3) +8.33%
pedersen_hash 27 (+2) +8.00%
array_dynamic_blackbox_input 402 (+28) +7.49%
merkle_insert 807 (+55) +7.31%
6 714 (+48) +7.21%
schnorr 1,029 (+60) +6.19%
slice_dynamic_index 2,937 (+171) +6.18%
brillig_hash_to_field 125 (+7) +5.93%
hash_to_field 125 (+7) +5.93%
strings 1,579 (+86) +5.76%
side_effects_constrain_array 134 (+7) +5.51%
brillig_cow_regression 1,223 (+60) +5.16%
modulus 1,881 (+92) +5.14%
to_bytes_consistent 145 (+7) +5.07%
cast_and_shift_global 166 (+8) +5.06%
prelude 178 (+8) +4.71%
to_bits 180 (+8) +4.65%
brillig_oracle 344 (+15) +4.56%
generics 194 (+8) +4.30%
slice_coercion 314 (+11) +3.63%
regression_method_cannot_be_found 61 (+2) +3.39%
simple_print 190 (+6) +3.26%
regression_3051 153 (+4) +2.68%
derive 172 (+4) +2.38%
regression_3394 103 (+2) +1.98%
u128 3,395 (+57) +1.71%
debug_logs 9,850 (+157) +1.62%
brillig_assert 137 (+2) +1.48%
references 300 (+4) +1.35%
brillig_slices 601 (+6) +1.01%
higher_order_functions 765 (+6) +0.79%
brillig_block_parameter_liveness 5,288 (+25) +0.48%
regression 706 (-2) -0.28%
7_function 606 (-2) -0.33%
regression_4709 133,797 (-1,533) -1.13%
to_be_bytes 178 (-6) -3.26%
fold_call_witness_condition 105 (-5) -4.55%
eddsa 16,859 (-908) -5.11%
sha256_regression 8,040 (-457) -5.38%
conditional_1 661 (-39) -5.57%
nested_array_dynamic_simple 112 (-7) -5.88%
regression_4449 937 (-59) -5.92%
slice_regex 6,430 (-413) -6.04%
poseidon_bn254_hash 5,740 (-400) -6.51%
poseidon_bn254_hash_width_3 5,740 (-400) -6.51%
simple_2d_array 137 (-11) -7.43%
sha256_var_witness_const_regression 1,573 (-129) -7.58%
poseidonsponge_x5_254 4,571 (-380) -7.68%
sha256 2,359 (-197) -7.71%
slice_loop 310 (-26) -7.74%
sha2_byte 3,688 (-317) -7.92%
sha256_var_size_regression 2,333 (-230) -8.97%
brillig_keccak 2,748 (-283) -9.34%
keccak256 2,748 (-283) -9.34%
uhashmap 26,304 (-2,760) -9.50%
nested_array_in_slice 1,437 (-151) -9.51%
array_sort 369 (-41) -10.00%
regression_struct_array_conditional 680 (-85) -11.11%
brillig_nested_arrays 407 (-51) -11.14%
fold_complex_outputs 809 (-106) -11.58%
wildcard_type 276 (-43) -13.48%
hashmap 31,095 (-6,273) -16.79%
brillig_cow_assign 119 (-26) -17.93%
poseidon2 303 (-70) -18.77%
regression_5252 5,489 (-1,348) -19.72%
nested_array_dynamic 2,834 (-1,213) -29.97%
no_predicates_numeric_generic_poseidon 723 (-475) -39.65%
fold_numeric_generic_poseidon 723 (-475) -39.65%
array_dynamic_nested_blackbox_input 383 (-629) -62.15%

@sirasistant
Copy link
Contributor

It's interesting that this yields more opcodes in smaller functions. It probably has to do with this comment

@TomAFrench TomAFrench added this pull request to the merge queue Sep 11, 2024
Merged via the queue into master with commit d4832ec Sep 11, 2024
46 checks passed
@TomAFrench TomAFrench deleted the aztec-packages branch September 11, 2024 14:50
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 12, 2024
…g/noir#5998)

fix: Error when mutating comptime variables in non-comptime code (noir-lang/noir#6003)
fix: help link was outdated (noir-lang/noir#6004)
feat: Extract brillig slice ops to reusable procedures (noir-lang/noir#6002)
feat: add assertions for ACVM `FunctionInput` `bit_size` (noir-lang/noir#5864)
feat: Sync from aztec-packages (noir-lang/noir#6001)
fix: Fix some mistakes in arithmetic generics docs (noir-lang/noir#5999)
feat: use Zac's quicksort algorithm in stdlib sorting (noir-lang/noir#5940)
fix: Fix using lazily elaborated comptime globals (noir-lang/noir#5995)
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 12, 2024
…g/noir#5998)

fix: Error when mutating comptime variables in non-comptime code (noir-lang/noir#6003)
fix: help link was outdated (noir-lang/noir#6004)
feat: Extract brillig slice ops to reusable procedures (noir-lang/noir#6002)
feat: add assertions for ACVM `FunctionInput` `bit_size` (noir-lang/noir#5864)
feat: Sync from aztec-packages (noir-lang/noir#6001)
fix: Fix some mistakes in arithmetic generics docs (noir-lang/noir#5999)
feat: use Zac's quicksort algorithm in stdlib sorting (noir-lang/noir#5940)
fix: Fix using lazily elaborated comptime globals (noir-lang/noir#5995)
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 12, 2024
fix: Error when mutating comptime variables in non-comptime code (noir-lang/noir#6003)
fix: help link was outdated (noir-lang/noir#6004)
feat: Extract brillig slice ops to reusable procedures (noir-lang/noir#6002)
feat: add assertions for ACVM `FunctionInput` `bit_size` (noir-lang/noir#5864)
feat: Sync from aztec-packages (noir-lang/noir#6001)
fix: Fix some mistakes in arithmetic generics docs (noir-lang/noir#5999)
feat: use Zac's quicksort algorithm in stdlib sorting (noir-lang/noir#5940)
fix: Fix using lazily elaborated comptime globals (noir-lang/noir#5995)
TomAFrench pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 12, 2024
Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: single install script for cargo-binstall
(noir-lang/noir#5998)
fix: Error when mutating comptime variables in non-comptime code
(noir-lang/noir#6003)
fix: help link was outdated
(noir-lang/noir#6004)
feat: Extract brillig slice ops to reusable procedures
(noir-lang/noir#6002)
feat: add assertions for ACVM `FunctionInput` `bit_size`
(noir-lang/noir#5864)
feat: Sync from aztec-packages
(noir-lang/noir#6001)
fix: Fix some mistakes in arithmetic generics docs
(noir-lang/noir#5999)
feat: use Zac's quicksort algorithm in stdlib sorting
(noir-lang/noir#5940)
fix: Fix using lazily elaborated comptime globals
(noir-lang/noir#5995)
END_COMMIT_OVERRIDE

---------

Co-authored-by: Álvaro Rodríguez <sirasistant@gmail.com>
TomAFrench pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 13, 2024
🤖 I have created a release *beep* *boop*
---


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

##
[0.55.0](aztec-package-v0.54.0...aztec-package-v0.55.0)
(2024-09-13)


### Bug Fixes

* Load prover node config from env
([#8525](#8525))
([7065962](7065962))


### Miscellaneous

* Remove unneeded propose and da oracle
([#8474](#8474))
([274a6b7](274a6b7))
</details>

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

##
[0.55.0](barretenberg.js-v0.54.0...barretenberg.js-v0.55.0)
(2024-09-13)


### Features

* New test programs for wasm benchmarking
([#8389](#8389))
([0b46e96](0b46e96))
</details>

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

##
[0.55.0](aztec-packages-v0.54.0...aztec-packages-v0.55.0)
(2024-09-13)


### ⚠ BREAKING CHANGES

* Add Not instruction in brillig
([#8488](#8488))
* refactor NoteGetterOptions::select API
([#8504](#8504))
* **avm:** variants for CAST/NOT opcode
([#8497](#8497))
* **avm:** variants for REVERT opcode
([#8487](#8487))

### Features

* (bb) remove redundant constraints on field/group elements when using
goblin plonk
([#8409](#8409))
([12a093d](12a093d))
* Add `Module::structs` (noir-lang/noir#6017)
([cb20e07](cb20e07))
* Add `TypedExpr::get_type`
(noir-lang/noir#5992)
([875cfe6](875cfe6))
* Add assertions for ACVM `FunctionInput` `bit_size`
(noir-lang/noir#5864)
([20d7576](20d7576))
* Add Not instruction in brillig
([#8488](#8488))
([ceda361](ceda361))
* Add timeouts for request / response stream connections
([#8434](#8434))
([190c27f](190c27f))
* **avm:** Parallelize polynomial alloc and set
([#8520](#8520))
([7e73531](7e73531))
* **avm:** Variants for CAST/NOT opcode
([#8497](#8497))
([bc609fa](bc609fa))
* **avm:** Variants for REVERT opcode
([#8487](#8487))
([a0c8915](a0c8915))
* **bb:** Iterative constexpr_for
([#8502](#8502))
([02c3330](02c3330))
* Better error message for misplaced doc comments
(noir-lang/noir#5990)
([875cfe6](875cfe6))
* Change the layout of arrays and vectors to be a single pointer
([#8448](#8448))
([3ad624c](3ad624c))
* Checking finalized sizes + a test of two folding verifiers
([#8503](#8503))
([d9e3f4d](d9e3f4d))
* Extract brillig slice ops to reusable procedures
(noir-lang/noir#6002)
([20d7576](20d7576))
* Format trait impl functions
(noir-lang/noir#6016)
([cb20e07](cb20e07))
* Impl Hash and Eq on more comptime types
(noir-lang/noir#6022)
([cb20e07](cb20e07))
* Implement LSP code action "Implement missing members"
(noir-lang/noir#6020)
([cb20e07](cb20e07))
* Let `has_named_attribute` work for built-in attributes
(noir-lang/noir#6024)
([cb20e07](cb20e07))
* LSP completion function detail
(noir-lang/noir#5993)
([875cfe6](875cfe6))
* Native world state
([#7516](#7516))
([c1aa6f7](c1aa6f7))
* New test programs for wasm benchmarking
([#8389](#8389))
([0b46e96](0b46e96))
* Output timestamps in prover-stats raw logs
([#8476](#8476))
([aa67a14](aa67a14))
* Rate limit peers in request response p2p interactions
([#8498](#8498))
([00146fa](00146fa))
* Refactor NoteGetterOptions::select API
([#8504](#8504))
([e527992](e527992))
* Sync from aztec-packages (noir-lang/noir#5971)
([875cfe6](875cfe6))
* Sync from aztec-packages (noir-lang/noir#6001)
([20d7576](20d7576))
* Use Zac's quicksort algorithm in stdlib sorting
(noir-lang/noir#5940)
([20d7576](20d7576))
* Validators ensure transactions live in their p2p pool before attesting
([#8410](#8410))
([bce1eea](bce1eea))
* Verification key stuff
([#8431](#8431))
([11dc8ff](11dc8ff))


### Bug Fixes

* Correctly print string tokens
(noir-lang/noir#6021)
([cb20e07](cb20e07))
* Enable verifier when deploying the networks
([#8500](#8500))
([f6d31f1](f6d31f1))
* Error when comptime types are used in runtime code
(noir-lang/noir#5987)
([875cfe6](875cfe6))
* Error when mutating comptime variables in non-comptime code
(noir-lang/noir#6003)
([20d7576](20d7576))
* Fix some mistakes in arithmetic generics docs
(noir-lang/noir#5999)
([20d7576](20d7576))
* Fix using lazily elaborated comptime globals
(noir-lang/noir#5995)
([20d7576](20d7576))
* Help link was outdated (noir-lang/noir#6004)
([20d7576](20d7576))
* Load prover node config from env
([#8525](#8525))
([7065962](7065962))
* Remove claim_public from fee juice
([#8337](#8337))
([dca74ae](dca74ae))
* Try to move constant terms to one side for arithmetic generics
(noir-lang/noir#6008)
([cb20e07](cb20e07))
* Use module name as line after which we'll insert auto-import
(noir-lang/noir#6025)
([cb20e07](cb20e07))


### Miscellaneous

* Add some `pub use` and remove unused imports
([#8521](#8521))
([8bd0755](8bd0755))
* **bb:** Fix mac build
([#8505](#8505))
([32fd347](32fd347)),
closes
[#8499](#8499)
* **bb:** Fix mac build
([#8522](#8522))
([986e703](986e703))
* **ci:** Fix bb publishing
([#8486](#8486))
([c210c36](c210c36))
* Fix a load of warnings in aztec-nr
([#8501](#8501))
([35dc1e1](35dc1e1))
* Protogalaxy verifier matches prover 1
([#8414](#8414))
([5a76ec6](5a76ec6))
* Remove RC tracking in mem2reg
(noir-lang/noir#6019)
([cb20e07](cb20e07))
* Remove unneeded propose and da oracle
([#8474](#8474))
([274a6b7](274a6b7))
* Replace relative paths to noir-protocol-circuits
([b179c6b](b179c6b))
* Replace relative paths to noir-protocol-circuits
([1c042be](1c042be))
* Replace relative paths to noir-protocol-circuits
([1c8409f](1c8409f))
* Run mac builds on master
([#8519](#8519))
([c458a79](c458a79))
* Single install script for cargo-binstall
(noir-lang/noir#5998)
([20d7576](20d7576))
* Use uint32_t instead of size_t for databus data
([#8479](#8479))
([79995c8](79995c8))
</details>

<details><summary>barretenberg: 0.55.0</summary>

##
[0.55.0](barretenberg-v0.54.0...barretenberg-v0.55.0)
(2024-09-13)


### ⚠ BREAKING CHANGES

* Add Not instruction in brillig
([#8488](#8488))
* **avm:** variants for CAST/NOT opcode
([#8497](#8497))
* **avm:** variants for REVERT opcode
([#8487](#8487))

### Features

* (bb) remove redundant constraints on field/group elements when using
goblin plonk
([#8409](#8409))
([12a093d](12a093d))
* Add Not instruction in brillig
([#8488](#8488))
([ceda361](ceda361))
* **avm:** Parallelize polynomial alloc and set
([#8520](#8520))
([7e73531](7e73531))
* **avm:** Variants for CAST/NOT opcode
([#8497](#8497))
([bc609fa](bc609fa))
* **avm:** Variants for REVERT opcode
([#8487](#8487))
([a0c8915](a0c8915))
* **bb:** Iterative constexpr_for
([#8502](#8502))
([02c3330](02c3330))
* Checking finalized sizes + a test of two folding verifiers
([#8503](#8503))
([d9e3f4d](d9e3f4d))
* Native world state
([#7516](#7516))
([c1aa6f7](c1aa6f7))
* New test programs for wasm benchmarking
([#8389](#8389))
([0b46e96](0b46e96))
* Verification key stuff
([#8431](#8431))
([11dc8ff](11dc8ff))


### Miscellaneous

* **bb:** Fix mac build
([#8505](#8505))
([32fd347](32fd347)),
closes
[#8499](#8499)
* **bb:** Fix mac build
([#8522](#8522))
([986e703](986e703))
* Protogalaxy verifier matches prover 1
([#8414](#8414))
([5a76ec6](5a76ec6))
* Use uint32_t instead of size_t for databus data
([#8479](#8479))
([79995c8](79995c8))
</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 Sep 14, 2024
🤖 I have created a release *beep* *boop*
---


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

##
[0.55.0](AztecProtocol/aztec-packages@aztec-package-v0.54.0...aztec-package-v0.55.0)
(2024-09-13)


### Bug Fixes

* Load prover node config from env
([#8525](AztecProtocol/aztec-packages#8525))
([7065962](AztecProtocol/aztec-packages@7065962))


### Miscellaneous

* Remove unneeded propose and da oracle
([#8474](AztecProtocol/aztec-packages#8474))
([274a6b7](AztecProtocol/aztec-packages@274a6b7))
</details>

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

##
[0.55.0](AztecProtocol/aztec-packages@barretenberg.js-v0.54.0...barretenberg.js-v0.55.0)
(2024-09-13)


### Features

* New test programs for wasm benchmarking
([#8389](AztecProtocol/aztec-packages#8389))
([0b46e96](AztecProtocol/aztec-packages@0b46e96))
</details>

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

##
[0.55.0](AztecProtocol/aztec-packages@aztec-packages-v0.54.0...aztec-packages-v0.55.0)
(2024-09-13)


### ⚠ BREAKING CHANGES

* Add Not instruction in brillig
([#8488](AztecProtocol/aztec-packages#8488))
* refactor NoteGetterOptions::select API
([#8504](AztecProtocol/aztec-packages#8504))
* **avm:** variants for CAST/NOT opcode
([#8497](AztecProtocol/aztec-packages#8497))
* **avm:** variants for REVERT opcode
([#8487](AztecProtocol/aztec-packages#8487))

### Features

* (bb) remove redundant constraints on field/group elements when using
goblin plonk
([#8409](AztecProtocol/aztec-packages#8409))
([12a093d](AztecProtocol/aztec-packages@12a093d))
* Add `Module::structs` (noir-lang/noir#6017)
([cb20e07](AztecProtocol/aztec-packages@cb20e07))
* Add `TypedExpr::get_type`
(noir-lang/noir#5992)
([875cfe6](AztecProtocol/aztec-packages@875cfe6))
* Add assertions for ACVM `FunctionInput` `bit_size`
(noir-lang/noir#5864)
([20d7576](AztecProtocol/aztec-packages@20d7576))
* Add Not instruction in brillig
([#8488](AztecProtocol/aztec-packages#8488))
([ceda361](AztecProtocol/aztec-packages@ceda361))
* Add timeouts for request / response stream connections
([#8434](AztecProtocol/aztec-packages#8434))
([190c27f](AztecProtocol/aztec-packages@190c27f))
* **avm:** Parallelize polynomial alloc and set
([#8520](AztecProtocol/aztec-packages#8520))
([7e73531](AztecProtocol/aztec-packages@7e73531))
* **avm:** Variants for CAST/NOT opcode
([#8497](AztecProtocol/aztec-packages#8497))
([bc609fa](AztecProtocol/aztec-packages@bc609fa))
* **avm:** Variants for REVERT opcode
([#8487](AztecProtocol/aztec-packages#8487))
([a0c8915](AztecProtocol/aztec-packages@a0c8915))
* **bb:** Iterative constexpr_for
([#8502](AztecProtocol/aztec-packages#8502))
([02c3330](AztecProtocol/aztec-packages@02c3330))
* Better error message for misplaced doc comments
(noir-lang/noir#5990)
([875cfe6](AztecProtocol/aztec-packages@875cfe6))
* Change the layout of arrays and vectors to be a single pointer
([#8448](AztecProtocol/aztec-packages#8448))
([3ad624c](AztecProtocol/aztec-packages@3ad624c))
* Checking finalized sizes + a test of two folding verifiers
([#8503](AztecProtocol/aztec-packages#8503))
([d9e3f4d](AztecProtocol/aztec-packages@d9e3f4d))
* Extract brillig slice ops to reusable procedures
(noir-lang/noir#6002)
([20d7576](AztecProtocol/aztec-packages@20d7576))
* Format trait impl functions
(noir-lang/noir#6016)
([cb20e07](AztecProtocol/aztec-packages@cb20e07))
* Impl Hash and Eq on more comptime types
(noir-lang/noir#6022)
([cb20e07](AztecProtocol/aztec-packages@cb20e07))
* Implement LSP code action "Implement missing members"
(noir-lang/noir#6020)
([cb20e07](AztecProtocol/aztec-packages@cb20e07))
* Let `has_named_attribute` work for built-in attributes
(noir-lang/noir#6024)
([cb20e07](AztecProtocol/aztec-packages@cb20e07))
* LSP completion function detail
(noir-lang/noir#5993)
([875cfe6](AztecProtocol/aztec-packages@875cfe6))
* Native world state
([#7516](AztecProtocol/aztec-packages#7516))
([c1aa6f7](AztecProtocol/aztec-packages@c1aa6f7))
* New test programs for wasm benchmarking
([#8389](AztecProtocol/aztec-packages#8389))
([0b46e96](AztecProtocol/aztec-packages@0b46e96))
* Output timestamps in prover-stats raw logs
([#8476](AztecProtocol/aztec-packages#8476))
([aa67a14](AztecProtocol/aztec-packages@aa67a14))
* Rate limit peers in request response p2p interactions
([#8498](AztecProtocol/aztec-packages#8498))
([00146fa](AztecProtocol/aztec-packages@00146fa))
* Refactor NoteGetterOptions::select API
([#8504](AztecProtocol/aztec-packages#8504))
([e527992](AztecProtocol/aztec-packages@e527992))
* Sync from aztec-packages (noir-lang/noir#5971)
([875cfe6](AztecProtocol/aztec-packages@875cfe6))
* Sync from aztec-packages (noir-lang/noir#6001)
([20d7576](AztecProtocol/aztec-packages@20d7576))
* Use Zac's quicksort algorithm in stdlib sorting
(noir-lang/noir#5940)
([20d7576](AztecProtocol/aztec-packages@20d7576))
* Validators ensure transactions live in their p2p pool before attesting
([#8410](AztecProtocol/aztec-packages#8410))
([bce1eea](AztecProtocol/aztec-packages@bce1eea))
* Verification key stuff
([#8431](AztecProtocol/aztec-packages#8431))
([11dc8ff](AztecProtocol/aztec-packages@11dc8ff))


### Bug Fixes

* Correctly print string tokens
(noir-lang/noir#6021)
([cb20e07](AztecProtocol/aztec-packages@cb20e07))
* Enable verifier when deploying the networks
([#8500](AztecProtocol/aztec-packages#8500))
([f6d31f1](AztecProtocol/aztec-packages@f6d31f1))
* Error when comptime types are used in runtime code
(noir-lang/noir#5987)
([875cfe6](AztecProtocol/aztec-packages@875cfe6))
* Error when mutating comptime variables in non-comptime code
(noir-lang/noir#6003)
([20d7576](AztecProtocol/aztec-packages@20d7576))
* Fix some mistakes in arithmetic generics docs
(noir-lang/noir#5999)
([20d7576](AztecProtocol/aztec-packages@20d7576))
* Fix using lazily elaborated comptime globals
(noir-lang/noir#5995)
([20d7576](AztecProtocol/aztec-packages@20d7576))
* Help link was outdated (noir-lang/noir#6004)
([20d7576](AztecProtocol/aztec-packages@20d7576))
* Load prover node config from env
([#8525](AztecProtocol/aztec-packages#8525))
([7065962](AztecProtocol/aztec-packages@7065962))
* Remove claim_public from fee juice
([#8337](AztecProtocol/aztec-packages#8337))
([dca74ae](AztecProtocol/aztec-packages@dca74ae))
* Try to move constant terms to one side for arithmetic generics
(noir-lang/noir#6008)
([cb20e07](AztecProtocol/aztec-packages@cb20e07))
* Use module name as line after which we'll insert auto-import
(noir-lang/noir#6025)
([cb20e07](AztecProtocol/aztec-packages@cb20e07))


### Miscellaneous

* Add some `pub use` and remove unused imports
([#8521](AztecProtocol/aztec-packages#8521))
([8bd0755](AztecProtocol/aztec-packages@8bd0755))
* **bb:** Fix mac build
([#8505](AztecProtocol/aztec-packages#8505))
([32fd347](AztecProtocol/aztec-packages@32fd347)),
closes
[#8499](AztecProtocol/aztec-packages#8499)
* **bb:** Fix mac build
([#8522](AztecProtocol/aztec-packages#8522))
([986e703](AztecProtocol/aztec-packages@986e703))
* **ci:** Fix bb publishing
([#8486](AztecProtocol/aztec-packages#8486))
([c210c36](AztecProtocol/aztec-packages@c210c36))
* Fix a load of warnings in aztec-nr
([#8501](AztecProtocol/aztec-packages#8501))
([35dc1e1](AztecProtocol/aztec-packages@35dc1e1))
* Protogalaxy verifier matches prover 1
([#8414](AztecProtocol/aztec-packages#8414))
([5a76ec6](AztecProtocol/aztec-packages@5a76ec6))
* Remove RC tracking in mem2reg
(noir-lang/noir#6019)
([cb20e07](AztecProtocol/aztec-packages@cb20e07))
* Remove unneeded propose and da oracle
([#8474](AztecProtocol/aztec-packages#8474))
([274a6b7](AztecProtocol/aztec-packages@274a6b7))
* Replace relative paths to noir-protocol-circuits
([b179c6b](AztecProtocol/aztec-packages@b179c6b))
* Replace relative paths to noir-protocol-circuits
([1c042be](AztecProtocol/aztec-packages@1c042be))
* Replace relative paths to noir-protocol-circuits
([1c8409f](AztecProtocol/aztec-packages@1c8409f))
* Run mac builds on master
([#8519](AztecProtocol/aztec-packages#8519))
([c458a79](AztecProtocol/aztec-packages@c458a79))
* Single install script for cargo-binstall
(noir-lang/noir#5998)
([20d7576](AztecProtocol/aztec-packages@20d7576))
* Use uint32_t instead of size_t for databus data
([#8479](AztecProtocol/aztec-packages#8479))
([79995c8](AztecProtocol/aztec-packages@79995c8))
</details>

<details><summary>barretenberg: 0.55.0</summary>

##
[0.55.0](AztecProtocol/aztec-packages@barretenberg-v0.54.0...barretenberg-v0.55.0)
(2024-09-13)


### ⚠ BREAKING CHANGES

* Add Not instruction in brillig
([#8488](AztecProtocol/aztec-packages#8488))
* **avm:** variants for CAST/NOT opcode
([#8497](AztecProtocol/aztec-packages#8497))
* **avm:** variants for REVERT opcode
([#8487](AztecProtocol/aztec-packages#8487))

### Features

* (bb) remove redundant constraints on field/group elements when using
goblin plonk
([#8409](AztecProtocol/aztec-packages#8409))
([12a093d](AztecProtocol/aztec-packages@12a093d))
* Add Not instruction in brillig
([#8488](AztecProtocol/aztec-packages#8488))
([ceda361](AztecProtocol/aztec-packages@ceda361))
* **avm:** Parallelize polynomial alloc and set
([#8520](AztecProtocol/aztec-packages#8520))
([7e73531](AztecProtocol/aztec-packages@7e73531))
* **avm:** Variants for CAST/NOT opcode
([#8497](AztecProtocol/aztec-packages#8497))
([bc609fa](AztecProtocol/aztec-packages@bc609fa))
* **avm:** Variants for REVERT opcode
([#8487](AztecProtocol/aztec-packages#8487))
([a0c8915](AztecProtocol/aztec-packages@a0c8915))
* **bb:** Iterative constexpr_for
([#8502](AztecProtocol/aztec-packages#8502))
([02c3330](AztecProtocol/aztec-packages@02c3330))
* Checking finalized sizes + a test of two folding verifiers
([#8503](AztecProtocol/aztec-packages#8503))
([d9e3f4d](AztecProtocol/aztec-packages@d9e3f4d))
* Native world state
([#7516](AztecProtocol/aztec-packages#7516))
([c1aa6f7](AztecProtocol/aztec-packages@c1aa6f7))
* New test programs for wasm benchmarking
([#8389](AztecProtocol/aztec-packages#8389))
([0b46e96](AztecProtocol/aztec-packages@0b46e96))
* Verification key stuff
([#8431](AztecProtocol/aztec-packages#8431))
([11dc8ff](AztecProtocol/aztec-packages@11dc8ff))


### Miscellaneous

* **bb:** Fix mac build
([#8505](AztecProtocol/aztec-packages#8505))
([32fd347](AztecProtocol/aztec-packages@32fd347)),
closes
[#8499](AztecProtocol/aztec-packages#8499)
* **bb:** Fix mac build
([#8522](AztecProtocol/aztec-packages#8522))
([986e703](AztecProtocol/aztec-packages@986e703))
* Protogalaxy verifier matches prover 1
([#8414](AztecProtocol/aztec-packages#8414))
([5a76ec6](AztecProtocol/aztec-packages@5a76ec6))
* Use uint32_t instead of size_t for databus data
([#8479](AztecProtocol/aztec-packages#8479))
([79995c8](AztecProtocol/aztec-packages@79995c8))
</details>

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

Successfully merging this pull request may close these issues.

3 participants