feat: shplemini claim batcher #11614

ledwards2225 · 2025-01-29T22:19:25Z

Implements ClaimBatcher for the Shplemini Verifier (more or less analogous to the prover's PolynomialBatcher, but its not a one to one due to the different nature of the prover and verifier in shplemini).

The idea here is again to isolate claim batching logic to a sub-class and to make it more straightforward to add new types of claims, e.g. k-shifted polynomials. With these updates, only the ClaimBatcher and the protocols that utilize k-shifts need to be updated, rather than an interface that's utilized across ~20 different files.

Note: I've again left out concatenations but its likely that they should be also be handled PolynomialBatcher/ClaimBatcher, despite having a slightly different structure.

ledwards2225 · 2025-01-30T19:31:11Z

barretenberg/cpp/src/barretenberg/commitment_schemes/shplonk/shplemini.hpp

+     *
+     */
+    struct ClaimBatcher {
+        std::optional<ClaimBatch> unshifted; // commitments and evaluations of unshifted polynomials


I prefer this std::optional container and if (container) to the if (container.size() > 0) syntax I used in the PolynomialBatcher. I think it makes the intent a bit more clear. (Or course right now all variants use both unshifted and shifted but eventually this will also contain k-shifts and concatenations which will only be used in certain protocols). If this stays as it is I'll plan to make that class match this one in that sense.

I somehow prefer the has_unshifted() / has_shifted() pattern but no strong feelings. I'm worried this std::optional will get misused perhaps and we'll end up with the situation we had in sumcheck with the optional verified boolean.

I hated that too but after some thorough googling I'm convinced that this is a very idomatic usage of optionals. I think the problem with the sumcheck use case was (1) it was a bad reason (just bc the prover and verifier shared a struct I think?) and (2) the external user had to know about the presence of optionals. Here its all encapsulated in the class and no one else has to know

ledwards2225 · 2025-01-30T19:42:17Z

barretenberg/cpp/src/barretenberg/commitment_schemes/utils/mock_witness_generator.hpp

@@ -85,6 +89,10 @@ template <typename Curve> struct MockWitnessGenerator {

        polynomial_batcher.set_unshifted(RefVector(unshifted_polynomials));
        polynomial_batcher.set_to_be_shifted_by_one(RefVector(to_be_shifted_polynomials));
+
+        claim_batcher =


You'll notice that I used the arguably simpler designated initializer pattern for the ClaimBatcher. I opted not to do this for PolynomialBatcher because it requires a class be very simple (all public members, no explicitly defined constructors). The PolynomialBatcher requires more complicated initialization that sets metadata (full_batched_size) and initializes the batched polynomials, and this can only be done through an explicit constructor. Still, the lack of symmetry between these two somewhat analogous classes is annoying and I may try to find a way to make them resemble each other a bit more in a follow on.

ledwards2225 · 2025-01-30T21:01:41Z

barretenberg/cpp/src/barretenberg/ultra_honk/decider_verifier.hpp

@@ -32,7 +32,6 @@ template <typename Flavor> class DeciderVerifier_ {
    bool verify_proof(const DeciderProof&); // used when a decider proof is known explicitly
    bool verify();                          // used when transcript that has been initialized with a proof
    std::shared_ptr<VerificationKey> key;
-    std::map<std::string, Commitment> commitments;


unrelated to this PR but while debugging something I discovered that this is entirely unused. Instead we use a VerifierCommitments object that is local to the relevant method.

maramihali

Thanks! Looks great, just left some thoughts

maramihali · 2025-01-31T14:22:47Z

barretenberg/cpp/src/barretenberg/commitment_schemes/shplonk/shplemini.hpp

+    struct ClaimBatch {
+        RefVector<Commitment> commitments;
+        RefVector<Fr> evaluations;
+        // scalar used for batching the claims, excluding the power of batching challenge \rho


i wonder whether we can somehow link the corresponding power of rho in here. I found myself several times checking whether the incorrect power could be the bug

That would be nice I agree. I'll explore that when I'm adding the k-shifts here

maramihali · 2025-01-31T14:32:53Z

barretenberg/cpp/src/barretenberg/commitment_schemes/shplonk/shplemini.hpp

+     *
+     */
+    struct ClaimBatcher {
+        std::optional<ClaimBatch> unshifted; // commitments and evaluations of unshifted polynomials


I somehow prefer the has_unshifted() / has_shifted() pattern but no strong feelings. I'm worried this std::optional will get misused perhaps and we'll end up with the situation we had in sumcheck with the optional verified boolean.

maramihali · 2025-01-31T14:45:48Z

barretenberg/cpp/src/barretenberg/commitment_schemes/shplonk/shplemini.hpp

+                                                                          Fr& current_batching_challenge) {
+                for (auto [commitment, evaluation] : zip_view(batch.commitments, batch.evaluations)) {
+                    commitments.emplace_back(std::move(commitment));
+                    scalars.emplace_back(-batch.batch_scalar * current_batching_challenge);


maybe we can just name it scalar rather than batch_scalar as it's inferred from the way its used that the scalar is for batching

yeah I generally agree. I hesitated beacuase scalar is just so generic but you're right, I'll change it

maramihali · 2025-01-31T14:49:30Z

barretenberg/cpp/src/barretenberg/commitment_schemes/shplonk/shplemini.hpp

+                    commitments.emplace_back(std::move(commitment));
+                    scalars.emplace_back(-batch.batch_scalar * current_batching_challenge);
+                    batched_evaluation += evaluation * current_batching_challenge;
+                    current_batching_challenge *= multivariate_batching_challenge;


maybe the multivariate_batching_challenge should just be called rho

yeah this is the constant struggle I have with this code. Frankly a lot of it would be easier to read if all of the variables just used their math symbol name. I didn't want to make that change in some places but not others but I suppose since its isolated in this class I could do it

changed to rho and rho_power

maramihali · 2025-01-31T14:49:40Z

barretenberg/cpp/src/barretenberg/commitment_schemes/shplonk/shplemini.hpp

-        RefSpan<Commitment> shifted_commitments,
-        RefSpan<Fr> unshifted_evaluations,
-        RefSpan<Fr> shifted_evaluations,
+        ClaimBatcher& claim_batcher,


this is great :)

maramihali · 2025-01-31T15:02:21Z

barretenberg/cpp/src/barretenberg/commitment_schemes/shplonk/shplemini.hpp

@@ -326,18 +423,13 @@ template <typename Curve> class ShpleminiVerifier_ {

        if (has_zk) {
            commitments.emplace_back(hiding_polynomial_commitment);
-            scalars.emplace_back(-unshifted_scalar); // corresponds to ρ⁰
+            scalars.emplace_back(-claim_batcher.get_unshifted_batch_scalar()); // corresponds to ρ⁰


wonder whether negation here can be somehow encompassed in the functionality of claim_batcher

I'll think about this when I think about the inclusion of rho / rho power in the batcher

maramihali · 2025-01-31T15:04:28Z

barretenberg/cpp/src/barretenberg/ultra_honk/decider_verifier.cpp

@@ -65,12 +67,13 @@ template <typename Flavor> bool DeciderVerifier_<Flavor>::verify()
        return false;
    }
    bool consistency_checked = true;
+    ClaimBatcher claim_batcher{
+        .unshifted = ClaimBatch{ commitments.get_unshifted(), sumcheck_output.claimed_evaluations.get_unshifted() },
+        .shifted = ClaimBatch{ commitments.get_to_be_shifted(), sumcheck_output.claimed_evaluations.get_shifted() }


can't you do

.shifted = {commitments.get_to_be_shifted(), sumcheck_output.claimed_evaluations.get_shifted()}

does the ClaimBatch struct type need to be specified?

I thought so too but it doesn't work in this case bc the parameters are std::optional. It seems like I could avoid it by explicitly initializing each input as optional but it ends up looking much worse

:robot: I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.73.0</summary> ## [0.73.0](https://github.com/AztecProtocol/aztec-packages/compare/aztec-package-v0.72.1...aztec-package-v0.73.0) (2025-01-31) ### Features * **archiver:** Read blobs from cl ([#11273](https://github.com/AztecProtocol/aztec-packages/issues/11273)) ([8cf4982](https://github.com/AztecProtocol/aztec-packages/commit/8cf4982175da82575087bb28590a3a71b88aaf6e)) * Lazy wasm pt4 ([#11491](https://github.com/AztecProtocol/aztec-packages/issues/11491)) ([f553f58](https://github.com/AztecProtocol/aztec-packages/commit/f553f58ee5f405414a7d0c402c679ffe5c4d62ef)) * Proposer forwarder contract ([#11403](https://github.com/AztecProtocol/aztec-packages/issues/11403)) ([76f25b6](https://github.com/AztecProtocol/aztec-packages/commit/76f25b6d674c658bc01a42267f4fb232a35d5551)) * Validate L1 config against L1 on startup ([#11540](https://github.com/AztecProtocol/aztec-packages/issues/11540)) ([48b7ac4](https://github.com/AztecProtocol/aztec-packages/commit/48b7ac4dd823533843018e177e0cf2bd00d1bdba)) ### Miscellaneous * Enable no-misused-promises ([#11629](https://github.com/AztecProtocol/aztec-packages/issues/11629)) ([a420466](https://github.com/AztecProtocol/aztec-packages/commit/a420466cfb0a387e98a932be8982fe25f02b90db)) </details> <details><summary>barretenberg.js: 0.73.0</summary> ## [0.73.0](https://github.com/AztecProtocol/aztec-packages/compare/barretenberg.js-v0.72.1...barretenberg.js-v0.73.0) (2025-01-31) ### Features * Lazy wasm pt4 ([#11491](https://github.com/AztecProtocol/aztec-packages/issues/11491)) ([f553f58](https://github.com/AztecProtocol/aztec-packages/commit/f553f58ee5f405414a7d0c402c679ffe5c4d62ef)) ### Miscellaneous * Simplified bb.js bundling ([#11622](https://github.com/AztecProtocol/aztec-packages/issues/11622)) ([8408ede](https://github.com/AztecProtocol/aztec-packages/commit/8408ede53e5dd6c855c5a4b544099dc828bcea31)) </details> <details><summary>aztec-packages: 0.73.0</summary> ## [0.73.0](https://github.com/AztecProtocol/aztec-packages/compare/aztec-packages-v0.72.1...aztec-packages-v0.73.0) (2025-01-31) ### ⚠ BREAKING CHANGES * improve storage slot allocation ([#10320](https://github.com/AztecProtocol/aztec-packages/issues/10320)) * sandbox uses Anvil with interval mining ([#11383](https://github.com/AztecProtocol/aztec-packages/issues/11383)) * logs refactor ([#11503](https://github.com/AztecProtocol/aztec-packages/issues/11503)) * **avm:** include length in bytecode hash ([#11425](https://github.com/AztecProtocol/aztec-packages/issues/11425)) ### Features * `#[derive(Packable)]` ([#11531](https://github.com/AztecProtocol/aztec-packages/issues/11531)) ([83fe192](https://github.com/AztecProtocol/aztec-packages/commit/83fe1923835d4f7aebdf616a1b2fefcddfd003c9)) * `loop` keyword in runtime and comptime code (https://github.com/noir-lang/noir/pull/7096) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * `loop` must have at least one `break` (https://github.com/noir-lang/noir/pull/7126) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Add `noir-inspector` (https://github.com/noir-lang/noir/pull/7136) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Add aztec flamegraph command ([#11642](https://github.com/AztecProtocol/aztec-packages/issues/11642)) ([fedff91](https://github.com/AztecProtocol/aztec-packages/commit/fedff91273100341fd5ebf52a2dbf13619897a1b)) * **archiver:** Read blobs from cl ([#11273](https://github.com/AztecProtocol/aztec-packages/issues/11273)) ([8cf4982](https://github.com/AztecProtocol/aztec-packages/commit/8cf4982175da82575087bb28590a3a71b88aaf6e)) * **avm:** Constrain sha256 ([#11048](https://github.com/AztecProtocol/aztec-packages/issues/11048)) ([897c840](https://github.com/AztecProtocol/aztec-packages/commit/897c840d0f0f28ad7d4a7683027161132d8c64a0)) * **avm:** Constraining bytecode (part 1) ([#11382](https://github.com/AztecProtocol/aztec-packages/issues/11382)) ([2779ea4](https://github.com/AztecProtocol/aztec-packages/commit/2779ea401145bb2371d7ce3045c4bc6ccd605ee0)) * **avm:** Get_row optimization - 25x faster logderiv inv ([#11605](https://github.com/AztecProtocol/aztec-packages/issues/11605)) ([a273136](https://github.com/AztecProtocol/aztec-packages/commit/a273136d1a4686ff37dc3b75c9518f0b28b7d457)) * **avm:** Include length in bytecode hash ([#11425](https://github.com/AztecProtocol/aztec-packages/issues/11425)) ([ab2c860](https://github.com/AztecProtocol/aztec-packages/commit/ab2c860c747d3051a1cb85ad6ce5fac2a68867f7)) * **avm:** Range checks in vm2 ([#11433](https://github.com/AztecProtocol/aztec-packages/issues/11433)) ([79cbe04](https://github.com/AztecProtocol/aztec-packages/commit/79cbe04cfdccdc0926084d837d3ae989f70d441c)) * **avm:** Vm2 bitwise subtrace ([#11473](https://github.com/AztecProtocol/aztec-packages/issues/11473)) ([859c29b](https://github.com/AztecProtocol/aztec-packages/commit/859c29b243f083bbd86af57b54686764ce9167c1)) * **blobs:** Add blobHashes to L2Block emitted log ([#11422](https://github.com/AztecProtocol/aztec-packages/issues/11422)) ([c6f1803](https://github.com/AztecProtocol/aztec-packages/commit/c6f180330d34a22a52f29220dc5ba244a50b0fcf)) * **blobs:** Docker compose local consensus layer ([#11374](https://github.com/AztecProtocol/aztec-packages/issues/11374)) ([106a7f0](https://github.com/AztecProtocol/aztec-packages/commit/106a7f0f23ce2bcc83f569396f7c1317858d3d82)) * **brillig:** Set global memory size at program compile time (https://github.com/noir-lang/noir/pull/7151) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **brillig:** SSA globals code gen (https://github.com/noir-lang/noir/pull/7021) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Bump bignum to `v0.5.2` ([#11579](https://github.com/AztecProtocol/aztec-packages/issues/11579)) ([8c79213](https://github.com/AztecProtocol/aztec-packages/commit/8c792130a38a00854f75c9d2fd2b0398350e6b63)) * Change data store backend to use liblmdb directly ([#11357](https://github.com/AztecProtocol/aztec-packages/issues/11357)) ([7e3a38e](https://github.com/AztecProtocol/aztec-packages/commit/7e3a38ec24033b102897baaf8397ace9d8584677)) * Check contract classes from revertible/non-revertible logs are handled correctly ([#11396](https://github.com/AztecProtocol/aztec-packages/issues/11396)) ([012cbe3](https://github.com/AztecProtocol/aztec-packages/commit/012cbe36ac0ddf3683bba03b53b2c4f4edda4c78)) * **experimental:** Construct enum variants in expressions (https://github.com/noir-lang/noir/pull/7174) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **experimental:** Try to infer lambda argument types inside calls (https://github.com/noir-lang/noir/pull/7088) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Gemini PolynomialBatcher ([#11398](https://github.com/AztecProtocol/aztec-packages/issues/11398)) ([379aafa](https://github.com/AztecProtocol/aztec-packages/commit/379aafa7d4b644c8380b971e332c41ada62f5821)) * Improve storage slot allocation ([#10320](https://github.com/AztecProtocol/aztec-packages/issues/10320)) ([dc7ec48](https://github.com/AztecProtocol/aztec-packages/commit/dc7ec4853f6f44eec435b4e2c9ecb8e1e703861b)) * Inline simple functions (https://github.com/noir-lang/noir/pull/7160) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Lazy wasm pt4 ([#11491](https://github.com/AztecProtocol/aztec-packages/issues/11491)) ([f553f58](https://github.com/AztecProtocol/aztec-packages/commit/f553f58ee5f405414a7d0c402c679ffe5c4d62ef)) * LSP autocomplete module declaration (https://github.com/noir-lang/noir/pull/7154) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * LSP chain inlay hints (https://github.com/noir-lang/noir/pull/7152) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Packable contract class id ([#11512](https://github.com/AztecProtocol/aztec-packages/issues/11512)) ([f171547](https://github.com/AztecProtocol/aztec-packages/commit/f171547b10b884c89f38a413e22ba26cc7e369e5)) * Packing note content ([#11376](https://github.com/AztecProtocol/aztec-packages/issues/11376)) ([6630e80](https://github.com/AztecProtocol/aztec-packages/commit/6630e80cd8ed968db42bb551b02d9b26fd069557)) * Parse globals in SSA parser (https://github.com/noir-lang/noir/pull/7112) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Parser and formatter support for `enum`s (https://github.com/noir-lang/noir/pull/7110) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Proposer forwarder contract ([#11403](https://github.com/AztecProtocol/aztec-packages/issues/11403)) ([76f25b6](https://github.com/AztecProtocol/aztec-packages/commit/76f25b6d674c658bc01a42267f4fb232a35d5551)) * Resolve enums & prepare type system (https://github.com/noir-lang/noir/pull/7115) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Shplemini claim batcher ([#11614](https://github.com/AztecProtocol/aztec-packages/issues/11614)) ([f4e2953](https://github.com/AztecProtocol/aztec-packages/commit/f4e2953632ad4fdcf0a6cf00eda4b16b4b3db0f2)) * **ssa:** Add flag to DIE pass to be able to keep `store` instructions (https://github.com/noir-lang/noir/pull/7106) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **ssa:** Expand feature set of the Brillig constraint check (https://github.com/noir-lang/noir/pull/7060) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **ssa:** Pass to preprocess functions (https://github.com/noir-lang/noir/pull/7072) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **ssa:** Reuse constants from the globals graph when making constants in a function DFG (https://github.com/noir-lang/noir/pull/7153) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Txe native world state ([#11226](https://github.com/AztecProtocol/aztec-packages/issues/11226)) ([6dc25aa](https://github.com/AztecProtocol/aztec-packages/commit/6dc25aa460d2557cf0a355d8f61052f973842d7d)) * Unconstrained optimizations for BoundedVec (https://github.com/noir-lang/noir/pull/7119) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Using `#[derive(Serialize)]` more ([#11541](https://github.com/AztecProtocol/aztec-packages/issues/11541)) ([ab2500b](https://github.com/AztecProtocol/aztec-packages/commit/ab2500be3668db1afb55d5588f39656c185065ec)) * Validate L1 config against L1 on startup ([#11540](https://github.com/AztecProtocol/aztec-packages/issues/11540)) ([48b7ac4](https://github.com/AztecProtocol/aztec-packages/commit/48b7ac4dd823533843018e177e0cf2bd00d1bdba)) ### Bug Fixes * `Function::is_no_predicates` always returned false for brillig f… (https://github.com/noir-lang/noir/pull/7167) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Add fallback to cache build ([#11654](https://github.com/AztecProtocol/aztec-packages/issues/11654)) ([f3eb3c8](https://github.com/AztecProtocol/aztec-packages/commit/f3eb3c8057aa769bd6ec81577e7a479cb07bd476)) * Allow calling trait impl method from struct if multiple impls exist (https://github.com/noir-lang/noir/pull/7124) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Attempt to cancel timed-out L1 transactions ([#11567](https://github.com/AztecProtocol/aztec-packages/issues/11567)) ([9eb5214](https://github.com/AztecProtocol/aztec-packages/commit/9eb5214ae4002058b6491a533b7c65fccc8c7de3)), closes [#11345](https://github.com/AztecProtocol/aztec-packages/issues/11345) * Avoid creating unnecessary memory blocks (https://github.com/noir-lang/noir/pull/7114) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Aztec-nargo compile should fail script ([#11533](https://github.com/AztecProtocol/aztec-packages/issues/11533)) ([534bb47](https://github.com/AztecProtocol/aztec-packages/commit/534bb474ff06ffdbb64b98aca157c287a4f36b18)), closes [#11527](https://github.com/AztecProtocol/aztec-packages/issues/11527) * Boxes playwright + web bundles ([#11615](https://github.com/AztecProtocol/aztec-packages/issues/11615)) ([af0fd81](https://github.com/AztecProtocol/aztec-packages/commit/af0fd81f3de0b07a8499fcefaf0a9c18d1a97cfe)) * **ci:** Spartan cache ([#11508](https://github.com/AztecProtocol/aztec-packages/issues/11508)) ([5ed155a](https://github.com/AztecProtocol/aztec-packages/commit/5ed155a5cea096f463dd612e33be8bb3682d88be)) * Client IVC paths in bb prover ([#11637](https://github.com/AztecProtocol/aztec-packages/issues/11637)) ([aab6a3f](https://github.com/AztecProtocol/aztec-packages/commit/aab6a3f2619826a2bfdd3ff6cc575e42e6d5bc35)) * Copy bb wasm from aztec.js ([#11652](https://github.com/AztecProtocol/aztec-packages/issues/11652)) ([ccaf6db](https://github.com/AztecProtocol/aztec-packages/commit/ccaf6dbea4337d65b74afed317e87ab56f37824a)) * Defunctionalize pass on the caller runtime to apply (https://github.com/noir-lang/noir/pull/7100) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **docs:** Update broken links to EC lib (https://github.com/noir-lang/noir/pull/7141) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Don't always use an exclusive lock in `nargo check` (https://github.com/noir-lang/noir/pull/7120) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Don't build noir-bb-bench app in default command ([#11618](https://github.com/AztecProtocol/aztec-packages/issues/11618)) ([c98968b](https://github.com/AztecProtocol/aztec-packages/commit/c98968b1b75f19f7c1ccf190ebdb74e889885336)) * Ensure canonical bits decomposition (https://github.com/noir-lang/noir/pull/7168) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * EstimateGas for blob transactions (reth) ([#11524](https://github.com/AztecProtocol/aztec-packages/issues/11524)) ([8724606](https://github.com/AztecProtocol/aztec-packages/commit/87246064270829bdf982f5c0f7b763ecec7480e9)) * Fix boxes ([#11592](https://github.com/AztecProtocol/aztec-packages/issues/11592)) ([3d40260](https://github.com/AztecProtocol/aztec-packages/commit/3d40260d63cb2757b855d4bce1b1c56591c3fb9c)) * Fix noir_bb browser tests ([#11552](https://github.com/AztecProtocol/aztec-packages/issues/11552)) ([17aec31](https://github.com/AztecProtocol/aztec-packages/commit/17aec316c23ddc8d083c7d4be1d46365f965432e)) * Fuzzer value mutation and instruction write ([#11570](https://github.com/AztecProtocol/aztec-packages/issues/11570)) ([d120cbe](https://github.com/AztecProtocol/aztec-packages/commit/d120cbe852e4d182f499f99f3cd2bcbe69139d16)) * Keep `inc_rc` for array inputs during preprocessing (https://github.com/noir-lang/noir/pull/7163) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * LSP hover over function with `&mut self` (https://github.com/noir-lang/noir/pull/7155) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **LSP:** Correct signature for assert and assert_eq (https://github.com/noir-lang/noir/pull/7184) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Missing wasm files in cache ([#11660](https://github.com/AztecProtocol/aztec-packages/issues/11660)) ([6b09a9f](https://github.com/AztecProtocol/aztec-packages/commit/6b09a9ffad4222a632b8993e62a0e3d8b1b2b1be)) * Only set node version in node pools ([#11604](https://github.com/AztecProtocol/aztec-packages/issues/11604)) ([924298a](https://github.com/AztecProtocol/aztec-packages/commit/924298a145595041b1d2ad3d2f017144cac4d29a)) * Pin k8s version ([#11599](https://github.com/AztecProtocol/aztec-packages/issues/11599)) ([c087bd8](https://github.com/AztecProtocol/aztec-packages/commit/c087bd8e53aa8c537bc7056d59a5f3410ae38120)) * Preserve types when reading from calldata arrays (https://github.com/noir-lang/noir/pull/7144) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Prevent overlapping associated types impls (https://github.com/noir-lang/noir/pull/7047) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Proper cleanup when breaking from comptime loop on error (https://github.com/noir-lang/noir/pull/7125) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Remove unused brillig functions (https://github.com/noir-lang/noir/pull/7102) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Retry fetch on blob sink client ([#11562](https://github.com/AztecProtocol/aztec-packages/issues/11562)) ([5ccdc4f](https://github.com/AztecProtocol/aztec-packages/commit/5ccdc4f13b79c7693854f58b5d3d9a1d374a9645)) * Sandbox uses Anvil with interval mining ([#11383](https://github.com/AztecProtocol/aztec-packages/issues/11383)) ([0ba31df](https://github.com/AztecProtocol/aztec-packages/commit/0ba31dfd99fb66a96c20a52b173b3eb21a429ddc)) * **spartan:** Get svc addresses from load balancers ([#11606](https://github.com/AztecProtocol/aztec-packages/issues/11606)) ([b44233f](https://github.com/AztecProtocol/aztec-packages/commit/b44233fcef68cc93410818728eb087346aca71dc)) * **spartan:** Reduce l1 deploy retry time ([#11591](https://github.com/AztecProtocol/aztec-packages/issues/11591)) ([fdabeda](https://github.com/AztecProtocol/aztec-packages/commit/fdabeda9f5a72cc61c8432cd25e67b8667a8a7ea)) * **ssa:** Resolve value before fetching from DFG in a couple cases (https://github.com/noir-lang/noir/pull/7169) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **ssa:** Use post order when mapping instructions in loop invariant pass (https://github.com/noir-lang/noir/pull/7140) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Unbound var in network deploy ([#11587](https://github.com/AztecProtocol/aztec-packages/issues/11587)) ([0cfd0fe](https://github.com/AztecProtocol/aztec-packages/commit/0cfd0fe72fb52dcb00eec26294b7d434a673992a)) * Update the readme for https://github.com/AztecProtocol/aztec-packages/pull/11618 ([#11623](https://github.com/AztecProtocol/aztec-packages/issues/11623)) ([4fcf965](https://github.com/AztecProtocol/aztec-packages/commit/4fcf965301dab85e4e915153d4c58ef2934c6491)) * Using correct length in storage slot allocation ([#11601](https://github.com/AztecProtocol/aztec-packages/issues/11601)) ([7f802a4](https://github.com/AztecProtocol/aztec-packages/commit/7f802a48b428b89d5a0c99e286432d2b1142d668)) * Validator addresses in rc-2 ([#11497](https://github.com/AztecProtocol/aztec-packages/issues/11497)) ([128f06e](https://github.com/AztecProtocol/aztec-packages/commit/128f06ea82ac179429b5336213989f50dd42a09f)) ### Miscellaneous * Add apps & fee support to AVM simulator and AVM bb-prover tests ([#11323](https://github.com/AztecProtocol/aztec-packages/issues/11323)) ([a836786](https://github.com/AztecProtocol/aztec-packages/commit/a83678624cd4d9f21ca1438672a59ecfc3096713)) * Add aztec not evm compatbile on front page of docs ([#11558](https://github.com/AztecProtocol/aztec-packages/issues/11558)) ([ff6db73](https://github.com/AztecProtocol/aztec-packages/commit/ff6db7352921972372cbc780e77d481f079671d4)) * Add benchmarking dashboard (https://github.com/noir-lang/noir/pull/7068) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Add compile-time assertions on generic arguments of stdlib functions (https://github.com/noir-lang/noir/pull/6981) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Add method to filemanager ([#11610](https://github.com/AztecProtocol/aztec-packages/issues/11610)) ([6ce2389](https://github.com/AztecProtocol/aztec-packages/commit/6ce23892c8762ffde6fc3198e1e392cd1a72969b)) * Add migration notes for pxe contract method consolidation ([#11628](https://github.com/AztecProtocol/aztec-packages/issues/11628)) ([aaa0c87](https://github.com/AztecProtocol/aztec-packages/commit/aaa0c87f4b539962519333641656cad93df586bb)) * Add SecretAndHash struct ([#11293](https://github.com/AztecProtocol/aztec-packages/issues/11293)) ([f7da324](https://github.com/AztecProtocol/aztec-packages/commit/f7da324468a1f316624ada8b2bae7bfd17fdf775)), closes [#7921](https://github.com/AztecProtocol/aztec-packages/issues/7921) * **avm:** Better namespace reporting ([#11535](https://github.com/AztecProtocol/aztec-packages/issues/11535)) ([ac26e1d](https://github.com/AztecProtocol/aztec-packages/commit/ac26e1dfebf7d9463065fa02a03d0a6eb779e591)) * **avm:** Get rid of CommitmentLabels class ([#11523](https://github.com/AztecProtocol/aztec-packages/issues/11523)) ([2c250c4](https://github.com/AztecProtocol/aztec-packages/commit/2c250c4f036bb879a7be9b38a57855b9b13e5297)) * **avm:** Group lookups and perms per file ([#11509](https://github.com/AztecProtocol/aztec-packages/issues/11509)) ([a27dd66](https://github.com/AztecProtocol/aztec-packages/commit/a27dd66ff638de37883c5edd98f76387606f8e63)) * **avm:** Less codegen bloat ([#11504](https://github.com/AztecProtocol/aztec-packages/issues/11504)) ([7b510fe](https://github.com/AztecProtocol/aztec-packages/commit/7b510fe076d0c3b019fd1ca957297907c2f73f25)) * **avm:** Make check_relation safer ([#11593](https://github.com/AztecProtocol/aztec-packages/issues/11593)) ([13863eb](https://github.com/AztecProtocol/aztec-packages/commit/13863eb8156c7476fc0def5c9ea2e1013d831ab6)) * **avm:** Static labels ([#11573](https://github.com/AztecProtocol/aztec-packages/issues/11573)) ([06a7633](https://github.com/AztecProtocol/aztec-packages/commit/06a7633064dd7bd9fa9c8dfcf66d179cf33b2212)) * **bb:** Minor fixes ([#11557](https://github.com/AztecProtocol/aztec-packages/issues/11557)) ([f77b11e](https://github.com/AztecProtocol/aztec-packages/commit/f77b11efeed0055d44cfb57cc6b657b21bdc44ce)) * Blob inclusion metrics ([#11625](https://github.com/AztecProtocol/aztec-packages/issues/11625)) ([1c7d208](https://github.com/AztecProtocol/aztec-packages/commit/1c7d2089abfad068ed56cf66258457278766a3bc)), closes [#11164](https://github.com/AztecProtocol/aztec-packages/issues/11164) * Bump gates diff ([#11640](https://github.com/AztecProtocol/aztec-packages/issues/11640)) ([756b941](https://github.com/AztecProtocol/aztec-packages/commit/756b94101345d231b86233921398555512855273)) * Consolidate contract functions in pxe ([#10480](https://github.com/AztecProtocol/aztec-packages/issues/10480)) ([15f3cf0](https://github.com/AztecProtocol/aztec-packages/commit/15f3cf053ba02f8a1890c09b708d9e306783aa9b)) * Cookbook Onboard integration (https://github.com/noir-lang/noir/pull/7044) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Deploy high tps master network ([#11245](https://github.com/AztecProtocol/aztec-packages/issues/11245)) ([20fc3e9](https://github.com/AztecProtocol/aztec-packages/commit/20fc3e9468f2b445bd2c06ec2b10f25f8f9d2590)) * Disable ARM tests until new pass ([#11518](https://github.com/AztecProtocol/aztec-packages/issues/11518)) ([0f36fc6](https://github.com/AztecProtocol/aztec-packages/commit/0f36fc645bd9d09657202046d42e65d3085ff2ef)) * **docs:** Update PXE concepts ([#11225](https://github.com/AztecProtocol/aztec-packages/issues/11225)) ([ba969fc](https://github.com/AztecProtocol/aztec-packages/commit/ba969fc731bcd59c01bd48200a4446893744337a)) * Downgrade playwright ([#11643](https://github.com/AztecProtocol/aztec-packages/issues/11643)) ([d421460](https://github.com/AztecProtocol/aztec-packages/commit/d421460ae27c8f1cd9504f8205a9504061f86b53)) * Enable no-misused-promises ([#11629](https://github.com/AztecProtocol/aztec-packages/issues/11629)) ([a420466](https://github.com/AztecProtocol/aztec-packages/commit/a420466cfb0a387e98a932be8982fe25f02b90db)) * **experimental:** Prevent enum panics by returning Options where possible instead of panicking (https://github.com/noir-lang/noir/pull/7180) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Fix flake in circuit-types log-id ([#11563](https://github.com/AztecProtocol/aztec-packages/issues/11563)) ([43e36a8](https://github.com/AztecProtocol/aztec-packages/commit/43e36a8adfcfa8ed0c069446bd4a5ad27f0a1fd3)) * Fix logging promise objects ([#11626](https://github.com/AztecProtocol/aztec-packages/issues/11626)) ([d4b6aeb](https://github.com/AztecProtocol/aztec-packages/commit/d4b6aeb901f12caf8d60aba1ae9f88d2b9f212a4)) * Formatting issues / minor errors in the docs (https://github.com/noir-lang/noir/pull/7105) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Gke nodes need to write traces and storage ([#11568](https://github.com/AztecProtocol/aztec-packages/issues/11568)) ([13bf3b9](https://github.com/AztecProtocol/aztec-packages/commit/13bf3b9b6d7e54f898172e647681e6b16eb289ff)) * Let `add_definition_location` take a Location (https://github.com/noir-lang/noir/pull/7185) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Let `Function::inlined` take a `should_inline_call` function (https://github.com/noir-lang/noir/pull/7149) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Lock to ubuntu 22.04 (https://github.com/noir-lang/noir/pull/7098) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Logs refactor ([#11503](https://github.com/AztecProtocol/aztec-packages/issues/11503)) ([e45271f](https://github.com/AztecProtocol/aztec-packages/commit/e45271fb4ce98c1c6edc2a416dbaa354cce1df88)) * Make target contract public ([#11582](https://github.com/AztecProtocol/aztec-packages/issues/11582)) ([cd08d04](https://github.com/AztecProtocol/aztec-packages/commit/cd08d042e87564f1000564a45001d569b5881c99)), closes [#11532](https://github.com/AztecProtocol/aztec-packages/issues/11532) * Mark libs good (https://github.com/noir-lang/noir/pull/7123) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Network test scripts ([#11529](https://github.com/AztecProtocol/aztec-packages/issues/11529)) ([1392322](https://github.com/AztecProtocol/aztec-packages/commit/1392322830ec54a3a0c2a18083e51098d3d81b67)) * New cluster setup ([#11547](https://github.com/AztecProtocol/aztec-packages/issues/11547)) ([e73421d](https://github.com/AztecProtocol/aztec-packages/commit/e73421d6b27668c2c6998c624829741a2b308e58)) * New node pool for bots ([#11502](https://github.com/AztecProtocol/aztec-packages/issues/11502)) ([dfee4b8](https://github.com/AztecProtocol/aztec-packages/commit/dfee4b851e6a961f63047322c2de852f75366a92)) * Pcs tests refactor ([#11188](https://github.com/AztecProtocol/aztec-packages/issues/11188)) ([c4892c6](https://github.com/AztecProtocol/aztec-packages/commit/c4892c640d025b95fdd78cef42dfda2da585efa4)) * Pre-commit hook to warn of constant.nr change ([#11507](https://github.com/AztecProtocol/aztec-packages/issues/11507)) ([ad604ea](https://github.com/AztecProtocol/aztec-packages/commit/ad604ea017b6158efa2ea8934721d9a557ef946b)) * Publish aztec/native to npm ([#11655](https://github.com/AztecProtocol/aztec-packages/issues/11655)) ([dc62b3c](https://github.com/AztecProtocol/aztec-packages/commit/dc62b3c65909e46a6642c7e5d389fed6ef3715c0)) * Pull lazy memory initialization from sync ([#11607](https://github.com/AztecProtocol/aztec-packages/issues/11607)) ([5da7521](https://github.com/AztecProtocol/aztec-packages/commit/5da752134a1ac75b18ffc35c1cb0e548046b5be4)) * Pull out more sync stuff ([#11617](https://github.com/AztecProtocol/aztec-packages/issues/11617)) ([30dc56c](https://github.com/AztecProtocol/aztec-packages/commit/30dc56cac67b0df126b67090c9c6c3b5cf49d7bd)) * **refactor:** Remove globals field on Ssa object and use only the shared globals graph (https://github.com/noir-lang/noir/pull/7156) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Relax threshold for reporting regressions (https://github.com/noir-lang/noir/pull/7130) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Remove comments for time/memory benchmarks (https://github.com/noir-lang/noir/pull/7121) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Remove computation of roots from bloblib runtime code ([#11365](https://github.com/AztecProtocol/aztec-packages/issues/11365)) ([0e21c99](https://github.com/AztecProtocol/aztec-packages/commit/0e21c9965733332114171dc5d5d6d0a504e88ceb)) * Remove leonidas name from codebase ([#11545](https://github.com/AztecProtocol/aztec-packages/issues/11545)) ([cd990af](https://github.com/AztecProtocol/aztec-packages/commit/cd990afca34493ae0d0d203f3263bc9dc815aab5)) * Remove old public circuit public inputs ([#11594](https://github.com/AztecProtocol/aztec-packages/issues/11594)) ([e996275](https://github.com/AztecProtocol/aztec-packages/commit/e9962759f8cab87f28b061dcc95e191c230c74d3)) * Remove transitional adapter file from old public circuit public inputs ([#11598](https://github.com/AztecProtocol/aztec-packages/issues/11598)) ([f46897c](https://github.com/AztecProtocol/aztec-packages/commit/f46897c1599deef68e33f8391cbccf6b8f31576c)) * Remove yarn version check in bootstrap ([#11493](https://github.com/AztecProtocol/aztec-packages/issues/11493)) ([01f812d](https://github.com/AztecProtocol/aztec-packages/commit/01f812d421f41ea6019be9d0aaf0671da8b7d290)) * Removing fee-related complexity from Token ([#11635](https://github.com/AztecProtocol/aztec-packages/issues/11635)) ([e4de8a5](https://github.com/AztecProtocol/aztec-packages/commit/e4de8a5da6cf864b4e9303fb5a600ec0e6866a97)) * Rename constraining unit tests in vm2 ([#11581](https://github.com/AztecProtocol/aztec-packages/issues/11581)) ([570cdba](https://github.com/AztecProtocol/aztec-packages/commit/570cdba42e9210fb701a4ff5502f4ba0b366ca41)) * Rename enqueued call side effect trace ([#11574](https://github.com/AztecProtocol/aztec-packages/issues/11574)) ([6c3d742](https://github.com/AztecProtocol/aztec-packages/commit/6c3d74262646ad79e6c6e09649173bf4ece82ad5)) * Replace relative paths to noir-protocol-circuits ([15011cd](https://github.com/AztecProtocol/aztec-packages/commit/15011cd1dc3902ba0c7b2324b80a4ec7a2ff692d)) * Replace relative paths to noir-protocol-circuits ([5809ddc](https://github.com/AztecProtocol/aztec-packages/commit/5809ddc0ec77beb8b0f390cae7b5c9e397a3ed73)) * Replace relative paths to noir-protocol-circuits ([7fb86bd](https://github.com/AztecProtocol/aztec-packages/commit/7fb86bdd26afb1525cad42184e68245dcae28d5c)) * Replace relative paths to noir-protocol-circuits ([5b45a40](https://github.com/AztecProtocol/aztec-packages/commit/5b45a40a1796e7ac5f1487959e3ce58c7506fdc3)) * Replace relative paths to noir-protocol-circuits ([6ee3a26](https://github.com/AztecProtocol/aztec-packages/commit/6ee3a2613b9e597ce6040816ef32574f66396d35)) * Replace relative paths to noir-protocol-circuits ([9dc399b](https://github.com/AztecProtocol/aztec-packages/commit/9dc399bb7188919424a2a3dddf7e4d0d97646985)) * Replace relative paths to noir-protocol-circuits ([edd46cf](https://github.com/AztecProtocol/aztec-packages/commit/edd46cf1171d2b812eef39d7a26e3b905a99f410)) * Replace usage of stdlib with sha256 library ([#11394](https://github.com/AztecProtocol/aztec-packages/issues/11394)) ([c3e83ba](https://github.com/AztecProtocol/aztec-packages/commit/c3e83ba19afdd018ca136854cf42181efc9dc959)) * Revert "remove debug_logging flag" ([#11498](https://github.com/AztecProtocol/aztec-packages/issues/11498)) ([de304d8](https://github.com/AztecProtocol/aztec-packages/commit/de304d8a62499f884844d1c3d2c048c954c49f40)) * Simplified bb.js bundling ([#11622](https://github.com/AztecProtocol/aztec-packages/issues/11622)) ([8408ede](https://github.com/AztecProtocol/aztec-packages/commit/8408ede53e5dd6c855c5a4b544099dc828bcea31)) * Skip sequential multi-block proving orchestrator tests ([#11536](https://github.com/AztecProtocol/aztec-packages/issues/11536)) ([3c5ea26](https://github.com/AztecProtocol/aztec-packages/commit/3c5ea2638669943904c81dc3d8fc11d4d72c4dc3)) * **ssa:** Use correct prefix when printing array values in global space (https://github.com/noir-lang/noir/pull/7095) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Turn on overflow checks in CI rust tests (https://github.com/noir-lang/noir/pull/7145) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Update aztec-spartan.sh to correctly Docker installation on macOS ([#11490](https://github.com/AztecProtocol/aztec-packages/issues/11490)) ([d1e33a3](https://github.com/AztecProtocol/aztec-packages/commit/d1e33a316af2d36dd9678a2dca7c67725f9e000f)) * Use json log format for eth devnet ([#11564](https://github.com/AztecProtocol/aztec-packages/issues/11564)) ([f411188](https://github.com/AztecProtocol/aztec-packages/commit/f411188951907ebf655cb4b9a088f986dfbeb1b1)) * Using UintNote in crowdfunding and claim ([#11270](https://github.com/AztecProtocol/aztec-packages/issues/11270)) ([9e94a50](https://github.com/AztecProtocol/aztec-packages/commit/9e94a5059ad85fcbbf734cc917863f9d5e1a4af3)) ### Documentation * Add docs for aztec flamegraph ([#11657](https://github.com/AztecProtocol/aztec-packages/issues/11657)) ([e333f29](https://github.com/AztecProtocol/aztec-packages/commit/e333f29b335097a4bdfd883125013daa23d83d8a)) * Updating browser test instructions ([#11575](https://github.com/AztecProtocol/aztec-packages/issues/11575)) ([0ae115b](https://github.com/AztecProtocol/aztec-packages/commit/0ae115b9f9e003da89248140bd25b8e83b956b46)) </details> <details><summary>barretenberg: 0.73.0</summary> ## [0.73.0](https://github.com/AztecProtocol/aztec-packages/compare/barretenberg-v0.72.1...barretenberg-v0.73.0) (2025-01-31) ### ⚠ BREAKING CHANGES * **avm:** include length in bytecode hash ([#11425](https://github.com/AztecProtocol/aztec-packages/issues/11425)) ### Features * `loop` keyword in runtime and comptime code (https://github.com/noir-lang/noir/pull/7096) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * `loop` must have at least one `break` (https://github.com/noir-lang/noir/pull/7126) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Add `noir-inspector` (https://github.com/noir-lang/noir/pull/7136) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **avm:** Constrain sha256 ([#11048](https://github.com/AztecProtocol/aztec-packages/issues/11048)) ([897c840](https://github.com/AztecProtocol/aztec-packages/commit/897c840d0f0f28ad7d4a7683027161132d8c64a0)) * **avm:** Constraining bytecode (part 1) ([#11382](https://github.com/AztecProtocol/aztec-packages/issues/11382)) ([2779ea4](https://github.com/AztecProtocol/aztec-packages/commit/2779ea401145bb2371d7ce3045c4bc6ccd605ee0)) * **avm:** Get_row optimization - 25x faster logderiv inv ([#11605](https://github.com/AztecProtocol/aztec-packages/issues/11605)) ([a273136](https://github.com/AztecProtocol/aztec-packages/commit/a273136d1a4686ff37dc3b75c9518f0b28b7d457)) * **avm:** Include length in bytecode hash ([#11425](https://github.com/AztecProtocol/aztec-packages/issues/11425)) ([ab2c860](https://github.com/AztecProtocol/aztec-packages/commit/ab2c860c747d3051a1cb85ad6ce5fac2a68867f7)) * **avm:** Range checks in vm2 ([#11433](https://github.com/AztecProtocol/aztec-packages/issues/11433)) ([79cbe04](https://github.com/AztecProtocol/aztec-packages/commit/79cbe04cfdccdc0926084d837d3ae989f70d441c)) * **avm:** Vm2 bitwise subtrace ([#11473](https://github.com/AztecProtocol/aztec-packages/issues/11473)) ([859c29b](https://github.com/AztecProtocol/aztec-packages/commit/859c29b243f083bbd86af57b54686764ce9167c1)) * **brillig:** Set global memory size at program compile time (https://github.com/noir-lang/noir/pull/7151) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **brillig:** SSA globals code gen (https://github.com/noir-lang/noir/pull/7021) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Change data store backend to use liblmdb directly ([#11357](https://github.com/AztecProtocol/aztec-packages/issues/11357)) ([7e3a38e](https://github.com/AztecProtocol/aztec-packages/commit/7e3a38ec24033b102897baaf8397ace9d8584677)) * **experimental:** Construct enum variants in expressions (https://github.com/noir-lang/noir/pull/7174) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **experimental:** Try to infer lambda argument types inside calls (https://github.com/noir-lang/noir/pull/7088) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Gemini PolynomialBatcher ([#11398](https://github.com/AztecProtocol/aztec-packages/issues/11398)) ([379aafa](https://github.com/AztecProtocol/aztec-packages/commit/379aafa7d4b644c8380b971e332c41ada62f5821)) * Inline simple functions (https://github.com/noir-lang/noir/pull/7160) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * LSP autocomplete module declaration (https://github.com/noir-lang/noir/pull/7154) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * LSP chain inlay hints (https://github.com/noir-lang/noir/pull/7152) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Parse globals in SSA parser (https://github.com/noir-lang/noir/pull/7112) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Parser and formatter support for `enum`s (https://github.com/noir-lang/noir/pull/7110) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Resolve enums & prepare type system (https://github.com/noir-lang/noir/pull/7115) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Shplemini claim batcher ([#11614](https://github.com/AztecProtocol/aztec-packages/issues/11614)) ([f4e2953](https://github.com/AztecProtocol/aztec-packages/commit/f4e2953632ad4fdcf0a6cf00eda4b16b4b3db0f2)) * **ssa:** Add flag to DIE pass to be able to keep `store` instructions (https://github.com/noir-lang/noir/pull/7106) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **ssa:** Expand feature set of the Brillig constraint check (https://github.com/noir-lang/noir/pull/7060) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **ssa:** Pass to preprocess functions (https://github.com/noir-lang/noir/pull/7072) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **ssa:** Reuse constants from the globals graph when making constants in a function DFG (https://github.com/noir-lang/noir/pull/7153) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Unconstrained optimizations for BoundedVec (https://github.com/noir-lang/noir/pull/7119) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) ### Bug Fixes * `Function::is_no_predicates` always returned false for brillig f… (https://github.com/noir-lang/noir/pull/7167) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Allow calling trait impl method from struct if multiple impls exist (https://github.com/noir-lang/noir/pull/7124) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Avoid creating unnecessary memory blocks (https://github.com/noir-lang/noir/pull/7114) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Defunctionalize pass on the caller runtime to apply (https://github.com/noir-lang/noir/pull/7100) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **docs:** Update broken links to EC lib (https://github.com/noir-lang/noir/pull/7141) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Don't always use an exclusive lock in `nargo check` (https://github.com/noir-lang/noir/pull/7120) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Ensure canonical bits decomposition (https://github.com/noir-lang/noir/pull/7168) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Fix boxes ([#11592](https://github.com/AztecProtocol/aztec-packages/issues/11592)) ([3d40260](https://github.com/AztecProtocol/aztec-packages/commit/3d40260d63cb2757b855d4bce1b1c56591c3fb9c)) * Fix noir_bb browser tests ([#11552](https://github.com/AztecProtocol/aztec-packages/issues/11552)) ([17aec31](https://github.com/AztecProtocol/aztec-packages/commit/17aec316c23ddc8d083c7d4be1d46365f965432e)) * Fuzzer value mutation and instruction write ([#11570](https://github.com/AztecProtocol/aztec-packages/issues/11570)) ([d120cbe](https://github.com/AztecProtocol/aztec-packages/commit/d120cbe852e4d182f499f99f3cd2bcbe69139d16)) * Keep `inc_rc` for array inputs during preprocessing (https://github.com/noir-lang/noir/pull/7163) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * LSP hover over function with `&mut self` (https://github.com/noir-lang/noir/pull/7155) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **LSP:** Correct signature for assert and assert_eq (https://github.com/noir-lang/noir/pull/7184) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Preserve types when reading from calldata arrays (https://github.com/noir-lang/noir/pull/7144) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Prevent overlapping associated types impls (https://github.com/noir-lang/noir/pull/7047) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Proper cleanup when breaking from comptime loop on error (https://github.com/noir-lang/noir/pull/7125) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Remove unused brillig functions (https://github.com/noir-lang/noir/pull/7102) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **ssa:** Resolve value before fetching from DFG in a couple cases (https://github.com/noir-lang/noir/pull/7169) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **ssa:** Use post order when mapping instructions in loop invariant pass (https://github.com/noir-lang/noir/pull/7140) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) ### Miscellaneous * Add apps & fee support to AVM simulator and AVM bb-prover tests ([#11323](https://github.com/AztecProtocol/aztec-packages/issues/11323)) ([a836786](https://github.com/AztecProtocol/aztec-packages/commit/a83678624cd4d9f21ca1438672a59ecfc3096713)) * Add benchmarking dashboard (https://github.com/noir-lang/noir/pull/7068) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Add compile-time assertions on generic arguments of stdlib functions (https://github.com/noir-lang/noir/pull/6981) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * **avm:** Better namespace reporting ([#11535](https://github.com/AztecProtocol/aztec-packages/issues/11535)) ([ac26e1d](https://github.com/AztecProtocol/aztec-packages/commit/ac26e1dfebf7d9463065fa02a03d0a6eb779e591)) * **avm:** Get rid of CommitmentLabels class ([#11523](https://github.com/AztecProtocol/aztec-packages/issues/11523)) ([2c250c4](https://github.com/AztecProtocol/aztec-packages/commit/2c250c4f036bb879a7be9b38a57855b9b13e5297)) * **avm:** Group lookups and perms per file ([#11509](https://github.com/AztecProtocol/aztec-packages/issues/11509)) ([a27dd66](https://github.com/AztecProtocol/aztec-packages/commit/a27dd66ff638de37883c5edd98f76387606f8e63)) * **avm:** Less codegen bloat ([#11504](https://github.com/AztecProtocol/aztec-packages/issues/11504)) ([7b510fe](https://github.com/AztecProtocol/aztec-packages/commit/7b510fe076d0c3b019fd1ca957297907c2f73f25)) * **avm:** Make check_relation safer ([#11593](https://github.com/AztecProtocol/aztec-packages/issues/11593)) ([13863eb](https://github.com/AztecProtocol/aztec-packages/commit/13863eb8156c7476fc0def5c9ea2e1013d831ab6)) * **avm:** Static labels ([#11573](https://github.com/AztecProtocol/aztec-packages/issues/11573)) ([06a7633](https://github.com/AztecProtocol/aztec-packages/commit/06a7633064dd7bd9fa9c8dfcf66d179cf33b2212)) * **bb:** Minor fixes ([#11557](https://github.com/AztecProtocol/aztec-packages/issues/11557)) ([f77b11e](https://github.com/AztecProtocol/aztec-packages/commit/f77b11efeed0055d44cfb57cc6b657b21bdc44ce)) * Cookbook Onboard integration (https://github.com/noir-lang/noir/pull/7044) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Downgrade playwright ([#11643](https://github.com/AztecProtocol/aztec-packages/issues/11643)) ([d421460](https://github.com/AztecProtocol/aztec-packages/commit/d421460ae27c8f1cd9504f8205a9504061f86b53)) * **experimental:** Prevent enum panics by returning Options where possible instead of panicking (https://github.com/noir-lang/noir/pull/7180) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Formatting issues / minor errors in the docs (https://github.com/noir-lang/noir/pull/7105) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Let `add_definition_location` take a Location (https://github.com/noir-lang/noir/pull/7185) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Let `Function::inlined` take a `should_inline_call` function (https://github.com/noir-lang/noir/pull/7149) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Lock to ubuntu 22.04 (https://github.com/noir-lang/noir/pull/7098) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Mark libs good (https://github.com/noir-lang/noir/pull/7123) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Pcs tests refactor ([#11188](https://github.com/AztecProtocol/aztec-packages/issues/11188)) ([c4892c6](https://github.com/AztecProtocol/aztec-packages/commit/c4892c640d025b95fdd78cef42dfda2da585efa4)) * **refactor:** Remove globals field on Ssa object and use only the shared globals graph (https://github.com/noir-lang/noir/pull/7156) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Relax threshold for reporting regressions (https://github.com/noir-lang/noir/pull/7130) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Remove comments for time/memory benchmarks (https://github.com/noir-lang/noir/pull/7121) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Rename constraining unit tests in vm2 ([#11581](https://github.com/AztecProtocol/aztec-packages/issues/11581)) ([570cdba](https://github.com/AztecProtocol/aztec-packages/commit/570cdba42e9210fb701a4ff5502f4ba0b366ca41)) * Revert "remove debug_logging flag" ([#11498](https://github.com/AztecProtocol/aztec-packages/issues/11498)) ([de304d8](https://github.com/AztecProtocol/aztec-packages/commit/de304d8a62499f884844d1c3d2c048c954c49f40)) * Simplified bb.js bundling ([#11622](https://github.com/AztecProtocol/aztec-packages/issues/11622)) ([8408ede](https://github.com/AztecProtocol/aztec-packages/commit/8408ede53e5dd6c855c5a4b544099dc828bcea31)) * **ssa:** Use correct prefix when printing array values in global space (https://github.com/noir-lang/noir/pull/7095) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) * Turn on overflow checks in CI rust tests (https://github.com/noir-lang/noir/pull/7145) ([a7f8d96](https://github.com/AztecProtocol/aztec-packages/commit/a7f8d9670902dfa4856b8514ce5eb4ad031a44fc)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

ledwards2225 added 3 commits January 29, 2025 21:31

basic claim batcher concept

849c546

move it up a level

5a61de9

using the batch slcalar methods

2ed762b

ledwards2225 self-assigned this Jan 29, 2025

ledwards2225 marked this pull request as ready for review January 29, 2025 22:19

Shplem interface now takes claim batcher

bda7005

ledwards2225 requested review from jeanmon, IlyasRidhuan, fcarreiro and Maddiaa0 as code owners January 29, 2025 22:59

fcarreiro removed request for fcarreiro, IlyasRidhuan, jeanmon and Maddiaa0 January 29, 2025 23:01

ledwards2225 added 4 commits January 30, 2025 14:02

Merge branch 'master' into lde/concatenate_4

da6c22d

comments

ad2bdfd

more comments

29aef8d

minor reworking plus comments

f1b84f0

ledwards2225 commented Jan 30, 2025

View reviewed changes

remove unneeded member

71b4ed8

ledwards2225 commented Jan 30, 2025

View reviewed changes

ledwards2225 requested a review from maramihali January 30, 2025 21:02

maramihali approved these changes Jan 31, 2025

View reviewed changes

ledwards2225 added 2 commits January 31, 2025 16:37

improving some naming in batcher

02cdd6e

Merge branch 'master' into lde/concatenate_4

df3cb4d

ledwards2225 merged commit f4e2953 into master Jan 31, 2025
52 checks passed

ledwards2225 deleted the lde/concatenate_4 branch January 31, 2025 17:43

AztecBot mentioned this pull request Jan 31, 2025

chore(master): Release 0.73.0 #11496

Merged

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: shplemini claim batcher #11614

feat: shplemini claim batcher #11614

ledwards2225 commented Jan 29, 2025 •

edited

Loading

ledwards2225 Jan 30, 2025 •

edited

Loading

maramihali Jan 31, 2025

ledwards2225 Jan 31, 2025

ledwards2225 Jan 30, 2025 •

edited

Loading

ledwards2225 Jan 30, 2025

maramihali left a comment

maramihali Jan 31, 2025

ledwards2225 Jan 31, 2025

maramihali Jan 31, 2025

maramihali Jan 31, 2025

ledwards2225 Jan 31, 2025

maramihali Jan 31, 2025

ledwards2225 Jan 31, 2025

ledwards2225 Jan 31, 2025

maramihali Jan 31, 2025

maramihali Jan 31, 2025

ledwards2225 Jan 31, 2025

maramihali Jan 31, 2025

ledwards2225 Jan 31, 2025

feat: shplemini claim batcher #11614

feat: shplemini claim batcher #11614

Conversation

ledwards2225 commented Jan 29, 2025 • edited Loading

ledwards2225 Jan 30, 2025 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

ledwards2225 Jan 30, 2025 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

maramihali 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

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

ledwards2225 commented Jan 29, 2025 •

edited

Loading

ledwards2225 Jan 30, 2025 •

edited

Loading

ledwards2225 Jan 30, 2025 •

edited

Loading