feat(avm): constrain sha256 #11048

IlyasRidhuan · 2025-01-03T22:15:14Z

Most of the sha256 constraints. The main things missing are:

Lookup constraints for XOR / AND
Memory loading constraints

We'll delay this until vm2 re-design

IlyasRidhuan · 2025-01-03T22:15:29Z

feat(avm): poseidon2 in vm2 #11597
feat(avm): constrained ec_add #11525
feat(avm): constrain sha256 #11048 👈 (View in Graphite)
fix: hardcode value in constants #11442
master

This stack of pull requests is managed by Graphite. Learn more about stacking.

jeanmon · 2025-01-09T14:58:17Z

barretenberg/cpp/pil/avm/gadgets/sha256.pil

+    sel * (1 - sel) = 0;
+    // For the XOR lookups
+    pol commit xor_sel;
+    perform_round * (xor_sel - 2) = 0;


We should introduce constant for op_id of OR, AND, XOR and use it instead of hardcoded '2'.

jeanmon · 2025-01-09T15:00:57Z

barretenberg/cpp/pil/avm/gadgets/sha256.pil

+    perform_round * (xor_sel - 2) = 0;
+    // For the AND lookups
+    pol commit and_sel;
+    and_sel = 0;


Same as above.
Maybe add a note that, once we support constant in a tuple member of a lookup, we will not need to define this column anymore.

jeanmon · 2025-01-09T15:04:31Z

barretenberg/cpp/pil/avm/gadgets/sha256.pil

+
+    // Counter
+    pol commit rounds_remaining;
+    start * (rounds_remaining - 64) + perform_round * (rounds_remaining - rounds_remaining' - 1) = 0;


Please define a constant for 64.

jeanmon · 2025-01-09T15:16:48Z

barretenberg/cpp/src/barretenberg/vm/avm/trace/gadgets/fixed_sha256_constants.hpp

+};
+
+template <typename DestRow>
+void merge_into(DestRow& dest, FixedSha256ConstantsTable::Sha256ConstantsRow const& src, uint32_t multiplicity)


Suggested change

void merge_into(DestRow& dest, FixedSha256ConstantsTable::Sha256ConstantsRow const& src, uint32_t multiplicity)

void merge_into(DestRow& dest, const FixedSha256ConstantsTable::Sha256ConstantsRow& src, uint32_t multiplicity)

jeanmon · 2025-01-09T15:16:58Z

barretenberg/cpp/src/barretenberg/vm/avm/trace/gadgets/fixed_sha256_constants.hpp

+};
+
+template <typename DestRow>
+void merge_into(DestRow& dest, FixedSha256ConstantsTable::Sha256ConstantsRow const& src, uint32_t multiplicity)


Suggested change

void merge_into(DestRow& dest, FixedSha256ConstantsTable::Sha256ConstantsRow const& src, uint32_t multiplicity)

void merge_into(DestRow& dest, const FixedSha256ConstantsTable::Sha256ConstantsRow& src, uint32_t multiplicity)

jeanmon · 2025-01-09T15:18:11Z

barretenberg/cpp/src/barretenberg/vm/avm/trace/gadgets/sha256.cpp

    return output;
 }

+static std::tuple<uint32_t, uint32_t> bit_limbs(uint32_t const& a, uint8_t const b)


Suggested change

static std::tuple<uint32_t, uint32_t> bit_limbs(uint32_t const& a, uint8_t const b)

static std::tuple<uint32_t, uint32_t> bit_limbs(const uint32_t a, const uint8_t b)

jeanmon · 2025-01-09T15:18:45Z

barretenberg/cpp/src/barretenberg/vm/avm/trace/gadgets/sha256.cpp

+{
+
+    for (size_t i = 0; i < sha256_trace.size(); i++) {
+        auto const& src = sha256_trace.at(i);


Suggested change

auto const& src = sha256_trace.at(i);

const auto& src = sha256_trace.at(i);

jeanmon

LGTM but have a look at my feedback. Cool work!

barretenberg/cpp/pil/vm2/precomputed.pil

barretenberg/cpp/src/barretenberg/vm2/constraining/relations/sha256.test.cpp

fcarreiro · 2025-01-24T14:20:03Z

barretenberg/cpp/src/barretenberg/vm2/constraining/relations/sha256.test.cpp

+
+    check_relation<sha256>(rows);
+}
+


No negative tests now or no negative tests ever? :)

let's say for now haha

barretenberg/cpp/src/barretenberg/vm2/tracegen/sha256_trace.cpp

barretenberg/cpp/pil/vm2/sha256.pil

fcarreiro · 2025-01-24T14:26:21Z

barretenberg/cpp/pil/vm2/sha256.pil

+namespace sha256;
+
+    // Memory ops
+    pol commit state_offset;


We are not indenting in the other files, since there is only 1 namespace expected, does it make sense?

i like the indentation - i feel like it makes things easier to read tbh

ok lets talk with the team then, either we do it in all, or in none.

barretenberg/cpp/pil/vm2/sha256.pil

fcarreiro · 2025-01-24T14:29:10Z

barretenberg/cpp/src/barretenberg/vm2/simulation/sha256_compression.cpp

+    // Load 8 elements representing the state from memory.
+    for (uint32_t i = 0; i < 8; ++i) {
+        auto memory_value = memory.get(state_addr + i).value;
+        /*Check Tag is U32 */


missing " ", same below in the other check tag

fcarreiro · 2025-01-24T14:29:37Z

barretenberg/cpp/src/barretenberg/vm2/simulation/sha256_compression.cpp

+    // Load 16 elements representing the input from memory.
+    for (uint32_t i = 0; i < 16; ++i) {
+        auto memory_value = memory.get(input_addr + i).value;
+        /*Check Tag is U32 */


Is this an error handling TODO? Do you need to check the tags here? if yes please make explicit

I'll add the TODO, the tag check is dependent on where we expect to enforce it (i.e in the memory trace or in the calling trace).

I guess we havent landed on what the approach will be yet

fcarreiro · 2025-01-24T14:42:22Z

barretenberg/cpp/src/barretenberg/vm2/simulation/sha256_compression.hpp

+                     MemoryAddress output_addr) override;
+
+  private:
+    EventEmitterInterface<Sha256CompressionEvent>& events;


~~Please add a TODO that we should be using "deduplicating events" here. I'll build the infra at some point.~~

Sorry, that was wrong. This is memory aware.

fcarreiro

Approving pending indentation poll resolution ;)

I think the biggest concern is the array copies if they were not on purpose.

fcarreiro · 2025-01-26T12:43:37Z

barretenberg/cpp/pil/vm2/sha256.pil

+namespace sha256;
+
+    // Memory ops
+    pol commit state_offset;


ok lets talk with the team then, either we do it in all, or in none.

barretenberg/cpp/src/barretenberg/vm2/simulation_helper.cpp

fcarreiro · 2025-01-26T16:05:55Z

barretenberg/cpp/src/barretenberg/vm2/simulation_helper.hpp

[Re: line +29]

nit: revert? :)

See this comment inline on Graphite.

barretenberg/cpp/src/barretenberg/vm2/tracegen/sha256_trace.cpp

barretenberg/cpp/src/barretenberg/vm2/tracegen/sha256_trace.hpp

fcarreiro · 2025-01-26T16:26:18Z

barretenberg/cpp/src/barretenberg/vm2/simulation/lib/sha256_compression.cpp

+    output[7] = h + h_init[7];
+    return output;
+}
+} // namespace bb::avm2::simulation


nit: newline before

barretenberg/cpp/src/barretenberg/vm2/simulation/lib/sha256_compression.hpp

barretenberg/cpp/src/barretenberg/vm2/tracegen/sha256_trace.cpp

barretenberg/cpp/src/barretenberg/vm2/tracegen/sha256_trace.hpp

fcarreiro · 2025-01-27T16:17:35Z

barretenberg/cpp/src/barretenberg/vm2/simulation/sha256.cpp

+
+namespace bb::avm2::simulation {
+
+void Sha256::compression(ContextInterface& context,


You reminded me that this probbaly needs to return sth

hmm maybe but with the current signature it should not. i think it would if it has "pure" inputs

array<u32, 8> Sha256::compression(ContextInterface& context,MemoryAddress state_addr, array<u32, 8> input)

so only the state_addr is passed in as an offset

: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).

IlyasRidhuan force-pushed the ir/01-03-feat_constrain_sha256 branch from edd1c61 to 1f4a5bf Compare January 9, 2025 10:38

IlyasRidhuan marked this pull request as ready for review January 9, 2025 10:57

IlyasRidhuan requested review from jeanmon, fcarreiro and Maddiaa0 as code owners January 9, 2025 10:57

IlyasRidhuan changed the title ~~feat: constrain sha256~~ feat(avm): constrain sha256 Jan 9, 2025

IlyasRidhuan requested review from fcarreiro and dbanks12 and removed request for fcarreiro and Maddiaa0 January 9, 2025 10:58

IlyasRidhuan force-pushed the ir/01-03-feat_constrain_sha256 branch from 1f4a5bf to 87cef77 Compare January 9, 2025 12:51

jeanmon reviewed Jan 9, 2025

View reviewed changes

jeanmon approved these changes Jan 9, 2025

View reviewed changes

IlyasRidhuan force-pushed the ir/01-03-feat_constrain_sha256 branch from 87cef77 to eb03f46 Compare January 10, 2025 11:54

IlyasRidhuan marked this pull request as draft January 15, 2025 12:54

IlyasRidhuan force-pushed the ir/01-03-feat_constrain_sha256 branch from eb03f46 to 8c6e5a8 Compare January 23, 2025 12:38

IlyasRidhuan changed the base branch from master to ir/01-21-fix_hardcode_value_in_constants January 23, 2025 12:38

IlyasRidhuan mentioned this pull request Jan 23, 2025

fix: hardcode value in constants #11442

Merged

IlyasRidhuan force-pushed the ir/01-03-feat_constrain_sha256 branch 3 times, most recently from 1f891fb to c6ffba9 Compare January 23, 2025 13:53

IlyasRidhuan marked this pull request as ready for review January 23, 2025 13:54

IlyasRidhuan force-pushed the ir/01-03-feat_constrain_sha256 branch from c6ffba9 to c3f7087 Compare January 23, 2025 14:16

Base automatically changed from ir/01-21-fix_hardcode_value_in_constants to master January 23, 2025 14:52

IlyasRidhuan force-pushed the ir/01-03-feat_constrain_sha256 branch from c3f7087 to 6f9fbd0 Compare January 23, 2025 15:34

fcarreiro requested changes Jan 24, 2025

View reviewed changes

IlyasRidhuan force-pushed the ir/01-03-feat_constrain_sha256 branch from 6f9fbd0 to 91eba47 Compare January 26, 2025 09:32

fcarreiro self-requested a review January 26, 2025 12:42

fcarreiro approved these changes Jan 26, 2025

View reviewed changes

IlyasRidhuan force-pushed the ir/01-03-feat_constrain_sha256 branch from 91eba47 to 1d2145b Compare January 27, 2025 09:29

IlyasRidhuan mentioned this pull request Jan 27, 2025

feat(avm): constrained ec_add #11525

Merged

IlyasRidhuan added 2 commits January 27, 2025 12:22

feat: constrain sha256

45cca0c

fix: address comments

65989e3

IlyasRidhuan force-pushed the ir/01-03-feat_constrain_sha256 branch from 1d2145b to 87a6c07 Compare January 27, 2025 12:24

fix: update from master

8be1d44

IlyasRidhuan force-pushed the ir/01-03-feat_constrain_sha256 branch from 87a6c07 to 8be1d44 Compare January 27, 2025 15:27

fcarreiro reviewed Jan 27, 2025

View reviewed changes

IlyasRidhuan enabled auto-merge (squash) January 28, 2025 10:21

IlyasRidhuan disabled auto-merge January 28, 2025 10:21

IlyasRidhuan merged commit 897c840 into master Jan 28, 2025
52 checks passed

IlyasRidhuan deleted the ir/01-03-feat_constrain_sha256 branch January 28, 2025 10:25

AztecBot mentioned this pull request Jan 28, 2025

chore(master): Release 0.73.0 #11496

Merged

IlyasRidhuan mentioned this pull request Jan 29, 2025

feat(avm): poseidon2 in vm2 #11597

Merged

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(avm): constrain sha256 #11048

feat(avm): constrain sha256 #11048

IlyasRidhuan commented Jan 3, 2025 •

edited

Loading

IlyasRidhuan commented Jan 3, 2025 •

edited

Loading

jeanmon Jan 9, 2025

jeanmon Jan 9, 2025

jeanmon Jan 9, 2025

jeanmon Jan 9, 2025

jeanmon Jan 9, 2025

jeanmon Jan 9, 2025

jeanmon Jan 9, 2025

jeanmon left a comment

fcarreiro Jan 24, 2025

IlyasRidhuan Jan 26, 2025

fcarreiro Jan 24, 2025

IlyasRidhuan Jan 25, 2025

fcarreiro Jan 26, 2025

fcarreiro Jan 24, 2025

fcarreiro Jan 24, 2025

IlyasRidhuan Jan 25, 2025

fcarreiro Jan 24, 2025 •

edited

Loading

fcarreiro left a comment

fcarreiro Jan 26, 2025

fcarreiro Jan 26, 2025

fcarreiro Jan 26, 2025

fcarreiro Jan 27, 2025

IlyasRidhuan Jan 28, 2025

	void merge_into(DestRow& dest, FixedSha256ConstantsTable::Sha256ConstantsRow const& src, uint32_t multiplicity)
	void merge_into(DestRow& dest, const FixedSha256ConstantsTable::Sha256ConstantsRow& src, uint32_t multiplicity)

	static std::tuple<uint32_t, uint32_t> bit_limbs(uint32_t const& a, uint8_t const b)
	static std::tuple<uint32_t, uint32_t> bit_limbs(const uint32_t a, const uint8_t b)

	auto const& src = sha256_trace.at(i);
	const auto& src = sha256_trace.at(i);


		namespace bb::avm2::simulation {

		void Sha256::compression(ContextInterface& context,

feat(avm): constrain sha256 #11048

feat(avm): constrain sha256 #11048

Conversation

IlyasRidhuan commented Jan 3, 2025 • edited Loading

IlyasRidhuan commented Jan 3, 2025 • 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

jeanmon 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

fcarreiro Jan 24, 2025 • edited Loading

Choose a reason for hiding this comment

fcarreiro 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

IlyasRidhuan commented Jan 3, 2025 •

edited

Loading

IlyasRidhuan commented Jan 3, 2025 •

edited

Loading

fcarreiro Jan 24, 2025 •

edited

Loading