feat: Poseidon2 gates for Ultra arithmetisation #7494

maramihali · 2024-07-16T14:32:12Z

Add Poseidon2 gates to the UltraCircuitBuilder which now ensures that recursive verifier instantiated with the Ultra arithmetisation produce the correct number of constraints.

Updates required:

change verification key length and constant proof length constants across the codebase (two selectors from the new gate whose commitments need to be in the vk and the poseidon relation becomes the one with the highest degree); changes to Prover.toml accordingly
ensure the ultra recursive verifier still stays constant size now that hashing produces gates
small modification to solidity verifer to reflect the ones in cpp with the caveat that the UltraKeccak flavor still doesnt support Poseidon gate (changes coming in a followup PR)

Tube circuit changes in # of gates (post finalisation):

number of gates prior this change, in master: 13947018
number of gates post this change: 14038982

Closes AztecProtocol/barretenberg#1041

… IVC rec vec

…n-ultra

maramihali · 2024-07-19T11:05:15Z

barretenberg/cpp/src/barretenberg/plonk_honk_shared/arithmetization/arithmetization.hpp

@@ -77,10 +77,4 @@ template <typename FF, size_t NUM_WIRES, size_t NUM_SELECTORS> class ExecutionTr
    void set_fixed_size(uint32_t size_in) { fixed_size = size_in; }
 };

-class TranslatorArith {


This could just be moved to Translator, randomly stumbled across it

barretenberg/cpp/src/barretenberg/examples/join_split/join_split.test.cpp

…n-ultra

lucasxia01

Nice work. Would like to see the before and after difference in the number of gates for the ultra recursive verifier as well if possible.

also a 650k gate difference in the tube circuit seems insane if its just from hashing. That's like 10000 calls to hash()

lucasxia01 · 2024-07-22T22:20:25Z

barretenberg/cpp/src/barretenberg/bb/main.cpp

    using Prover = UltraProver_<UltraFlavor>;
    using Verifier = UltraVerifier_<UltraFlavor>;
    Prover tube_prover{ *builder };
+    // Print the number of gates post finalisation for a precise result
+    info("num gates in tube circuit: ", builder->get_num_gates());


Erm I guess it's good info generally when running e2e tests

note that it calls get_num_gates() and not builder.num_gates. As a sidenote, maybe we can change the name of get_num_gates() to estimate_num_finalized_gates()

lucasxia01 · 2024-07-22T22:20:53Z

barretenberg/cpp/src/barretenberg/commitment_schemes_recursion/CMakeLists.txt

why do we need stdlib poseidon and not primitives for commitment schemes?

the module doesnt link without poseidon now that it's enabled and stdlib_poseidon2 already includes stdlib_primitives

lucasxia01 · 2024-07-22T22:22:59Z

barretenberg/cpp/src/barretenberg/protogalaxy/combiner_example_gen.py

@@ -3,7 +3,7 @@

 # np.set_printoptions(formatter={'int': hex})

-EXTENDED_RELATION_LENGTH = 13
+EXTENDED_RELATION_LENGTH = 12


interesting that this decreased

A prior line of work decreased it (using different etas rather than powers of eta) but because nothing in the logic changed, that PR could just remove one value in the combiner tests and this file wasnt modified. Now I had to rerun the script and realised we have one extra eval, but my PR didnt specifically decreased this

lucasxia01 · 2024-07-22T22:23:47Z

...g/cpp/src/barretenberg/stdlib/honk_recursion/verifier/client_ivc_recursive_verifier.test.cpp

    EXPECT_EQ(builder->failed(), false) << builder->err();

    EXPECT_TRUE(CircuitChecker::check(*builder));
+
+    // Print the number of gates post finalisation
+    info("Recursive Verifier: num gates = ", builder->num_gates);


maybe could have both actually and mark which one is pre/post finalization

lucasxia01 · 2024-07-22T22:24:24Z

barretenberg/cpp/src/barretenberg/stdlib/honk_recursion/verifier/ultra_recursive_verifier.cpp

    RelationSeparator alpha;
    for (size_t idx = 0; idx < alpha.size(); idx++) {
        alpha[idx] = transcript->template get_challenge<FF>("alpha_" + std::to_string(idx));
    }

-    // TODO(https://github.com/AztecProtocol/barretenberg/issues/1041): Once hashing produces constraints for Ultra in


put this in the PR description

I'm not opposed to sprinkling TODOs in the code FWIW it helps keep them top of mind (as long as they link an issue that can then be used for cleanup)

this TODO is supposed to be resolved by this PR

lucasxia01 · 2024-07-22T22:25:39Z

barretenberg/cpp/src/barretenberg/stdlib/honk_recursion/verifier/verifier.test.cpp

@@ -137,10 +144,10 @@ template <typename RecursiveFlavor> class RecursiveVerifierTest : public testing

        bool broke(false);
        auto check_eq = [&broke](auto& p1, auto& p2) {
+            EXPECT_TRUE(p1.size() == p2.size());


also could have checked that the circuit sizes of the vks were the same, but this works.

lucasxia01 · 2024-07-22T22:30:59Z

barretenberg/cpp/src/barretenberg/ultra_honk/ultra_verifier.cpp

@@ -71,7 +71,7 @@ template <typename Flavor> bool UltraVerifier_<Flavor>::verify_proof(const HonkP
    // If Sumcheck did not verify, return false
    if (sumcheck_verified.has_value() && !sumcheck_verified.value()) {
        info("Sumcheck verification failed.");
-        return false;
+        // return false;


why is this commented out?

wopsie, leftover from debugging, thanks for spotting

…n-ultra

…hing is still not working

…n-ultra

…n-ultra' into mm/poseidon-relation-ultra

…n-ultra

lucasxia01

Looks good in general with some more cleanup. Also not entirely sure what exactly needs to be done to get everything working after this work.

lucasxia01 · 2024-08-20T15:18:45Z

barretenberg/cpp/src/barretenberg/bb/main.cpp

@@ -589,7 +590,7 @@ void prove_tube(const std::string& output_path)

    builder->add_recursive_proof(current_aggregation_object);

-    info("num gates in tube circuit: ", builder->get_num_gates());
+    info("num gates in tube circuit: ", builder->num_gates);


maybe say that this is num prefinalized gates in tube circuit

will remove

lucasxia01 · 2024-08-20T15:43:49Z

barretenberg/cpp/src/barretenberg/benchmark/ultra_bench/mock_circuits.hpp

@@ -23,7 +23,7 @@ template <typename Builder> void generate_basic_arithmetic_circuit(Builder& buil
    stdlib::field_t a(stdlib::witness_t(&builder, fr::random_element()));
    stdlib::field_t b(stdlib::witness_t(&builder, fr::random_element()));
    stdlib::field_t c(&builder);
-    size_t passes = (1UL << log2_num_gates) / 4 - 4;
+    size_t passes = (1UL << log2_num_gates) / 4 - 8;


I will add a comment, the function fills a circuit up ot the desired numbers of gates for the benchmark, ensuring finalisation and the add gates to ensure non zero polys method wont cause it to go to the next power of 2 (or at least that was my deduction). Because we enabled poseidon add gates to ensure non zero polys will add more gates so i need to lower a bit the number of passes

...nberg/cpp/src/barretenberg/stdlib/client_ivc_verifier/client_ivc_recursive_verifier.test.cpp

barretenberg/cpp/src/barretenberg/stdlib/eccvm_verifier/eccvm_recursive_verifier.test.cpp

barretenberg/cpp/src/barretenberg/stdlib/goblin_verifier/goblin_recursion.test.cpp

barretenberg/cpp/src/barretenberg/stdlib/hash/poseidon2/poseidon2.test.cpp

barretenberg/cpp/src/barretenberg/stdlib/transcript/transcript.test.cpp

…n-ultra' into mm/poseidon-relation-ultra

…n-ultra

🤖 I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.50.0</summary> ## [0.50.0](aztec-package-v0.49.2...aztec-package-v0.50.0) (2024-08-22) ### Features * Add a prover-node to the proving e2e tests ([#7952](#7952)) ([ec5a5fb](ec5a5fb)) * Add max pending txs to bot ([#8046](#8046)) ([7f5517e](7f5517e)) * Deterministic deployments for L1 ([#8031](#8031)) ([abc6b19](abc6b19)) * Introduce validator client ([#7854](#7854)) ([e3be8e6](e3be8e6)) * JSON logging ([#8095](#8095)) ([048fa12](048fa12)) ### Bug Fixes * Port option & extracting correct namespaced options ([#8097](#8097)) ([e74c83e](e74c83e)) * Txe port and aztec start options ([#8071](#8071)) ([23778c5](23778c5)) ### Miscellaneous * Configuration for bot on various networks ([#8063](#8063)) ([453a096](453a096)) * Merge devnet fixes back to master ([#8149](#8149)) ([6be2183](6be2183)) * Merge Provernet back to master ([#8070](#8070)) ([82f3dc7](82f3dc7)) </details> <details><summary>barretenberg.js: 0.50.0</summary> ## [0.50.0](barretenberg.js-v0.49.2...barretenberg.js-v0.50.0) (2024-08-22) ### Miscellaneous * Merge devnet fixes back to master ([#8149](#8149)) ([6be2183](6be2183)) </details> <details><summary>aztec-packages: 0.50.0</summary> ## [0.50.0](aztec-packages-v0.49.2...aztec-packages-v0.50.0) (2024-08-22) ### ⚠ BREAKING CHANGES * replace public key fetching API ([#7996](#7996)) ### Features * (LSP) suggest names that match any part of the current prefix (noir-lang/noir#5752) ([0379462](0379462)) * Add `Expr::as_any_integer` and `Expr::as_member_access` (noir-lang/noir#5742) ([0379462](0379462)) * Add `Expr::as_array`, `Expr::as_repeated_element_array` and same for slice (noir-lang/noir#5750) ([0379462](0379462)) * Add `Expr::as_binary_op` (noir-lang/noir#5734) ([0379462](0379462)) * Add `Expr::as_bool` (noir-lang/noir#5729) ([0379462](0379462)) * Add `Expr::as_unary` (noir-lang/noir#5731) ([0379462](0379462)) * Add `Expr` methods: `as_tuple`, `as_parenthesized`, `as_index`, `as_if` (noir-lang/noir#5726) ([0379462](0379462)) * Add `TraitImpl::trait_generic_args` and `TraitImpl::methods` (noir-lang/noir#5722) ([0379462](0379462)) * Add `unsafe` blocks for calling unconstrained code from constrained functions (noir-lang/noir#4429) ([0379462](0379462)) * Add a prover-node to the proving e2e tests ([#7952](#7952)) ([ec5a5fb](ec5a5fb)) * Add max pending txs to bot ([#8046](#8046)) ([7f5517e](7f5517e)) * Add reusable procedures to brillig generation ([#7981](#7981)) ([99d1131](99d1131)) * Automate verify_honk_proof input generation ([#8092](#8092)) ([bf38d61](bf38d61)) * **avm:** Enable zeromorph in AVM verification ([#8111](#8111)) ([b1f9fb6](b1f9fb6)), closes [#4944](#4944) * Build for arm ([#7994](#7994)) ([0dffe1b](0dffe1b)) * Completing MockNote ([#8059](#8059)) ([05efe23](05efe23)), closes [#7636](#7636) * Constant addresses as addresses ([#8056](#8056)) ([1da5caf](1da5caf)) * Deterministic deployments for L1 ([#8031](#8031)) ([abc6b19](abc6b19)) * **docs:** Cookbook integration ([#8083](#8083)) ([19bd8a9](19bd8a9)) * Enabling public and private bridging w/ cli ([#8011](#8011)) ([f0f9c73](f0f9c73)) * Fault-tolerant parsing of `fn` and `impl` (noir-lang/noir#5753) ([0379462](0379462)) * Flush sequencer ([#8050](#8050)) ([8821e5f](8821e5f)) * Introduce blob circuit ([#8101](#8101)) ([4bb3bac](4bb3bac)) * Introduce validator client ([#7854](#7854)) ([e3be8e6](e3be8e6)) * JSON logging ([#8095](#8095)) ([048fa12](048fa12)) * LSP auto-import completion (noir-lang/noir#5741) ([0379462](0379462)) * LSP autocomplete constructor fields (noir-lang/noir#5732) ([0379462](0379462)) * LSP signature help (noir-lang/noir#5725) ([0379462](0379462)) * Max pending jobs in prover node ([#8045](#8045)) ([c857604](c857604)) * Move out_hash inside tx_effect_hash ([#7489](#7489)) ([ff0effe](ff0effe)) * Native Merkle Trees ([#7037](#7037)) ([8a1032e](8a1032e)) * Oink recursive verifier ([#8121](#8121)) ([580708a](580708a)) * **optimization:** Follow past `array_set`s when optimizing `array_get`s (noir-lang/noir#5772) ([0379462](0379462)) * Passes copy_cycles by const reference to avoid copying ([#8051](#8051)) ([495d363](495d363)) * **perf:** Mem2reg function state for value loads to optimize across blocks (noir-lang/noir#5757) ([0379462](0379462)) * PG recursive verifier constructors based on stdlib inputs ([#8052](#8052)) ([4c568b0](4c568b0)) * Poseidon2 gates for Ultra arithmetisation ([#7494](#7494)) ([d86577c](d86577c)) * Prover node metrics ([#8086](#8086)) ([ab018ff](ab018ff)) * Removed socat, fixed aztec-run ([#8145](#8145)) ([ff94aa2](ff94aa2)) * Removing redundant key fetching ([#8043](#8043)) ([2bbcc7b](2bbcc7b)) * Replace public key fetching API ([#7996](#7996)) ([73d6aa9](73d6aa9)) * Small optimization in toradix ([#8040](#8040)) ([0dc7a50](0dc7a50)) * Some fixes and cleanup in PG recursive verifier ([#8053](#8053)) ([5f2a9bd](5f2a9bd)) * Suggest trait methods in LSP completion (noir-lang/noir#5735) ([0379462](0379462)) * Suggest tuple fields in LSP completion (noir-lang/noir#5730) ([0379462](0379462)) * Track world state metrics ([#8109](#8109)) ([ca58d94](ca58d94)) * Typing specific pub keys ([#8099](#8099)) ([638793a](638793a)) * Unify all acir recursion constraints based on RecursionConstraint and proof_type ([#7993](#7993)) ([7cb39bc](7cb39bc)) * User `super::` in LSP autocompletion if possible (noir-lang/noir#5751) ([0379462](0379462)) * Various token note improvements ([#8062](#8062)) ([8f9dfd9](8f9dfd9)) * Zk sumcheck ([#7517](#7517)) ([0e9a530](0e9a530)) ### Bug Fixes * (LSP) only add cached files relevant to workspace (noir-lang/noir#5775) ([2d70215](2d70215)) * Add DEBUG and LOG_LEVEL to valid env vars ([#8094](#8094)) ([70e61f9](70e61f9)) * Add link to l1-artifacts ([#7940](#7940)) ([dcfd120](dcfd120)) * Add missing trait impls for integer types to stdlib (noir-lang/noir#5738) ([0379462](0379462)) * Allow comptime code to use break without also being `unconstrained` (noir-lang/noir#5744) ([0379462](0379462)) * **avm:** Real bytes finalization ([#8041](#8041)) ([047461a](047461a)) * **ci:** Correctly run bb tests with asserts ([#7607](#7607)) ([7b73f69](7b73f69)) * Correctly constrain get header at ([#7893](#7893)) ([2ebba0d](2ebba0d)) * Deploy L1 rollup contract using salt if provided ([#8074](#8074)) ([1e8eddf](1e8eddf)) * Flaky e2e_prover_node test ([#8116](#8116)) ([9d97bd4](9d97bd4)) * **frontend:** Continue type check if we are missing an unsafe block (noir-lang/noir#5720) ([0379462](0379462)) * Let LSP autocompletion work in more contexts (noir-lang/noir#5719) ([0379462](0379462)) * Port option & extracting correct namespaced options ([#8097](#8097)) ([e74c83e](e74c83e)) * Set prover node max pending jobs in tests ([#8055](#8055)) ([403c26f](403c26f)) * Stop WorldStrateSynchronizer in prover node ([#8126](#8126)) ([f724b07](f724b07)) * Txe port and aztec start options ([#8071](#8071)) ([23778c5](23778c5)) * Unconstrained fn mismatch is now a warning (noir-lang/noir#5764) ([0379462](0379462)) * Wallet fixes for devnet, testing and misc ([#8058](#8058)) ([15f3e8c](15f3e8c)) ### Miscellaneous * Add Brillig loop bytecode size regression and update noir-gates-diff report (noir-lang/noir#5747) ([0379462](0379462)) * Apply some new lints across workspace (noir-lang/noir#5736) ([0379462](0379462)) * **avm:** Kernel trace and finalization ([#8049](#8049)) ([d7edd24](d7edd24)) * **avm:** Separate alu finalization ([#8069](#8069)) ([e8a9eb4](e8a9eb4)) * **bb:** IPA parallelization cleanup ([#8088](#8088)) ([9227fa9](9227fa9)) * **bb:** Simplify parallel_for_if_effective ([#8079](#8079)) ([5bff26b](5bff26b)) * **bb:** Small cleanup in protogalaxy prover ([#8072](#8072)) ([4cb5c83](4cb5c83)) * **ci:** Only show last 50 master cpp benches ([#8075](#8075)) ([96f35bc](96f35bc)) * Clarify Field use (noir-lang/noir#5740) ([0379462](0379462)) * CLI command to set latest block as proven ([#7987](#7987)) ([80eaf1d](80eaf1d)) * Configuration for bot on various networks ([#8063](#8063)) ([453a096](453a096)) * Count brillig opcodes in nargo info (noir-lang/noir#5189) ([0379462](0379462)) * Deduplication in Protogalaxy ([#8067](#8067)) ([a5cc3ba](a5cc3ba)) * **docs:** Expanding solidity verifier chain list (noir-lang/noir#5587) ([0379462](0379462)) * Dont trail whitespace in vscode ([#5661](#5661)) ([7595d91](7595d91)) * Handle constant output for ec add opcode ([#8108](#8108)) ([2ee79d2](2ee79d2)) * Make spans non-optional on `UnresolvedType` (noir-lang/noir#5773) ([2d70215](2d70215)) * Merge devnet fixes back to master ([#8149](#8149)) ([6be2183](6be2183)) * Merge devnet to master ([#8044](#8044)) ([f84950f](f84950f)) * Merge Provernet back to master ([#8070](#8070)) ([82f3dc7](82f3dc7)) * Merging `TokenWithRefunds` with `Token` ([#8042](#8042)) ([8b795eb](8b795eb)) * Modified devnet config ([#8087](#8087)) ([854ab45](854ab45)) * Nuking old registry contract ([#8057](#8057)) ([3bd08a8](3bd08a8)), closes [#7955](#7955) * Pedersen hash related cleanup in aztec.nr ([#8009](#8009)) ([3c4ac65](3c4ac65)) * Portal manager cli ([#8047](#8047)) ([618e251](618e251)) * Proper portal setup for fees + test ([#7944](#7944)) ([9fec67e](9fec67e)) * Public kernel ([#8061](#8061)) ([617a69c](617a69c)) * Refactor ACIR function IDs from raw integers to struct (noir-lang/noir#5748) ([0379462](0379462)) * Replace relative paths to noir-protocol-circuits ([5ddf0e6](5ddf0e6)) * Replace relative paths to noir-protocol-circuits ([ca77c17](ca77c17)) * Replace relative paths to noir-protocol-circuits ([fe73c93](fe73c93)) * Replace relative paths to noir-protocol-circuits ([576bc2f](576bc2f)) * Replace relative paths to noir-protocol-circuits ([0d05d6b](0d05d6b)) * Simplify sequencer and l1 communication ([#7989](#7989)) ([cee4eba](cee4eba)) * Split LSP completion.rs into several files (noir-lang/noir#5723) ([0379462](0379462)) * Split up stdlib/recursion ([#8054](#8054)) ([ec03e40](ec03e40)) * **sync-noir:** Fix modify/delete conflicts automatically ([#8090](#8090)) ([a09627c](a09627c)) * Use decider verifier in ultra verifier ([#8115](#8115)) ([6c5ab2b](6c5ab2b)) ### Documentation * Fix typo overview.md ([#7908](#7908)) ([3749211](3749211)) * Update installation info for bb and noir ([#8119](#8119)) ([a744321](a744321)) </details> <details><summary>barretenberg: 0.50.0</summary> ## [0.50.0](barretenberg-v0.49.2...barretenberg-v0.50.0) (2024-08-22) ### Features * Add a prover-node to the proving e2e tests ([#7952](#7952)) ([ec5a5fb](ec5a5fb)) * Automate verify_honk_proof input generation ([#8092](#8092)) ([bf38d61](bf38d61)) * **avm:** Enable zeromorph in AVM verification ([#8111](#8111)) ([b1f9fb6](b1f9fb6)), closes [#4944](#4944) * Native Merkle Trees ([#7037](#7037)) ([8a1032e](8a1032e)) * Oink recursive verifier ([#8121](#8121)) ([580708a](580708a)) * Passes copy_cycles by const reference to avoid copying ([#8051](#8051)) ([495d363](495d363)) * PG recursive verifier constructors based on stdlib inputs ([#8052](#8052)) ([4c568b0](4c568b0)) * Poseidon2 gates for Ultra arithmetisation ([#7494](#7494)) ([d86577c](d86577c)) * Some fixes and cleanup in PG recursive verifier ([#8053](#8053)) ([5f2a9bd](5f2a9bd)) * Unify all acir recursion constraints based on RecursionConstraint and proof_type ([#7993](#7993)) ([7cb39bc](7cb39bc)) * Zk sumcheck ([#7517](#7517)) ([0e9a530](0e9a530)) ### Bug Fixes * **avm:** Real bytes finalization ([#8041](#8041)) ([047461a](047461a)) * **ci:** Correctly run bb tests with asserts ([#7607](#7607)) ([7b73f69](7b73f69)) ### Miscellaneous * **avm:** Kernel trace and finalization ([#8049](#8049)) ([d7edd24](d7edd24)) * **avm:** Separate alu finalization ([#8069](#8069)) ([e8a9eb4](e8a9eb4)) * **bb:** IPA parallelization cleanup ([#8088](#8088)) ([9227fa9](9227fa9)) * **bb:** Simplify parallel_for_if_effective ([#8079](#8079)) ([5bff26b](5bff26b)) * **bb:** Small cleanup in protogalaxy prover ([#8072](#8072)) ([4cb5c83](4cb5c83)) * Deduplication in Protogalaxy ([#8067](#8067)) ([a5cc3ba](a5cc3ba)) * Handle constant output for ec add opcode ([#8108](#8108)) ([2ee79d2](2ee79d2)) * Merge devnet fixes back to master ([#8149](#8149)) ([6be2183](6be2183)) * Split up stdlib/recursion ([#8054](#8054)) ([ec03e40](ec03e40)) * Use decider verifier in ultra verifier ([#8115](#8115)) ([6c5ab2b](6c5ab2b)) ### Documentation * Update installation info for bb and noir ([#8119](#8119)) ([a744321](a744321)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

🤖 I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.50.0</summary> ## [0.50.0](AztecProtocol/aztec-packages@aztec-package-v0.49.2...aztec-package-v0.50.0) (2024-08-22) ### Features * Add a prover-node to the proving e2e tests ([#7952](AztecProtocol/aztec-packages#7952)) ([ec5a5fb](AztecProtocol/aztec-packages@ec5a5fb)) * Add max pending txs to bot ([#8046](AztecProtocol/aztec-packages#8046)) ([7f5517e](AztecProtocol/aztec-packages@7f5517e)) * Deterministic deployments for L1 ([#8031](AztecProtocol/aztec-packages#8031)) ([abc6b19](AztecProtocol/aztec-packages@abc6b19)) * Introduce validator client ([#7854](AztecProtocol/aztec-packages#7854)) ([e3be8e6](AztecProtocol/aztec-packages@e3be8e6)) * JSON logging ([#8095](AztecProtocol/aztec-packages#8095)) ([048fa12](AztecProtocol/aztec-packages@048fa12)) ### Bug Fixes * Port option & extracting correct namespaced options ([#8097](AztecProtocol/aztec-packages#8097)) ([e74c83e](AztecProtocol/aztec-packages@e74c83e)) * Txe port and aztec start options ([#8071](AztecProtocol/aztec-packages#8071)) ([23778c5](AztecProtocol/aztec-packages@23778c5)) ### Miscellaneous * Configuration for bot on various networks ([#8063](AztecProtocol/aztec-packages#8063)) ([453a096](AztecProtocol/aztec-packages@453a096)) * Merge devnet fixes back to master ([#8149](AztecProtocol/aztec-packages#8149)) ([6be2183](AztecProtocol/aztec-packages@6be2183)) * Merge Provernet back to master ([#8070](AztecProtocol/aztec-packages#8070)) ([82f3dc7](AztecProtocol/aztec-packages@82f3dc7)) </details> <details><summary>barretenberg.js: 0.50.0</summary> ## [0.50.0](AztecProtocol/aztec-packages@barretenberg.js-v0.49.2...barretenberg.js-v0.50.0) (2024-08-22) ### Miscellaneous * Merge devnet fixes back to master ([#8149](AztecProtocol/aztec-packages#8149)) ([6be2183](AztecProtocol/aztec-packages@6be2183)) </details> <details><summary>aztec-packages: 0.50.0</summary> ## [0.50.0](AztecProtocol/aztec-packages@aztec-packages-v0.49.2...aztec-packages-v0.50.0) (2024-08-22) ### ⚠ BREAKING CHANGES * replace public key fetching API ([#7996](AztecProtocol/aztec-packages#7996)) ### Features * (LSP) suggest names that match any part of the current prefix (noir-lang/noir#5752) ([0379462](AztecProtocol/aztec-packages@0379462)) * Add `Expr::as_any_integer` and `Expr::as_member_access` (noir-lang/noir#5742) ([0379462](AztecProtocol/aztec-packages@0379462)) * Add `Expr::as_array`, `Expr::as_repeated_element_array` and same for slice (noir-lang/noir#5750) ([0379462](AztecProtocol/aztec-packages@0379462)) * Add `Expr::as_binary_op` (noir-lang/noir#5734) ([0379462](AztecProtocol/aztec-packages@0379462)) * Add `Expr::as_bool` (noir-lang/noir#5729) ([0379462](AztecProtocol/aztec-packages@0379462)) * Add `Expr::as_unary` (noir-lang/noir#5731) ([0379462](AztecProtocol/aztec-packages@0379462)) * Add `Expr` methods: `as_tuple`, `as_parenthesized`, `as_index`, `as_if` (noir-lang/noir#5726) ([0379462](AztecProtocol/aztec-packages@0379462)) * Add `TraitImpl::trait_generic_args` and `TraitImpl::methods` (noir-lang/noir#5722) ([0379462](AztecProtocol/aztec-packages@0379462)) * Add `unsafe` blocks for calling unconstrained code from constrained functions (noir-lang/noir#4429) ([0379462](AztecProtocol/aztec-packages@0379462)) * Add a prover-node to the proving e2e tests ([#7952](AztecProtocol/aztec-packages#7952)) ([ec5a5fb](AztecProtocol/aztec-packages@ec5a5fb)) * Add max pending txs to bot ([#8046](AztecProtocol/aztec-packages#8046)) ([7f5517e](AztecProtocol/aztec-packages@7f5517e)) * Add reusable procedures to brillig generation ([#7981](AztecProtocol/aztec-packages#7981)) ([99d1131](AztecProtocol/aztec-packages@99d1131)) * Automate verify_honk_proof input generation ([#8092](AztecProtocol/aztec-packages#8092)) ([bf38d61](AztecProtocol/aztec-packages@bf38d61)) * **avm:** Enable zeromorph in AVM verification ([#8111](AztecProtocol/aztec-packages#8111)) ([b1f9fb6](AztecProtocol/aztec-packages@b1f9fb6)), closes [#4944](AztecProtocol/aztec-packages#4944) * Build for arm ([#7994](AztecProtocol/aztec-packages#7994)) ([0dffe1b](AztecProtocol/aztec-packages@0dffe1b)) * Completing MockNote ([#8059](AztecProtocol/aztec-packages#8059)) ([05efe23](AztecProtocol/aztec-packages@05efe23)), closes [#7636](AztecProtocol/aztec-packages#7636) * Constant addresses as addresses ([#8056](AztecProtocol/aztec-packages#8056)) ([1da5caf](AztecProtocol/aztec-packages@1da5caf)) * Deterministic deployments for L1 ([#8031](AztecProtocol/aztec-packages#8031)) ([abc6b19](AztecProtocol/aztec-packages@abc6b19)) * **docs:** Cookbook integration ([#8083](AztecProtocol/aztec-packages#8083)) ([19bd8a9](AztecProtocol/aztec-packages@19bd8a9)) * Enabling public and private bridging w/ cli ([#8011](AztecProtocol/aztec-packages#8011)) ([f0f9c73](AztecProtocol/aztec-packages@f0f9c73)) * Fault-tolerant parsing of `fn` and `impl` (noir-lang/noir#5753) ([0379462](AztecProtocol/aztec-packages@0379462)) * Flush sequencer ([#8050](AztecProtocol/aztec-packages#8050)) ([8821e5f](AztecProtocol/aztec-packages@8821e5f)) * Introduce blob circuit ([#8101](AztecProtocol/aztec-packages#8101)) ([4bb3bac](AztecProtocol/aztec-packages@4bb3bac)) * Introduce validator client ([#7854](AztecProtocol/aztec-packages#7854)) ([e3be8e6](AztecProtocol/aztec-packages@e3be8e6)) * JSON logging ([#8095](AztecProtocol/aztec-packages#8095)) ([048fa12](AztecProtocol/aztec-packages@048fa12)) * LSP auto-import completion (noir-lang/noir#5741) ([0379462](AztecProtocol/aztec-packages@0379462)) * LSP autocomplete constructor fields (noir-lang/noir#5732) ([0379462](AztecProtocol/aztec-packages@0379462)) * LSP signature help (noir-lang/noir#5725) ([0379462](AztecProtocol/aztec-packages@0379462)) * Max pending jobs in prover node ([#8045](AztecProtocol/aztec-packages#8045)) ([c857604](AztecProtocol/aztec-packages@c857604)) * Move out_hash inside tx_effect_hash ([#7489](AztecProtocol/aztec-packages#7489)) ([ff0effe](AztecProtocol/aztec-packages@ff0effe)) * Native Merkle Trees ([#7037](AztecProtocol/aztec-packages#7037)) ([8a1032e](AztecProtocol/aztec-packages@8a1032e)) * Oink recursive verifier ([#8121](AztecProtocol/aztec-packages#8121)) ([580708a](AztecProtocol/aztec-packages@580708a)) * **optimization:** Follow past `array_set`s when optimizing `array_get`s (noir-lang/noir#5772) ([0379462](AztecProtocol/aztec-packages@0379462)) * Passes copy_cycles by const reference to avoid copying ([#8051](AztecProtocol/aztec-packages#8051)) ([495d363](AztecProtocol/aztec-packages@495d363)) * **perf:** Mem2reg function state for value loads to optimize across blocks (noir-lang/noir#5757) ([0379462](AztecProtocol/aztec-packages@0379462)) * PG recursive verifier constructors based on stdlib inputs ([#8052](AztecProtocol/aztec-packages#8052)) ([4c568b0](AztecProtocol/aztec-packages@4c568b0)) * Poseidon2 gates for Ultra arithmetisation ([#7494](AztecProtocol/aztec-packages#7494)) ([d86577c](AztecProtocol/aztec-packages@d86577c)) * Prover node metrics ([#8086](AztecProtocol/aztec-packages#8086)) ([ab018ff](AztecProtocol/aztec-packages@ab018ff)) * Removed socat, fixed aztec-run ([#8145](AztecProtocol/aztec-packages#8145)) ([ff94aa2](AztecProtocol/aztec-packages@ff94aa2)) * Removing redundant key fetching ([#8043](AztecProtocol/aztec-packages#8043)) ([2bbcc7b](AztecProtocol/aztec-packages@2bbcc7b)) * Replace public key fetching API ([#7996](AztecProtocol/aztec-packages#7996)) ([73d6aa9](AztecProtocol/aztec-packages@73d6aa9)) * Small optimization in toradix ([#8040](AztecProtocol/aztec-packages#8040)) ([0dc7a50](AztecProtocol/aztec-packages@0dc7a50)) * Some fixes and cleanup in PG recursive verifier ([#8053](AztecProtocol/aztec-packages#8053)) ([5f2a9bd](AztecProtocol/aztec-packages@5f2a9bd)) * Suggest trait methods in LSP completion (noir-lang/noir#5735) ([0379462](AztecProtocol/aztec-packages@0379462)) * Suggest tuple fields in LSP completion (noir-lang/noir#5730) ([0379462](AztecProtocol/aztec-packages@0379462)) * Track world state metrics ([#8109](AztecProtocol/aztec-packages#8109)) ([ca58d94](AztecProtocol/aztec-packages@ca58d94)) * Typing specific pub keys ([#8099](AztecProtocol/aztec-packages#8099)) ([638793a](AztecProtocol/aztec-packages@638793a)) * Unify all acir recursion constraints based on RecursionConstraint and proof_type ([#7993](AztecProtocol/aztec-packages#7993)) ([7cb39bc](AztecProtocol/aztec-packages@7cb39bc)) * User `super::` in LSP autocompletion if possible (noir-lang/noir#5751) ([0379462](AztecProtocol/aztec-packages@0379462)) * Various token note improvements ([#8062](AztecProtocol/aztec-packages#8062)) ([8f9dfd9](AztecProtocol/aztec-packages@8f9dfd9)) * Zk sumcheck ([#7517](AztecProtocol/aztec-packages#7517)) ([0e9a530](AztecProtocol/aztec-packages@0e9a530)) ### Bug Fixes * (LSP) only add cached files relevant to workspace (noir-lang/noir#5775) ([2d70215](AztecProtocol/aztec-packages@2d70215)) * Add DEBUG and LOG_LEVEL to valid env vars ([#8094](AztecProtocol/aztec-packages#8094)) ([70e61f9](AztecProtocol/aztec-packages@70e61f9)) * Add link to l1-artifacts ([#7940](AztecProtocol/aztec-packages#7940)) ([dcfd120](AztecProtocol/aztec-packages@dcfd120)) * Add missing trait impls for integer types to stdlib (noir-lang/noir#5738) ([0379462](AztecProtocol/aztec-packages@0379462)) * Allow comptime code to use break without also being `unconstrained` (noir-lang/noir#5744) ([0379462](AztecProtocol/aztec-packages@0379462)) * **avm:** Real bytes finalization ([#8041](AztecProtocol/aztec-packages#8041)) ([047461a](AztecProtocol/aztec-packages@047461a)) * **ci:** Correctly run bb tests with asserts ([#7607](AztecProtocol/aztec-packages#7607)) ([7b73f69](AztecProtocol/aztec-packages@7b73f69)) * Correctly constrain get header at ([#7893](AztecProtocol/aztec-packages#7893)) ([2ebba0d](AztecProtocol/aztec-packages@2ebba0d)) * Deploy L1 rollup contract using salt if provided ([#8074](AztecProtocol/aztec-packages#8074)) ([1e8eddf](AztecProtocol/aztec-packages@1e8eddf)) * Flaky e2e_prover_node test ([#8116](AztecProtocol/aztec-packages#8116)) ([9d97bd4](AztecProtocol/aztec-packages@9d97bd4)) * **frontend:** Continue type check if we are missing an unsafe block (noir-lang/noir#5720) ([0379462](AztecProtocol/aztec-packages@0379462)) * Let LSP autocompletion work in more contexts (noir-lang/noir#5719) ([0379462](AztecProtocol/aztec-packages@0379462)) * Port option & extracting correct namespaced options ([#8097](AztecProtocol/aztec-packages#8097)) ([e74c83e](AztecProtocol/aztec-packages@e74c83e)) * Set prover node max pending jobs in tests ([#8055](AztecProtocol/aztec-packages#8055)) ([403c26f](AztecProtocol/aztec-packages@403c26f)) * Stop WorldStrateSynchronizer in prover node ([#8126](AztecProtocol/aztec-packages#8126)) ([f724b07](AztecProtocol/aztec-packages@f724b07)) * Txe port and aztec start options ([#8071](AztecProtocol/aztec-packages#8071)) ([23778c5](AztecProtocol/aztec-packages@23778c5)) * Unconstrained fn mismatch is now a warning (noir-lang/noir#5764) ([0379462](AztecProtocol/aztec-packages@0379462)) * Wallet fixes for devnet, testing and misc ([#8058](AztecProtocol/aztec-packages#8058)) ([15f3e8c](AztecProtocol/aztec-packages@15f3e8c)) ### Miscellaneous * Add Brillig loop bytecode size regression and update noir-gates-diff report (noir-lang/noir#5747) ([0379462](AztecProtocol/aztec-packages@0379462)) * Apply some new lints across workspace (noir-lang/noir#5736) ([0379462](AztecProtocol/aztec-packages@0379462)) * **avm:** Kernel trace and finalization ([#8049](AztecProtocol/aztec-packages#8049)) ([d7edd24](AztecProtocol/aztec-packages@d7edd24)) * **avm:** Separate alu finalization ([#8069](AztecProtocol/aztec-packages#8069)) ([e8a9eb4](AztecProtocol/aztec-packages@e8a9eb4)) * **bb:** IPA parallelization cleanup ([#8088](AztecProtocol/aztec-packages#8088)) ([9227fa9](AztecProtocol/aztec-packages@9227fa9)) * **bb:** Simplify parallel_for_if_effective ([#8079](AztecProtocol/aztec-packages#8079)) ([5bff26b](AztecProtocol/aztec-packages@5bff26b)) * **bb:** Small cleanup in protogalaxy prover ([#8072](AztecProtocol/aztec-packages#8072)) ([4cb5c83](AztecProtocol/aztec-packages@4cb5c83)) * **ci:** Only show last 50 master cpp benches ([#8075](AztecProtocol/aztec-packages#8075)) ([96f35bc](AztecProtocol/aztec-packages@96f35bc)) * Clarify Field use (noir-lang/noir#5740) ([0379462](AztecProtocol/aztec-packages@0379462)) * CLI command to set latest block as proven ([#7987](AztecProtocol/aztec-packages#7987)) ([80eaf1d](AztecProtocol/aztec-packages@80eaf1d)) * Configuration for bot on various networks ([#8063](AztecProtocol/aztec-packages#8063)) ([453a096](AztecProtocol/aztec-packages@453a096)) * Count brillig opcodes in nargo info (noir-lang/noir#5189) ([0379462](AztecProtocol/aztec-packages@0379462)) * Deduplication in Protogalaxy ([#8067](AztecProtocol/aztec-packages#8067)) ([a5cc3ba](AztecProtocol/aztec-packages@a5cc3ba)) * **docs:** Expanding solidity verifier chain list (noir-lang/noir#5587) ([0379462](AztecProtocol/aztec-packages@0379462)) * Dont trail whitespace in vscode ([#5661](AztecProtocol/aztec-packages#5661)) ([7595d91](AztecProtocol/aztec-packages@7595d91)) * Handle constant output for ec add opcode ([#8108](AztecProtocol/aztec-packages#8108)) ([2ee79d2](AztecProtocol/aztec-packages@2ee79d2)) * Make spans non-optional on `UnresolvedType` (noir-lang/noir#5773) ([2d70215](AztecProtocol/aztec-packages@2d70215)) * Merge devnet fixes back to master ([#8149](AztecProtocol/aztec-packages#8149)) ([6be2183](AztecProtocol/aztec-packages@6be2183)) * Merge devnet to master ([#8044](AztecProtocol/aztec-packages#8044)) ([f84950f](AztecProtocol/aztec-packages@f84950f)) * Merge Provernet back to master ([#8070](AztecProtocol/aztec-packages#8070)) ([82f3dc7](AztecProtocol/aztec-packages@82f3dc7)) * Merging `TokenWithRefunds` with `Token` ([#8042](AztecProtocol/aztec-packages#8042)) ([8b795eb](AztecProtocol/aztec-packages@8b795eb)) * Modified devnet config ([#8087](AztecProtocol/aztec-packages#8087)) ([854ab45](AztecProtocol/aztec-packages@854ab45)) * Nuking old registry contract ([#8057](AztecProtocol/aztec-packages#8057)) ([3bd08a8](AztecProtocol/aztec-packages@3bd08a8)), closes [#7955](AztecProtocol/aztec-packages#7955) * Pedersen hash related cleanup in aztec.nr ([#8009](AztecProtocol/aztec-packages#8009)) ([3c4ac65](AztecProtocol/aztec-packages@3c4ac65)) * Portal manager cli ([#8047](AztecProtocol/aztec-packages#8047)) ([618e251](AztecProtocol/aztec-packages@618e251)) * Proper portal setup for fees + test ([#7944](AztecProtocol/aztec-packages#7944)) ([9fec67e](AztecProtocol/aztec-packages@9fec67e)) * Public kernel ([#8061](AztecProtocol/aztec-packages#8061)) ([617a69c](AztecProtocol/aztec-packages@617a69c)) * Refactor ACIR function IDs from raw integers to struct (noir-lang/noir#5748) ([0379462](AztecProtocol/aztec-packages@0379462)) * Replace relative paths to noir-protocol-circuits ([5ddf0e6](AztecProtocol/aztec-packages@5ddf0e6)) * Replace relative paths to noir-protocol-circuits ([ca77c17](AztecProtocol/aztec-packages@ca77c17)) * Replace relative paths to noir-protocol-circuits ([fe73c93](AztecProtocol/aztec-packages@fe73c93)) * Replace relative paths to noir-protocol-circuits ([576bc2f](AztecProtocol/aztec-packages@576bc2f)) * Replace relative paths to noir-protocol-circuits ([0d05d6b](AztecProtocol/aztec-packages@0d05d6b)) * Simplify sequencer and l1 communication ([#7989](AztecProtocol/aztec-packages#7989)) ([cee4eba](AztecProtocol/aztec-packages@cee4eba)) * Split LSP completion.rs into several files (noir-lang/noir#5723) ([0379462](AztecProtocol/aztec-packages@0379462)) * Split up stdlib/recursion ([#8054](AztecProtocol/aztec-packages#8054)) ([ec03e40](AztecProtocol/aztec-packages@ec03e40)) * **sync-noir:** Fix modify/delete conflicts automatically ([#8090](AztecProtocol/aztec-packages#8090)) ([a09627c](AztecProtocol/aztec-packages@a09627c)) * Use decider verifier in ultra verifier ([#8115](AztecProtocol/aztec-packages#8115)) ([6c5ab2b](AztecProtocol/aztec-packages@6c5ab2b)) ### Documentation * Fix typo overview.md ([#7908](AztecProtocol/aztec-packages#7908)) ([3749211](AztecProtocol/aztec-packages@3749211)) * Update installation info for bb and noir ([#8119](AztecProtocol/aztec-packages#8119)) ([a744321](AztecProtocol/aztec-packages@a744321)) </details> <details><summary>barretenberg: 0.50.0</summary> ## [0.50.0](AztecProtocol/aztec-packages@barretenberg-v0.49.2...barretenberg-v0.50.0) (2024-08-22) ### Features * Add a prover-node to the proving e2e tests ([#7952](AztecProtocol/aztec-packages#7952)) ([ec5a5fb](AztecProtocol/aztec-packages@ec5a5fb)) * Automate verify_honk_proof input generation ([#8092](AztecProtocol/aztec-packages#8092)) ([bf38d61](AztecProtocol/aztec-packages@bf38d61)) * **avm:** Enable zeromorph in AVM verification ([#8111](AztecProtocol/aztec-packages#8111)) ([b1f9fb6](AztecProtocol/aztec-packages@b1f9fb6)), closes [#4944](AztecProtocol/aztec-packages#4944) * Native Merkle Trees ([#7037](AztecProtocol/aztec-packages#7037)) ([8a1032e](AztecProtocol/aztec-packages@8a1032e)) * Oink recursive verifier ([#8121](AztecProtocol/aztec-packages#8121)) ([580708a](AztecProtocol/aztec-packages@580708a)) * Passes copy_cycles by const reference to avoid copying ([#8051](AztecProtocol/aztec-packages#8051)) ([495d363](AztecProtocol/aztec-packages@495d363)) * PG recursive verifier constructors based on stdlib inputs ([#8052](AztecProtocol/aztec-packages#8052)) ([4c568b0](AztecProtocol/aztec-packages@4c568b0)) * Poseidon2 gates for Ultra arithmetisation ([#7494](AztecProtocol/aztec-packages#7494)) ([d86577c](AztecProtocol/aztec-packages@d86577c)) * Some fixes and cleanup in PG recursive verifier ([#8053](AztecProtocol/aztec-packages#8053)) ([5f2a9bd](AztecProtocol/aztec-packages@5f2a9bd)) * Unify all acir recursion constraints based on RecursionConstraint and proof_type ([#7993](AztecProtocol/aztec-packages#7993)) ([7cb39bc](AztecProtocol/aztec-packages@7cb39bc)) * Zk sumcheck ([#7517](AztecProtocol/aztec-packages#7517)) ([0e9a530](AztecProtocol/aztec-packages@0e9a530)) ### Bug Fixes * **avm:** Real bytes finalization ([#8041](AztecProtocol/aztec-packages#8041)) ([047461a](AztecProtocol/aztec-packages@047461a)) * **ci:** Correctly run bb tests with asserts ([#7607](AztecProtocol/aztec-packages#7607)) ([7b73f69](AztecProtocol/aztec-packages@7b73f69)) ### Miscellaneous * **avm:** Kernel trace and finalization ([#8049](AztecProtocol/aztec-packages#8049)) ([d7edd24](AztecProtocol/aztec-packages@d7edd24)) * **avm:** Separate alu finalization ([#8069](AztecProtocol/aztec-packages#8069)) ([e8a9eb4](AztecProtocol/aztec-packages@e8a9eb4)) * **bb:** IPA parallelization cleanup ([#8088](AztecProtocol/aztec-packages#8088)) ([9227fa9](AztecProtocol/aztec-packages@9227fa9)) * **bb:** Simplify parallel_for_if_effective ([#8079](AztecProtocol/aztec-packages#8079)) ([5bff26b](AztecProtocol/aztec-packages@5bff26b)) * **bb:** Small cleanup in protogalaxy prover ([#8072](AztecProtocol/aztec-packages#8072)) ([4cb5c83](AztecProtocol/aztec-packages@4cb5c83)) * Deduplication in Protogalaxy ([#8067](AztecProtocol/aztec-packages#8067)) ([a5cc3ba](AztecProtocol/aztec-packages@a5cc3ba)) * Handle constant output for ec add opcode ([#8108](AztecProtocol/aztec-packages#8108)) ([2ee79d2](AztecProtocol/aztec-packages@2ee79d2)) * Merge devnet fixes back to master ([#8149](AztecProtocol/aztec-packages#8149)) ([6be2183](AztecProtocol/aztec-packages@6be2183)) * Split up stdlib/recursion ([#8054](AztecProtocol/aztec-packages#8054)) ([ec03e40](AztecProtocol/aztec-packages@ec03e40)) * Use decider verifier in ultra verifier ([#8115](AztecProtocol/aztec-packages#8115)) ([6c5ab2b](AztecProtocol/aztec-packages@6c5ab2b)) ### Documentation * Update installation info for bb and noir ([#8119](AztecProtocol/aztec-packages#8119)) ([a744321](AztecProtocol/aztec-packages@a744321)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

Automated pull of Noir development from [aztec-packages](https://github.com/AztecProtocol/aztec-packages). BEGIN_COMMIT_OVERRIDE feat: Added indirect const instruction (AztecProtocol/aztec-packages#8065) feat: optimize to_radix (AztecProtocol/aztec-packages#8073) feat: automate verify_honk_proof input generation (AztecProtocol/aztec-packages#8092) feat: Sync from noir (AztecProtocol/aztec-packages#8093) feat: Poseidon2 gates for Ultra arithmetisation (AztecProtocol/aztec-packages#7494) feat: Sync from noir (AztecProtocol/aztec-packages#8008) feat: Add reusable procedures to brillig generation (AztecProtocol/aztec-packages#7981) feat: Small optimization in toradix (AztecProtocol/aztec-packages#8040) feat: unify all acir recursion constraints based on RecursionConstraint and proof_type (AztecProtocol/aztec-packages#7993) feat: Sync from noir (AztecProtocol/aztec-packages#7958) END_COMMIT_OVERRIDE --------- Co-authored-by: TomAFrench <[email protected]>

:robot: I have created a release *beep* *boop* --- <details><summary>0.34.0</summary> ## [0.34.0](https://github.com/noir-lang/noir/compare/v0.33.0...v0.34.0) (2024-09-13) ### ⚠ BREAKING CHANGES * Add Not instruction in brillig (https://github.com/AztecProtocol/aztec-packages/pull/8488) * **avm:** variants for SET opcode (https://github.com/AztecProtocol/aztec-packages/pull/8441) * **avm/brillig:** take addresses in calldatacopy (https://github.com/AztecProtocol/aztec-packages/pull/8388) * Do not encode assertion strings in the programs (https://github.com/AztecProtocol/aztec-packages/pull/8315) * return arrays instead of slices from `to_be_radix` functions ([#5851](https://github.com/noir-lang/noir/issues/5851)) * Check unused generics are bound ([#5840](https://github.com/noir-lang/noir/issues/5840)) ### Features * (bb) 128-bit challenges (https://github.com/AztecProtocol/aztec-packages/pull/8406) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * (LSP) suggest names that match any part of the current prefix ([#5752](https://github.com/noir-lang/noir/issues/5752)) ([cb0d490](https://github.com/noir-lang/noir/commit/cb0d49017a3b592afc2002e592a61d33bf3ac3a4)) * `Module::add_item` ([#5947](https://github.com/noir-lang/noir/issues/5947)) ([af50a7b](https://github.com/noir-lang/noir/commit/af50a7b3ad511de68c584e65ec4eec8b703bbc14)) * Add `Expr::as_any_integer` and `Expr::as_member_access` ([#5742](https://github.com/noir-lang/noir/issues/5742)) ([6266755](https://github.com/noir-lang/noir/commit/626675567bb0bfff3c7984ed7f75c488e441ef98)) * Add `Expr::as_array`, `Expr::as_repeated_element_array` and same for slice ([#5750](https://github.com/noir-lang/noir/issues/5750)) ([f44e0b3](https://github.com/noir-lang/noir/commit/f44e0b3ebfb30e9323ebf2d537830ea64d59488c)) * Add `Expr::as_assert_eq` ([#5880](https://github.com/noir-lang/noir/issues/5880)) ([88f7858](https://github.com/noir-lang/noir/commit/88f785803ddb1a7d395a899b65e500e46bba1a5d)) * Add `Expr::as_assert` ([#5857](https://github.com/noir-lang/noir/issues/5857)) ([4e4ad26](https://github.com/noir-lang/noir/commit/4e4ad26d56e6a487ca446ea4e1732c6af04e1410)) * Add `Expr::as_binary_op` ([#5734](https://github.com/noir-lang/noir/issues/5734)) ([73a9f51](https://github.com/noir-lang/noir/commit/73a9f51e1fd1ba513ef721e07990abf510e8bf01)) * Add `Expr::as_block` and `Expr::has_semicolon` ([#5784](https://github.com/noir-lang/noir/issues/5784)) ([19ffa20](https://github.com/noir-lang/noir/commit/19ffa2008fc9cbb5972b50d66d14908d5c82ed75)) * Add `Expr::as_bool` ([#5729](https://github.com/noir-lang/noir/issues/5729)) ([ca75cc2](https://github.com/noir-lang/noir/commit/ca75cc2e35530c82cef3b86edf99a232f88b11e8)) * Add `Expr::as_cast` and `UnresolvedType::is_field` ([#5801](https://github.com/noir-lang/noir/issues/5801)) ([c9aa50d](https://github.com/noir-lang/noir/commit/c9aa50dd25887a7e8b903515a0fd290335d1e572)) * Add `Expr::as_let` ([#5964](https://github.com/noir-lang/noir/issues/5964)) ([65da598](https://github.com/noir-lang/noir/commit/65da5983ece16249fa939a493f197d13fbb1f9a4)) * Add `Expr::as_unary` ([#5731](https://github.com/noir-lang/noir/issues/5731)) ([ae33811](https://github.com/noir-lang/noir/commit/ae33811f7ca770b54880d0095c1d5be0ee85c6e4)) * Add `Expr::resolve` and `TypedExpr::as_function_definition` ([#5859](https://github.com/noir-lang/noir/issues/5859)) ([bceee55](https://github.com/noir-lang/noir/commit/bceee55cc3833978d120e194820cfae9132c8006)) * Add `Expr` methods: `as_tuple`, `as_parenthesized`, `as_index`, `as_if` ([#5726](https://github.com/noir-lang/noir/issues/5726)) ([f57a7b2](https://github.com/noir-lang/noir/commit/f57a7b2bd4457cbbfd650c7467d1f96d65ea6c8b)) * Add `Expr` methods: as_comptime, as_unsafe, is_break, is_continue ([#5799](https://github.com/noir-lang/noir/issues/5799)) ([619fa5c](https://github.com/noir-lang/noir/commit/619fa5c0ad115ac910abfc9995a4362271847d59)) * Add `fmtstr::contents` ([#5928](https://github.com/noir-lang/noir/issues/5928)) ([f18e9ca](https://github.com/noir-lang/noir/commit/f18e9ca86c025f736af6e515f812e36fbb622930)) * Add `FunctionDef::body` ([#5825](https://github.com/noir-lang/noir/issues/5825)) ([39b30ba](https://github.com/noir-lang/noir/commit/39b30ba2e9f13d8d99bfb1833e14e294f80773e5)) * Add `FunctionDef::has_named_attribute` ([#5870](https://github.com/noir-lang/noir/issues/5870)) ([a950195](https://github.com/noir-lang/noir/commit/a950195baa9e6ed3880ad1d2f619e442b4c49473)) * Add `FunctionDef::set_return_visibility` ([#5941](https://github.com/noir-lang/noir/issues/5941)) ([8beda6b](https://github.com/noir-lang/noir/commit/8beda6beb10a2e42da788bcc9bf2b375055675c6)) * Add `FunctionDefinition::add_attribute` ([#5944](https://github.com/noir-lang/noir/issues/5944)) ([c7479c4](https://github.com/noir-lang/noir/commit/c7479c4e55f47f7c652f0e202636b9e590d11f5d)) * Add `FunctionDefinition::module` and `StructDefinition::module` ([#5956](https://github.com/noir-lang/noir/issues/5956)) ([f19344c](https://github.com/noir-lang/noir/commit/f19344ca1a6d9ae78cd433864f71705f3381320f)) * Add `FunctionDefinition` methods `is_unconstrained` and `set_unconstrained` ([#5962](https://github.com/noir-lang/noir/issues/5962)) ([b9a072d](https://github.com/noir-lang/noir/commit/b9a072d29c0f4abc4c6c683b9b2a872728d971fa)) * Add `Module::structs` ([#6017](https://github.com/noir-lang/noir/issues/6017)) ([fc5bb02](https://github.com/noir-lang/noir/commit/fc5bb025d7df901050af1d8ad6ebb9283faf641f)) * Add `Quoted::as_expr` and `Expr::as_function_call` ([#5708](https://github.com/noir-lang/noir/issues/5708)) ([3f79607](https://github.com/noir-lang/noir/commit/3f79607002a75880b6e21aadd15dd7e55f15dbfa)) * Add `Quoted::tokens` ([#5942](https://github.com/noir-lang/noir/issues/5942)) ([a297ec6](https://github.com/noir-lang/noir/commit/a297ec643eb3b6c0e8bcf62abdc005414283c7c2)) * Add `std::meta::typ::fresh_type_variable` ([#5948](https://github.com/noir-lang/noir/issues/5948)) ([3dab4dd](https://github.com/noir-lang/noir/commit/3dab4dd771b7d8b9242ce3a9aeff5770f4d85cf6)) * Add `StructDefinition::add_attribute` and `has_named_attribute` ([#5945](https://github.com/noir-lang/noir/issues/5945)) ([344dd5e](https://github.com/noir-lang/noir/commit/344dd5ea7ed551dcc3fd414d1c5f49f44721c28c)) * Add `StructDefinition::add_generic` ([#5961](https://github.com/noir-lang/noir/issues/5961)) ([6004067](https://github.com/noir-lang/noir/commit/6004067e42572c34dd6465e66d36410826e2fd90)) * Add `StructDefinition::name` ([#5960](https://github.com/noir-lang/noir/issues/5960)) ([102ebe3](https://github.com/noir-lang/noir/commit/102ebe33694d65e1024fcba8260ada6f30c49578)) * Add `StructDefinition::set_fields` ([#5931](https://github.com/noir-lang/noir/issues/5931)) ([9d2629d](https://github.com/noir-lang/noir/commit/9d2629dd1bb28a8c2ecb4c33d26119da75d626c2)) * Add `TraitImpl::trait_generic_args` and `TraitImpl::methods` ([#5722](https://github.com/noir-lang/noir/issues/5722)) ([8c7e493](https://github.com/noir-lang/noir/commit/8c7e4937b24e6d782543dd42ac9fc293af550f7c)) * Add `Type::as_string` ([#5871](https://github.com/noir-lang/noir/issues/5871)) ([e29d4b3](https://github.com/noir-lang/noir/commit/e29d4b3646f0527fc01bc4584ee33616db922c72)) * Add `Type::get_trait_impl` ([#5716](https://github.com/noir-lang/noir/issues/5716)) ([eb33d1c](https://github.com/noir-lang/noir/commit/eb33d1cae626244a220e6ceea176be6f5fb1073d)) * Add `Type::implements` ([#5701](https://github.com/noir-lang/noir/issues/5701)) ([2166c94](https://github.com/noir-lang/noir/commit/2166c9441c739ab6a3ee029ed051f1857bd27170)) * Add `TypedExpr::get_type` ([#5992](https://github.com/noir-lang/noir/issues/5992)) ([31f50c4](https://github.com/noir-lang/noir/commit/31f50c442b59eac4de2c5c530278e345bd2f149f)) * Add `UnresolvedType::is_field` and `Expr::as_assign` ([#5804](https://github.com/noir-lang/noir/issues/5804)) ([c45df4e](https://github.com/noir-lang/noir/commit/c45df4e83ab1ff5f6c35c4115aebf317110ee419)) * Add `unsafe` blocks for calling unconstrained code from constrained functions ([#4429](https://github.com/noir-lang/noir/issues/4429)) ([79593b4](https://github.com/noir-lang/noir/commit/79593b4235efc031ed9b95c0b301cef66b4ab88c)) * Add a `panic` method to the stdlib ([#5966](https://github.com/noir-lang/noir/issues/5966)) ([b86c2bc](https://github.com/noir-lang/noir/commit/b86c2bc0ec2712e9c24309a6f5e92afc3ef0a2dc)) * Add array_to_str_lossy ([#5613](https://github.com/noir-lang/noir/issues/5613)) ([af5acf4](https://github.com/noir-lang/noir/commit/af5acf4eb4af38fd346b6365a45d8e7e83899542)) * Add assertions for ACVM `FunctionInput` `bit_size` ([#5864](https://github.com/noir-lang/noir/issues/5864)) ([8712f4c](https://github.com/noir-lang/noir/commit/8712f4c20d23f3809bcfb03f2e3ba0e5ace20a1d)) * Add Expr::as_method_call ([#5822](https://github.com/noir-lang/noir/issues/5822)) ([806af24](https://github.com/noir-lang/noir/commit/806af24e44b3abcc50e552fff0883f2497ba152f)) * Add mutating FunctionDefinition functions ([#5685](https://github.com/noir-lang/noir/issues/5685)) ([2882eae](https://github.com/noir-lang/noir/commit/2882eaeb176988bb3d216d091c0e239f5b80f276)) * Add Not instruction in brillig (https://github.com/AztecProtocol/aztec-packages/pull/8488) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Add recursive aggregation object to proving/verification keys (https://github.com/AztecProtocol/aztec-packages/pull/6770) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Add reusable procedures to brillig generation (https://github.com/AztecProtocol/aztec-packages/pull/7981) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Add some `Module` comptime functions ([#5684](https://github.com/noir-lang/noir/issues/5684)) ([eefd69b](https://github.com/noir-lang/noir/commit/eefd69b1d72a9f5cb2e7bbd3e554925a7670a2f3)) * Added indirect const instruction (https://github.com/AztecProtocol/aztec-packages/pull/8065) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Adding aggregation to honk and rollup (https://github.com/AztecProtocol/aztec-packages/pull/7466) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Allow inserting new structs and into programs from attributes ([#5927](https://github.com/noir-lang/noir/issues/5927)) ([94e661e](https://github.com/noir-lang/noir/commit/94e661e7520d80496bdc9da39b9736bafacb96dc)) * Arithmetic Generics ([#5950](https://github.com/noir-lang/noir/issues/5950)) ([00a79ce](https://github.com/noir-lang/noir/commit/00a79ce6374bb09616ffb6f431cb6c011d786877)) * Automate verify_honk_proof input generation (https://github.com/AztecProtocol/aztec-packages/pull/8092) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * **avm/brillig:** Take addresses in calldatacopy (https://github.com/AztecProtocol/aztec-packages/pull/8388) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * **avm:** Variants for SET opcode (https://github.com/AztecProtocol/aztec-packages/pull/8441) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Better error message for misplaced doc comments ([#5990](https://github.com/noir-lang/noir/issues/5990)) ([28415ef](https://github.com/noir-lang/noir/commit/28415efd2fd8c7b836516b154ab54d65f15fbc23)) * Better println for Quoted ([#5896](https://github.com/noir-lang/noir/issues/5896)) ([6f30e42](https://github.com/noir-lang/noir/commit/6f30e42f8a895c7813e770d6ee9ffbc9977c335b)) * Calculate `FunctionSelector`s and `EventSelector`s during comptime (https://github.com/AztecProtocol/aztec-packages/pull/8354) ([33bd102](https://github.com/noir-lang/noir/commit/33bd102d6021912b56fe880efab65346c3ea9228)) * Change the layout of arrays and vectors to be a single pointer (https://github.com/AztecProtocol/aztec-packages/pull/8448) ([d4832ec](https://github.com/noir-lang/noir/commit/d4832ece9d3ad16544afea49cc7caf40501a2cc3)) * Check argument count and types on attribute function callback ([#5921](https://github.com/noir-lang/noir/issues/5921)) ([91f693d](https://github.com/noir-lang/noir/commit/91f693d81edb1913bf56d2c1038441cec5844646)) * Do not encode assertion strings in the programs (https://github.com/AztecProtocol/aztec-packages/pull/8315) ([4144152](https://github.com/noir-lang/noir/commit/41441527700d7c0fe59769803048a3b285badd77)) * Explicit Associated Types & Constants ([#5739](https://github.com/noir-lang/noir/issues/5739)) ([e050e93](https://github.com/noir-lang/noir/commit/e050e93a963b407dabedf7c236f59c387f787514)) * Extract brillig slice ops to reusable procedures ([#6002](https://github.com/noir-lang/noir/issues/6002)) ([339c17b](https://github.com/noir-lang/noir/commit/339c17bb5253f0d290fa56644a49b2881c9de889)) * Fault-tolerant parsing of `fn` and `impl` ([#5753](https://github.com/noir-lang/noir/issues/5753)) ([d4e2f0a](https://github.com/noir-lang/noir/commit/d4e2f0a30b07a98772fbc321a760641466cc01d1)) * Format trait impl functions ([#6016](https://github.com/noir-lang/noir/issues/6016)) ([da32bd8](https://github.com/noir-lang/noir/commit/da32bd82d749a9c388e970883cc1ea756ce2db6b)) * Hook up secondary calldata column in dsl (https://github.com/AztecProtocol/aztec-packages/pull/7759) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Impl Hash and Eq on more comptime types ([#6022](https://github.com/noir-lang/noir/issues/6022)) ([114903d](https://github.com/noir-lang/noir/commit/114903d6fbcb035b46478db36d696efa99e919d6)) * Implement `str_as_bytes` in the `comptime` interpreter ([#5887](https://github.com/noir-lang/noir/issues/5887)) ([45344bf](https://github.com/noir-lang/noir/commit/45344bfe1148a2f592c2e432744d3fb3d46340cc)) * Implement LSP code action "Implement missing members" ([#6020](https://github.com/noir-lang/noir/issues/6020)) ([9bf2dcb](https://github.com/noir-lang/noir/commit/9bf2dcbf166f9ffd97c369c0de3d95329c850d47)) * Improve "type annotations needed" errors ([#5830](https://github.com/noir-lang/noir/issues/5830)) ([90f9ea0](https://github.com/noir-lang/noir/commit/90f9ea0df7055aa5881a77981c8be7862478c848)) * Let `has_named_attribute` work for built-in attributes ([#6024](https://github.com/noir-lang/noir/issues/6024)) ([a09646b](https://github.com/noir-lang/noir/commit/a09646bde7ae27c1aa423ef56757d2fb8753658a)) * Let `nargo` and LSP work well in the stdlib ([#5969](https://github.com/noir-lang/noir/issues/5969)) ([8e8e97c](https://github.com/noir-lang/noir/commit/8e8e97c68e48245a6c7de9b3a0fe9960a889c47a)) * Liveness analysis for constants (https://github.com/AztecProtocol/aztec-packages/pull/8294) ([71e1556](https://github.com/noir-lang/noir/commit/71e1556717695e1ef80c53d273f7acbdf0d5b4e7)) * LSP auto-import completion ([#5741](https://github.com/noir-lang/noir/issues/5741)) ([cdbb940](https://github.com/noir-lang/noir/commit/cdbb940a883ae32dd84c667ec06b0d155f2d7520)) * LSP autocomplete constructor fields ([#5732](https://github.com/noir-lang/noir/issues/5732)) ([e71c75a](https://github.com/noir-lang/noir/commit/e71c75a0862dda26e5b08318bcec71d5b41ba9e9)) * LSP autocompletion for attributes ([#5963](https://github.com/noir-lang/noir/issues/5963)) ([b7b9e3f](https://github.com/noir-lang/noir/commit/b7b9e3f2212db2b9c3412ddcfd1c40c6200a1740)) * LSP autocompletion for use statement ([#5704](https://github.com/noir-lang/noir/issues/5704)) ([226aeb1](https://github.com/noir-lang/noir/commit/226aeb1400adc6d9028e9ad9f496783606fd9e11)) * LSP code action "Fill struct fields" ([#5885](https://github.com/noir-lang/noir/issues/5885)) ([1e6e4f4](https://github.com/noir-lang/noir/commit/1e6e4f4f53c7d331c054dd84f3fe6064d2e844e3)) * LSP code actions to import or qualify unresolved paths ([#5876](https://github.com/noir-lang/noir/issues/5876)) ([410c1f6](https://github.com/noir-lang/noir/commit/410c1f67ee93634bcfb22b236035d97eee33b0cf)) * LSP completion function detail ([#5993](https://github.com/noir-lang/noir/issues/5993)) ([e84f7d2](https://github.com/noir-lang/noir/commit/e84f7d2e81c1f59e9af015f38c2d477607a9c558)) * LSP completion now works better in the middle of idents ([#5795](https://github.com/noir-lang/noir/issues/5795)) ([1c84038](https://github.com/noir-lang/noir/commit/1c84038e4a1b2515f4f91aca4c833dd3b6c05d91)) * LSP diagnostics for all package files ([#5895](https://github.com/noir-lang/noir/issues/5895)) ([4e616b3](https://github.com/noir-lang/noir/commit/4e616b340d144a615795e37ab87ced1d175188b3)) * LSP diagnostics now have "unnecessary" and "deprecated" tags ([#5878](https://github.com/noir-lang/noir/issues/5878)) ([2f0d4e0](https://github.com/noir-lang/noir/commit/2f0d4e017b701b46b5c675e3b34af15ad6f28823)) * LSP fields, functions and methods completion after "." and "::" ([#5714](https://github.com/noir-lang/noir/issues/5714)) ([13c1fe6](https://github.com/noir-lang/noir/commit/13c1fe686c51b762df71a138b1af474d67da7560)) * LSP hover and go-to-definition for crates ([#5786](https://github.com/noir-lang/noir/issues/5786)) ([86d8840](https://github.com/noir-lang/noir/commit/86d884044ee5bac72af820d623e00e1375271845)) * LSP now suggests self fields and methods ([#5955](https://github.com/noir-lang/noir/issues/5955)) ([f57ce85](https://github.com/noir-lang/noir/commit/f57ce850fdb42a33177638f2f4af1335023c5e62)) * LSP path completion ([#5712](https://github.com/noir-lang/noir/issues/5712)) ([3c6b998](https://github.com/noir-lang/noir/commit/3c6b9982048e168fc86cb834b5e8e72b51d2498d)) * LSP signature help ([#5725](https://github.com/noir-lang/noir/issues/5725)) ([5a3d241](https://github.com/noir-lang/noir/commit/5a3d24192d440c5bfe3749d4bcd8ebbc9cf4902b)) * LSP signature help for assert and assert_eq ([#5862](https://github.com/noir-lang/noir/issues/5862)) ([663e00c](https://github.com/noir-lang/noir/commit/663e00cffcb2cd66ddc2b33c0453afca0e15f703)) * LSP will now suggest private items if they are visible ([#5923](https://github.com/noir-lang/noir/issues/5923)) ([d2caa5b](https://github.com/noir-lang/noir/commit/d2caa5bb86f944d6d09182482bef6e35ca2213d6)) * Make token transfer be recursive (https://github.com/AztecProtocol/aztec-packages/pull/7730) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * **meta:** Comptime keccak ([#5854](https://github.com/noir-lang/noir/issues/5854)) ([0e8becc](https://github.com/noir-lang/noir/commit/0e8becc7bccee2ae4e4e3ef373df08c3e9ef88c9)) * Module attributes ([#5888](https://github.com/noir-lang/noir/issues/5888)) ([2ca2e5c](https://github.com/noir-lang/noir/commit/2ca2e5cf207a2a1f41ca86d877f0288bcbbfd212)) * New test programs for wasm benchmarking (https://github.com/AztecProtocol/aztec-packages/pull/8389) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Note hashes as points (https://github.com/AztecProtocol/aztec-packages/pull/7618) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Only check array bounds in brillig if index is unsafe ([#5938](https://github.com/noir-lang/noir/issues/5938)) ([8b60bbc](https://github.com/noir-lang/noir/commit/8b60bbc8082513e29f6573e5235e0a33fdd1517b)) * **optimization:** Avoid merging identical (by ID) arrays ([#5853](https://github.com/noir-lang/noir/issues/5853)) ([062103e](https://github.com/noir-lang/noir/commit/062103ea039042e8e999b29dbb1fafc3cebd513c)) * **optimization:** Follow past `array_set`s when optimizing `array_get`s ([#5772](https://github.com/noir-lang/noir/issues/5772)) ([090501d](https://github.com/noir-lang/noir/commit/090501dfaf7c569b1aa944856bf68ad663572ae4)) * Optimize constant array handling in brillig_gen (https://github.com/AztecProtocol/aztec-packages/pull/7661) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Optimize to_radix (https://github.com/AztecProtocol/aztec-packages/pull/8073) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Pass calldata ids to the backend (https://github.com/AztecProtocol/aztec-packages/pull/7875) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * **perf:** Mem2reg function state for value loads to optimize across blocks ([#5757](https://github.com/noir-lang/noir/issues/5757)) ([0b297b3](https://github.com/noir-lang/noir/commit/0b297b3830ac26551bfb39fad01d74cd8ab341c3)) * **perf:** Remove known store values that equal the store address in mem2reg ([#5935](https://github.com/noir-lang/noir/issues/5935)) ([b84009c](https://github.com/noir-lang/noir/commit/b84009ca428a5790acf53a6c027146b706170574)) * **perf:** Remove last store in return block if last load is before that store ([#5910](https://github.com/noir-lang/noir/issues/5910)) ([1737b65](https://github.com/noir-lang/noir/commit/1737b656c861706c38b59bd5ef6cd095687a2898)) * **perf:** Simplify poseidon2 cache zero-pad ([#5869](https://github.com/noir-lang/noir/issues/5869)) ([31e9be6](https://github.com/noir-lang/noir/commit/31e9be6b83b448eb6834645dc124589dc724a7b2)) * Poseidon2 gates for Ultra arithmetisation (https://github.com/AztecProtocol/aztec-packages/pull/7494) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * **profiler:** Add support for brillig functions in opcodes-flamegraph (https://github.com/AztecProtocol/aztec-packages/pull/7698) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Remove blocks which consist of only a jump to another block ([#5889](https://github.com/noir-lang/noir/issues/5889)) ([f391af2](https://github.com/noir-lang/noir/commit/f391af2d61f4a38e02cb92c76fa4c2c148af3833)) * Remove unnecessary copying of vector size during reversal ([#5852](https://github.com/noir-lang/noir/issues/5852)) ([5739904](https://github.com/noir-lang/noir/commit/5739904f8d9e6c00d9e140cd4926b4d149412476)) * Removing superfluous call to MSM (https://github.com/AztecProtocol/aztec-packages/pull/7708) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Report gates and VKs of private protocol circuits with megahonk (https://github.com/AztecProtocol/aztec-packages/pull/7722) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Return arrays instead of slices from `to_be_radix` functions ([#5851](https://github.com/noir-lang/noir/issues/5851)) ([d59c708](https://github.com/noir-lang/noir/commit/d59c7087495f8af0dfb387dc587ecc422888096b)) * Show backtrace on comptime assertion failures ([#5842](https://github.com/noir-lang/noir/issues/5842)) ([cfd68d4](https://github.com/noir-lang/noir/commit/cfd68d4c1bd1a2319698fca99d200a5d86ffa771)) * Show doc comments in LSP ([#5968](https://github.com/noir-lang/noir/issues/5968)) ([45f4ae0](https://github.com/noir-lang/noir/commit/45f4ae09ca5fa5516e13c34c2ae9379077461cc9)) * Simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` ([#5140](https://github.com/noir-lang/noir/issues/5140)) ([2823ba7](https://github.com/noir-lang/noir/commit/2823ba7242db788ca1d7f6e7a48be2f1de62f278)) * Small optimization in toradix (https://github.com/AztecProtocol/aztec-packages/pull/8040) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Suggest trait methods in LSP completion ([#5735](https://github.com/noir-lang/noir/issues/5735)) ([e2f7e95](https://github.com/noir-lang/noir/commit/e2f7e950c44883228d5e1230b04c83e479de7ed0)) * Suggest tuple fields in LSP completion ([#5730](https://github.com/noir-lang/noir/issues/5730)) ([64d7d78](https://github.com/noir-lang/noir/commit/64d7d786ad2ddf0942690912cf05ca3b438c43be)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7743) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7862) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7945) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7958) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8008) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8093) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8125) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8237) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8314) ([4144152](https://github.com/noir-lang/noir/commit/41441527700d7c0fe59769803048a3b285badd77)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8333) ([33bd102](https://github.com/noir-lang/noir/commit/33bd102d6021912b56fe880efab65346c3ea9228)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8423) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8435) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8466) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8482) ([d4832ec](https://github.com/noir-lang/noir/commit/d4832ece9d3ad16544afea49cc7caf40501a2cc3)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8512) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8526) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * TXE nr deployments, dependency cleanup for CLI (https://github.com/AztecProtocol/aztec-packages/pull/7548) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Unify all acir recursion constraints based on RecursionConstraint and proof_type (https://github.com/AztecProtocol/aztec-packages/pull/7993) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Unquote some value as tokens, not as unquote markers ([#5924](https://github.com/noir-lang/noir/issues/5924)) ([70ebb90](https://github.com/noir-lang/noir/commit/70ebb905da23a0541915a8f6883d6f530934be4e)) * Use visibility ([#5856](https://github.com/noir-lang/noir/issues/5856)) ([e349f30](https://github.com/noir-lang/noir/commit/e349f30b60a473e2068afafb6fae4a4ea50d185b)) * Use Zac's quicksort algorithm in stdlib sorting ([#5940](https://github.com/noir-lang/noir/issues/5940)) ([19f5757](https://github.com/noir-lang/noir/commit/19f5757a64c15a6b5a9478eceedb17c02d2351d7)) * User `super::` in LSP autocompletion if possible ([#5751](https://github.com/noir-lang/noir/issues/5751)) ([5192e53](https://github.com/noir-lang/noir/commit/5192e537708fc9ec51f53bb6a6629c9d682532d5)) * Warn on unused functions ([#5892](https://github.com/noir-lang/noir/issues/5892)) ([af3db4b](https://github.com/noir-lang/noir/commit/af3db4bf2e8f7feba6d06c3095d7cdf17c8dde75)) * Warn on unused imports ([#5847](https://github.com/noir-lang/noir/issues/5847)) ([58f855e](https://github.com/noir-lang/noir/commit/58f855ec2124db39e5b2b08630d514d852d0e7df)) ### Bug Fixes * (LSP) only add cached files relevant to workspace ([#5775](https://github.com/noir-lang/noir/issues/5775)) ([1958a79](https://github.com/noir-lang/noir/commit/1958a7932642e2fa556a903a3186b142a70e3e48)) * **acir_gen:** Nested dynamic array initialization ([#5810](https://github.com/noir-lang/noir/issues/5810)) ([4df53ad](https://github.com/noir-lang/noir/commit/4df53adfd0c5e2da70462b29fbf8d08e32203fc4)) * **acvm:** Clear ACIR call stack after successful circuit execution ([#5783](https://github.com/noir-lang/noir/issues/5783)) ([656a7d6](https://github.com/noir-lang/noir/commit/656a7d6c1e0c3597a61c3606e3155a70032c1599)) * Add locations to most SSA instructions ([#5697](https://github.com/noir-lang/noir/issues/5697)) ([85d5c85](https://github.com/noir-lang/noir/commit/85d5c8532acb21c39f3db466982039d1415d9300)) * Add missing trait impls for integer types to stdlib ([#5738](https://github.com/noir-lang/noir/issues/5738)) ([d3f20c6](https://github.com/noir-lang/noir/commit/d3f20c6f830a84fce9d75ce3fe28e31b391b47ab)) * Allow comptime code to use break without also being `unconstrained` ([#5744](https://github.com/noir-lang/noir/issues/5744)) ([c2a1a87](https://github.com/noir-lang/noir/commit/c2a1a87a6bcfc161ef5f550a17b603b0bccbab8e)) * Always place module attribute generated items inside module ([#5943](https://github.com/noir-lang/noir/issues/5943)) ([89ac6e0](https://github.com/noir-lang/noir/commit/89ac6e087debc37dcc729db0b68062418cd64d2e)) * Bit shifting type checking ([#5824](https://github.com/noir-lang/noir/issues/5824)) ([fb5136e](https://github.com/noir-lang/noir/commit/fb5136edda4b5b8ac6bba998939c94f11a27a59a)) * Check unused generics are bound ([#5840](https://github.com/noir-lang/noir/issues/5840)) ([82eb158](https://github.com/noir-lang/noir/commit/82eb1581251faa9716d762a673fa1b871b3e7be2)) * Collect functions generated by attributes ([#5930](https://github.com/noir-lang/noir/issues/5930)) ([2c22fe5](https://github.com/noir-lang/noir/commit/2c22fe555dc41fffc623026b4b8c57d44b869cd2)) * Correctly print string tokens ([#6021](https://github.com/noir-lang/noir/issues/6021)) ([b8a3a9b](https://github.com/noir-lang/noir/commit/b8a3a9b03f83bba486d2623640f97f1a080f2d73)) * **debugger:** Update the debugger to handle the new Brillig debug metadata format ([#5706](https://github.com/noir-lang/noir/issues/5706)) ([a31f82e](https://github.com/noir-lang/noir/commit/a31f82e598def60d00c65b79b8c5411f8aa832aa)) * Deflatten databus visibilities (https://github.com/AztecProtocol/aztec-packages/pull/7761) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Do not duplicate redundant Brillig debug metadata ([#5696](https://github.com/noir-lang/noir/issues/5696)) ([e4f7dbe](https://github.com/noir-lang/noir/commit/e4f7dbe63b55807b3ff0b4d6f47a8b7f847299fb)) * Do not use predicate for index in array operation, when the index is safe ([#5779](https://github.com/noir-lang/noir/issues/5779)) ([9d8f2bd](https://github.com/noir-lang/noir/commit/9d8f2bd759837d7f1f78c1b56b8e30de35c80867)) * **docs:** Fix file paths for metaprogramming docs ([#5826](https://github.com/noir-lang/noir/issues/5826)) ([a764c5b](https://github.com/noir-lang/noir/commit/a764c5be9b15e499e0720f28a1a177bfecbef352)) * Error when `quote` is used in runtime code ([#5978](https://github.com/noir-lang/noir/issues/5978)) ([cc30d88](https://github.com/noir-lang/noir/commit/cc30d88d85bb70248e452d9ec549d6dfe6be62ff)) * Error when comptime functions are used in runtime code ([#5976](https://github.com/noir-lang/noir/issues/5976)) ([ec24917](https://github.com/noir-lang/noir/commit/ec24917bfda55746c7509dd28f8d808f97c948b8)) * Error when comptime types are used in runtime code ([#5987](https://github.com/noir-lang/noir/issues/5987)) ([3d39196](https://github.com/noir-lang/noir/commit/3d39196040aa01e64c8a7fe989e2979a5de80023)) * Error when mutating comptime variables in non-comptime code ([#6003](https://github.com/noir-lang/noir/issues/6003)) ([e20c44d](https://github.com/noir-lang/noir/commit/e20c44dcb21edd3ec2bbc015d85754872e86740e)) * Export brillig names in contract functions (https://github.com/AztecProtocol/aztec-packages/pull/8212) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Fix some mistakes in arithmetic generics docs ([#5999](https://github.com/noir-lang/noir/issues/5999)) ([29550d1](https://github.com/noir-lang/noir/commit/29550d1d7698a1af65b867171ff80e817f3ed2f6)) * Fix using lazily elaborated comptime globals ([#5995](https://github.com/noir-lang/noir/issues/5995)) ([f6f493c](https://github.com/noir-lang/noir/commit/f6f493cb73e24337a7f11507b2b492d98cac2ada)) * **frontend:** Ban type vars bound to a reference from passing the unconstrained boundary ([#5949](https://github.com/noir-lang/noir/issues/5949)) ([ce34fbd](https://github.com/noir-lang/noir/commit/ce34fbd19702b71426563a589235a2c5a1efb265)) * **frontend:** Continue type check if we are missing an unsafe block ([#5720](https://github.com/noir-lang/noir/issues/5720)) ([86de991](https://github.com/noir-lang/noir/commit/86de991051a34567077076aa09a85b26eeff2ab2)) * Handle multiple entry points for Brillig call stack resolution after metadata deduplication ([#5788](https://github.com/noir-lang/noir/issues/5788)) ([38fe9dd](https://github.com/noir-lang/noir/commit/38fe9dda111952fdb894df90a319c087382edfc9)) * Help link was outdated ([#6004](https://github.com/noir-lang/noir/issues/6004)) ([d1e52f3](https://github.com/noir-lang/noir/commit/d1e52f3f3824ead1fd617fc21fcbe1051911986d)) * Honor function visibility in LSP completion ([#5809](https://github.com/noir-lang/noir/issues/5809)) ([335de05](https://github.com/noir-lang/noir/commit/335de054dfcda366df50cc215900910ebdc8be63)) * Let `derive(Eq)` work for empty structs ([#5965](https://github.com/noir-lang/noir/issues/5965)) ([ff8e8b5](https://github.com/noir-lang/noir/commit/ff8e8b5fae4db57bd7f819d0e23c68262057b790)) * Let LSP autocompletion work in more contexts ([#5719](https://github.com/noir-lang/noir/issues/5719)) ([03ba6dd](https://github.com/noir-lang/noir/commit/03ba6dd328d56bf71c9e2b501c59eb9a6cdb95db)) * LSP document symbol didn't work for primitive impls ([#5970](https://github.com/noir-lang/noir/issues/5970)) ([e1f81da](https://github.com/noir-lang/noir/commit/e1f81da1d8cfcc9cfe3d1bd2ed6f762580800ad9)) * **mem2reg:** Handle aliases better when setting a known value for a load ([#5959](https://github.com/noir-lang/noir/issues/5959)) ([1b72a17](https://github.com/noir-lang/noir/commit/1b72a17e621465ac1dfaaf8948edcebd4f1b0b15)) * **mem2reg:** Handle aliases in function last store cleanup and additional alias unit test ([#5967](https://github.com/noir-lang/noir/issues/5967)) ([36756e8](https://github.com/noir-lang/noir/commit/36756e8757ad40e2b231747ed754273f50e5dc2f)) * **nargo:** Resolve Brillig assertion payloads ([#5872](https://github.com/noir-lang/noir/issues/5872)) ([f53a28b](https://github.com/noir-lang/noir/commit/f53a28bd3e70e9331e01f1fec4984e747723df74)) * Prevent comptime println from crashing LSP ([#5918](https://github.com/noir-lang/noir/issues/5918)) ([44cf9a2](https://github.com/noir-lang/noir/commit/44cf9a2140bc06b550d4b46966f1637598ac11a7)) * Replace unused ArrayGet/Set with constrain if possibly out of bounds ([#5691](https://github.com/noir-lang/noir/issues/5691)) ([a87d926](https://github.com/noir-lang/noir/commit/a87d92629c49c91d47685dba9a2a6dce4440756d)) * Restrict keccak256_injective test input to 8 bits ([#5977](https://github.com/noir-lang/noir/issues/5977)) ([a1b1346](https://github.com/noir-lang/noir/commit/a1b1346bf7525c508fd390393c307475cc2345d7)) * **sha256:** Add extra checks against message size when constructing msg blocks ([#5861](https://github.com/noir-lang/noir/issues/5861)) ([46e266a](https://github.com/noir-lang/noir/commit/46e266a5229dada42ee397beb0d39322451b1458)) * **sha256:** Fix upper bound when building msg block and delay final block compression under certain cases ([#5838](https://github.com/noir-lang/noir/issues/5838)) ([130b7b6](https://github.com/noir-lang/noir/commit/130b7b6871ad165a75df5fa5760c94a7402521f4)) * **sha256:** Perform compression per block and utilize ROM instead of RAM when setting up the message block ([#5760](https://github.com/noir-lang/noir/issues/5760)) ([c52dc1c](https://github.com/noir-lang/noir/commit/c52dc1c77aedf5a876a858cc5a942c29e868e9e6)) * Suggest trait attributes in LSP ([#5972](https://github.com/noir-lang/noir/issues/5972)) ([d6f60d7](https://github.com/noir-lang/noir/commit/d6f60d70dc41640ad84f7a968927b20818bcaf2a)) * Support debug comptime flag for attributes ([#5929](https://github.com/noir-lang/noir/issues/5929)) ([34f21c0](https://github.com/noir-lang/noir/commit/34f21c0eadfc8a03f5177d72de7958903de8ac98)) * Temporary register leaks in brillig gen (https://github.com/AztecProtocol/aztec-packages/pull/8350) ([33bd102](https://github.com/noir-lang/noir/commit/33bd102d6021912b56fe880efab65346c3ea9228)) * Try to move constant terms to one side for arithmetic generics ([#6008](https://github.com/noir-lang/noir/issues/6008)) ([4d8fe28](https://github.com/noir-lang/noir/commit/4d8fe28f6d0930b6e9cfe0d39dd003466b20b8b6)) * Unconstrained fn mismatch is now a warning ([#5764](https://github.com/noir-lang/noir/issues/5764)) ([37af966](https://github.com/noir-lang/noir/commit/37af966024d5eb38eae5092a7976445e4bbe8adb)) * Use element_size() instead of computing it with division ([#5939](https://github.com/noir-lang/noir/issues/5939)) ([6a45007](https://github.com/noir-lang/noir/commit/6a450076be2889c05428ea1285c5c149cfaf4456)) * Use module name as line after which we'll insert auto-import ([#6025](https://github.com/noir-lang/noir/issues/6025)) ([c2e4a9a](https://github.com/noir-lang/noir/commit/c2e4a9a02c0138f6a8878f51291320ba7e57c79c)) </details> <details><summary>0.50.0</summary> ## [0.50.0](https://github.com/noir-lang/noir/compare/v0.49.0...v0.50.0) (2024-09-13) ### ⚠ BREAKING CHANGES * Add Not instruction in brillig (https://github.com/AztecProtocol/aztec-packages/pull/8488) * **avm:** variants for SET opcode (https://github.com/AztecProtocol/aztec-packages/pull/8441) * **avm/brillig:** take addresses in calldatacopy (https://github.com/AztecProtocol/aztec-packages/pull/8388) * constant inputs for blackbox (https://github.com/AztecProtocol/aztec-packages/pull/7222) * add session id to foreign call RPC requests ([#5205](https://github.com/noir-lang/noir/issues/5205)) * restrict noir word size to u32 ([#5180](https://github.com/noir-lang/noir/issues/5180)) ### Features * (bb) 128-bit challenges (https://github.com/AztecProtocol/aztec-packages/pull/8406) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * **acir_gen:** Width aware ACIR gen addition ([#5493](https://github.com/noir-lang/noir/issues/5493)) ([85fa592](https://github.com/noir-lang/noir/commit/85fa592fdef3b8589ce03b232e1b51565837b540)) * Add assertions for ACVM `FunctionInput` `bit_size` ([#5864](https://github.com/noir-lang/noir/issues/5864)) ([8712f4c](https://github.com/noir-lang/noir/commit/8712f4c20d23f3809bcfb03f2e3ba0e5ace20a1d)) * Add Not instruction in brillig (https://github.com/AztecProtocol/aztec-packages/pull/8488) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Add recursive aggregation object to proving/verification keys (https://github.com/AztecProtocol/aztec-packages/pull/6770) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Add reusable procedures to brillig generation (https://github.com/AztecProtocol/aztec-packages/pull/7981) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Add session id to foreign call RPC requests ([#5205](https://github.com/noir-lang/noir/issues/5205)) ([14adafc](https://github.com/noir-lang/noir/commit/14adafc965fa9c833e096ec037e086aae67703ad)) * Added indirect const instruction (https://github.com/AztecProtocol/aztec-packages/pull/8065) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Adding aggregation to honk and rollup (https://github.com/AztecProtocol/aztec-packages/pull/7466) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Automate verify_honk_proof input generation (https://github.com/AztecProtocol/aztec-packages/pull/8092) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * **avm/brillig:** Take addresses in calldatacopy (https://github.com/AztecProtocol/aztec-packages/pull/8388) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * **avm:** Variants for SET opcode (https://github.com/AztecProtocol/aztec-packages/pull/8441) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Avoid heap allocs when going to/from field (https://github.com/AztecProtocol/aztec-packages/pull/7547) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Change the layout of arrays and vectors to be a single pointer (https://github.com/AztecProtocol/aztec-packages/pull/8448) ([d4832ec](https://github.com/noir-lang/noir/commit/d4832ece9d3ad16544afea49cc7caf40501a2cc3)) * Constant inputs for blackbox (https://github.com/AztecProtocol/aztec-packages/pull/7222) ([fb97bb9](https://github.com/noir-lang/noir/commit/fb97bb9b795c9d7af395b82fd6f0ea8111d59c11)) * Hook up secondary calldata column in dsl (https://github.com/AztecProtocol/aztec-packages/pull/7759) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Integrate new proving systems in e2e (https://github.com/AztecProtocol/aztec-packages/pull/6971) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Make Brillig do integer arithmetic operations using u128 instead of Bigint (https://github.com/AztecProtocol/aztec-packages/pull/7518) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Make token transfer be recursive (https://github.com/AztecProtocol/aztec-packages/pull/7730) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * **nargo:** Hidden option to show contract artifact paths written by `nargo compile` (https://github.com/AztecProtocol/aztec-packages/pull/6131) ([ff67e14](https://github.com/noir-lang/noir/commit/ff67e145d086bf6fdf58fb5e57927033e52e03d3)) * New test programs for wasm benchmarking (https://github.com/AztecProtocol/aztec-packages/pull/8389) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Note hashes as points (https://github.com/AztecProtocol/aztec-packages/pull/7618) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Optimize constant array handling in brillig_gen (https://github.com/AztecProtocol/aztec-packages/pull/7661) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Optimize to_radix (https://github.com/AztecProtocol/aztec-packages/pull/8073) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Pass calldata ids to the backend (https://github.com/AztecProtocol/aztec-packages/pull/7875) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Poseidon2 gates for Ultra arithmetisation (https://github.com/AztecProtocol/aztec-packages/pull/7494) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * **profiler:** Add support for brillig functions in opcodes-flamegraph (https://github.com/AztecProtocol/aztec-packages/pull/7698) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Removing superfluous call to MSM (https://github.com/AztecProtocol/aztec-packages/pull/7708) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Report gates and VKs of private protocol circuits with megahonk (https://github.com/AztecProtocol/aztec-packages/pull/7722) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Restrict noir word size to u32 ([#5180](https://github.com/noir-lang/noir/issues/5180)) ([bdb2bc6](https://github.com/noir-lang/noir/commit/bdb2bc608ea8fd52d46545a38b68dd2558b28110)) * Separate runtimes of SSA functions before inlining ([#5121](https://github.com/noir-lang/noir/issues/5121)) ([69eca9b](https://github.com/noir-lang/noir/commit/69eca9b8671fa54192bef814dd584fdb5387a5f7)) * Simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` ([#5140](https://github.com/noir-lang/noir/issues/5140)) ([2823ba7](https://github.com/noir-lang/noir/commit/2823ba7242db788ca1d7f6e7a48be2f1de62f278)) * Small optimization in toradix (https://github.com/AztecProtocol/aztec-packages/pull/8040) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7392) ([fb97bb9](https://github.com/noir-lang/noir/commit/fb97bb9b795c9d7af395b82fd6f0ea8111d59c11)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7400) ([fb97bb9](https://github.com/noir-lang/noir/commit/fb97bb9b795c9d7af395b82fd6f0ea8111d59c11)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7432) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7444) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7454) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7512) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7577) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7583) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7743) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7862) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7945) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7958) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8008) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8093) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8125) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8237) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8423) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8435) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8466) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8482) ([d4832ec](https://github.com/noir-lang/noir/commit/d4832ece9d3ad16544afea49cc7caf40501a2cc3)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8512) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8526) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * TXE nr deployments, dependency cleanup for CLI (https://github.com/AztecProtocol/aztec-packages/pull/7548) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Typing return values of embedded_curve_ops (https://github.com/AztecProtocol/aztec-packages/pull/7413) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Unify all acir recursion constraints based on RecursionConstraint and proof_type (https://github.com/AztecProtocol/aztec-packages/pull/7993) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) ### Bug Fixes * Add support for nested arrays returned by oracles ([#5132](https://github.com/noir-lang/noir/issues/5132)) ([f846879](https://github.com/noir-lang/noir/commit/f846879dd038328bd0a1d39a72b448ef52a1002b)) * Add trailing extra arguments for backend in gates_flamegraph (https://github.com/AztecProtocol/aztec-packages/pull/7472) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Avoid unnecessarily splitting expressions with multiplication terms with a shared term ([#5291](https://github.com/noir-lang/noir/issues/5291)) ([19884f1](https://github.com/noir-lang/noir/commit/19884f161dfc7d7ce75dd2c404b8ef39cdad2240)) * **debugger:** Update the debugger to handle the new Brillig debug metadata format ([#5706](https://github.com/noir-lang/noir/issues/5706)) ([a31f82e](https://github.com/noir-lang/noir/commit/a31f82e598def60d00c65b79b8c5411f8aa832aa)) * Deflatten databus visibilities (https://github.com/AztecProtocol/aztec-packages/pull/7761) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Do not duplicate redundant Brillig debug metadata ([#5696](https://github.com/noir-lang/noir/issues/5696)) ([e4f7dbe](https://github.com/noir-lang/noir/commit/e4f7dbe63b55807b3ff0b4d6f47a8b7f847299fb)) * Export brillig names in contract functions (https://github.com/AztecProtocol/aztec-packages/pull/8212) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Handle multiple entry points for Brillig call stack resolution after metadata deduplication ([#5788](https://github.com/noir-lang/noir/issues/5788)) ([38fe9dd](https://github.com/noir-lang/noir/commit/38fe9dda111952fdb894df90a319c087382edfc9)) * Handle struct with nested arrays in oracle return values ([#5244](https://github.com/noir-lang/noir/issues/5244)) ([a30814f](https://github.com/noir-lang/noir/commit/a30814f1f767bf874cd7e2969f5061c68f16b9a7)) * Move BigInt modulus checks to runtime in brillig ([#5374](https://github.com/noir-lang/noir/issues/5374)) ([741d339](https://github.com/noir-lang/noir/commit/741d33991f8e2918bf092c354ca56047e0274533)) * Restrict keccak256_injective test input to 8 bits ([#5977](https://github.com/noir-lang/noir/issues/5977)) ([a1b1346](https://github.com/noir-lang/noir/commit/a1b1346bf7525c508fd390393c307475cc2345d7)) * Revert "feat: Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7512)" (https://github.com/AztecProtocol/aztec-packages/pull/7558) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Runtime brillig bigint id assignment ([#5369](https://github.com/noir-lang/noir/issues/5369)) ([a8928dd](https://github.com/noir-lang/noir/commit/a8928ddcffcae15babf7aa5aff0e462e4549552e)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please). --------- Co-authored-by: Tom French <[email protected]>

🤖 I have created a release *beep* *boop* --- <details><summary>0.35.0</summary> ## [0.35.0](v0.34.0...v0.35.0) (2024-10-03) ### ⚠ BREAKING CHANGES * Syncing TypeVariableKind with Kind ([#6094](#6094)) * remove sha256 opcode (AztecProtocol/aztec-packages#4571) * add support for u1 in the avm, ToRadix's radix arg is a memory addr (AztecProtocol/aztec-packages#8570) * Infer globals to be u32 when used in a type ([#6083](#6083)) * removing implicit numeric generics ([#5837](#5837)) ### Features * (LSP) if in runtime code, always suggest functions that return Quoted as macro calls ([#6098](#6098)) ([4a160cb](4a160cb)) * (LSP) remove unused imports ([#6129](#6129)) ([98bc460](98bc460)) * (LSP) show global value on hover ([#6097](#6097)) ([3d9d072](3d9d072)) * (LSP) suggest $vars inside `quote { ... }` ([#6114](#6114)) ([73245b3](73245b3)) * Add `Expr::as_constructor` ([#5980](#5980)) ([76dea7b](76dea7b)) * Add `Expr::as_for` and `Expr::as_for_range` ([#6039](#6039)) ([abcae75](abcae75)) * Add `Expr::as_lambda` ([#6048](#6048)) ([31130dc](31130dc)) * Add a `comptime` string type for string handling at compile-time ([#6026](#6026)) ([5d2984f](5d2984f)) * Add support for u1 in the avm, ToRadix's radix arg is a memory addr (AztecProtocol/aztec-packages#8570) ([e8bbce7](e8bbce7)) * Allow silencing an unused variable defined via `let` ([#6149](#6149)) ([a2bc059](a2bc059)) * Allow visibility modifiers in struct definitions ([#6054](#6054)) ([199be58](199be58)) * Check unconstrained trait impl method matches ([#6057](#6057)) ([aedc983](aedc983)) * Default to outputting witness with file named after package ([#6031](#6031)) ([e74b4ae](e74b4ae)) * Detect unconstructed structs ([#6061](#6061)) ([bcb438b](bcb438b)) * Do not double error on import with error ([#6131](#6131)) ([9b26650](9b26650)) * Expose `derived_generators` and `pedersen_commitment_with_separator` from the stdlib ([#6154](#6154)) ([877b806](877b806)) * Faster LSP by caching file managers ([#6047](#6047)) ([c48a4f8](c48a4f8)) * Hoist constant allocation outside of loops ([#6158](#6158)) ([180bfc9](180bfc9)) * Implement `to_be_radix` in the comptime interpreter ([#6043](#6043)) ([1550278](1550278)) * Implement solver for mov_registers_to_registers ([#6089](#6089)) ([4170c55](4170c55)) * Implement type paths ([#6093](#6093)) ([2174ffb](2174ffb)) * Let `Module::functions` and `Module::structs` return them in definition order ([#6178](#6178)) ([dec9874](dec9874)) * Let LSP suggest macro calls too ([#6090](#6090)) ([26d275b](26d275b)) * Let LSP suggest trait impl methods as you are typing them ([#6029](#6029)) ([dfed81b](dfed81b)) * LSP autocompletion for `TypePath` ([#6117](#6117)) ([3f79d8f](3f79d8f)) * **metaprogramming:** Add `#[use_callers_scope]` ([#6050](#6050)) ([8c34046](8c34046)) * Optimize allocating immediate amounts of memory (AztecProtocol/aztec-packages#8579) ([e8bbce7](e8bbce7)) * Optimize constraints in sha256 ([#6145](#6145)) ([164d29e](164d29e)) * **perf:** Allow array set last uses optimization in return block of Brillig functions ([#6119](#6119)) ([5598059](5598059)) * **perf:** Handle array set optimization across blocks for Brillig functions ([#6153](#6153)) ([12cb80a](12cb80a)) * **perf:** Optimize array set from get ([#6207](#6207)) ([dfeb1c5](dfeb1c5)) * **perf:** Remove inc_rc instructions for arrays which are never mutably borrowed ([#6168](#6168)) ([a195442](a195442)) * **perf:** Remove redundant inc rc without instructions between ([#6183](#6183)) ([be9dcfe](be9dcfe)) * **perf:** Remove unused loads in mem2reg and last stores per function ([#5925](#5925)) ([19eef30](19eef30)) * **perf:** Remove useless paired RC instructions within a block during DIE ([#6160](#6160)) ([59c4118](59c4118)) * **perf:** Simplify the cfg after DIE ([#6184](#6184)) ([a1b5046](a1b5046)) * Pretty print Quoted token stream ([#6111](#6111)) ([cd81f85](cd81f85)) * Refactor SSA passes to run on individual functions ([#6072](#6072)) ([85c502c](85c502c)) * Remove aztec macros ([#6087](#6087)) ([9d96207](9d96207)) * Remove orphaned blocks from cfg to improve `simplify_cfg` pass. ([#6198](#6198)) ([b4712c5](b4712c5)) * Remove sha256 opcode (AztecProtocol/aztec-packages#4571) ([e8bbce7](e8bbce7)) * Remove unnecessary branching in keccak impl ([#6133](#6133)) ([9c69dce](9c69dce)) * Represent assertions more similarly to function calls ([#6103](#6103)) ([3ecd0e2](3ecd0e2)) * Show test output when running via LSP ([#6049](#6049)) ([9fb010e](9fb010e)) * Simplify sha256 implementation ([#6142](#6142)) ([acdfbbc](acdfbbc)) * Skip `remove_enable_side_effects` pass on brillig functions ([#6199](#6199)) ([2303615](2303615)) * **ssa:** Simplify signed casts ([#6166](#6166)) ([eec3a61](eec3a61)) * Swap endianness in-place in keccak implementation ([#6128](#6128)) ([e3cdebe](e3cdebe)) * Syncing TypeVariableKind with Kind ([#6094](#6094)) ([6440e18](6440e18)) * Visibility for globals ([#6161](#6161)) ([103b54d](103b54d)) * Visibility for modules ([#6165](#6165)) ([fcdbcb9](fcdbcb9)) * Visibility for traits ([#6056](#6056)) ([5bbd9ba](5bbd9ba)) * Visibility for type aliases ([#6058](#6058)) ([66d2a07](66d2a07)) ### Bug Fixes * (LSP) make goto and hover work well for attributes ([#6152](#6152)) ([c679bc6](c679bc6)) * Allow macros to change types on each iteration of a comptime loop ([#6105](#6105)) ([0864e7c](0864e7c)) * Allow providing default implementations of unconstrained trait methods ([#6138](#6138)) ([7679bbc](7679bbc)) * Always parse all tokens from quoted token streams ([#6064](#6064)) ([23ed74b](23ed74b)) * Be more lenient with semicolons on interned expressions ([#6062](#6062)) ([052c4fe](052c4fe)) * Consider constants as used values to keep their rc ops ([#6122](#6122)) ([1217005](1217005)) * Correct stack trace order in comptime assertion failures ([#6066](#6066)) ([04f1636](04f1636)) * Databus panic for fns with empty params (AztecProtocol/aztec-packages#8847) ([d252748](d252748)) * Decode databus return values ([#6095](#6095)) ([c40eb1f](c40eb1f)) * Disable side-effects for no_predicates functions ([#6027](#6027)) ([fc74c55](fc74c55)) * Disambiguate field or int static trait method call ([#6112](#6112)) ([5b27ea4](5b27ea4)) * Do not duplicate constant arrays in brillig ([#6155](#6155)) ([68f3022](68f3022)) * **docs:** Rename recursion.md to recursion.mdx ([#6195](#6195)) ([054e48b](054e48b)) * Don't crash on untyped global used as array length ([#6076](#6076)) ([426f295](426f295)) * Ensure to_bytes returns the canonical decomposition ([#6084](#6084)) ([b280a79](b280a79)) * Error on `&mut x` when `x` is not mutable ([#6037](#6037)) ([57afc7d](57afc7d)) * Fix canonicalization bug ([#6033](#6033)) ([7397772](7397772)) * Fix comptime type formatting ([#6079](#6079)) ([e678091](e678091)) * Handle multi-byte utf8 characters in formatter ([#6118](#6118)) ([b1d0619](b1d0619)) * Handle parenthesized expressions in array length ([#6132](#6132)) ([9f0b397](9f0b397)) * Ignore compression of blocks after msg.len in sha256_var ([#6206](#6206)) ([76eec71](76eec71)) * Infer globals to be u32 when used in a type ([#6083](#6083)) ([78262c9](78262c9)) * Initialise databus using return values ([#6074](#6074)) ([e17dfa5](e17dfa5)) * Let LSP suggest fields and methods in LValue chains ([#6051](#6051)) ([5bf6567](5bf6567)) * Let token pretty printer handle `+=` and similar token sequences ([#6135](#6135)) ([684b6cc](684b6cc)) * **mem2reg:** Remove possibility of underflow ([#6107](#6107)) ([aea5cc7](aea5cc7)) * Parse a statement as an expression ([#6040](#6040)) ([ab203e4](ab203e4)) * Pass radix directly to the blackbox ([#6164](#6164)) ([82b89c4](82b89c4)) * Preserve generic kind on trait methods ([#6099](#6099)) ([1df102a](1df102a)) * Prevent check_can_mutate crashing on undefined variable ([#6044](#6044)) ([b3accfc](b3accfc)) * Revert mistaken stack size change ([#6212](#6212)) ([a37117a](a37117a)) * **ssa:** Check if result of array set is used in value of another array set ([#6197](#6197)) ([594ec91](594ec91)) * **ssa:** RC correctness issue ([#6134](#6134)) ([5b1c896](5b1c896)) * Type variables by default should have Any kind ([#6203](#6203)) ([268f2a0](268f2a0)) * Unify macro result type with actual type ([#6086](#6086)) ([af52873](af52873)) * Update databus in flattening ([#6063](#6063)) ([e993da1](e993da1)) ### Miscellaneous Chores * Removing implicit numeric generics ([#5837](#5837)) ([eda9043](eda9043)) </details> <details><summary>0.51.0</summary> ## [0.51.0](v0.50.0...v0.51.0) (2024-10-03) ### ⚠ BREAKING CHANGES * remove sha256 opcode (AztecProtocol/aztec-packages#4571) * add support for u1 in the avm, ToRadix's radix arg is a memory addr (AztecProtocol/aztec-packages#8570) * Add Not instruction in brillig (AztecProtocol/aztec-packages#8488) * **avm:** variants for SET opcode (AztecProtocol/aztec-packages#8441) * **avm/brillig:** take addresses in calldatacopy (AztecProtocol/aztec-packages#8388) * constant inputs for blackbox (AztecProtocol/aztec-packages#7222) ### Features * (bb) 128-bit challenges (AztecProtocol/aztec-packages#8406) ([3c3ed1e](3c3ed1e)) * **acir_gen:** Width aware ACIR gen addition ([#5493](#5493)) ([85fa592](85fa592)) * Add assertions for ACVM `FunctionInput` `bit_size` ([#5864](#5864)) ([8712f4c](8712f4c)) * Add Not instruction in brillig (AztecProtocol/aztec-packages#8488) ([95e19ab](95e19ab)) * Add recursive aggregation object to proving/verification keys (AztecProtocol/aztec-packages#6770) ([4ea25db](4ea25db)) * Add reusable procedures to brillig generation (AztecProtocol/aztec-packages#7981) ([5c4f19f](5c4f19f)) * Add support for u1 in the avm, ToRadix's radix arg is a memory addr (AztecProtocol/aztec-packages#8570) ([e8bbce7](e8bbce7)) * Added indirect const instruction (AztecProtocol/aztec-packages#8065) ([5c4f19f](5c4f19f)) * Adding aggregation to honk and rollup (AztecProtocol/aztec-packages#7466) ([4ea25db](4ea25db)) * Automate verify_honk_proof input generation (AztecProtocol/aztec-packages#8092) ([5c4f19f](5c4f19f)) * **avm/brillig:** Take addresses in calldatacopy (AztecProtocol/aztec-packages#8388) ([3c3ed1e](3c3ed1e)) * **avm:** Variants for SET opcode (AztecProtocol/aztec-packages#8441) ([3c3ed1e](3c3ed1e)) * Avoid heap allocs when going to/from field (AztecProtocol/aztec-packages#7547) ([daad75c](daad75c)) * Change the layout of arrays and vectors to be a single pointer (AztecProtocol/aztec-packages#8448) ([d4832ec](d4832ec)) * Constant inputs for blackbox (AztecProtocol/aztec-packages#7222) ([fb97bb9](fb97bb9)) * Hook up secondary calldata column in dsl (AztecProtocol/aztec-packages#7759) ([4ea25db](4ea25db)) * Integrate new proving systems in e2e (AztecProtocol/aztec-packages#6971) ([daad75c](daad75c)) * Make Brillig do integer arithmetic operations using u128 instead of Bigint (AztecProtocol/aztec-packages#7518) ([daad75c](daad75c)) * Make token transfer be recursive (AztecProtocol/aztec-packages#7730) ([4ea25db](4ea25db)) * New test programs for wasm benchmarking (AztecProtocol/aztec-packages#8389) ([95e19ab](95e19ab)) * Note hashes as points (AztecProtocol/aztec-packages#7618) ([4ea25db](4ea25db)) * Optimize allocating immediate amounts of memory (AztecProtocol/aztec-packages#8579) ([e8bbce7](e8bbce7)) * Optimize constant array handling in brillig_gen (AztecProtocol/aztec-packages#7661) ([4ea25db](4ea25db)) * Optimize to_radix (AztecProtocol/aztec-packages#8073) ([5c4f19f](5c4f19f)) * Pass calldata ids to the backend (AztecProtocol/aztec-packages#7875) ([4ea25db](4ea25db)) * Poseidon2 gates for Ultra arithmetisation (AztecProtocol/aztec-packages#7494) ([5c4f19f](5c4f19f)) * **profiler:** Add support for brillig functions in opcodes-flamegraph (AztecProtocol/aztec-packages#7698) ([4ea25db](4ea25db)) * Remove sha256 opcode (AztecProtocol/aztec-packages#4571) ([e8bbce7](e8bbce7)) * Removing superfluous call to MSM (AztecProtocol/aztec-packages#7708) ([4ea25db](4ea25db)) * Report gates and VKs of private protocol circuits with megahonk (AztecProtocol/aztec-packages#7722) ([4ea25db](4ea25db)) * Simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` ([#5140](#5140)) ([2823ba7](2823ba7)) * Small optimization in toradix (AztecProtocol/aztec-packages#8040) ([5c4f19f](5c4f19f)) * Sync from noir (AztecProtocol/aztec-packages#7392) ([fb97bb9](fb97bb9)) * Sync from noir (AztecProtocol/aztec-packages#7400) ([fb97bb9](fb97bb9)) * Sync from noir (AztecProtocol/aztec-packages#7432) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7444) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7454) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7512) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7577) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7583) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7743) ([4ea25db](4ea25db)) * Sync from noir (AztecProtocol/aztec-packages#7862) ([4ea25db](4ea25db)) * Sync from noir (AztecProtocol/aztec-packages#7945) ([4ea25db](4ea25db)) * Sync from noir (AztecProtocol/aztec-packages#7958) ([5c4f19f](5c4f19f)) * Sync from noir (AztecProtocol/aztec-packages#8008) ([5c4f19f](5c4f19f)) * Sync from noir (AztecProtocol/aztec-packages#8093) ([5c4f19f](5c4f19f)) * Sync from noir (AztecProtocol/aztec-packages#8125) ([f0c2686](f0c2686)) * Sync from noir (AztecProtocol/aztec-packages#8237) ([f0c2686](f0c2686)) * Sync from noir (AztecProtocol/aztec-packages#8423) ([3c3ed1e](3c3ed1e)) * Sync from noir (AztecProtocol/aztec-packages#8435) ([3c3ed1e](3c3ed1e)) * Sync from noir (AztecProtocol/aztec-packages#8466) ([3c3ed1e](3c3ed1e)) * Sync from noir (AztecProtocol/aztec-packages#8482) ([d4832ec](d4832ec)) * Sync from noir (AztecProtocol/aztec-packages#8512) ([95e19ab](95e19ab)) * Sync from noir (AztecProtocol/aztec-packages#8526) ([95e19ab](95e19ab)) * TXE nr deployments, dependency cleanup for CLI (AztecProtocol/aztec-packages#7548) ([4ea25db](4ea25db)) * Typing return values of embedded_curve_ops (AztecProtocol/aztec-packages#7413) ([daad75c](daad75c)) * Unify all acir recursion constraints based on RecursionConstraint and proof_type (AztecProtocol/aztec-packages#7993) ([5c4f19f](5c4f19f)) ### Bug Fixes * Add trailing extra arguments for backend in gates_flamegraph (AztecProtocol/aztec-packages#7472) ([daad75c](daad75c)) * **debugger:** Update the debugger to handle the new Brillig debug metadata format ([#5706](#5706)) ([a31f82e](a31f82e)) * Deflatten databus visibilities (AztecProtocol/aztec-packages#7761) ([4ea25db](4ea25db)) * Do not duplicate redundant Brillig debug metadata ([#5696](#5696)) ([e4f7dbe](e4f7dbe)) * Export brillig names in contract functions (AztecProtocol/aztec-packages#8212) ([f0c2686](f0c2686)) * Handle multiple entry points for Brillig call stack resolution after metadata deduplication ([#5788](#5788)) ([38fe9dd](38fe9dd)) * Move BigInt modulus checks to runtime in brillig ([#5374](#5374)) ([741d339](741d339)) * Restrict keccak256_injective test input to 8 bits ([#5977](#5977)) ([a1b1346](a1b1346)) * Revert "feat: Sync from noir (AztecProtocol/aztec-packages#7512)" (AztecProtocol/aztec-packages#7558) ([daad75c](daad75c)) * Runtime brillig bigint id assignment ([#5369](#5369)) ([a8928dd](a8928dd)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

enabled poseidon gates in ultra

b1518fe

maramihali changed the title ~~Poseidon in UltraHonk~~ feat: Poseidon2 in UltraHonk Jul 16, 2024

maramihali added 3 commits July 16, 2024 16:25

add missing padding

49eca12

transcript produces constraints

a5ccefa

move print statement for number of gates post finalisation for client…

1d86341

… IVC rec vec

maramihali force-pushed the mm/poseidon-relation-ultra branch from 68bf98a to 1d86341 Compare July 17, 2024 16:33

maramihali added 3 commits July 18, 2024 10:23

stuff..

bb178f0

fixing tests, fishing for remaiining bug

269da29

fix test + cleanups

f1edf5f

maramihali force-pushed the mm/poseidon-relation-ultra branch from 5304c7e to f1edf5f Compare July 19, 2024 11:04

Merge remote-tracking branch 'origin/master' into mm/poseidon-relatio…

4b98f77

…n-ultra

maramihali commented Jul 19, 2024

View reviewed changes

barretenberg/cpp/src/barretenberg/examples/join_split/join_split.test.cpp Show resolved Hide resolved

preset cleanup

5058fa0

maramihali changed the title ~~feat: Poseidon2 in UltraHonk~~ feat: Poseidon2 gates for Ultra arithmetisation Jul 19, 2024

fixing tests

bf37f09

maramihali self-assigned this Jul 19, 2024

maramihali added the crypto cryptography label Jul 19, 2024

lucasxia01 self-requested a review July 19, 2024 15:50

maramihali added 3 commits July 22, 2024 10:20

Merge remote-tracking branch 'origin/master' into mm/poseidon-relatio…

b116e00

…n-ultra

fix stuff

e688422

Merge remote-tracking branch 'origin/master' into mm/poseidon-relatio…

3488ac4

…n-ultra

maramihali marked this pull request as ready for review July 22, 2024 16:49

remove prints

83ecd92

maramihali force-pushed the mm/poseidon-relation-ultra branch from fe9b300 to 83ecd92 Compare July 22, 2024 17:04

lucasxia01 approved these changes Jul 22, 2024

View reviewed changes

maramihali added 2 commits July 23, 2024 09:41

Merge remote-tracking branch 'origin/master' into mm/poseidon-relatio…

2bef500

…n-ultra

uncomment line

42bae7d

maramihali mentioned this pull request Jul 23, 2024

Investigate constraint count increase caused by enabling poseidon gate for the Tube circuit AztecProtocol/barretenberg#1058

Open

added permutation that was missing and corrected check_circuit, somet…

191b587

…hing is still not working

maramihali added 4 commits August 20, 2024 11:16

Merge remote-tracking branch 'origin/master' into mm/poseidon-relatio…

6406a6f

…n-ultra

remove parallelisation limitation for cmake test

3eb0054

Merge remote-tracking branch 'origin/master' into mm/poseidon-relatio…

b2872d5

…n-ultra

cleanup

75a5abc

maramihali removed the bb-msan-check CI: Enables this CI job. label Aug 20, 2024

maramihali added 4 commits August 20, 2024 14:43

Merge branch 'master' into mm/poseidon-relation-ultra

59d79b8

more cleanup

96e9e31

Merge remote-tracking branch 'refs/remotes/origin/mm/poseidon-relatio…

b7b0248

…n-ultra' into mm/poseidon-relation-ultra

Merge remote-tracking branch 'origin/master' into mm/poseidon-relatio…

25f4264

…n-ultra

lucasxia01 approved these changes Aug 20, 2024

View reviewed changes

maramihali added 5 commits August 20, 2024 17:12

Merge branch 'master' into mm/poseidon-relation-ultra

a8f5fdb

resolve PR review comments

f6521c6

Merge remote-tracking branch 'refs/remotes/origin/mm/poseidon-relatio…

a2544bc

…n-ultra' into mm/poseidon-relation-ultra

Merge remote-tracking branch 'origin/master' into mm/poseidon-relatio…

d355e00

…n-ultra

Merge remote-tracking branch 'origin/master' into mm/poseidon-relatio…

a3a2454

…n-ultra

maramihali enabled auto-merge (squash) August 21, 2024 09:55

maramihali merged commit d86577c into master Aug 21, 2024
96 checks passed

maramihali deleted the mm/poseidon-relation-ultra branch August 21, 2024 10:54

This was referenced Aug 21, 2024

chore(master): Release 0.50.0 #8032

Merged

feat: Sync from aztec-packages noir-lang/noir#5790

Merged

This was referenced Sep 2, 2024

Stdlib transcript for Ultra has challenges generated out of thin air AztecProtocol/barretenberg#1035

Closed

Add poseidon2 hashing for stdlib transcript using UltraCircuitBuilder AztecProtocol/barretenberg#852

Closed

noirwhal mentioned this pull request Sep 3, 2024

chore: Release Noir(0.34.0) noir-lang/noir#5692

Merged

noirwhal mentioned this pull request Sep 13, 2024

chore: Release Noir(0.35.0) noir-lang/noir#6030

Merged

noirwhal mentioned this pull request Oct 3, 2024

chore: Release Noir(0.36.0) noir-lang/noir#6213

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: Poseidon2 gates for Ultra arithmetisation #7494

feat: Poseidon2 gates for Ultra arithmetisation #7494

maramihali commented Jul 16, 2024 •

edited

Loading

maramihali Jul 19, 2024

lucasxia01 left a comment •

edited

Loading

lucasxia01 Jul 22, 2024

maramihali Jul 23, 2024

lucasxia01 Jul 23, 2024

lucasxia01 Jul 22, 2024

maramihali Jul 23, 2024

lucasxia01 Jul 22, 2024

maramihali Jul 23, 2024

lucasxia01 Jul 22, 2024

lucasxia01 Jul 22, 2024

ludamad Jul 25, 2024 •

edited

Loading

maramihali Jul 29, 2024

lucasxia01 Jul 22, 2024

lucasxia01 Jul 22, 2024

maramihali Jul 23, 2024

lucasxia01 left a comment

lucasxia01 Aug 20, 2024

maramihali Aug 20, 2024

lucasxia01 Aug 20, 2024

maramihali Aug 20, 2024

feat: Poseidon2 gates for Ultra arithmetisation #7494

feat: Poseidon2 gates for Ultra arithmetisation #7494

Conversation

maramihali commented Jul 16, 2024 • edited Loading

Choose a reason for hiding this comment

lucasxia01 left a comment • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

ludamad Jul 25, 2024 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

lucasxia01 left a comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

maramihali commented Jul 16, 2024 •

edited

Loading

lucasxia01 left a comment •

edited

Loading

ludamad Jul 25, 2024 •

edited

Loading