chore: test blackbox binary op instructions #5484

michaeljklein · 2024-07-11T04:30:02Z

Description

TODO:

Split out control flow tests into a separate PR chore: add array and slice control flow tests #5558
Split out BigInt tests into a separate PR chore: test ACVM BigInt #5559
Refactor any::<T>()
Make issues for failing tests

Problem*

Resolves #5426

Summary*

Additional Context

Documentation*

Check one:

No documentation needed.
Documentation included in this PR.
[For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

I have tested the changes locally.
I have formatted the changes with Prettier and/or cargo fmt on default settings.

…er helper, add wip slice control flow test (currently hitting the 'push_back'-panics-in-unevaluated-branch bug), add wip array control flow test

…w test to arrays

…d tests for to/from le bytes, add tests for commutative/associative/identity and/xor

… of identity and zero tests

acvm-repo/acvm/tests/solver.rs

…iple of bigint's, fix bug in bigint_solve_binary_op, add commutative/associative/identity/zero/inverse/distributive tests for bigint's

acvm-repo/acvm/tests/solver.rs

…dir if possible (noir-lang/noir#5642) feat: LSP inlay type hints on lambda parameters (noir-lang/noir#5639) feat: Sync from aztec-packages (noir-lang/noir#5598) fix!: parse block and if statements independently of expressions in statements (noir-lang/noir#5634) chore: test blackbox binary op instructions (noir-lang/noir#5484) chore(docs): add Writing Noir doc (noir-lang/noir#5456) chore(github): Switch to organization-wide Issue templates (noir-lang/noir#5622) chore: Switch `Value::TraitConstraint` to a resolved trait constraint (noir-lang/noir#5618) fix: error on incorrect generic count for impl and type alias (noir-lang/noir#5623) feat: allow inserting LSP inlay type hints (noir-lang/noir#5620) feat: turbofish in struct pattern (noir-lang/noir#5616) fix: correct span for prefix operator (noir-lang/noir#5624) fix: `NoMatchingImplFound` in comptime code only (noir-lang/noir#5617) feat: Remove 'comptime or separate crate' restriction on comptime code (noir-lang/noir#5609) chore(docs): Update proving backend related docs (noir-lang/noir#5601) feat: turbofish operator in struct constructor (noir-lang/noir#5607) feat: add parameter to call_data attribute (noir-lang/noir#5599) feat: turbofish operator on path segments (noir-lang/noir#5603) fix: Filter comptime globals (noir-lang/noir#5538) chore: Display comptime assertion errors, not Debug (noir-lang/noir#5605) chore: add array and slice control flow tests (noir-lang/noir#5558) fix: let trait calls work in globals (noir-lang/noir#5602) feat: Implement format strings in the comptime interpreter (noir-lang/noir#5596) feat: Implement `Value::Type` in comptime interpreter (noir-lang/noir#5593) chore(docs): nasty linky (noir-lang/noir#5600) feat(acir_gen): Width aware ACIR gen addition (noir-lang/noir#5493) fix: lookup trait constraints methods in composite types (noir-lang/noir#5595) fix: allow trailing comma when parsing where clauses (noir-lang/noir#5594) fix: let std::unsafe::zeroed() work for slices (noir-lang/noir#5592) fix: error on duplicate struct field (noir-lang/noir#5585)

…noir#5635) fix: error on unbound generics in structs (noir-lang/noir#5619) fix: allow using Self for function calls (noir-lang/noir#5629) feat: let filenames in errors be relative to the current dir if possible (noir-lang/noir#5642) feat: LSP inlay type hints on lambda parameters (noir-lang/noir#5639) feat: Sync from aztec-packages (noir-lang/noir#5598) fix!: parse block and if statements independently of expressions in statements (noir-lang/noir#5634) chore: test blackbox binary op instructions (noir-lang/noir#5484) chore(docs): add Writing Noir doc (noir-lang/noir#5456) chore(github): Switch to organization-wide Issue templates (noir-lang/noir#5622) chore: Switch `Value::TraitConstraint` to a resolved trait constraint (noir-lang/noir#5618) fix: error on incorrect generic count for impl and type alias (noir-lang/noir#5623) feat: allow inserting LSP inlay type hints (noir-lang/noir#5620) feat: turbofish in struct pattern (noir-lang/noir#5616) fix: correct span for prefix operator (noir-lang/noir#5624) fix: `NoMatchingImplFound` in comptime code only (noir-lang/noir#5617) feat: Remove 'comptime or separate crate' restriction on comptime code (noir-lang/noir#5609) chore(docs): Update proving backend related docs (noir-lang/noir#5601) feat: turbofish operator in struct constructor (noir-lang/noir#5607) feat: add parameter to call_data attribute (noir-lang/noir#5599) feat: turbofish operator on path segments (noir-lang/noir#5603) fix: Filter comptime globals (noir-lang/noir#5538) chore: Display comptime assertion errors, not Debug (noir-lang/noir#5605) chore: add array and slice control flow tests (noir-lang/noir#5558) fix: let trait calls work in globals (noir-lang/noir#5602) feat: Implement format strings in the comptime interpreter (noir-lang/noir#5596) feat: Implement `Value::Type` in comptime interpreter (noir-lang/noir#5593) chore(docs): nasty linky (noir-lang/noir#5600) feat(acir_gen): Width aware ACIR gen addition (noir-lang/noir#5493) fix: lookup trait constraints methods in composite types (noir-lang/noir#5595) fix: allow trailing comma when parsing where clauses (noir-lang/noir#5594) fix: let std::unsafe::zeroed() work for slices (noir-lang/noir#5592) fix: error on duplicate struct field (noir-lang/noir#5585)

…ir-lang/noir#5665) chore(docs): Update web app page to use nargo v 0.31 (noir-lang/noir#5652) feat: add `std::meta::type_of` and `impl Eq for Type` (noir-lang/noir#5669) fix: speed up LSP (noir-lang/noir#5650) feat: don't eagerly error on cast expressions (noir-lang/noir#5635) fix: error on unbound generics in structs (noir-lang/noir#5619) fix: allow using Self for function calls (noir-lang/noir#5629) feat: let filenames in errors be relative to the current dir if possible (noir-lang/noir#5642) feat: LSP inlay type hints on lambda parameters (noir-lang/noir#5639) feat: Sync from aztec-packages (noir-lang/noir#5598) fix!: parse block and if statements independently of expressions in statements (noir-lang/noir#5634) chore: test blackbox binary op instructions (noir-lang/noir#5484) chore(docs): add Writing Noir doc (noir-lang/noir#5456) chore(github): Switch to organization-wide Issue templates (noir-lang/noir#5622) chore: Switch `Value::TraitConstraint` to a resolved trait constraint (noir-lang/noir#5618) fix: error on incorrect generic count for impl and type alias (noir-lang/noir#5623) feat: allow inserting LSP inlay type hints (noir-lang/noir#5620) feat: turbofish in struct pattern (noir-lang/noir#5616) fix: correct span for prefix operator (noir-lang/noir#5624) fix: `NoMatchingImplFound` in comptime code only (noir-lang/noir#5617) feat: Remove 'comptime or separate crate' restriction on comptime code (noir-lang/noir#5609) chore(docs): Update proving backend related docs (noir-lang/noir#5601) feat: turbofish operator in struct constructor (noir-lang/noir#5607) feat: add parameter to call_data attribute (noir-lang/noir#5599) feat: turbofish operator on path segments (noir-lang/noir#5603) fix: Filter comptime globals (noir-lang/noir#5538) chore: Display comptime assertion errors, not Debug (noir-lang/noir#5605) chore: add array and slice control flow tests (noir-lang/noir#5558) fix: let trait calls work in globals (noir-lang/noir#5602) feat: Implement format strings in the comptime interpreter (noir-lang/noir#5596) feat: Implement `Value::Type` in comptime interpreter (noir-lang/noir#5593) chore(docs): nasty linky (noir-lang/noir#5600) feat(acir_gen): Width aware ACIR gen addition (noir-lang/noir#5493) fix: lookup trait constraints methods in composite types (noir-lang/noir#5595) fix: allow trailing comma when parsing where clauses (noir-lang/noir#5594) fix: let std::unsafe::zeroed() work for slices (noir-lang/noir#5592) fix: error on duplicate struct field (noir-lang/noir#5585)

Automated pull of development from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE feat: let LSP work will with code generated by macros (noir-lang/noir#5665) chore(docs): Update web app page to use nargo v 0.31 (noir-lang/noir#5652) feat: add `std::meta::type_of` and `impl Eq for Type` (noir-lang/noir#5669) fix: speed up LSP (noir-lang/noir#5650) feat: don't eagerly error on cast expressions (noir-lang/noir#5635) fix: error on unbound generics in structs (noir-lang/noir#5619) fix: allow using Self for function calls (noir-lang/noir#5629) feat: let filenames in errors be relative to the current dir if possible (noir-lang/noir#5642) feat: LSP inlay type hints on lambda parameters (noir-lang/noir#5639) feat: Sync from aztec-packages (noir-lang/noir#5598) fix!: parse block and if statements independently of expressions in statements (noir-lang/noir#5634) chore: test blackbox binary op instructions (noir-lang/noir#5484) chore(docs): add Writing Noir doc (noir-lang/noir#5456) chore(github): Switch to organization-wide Issue templates (noir-lang/noir#5622) chore: Switch `Value::TraitConstraint` to a resolved trait constraint (noir-lang/noir#5618) fix: error on incorrect generic count for impl and type alias (noir-lang/noir#5623) feat: allow inserting LSP inlay type hints (noir-lang/noir#5620) feat: turbofish in struct pattern (noir-lang/noir#5616) fix: correct span for prefix operator (noir-lang/noir#5624) fix: `NoMatchingImplFound` in comptime code only (noir-lang/noir#5617) feat: Remove 'comptime or separate crate' restriction on comptime code (noir-lang/noir#5609) chore(docs): Update proving backend related docs (noir-lang/noir#5601) feat: turbofish operator in struct constructor (noir-lang/noir#5607) feat: add parameter to call_data attribute (noir-lang/noir#5599) feat: turbofish operator on path segments (noir-lang/noir#5603) fix: Filter comptime globals (noir-lang/noir#5538) chore: Display comptime assertion errors, not Debug (noir-lang/noir#5605) chore: add array and slice control flow tests (noir-lang/noir#5558) fix: let trait calls work in globals (noir-lang/noir#5602) feat: Implement format strings in the comptime interpreter (noir-lang/noir#5596) feat: Implement `Value::Type` in comptime interpreter (noir-lang/noir#5593) chore(docs): nasty linky (noir-lang/noir#5600) feat(acir_gen): Width aware ACIR gen addition (noir-lang/noir#5493) fix: lookup trait constraints methods in composite types (noir-lang/noir#5595) fix: allow trailing comma when parsing where clauses (noir-lang/noir#5594) fix: let std::unsafe::zeroed() work for slices (noir-lang/noir#5592) fix: error on duplicate struct field (noir-lang/noir#5585) END_COMMIT_OVERRIDE --------- Co-authored-by: sirasistant <[email protected]>

:robot: I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.48.0</summary> ## [0.48.0](https://github.com/AztecProtocol/aztec-packages/compare/aztec-package-v0.47.1...aztec-package-v0.48.0) (2024-08-12) ### ⚠ BREAKING CHANGES * rename fee juice ([#7793](https://github.com/AztecProtocol/aztec-packages/issues/7793)) ### Features * Cheat rollup contract into assuming first blocks as proven ([#7892](https://github.com/AztecProtocol/aztec-packages/issues/7892)) ([2c5d807](https://github.com/AztecProtocol/aztec-packages/commit/2c5d8071277a48d55c1a933960c16d23e28b9298)) * CLI wallet initial version ([#7651](https://github.com/AztecProtocol/aztec-packages/issues/7651)) ([83f8d9c](https://github.com/AztecProtocol/aztec-packages/commit/83f8d9c5e4f53b3691d5a1168c69a160ab657139)) * Merge devnet chagnes to master ([#7822](https://github.com/AztecProtocol/aztec-packages/issues/7822)) ([8021eda](https://github.com/AztecProtocol/aztec-packages/commit/8021eda6b5c6e6c518ff38bacdc828fcfab09465)) * Updated bot machine specs ([#7903](https://github.com/AztecProtocol/aztec-packages/issues/7903)) ([7f0e57b](https://github.com/AztecProtocol/aztec-packages/commit/7f0e57b71badfb85fc0fd3d4f1e23c4d3456a770)) ### Bug Fixes * Add boolean config helper ([#7884](https://github.com/AztecProtocol/aztec-packages/issues/7884)) ([2f11584](https://github.com/AztecProtocol/aztec-packages/commit/2f115849d93a7a2180defc342de6c7fe02f80047)) * Create proving job queue when prover node started with no agents ([#7828](https://github.com/AztecProtocol/aztec-packages/issues/7828)) ([e2feaf8](https://github.com/AztecProtocol/aztec-packages/commit/e2feaf8c0613b2b5adfd496a94e1bd58296768f4)) * Default config ([#7848](https://github.com/AztecProtocol/aztec-packages/issues/7848)) ([78ae6b4](https://github.com/AztecProtocol/aztec-packages/commit/78ae6b4f50cd0431c5dbd938c0cd791db5e2de4d)) * DEPLOY_AZTEC_CONTRACTS parsing ([#7877](https://github.com/AztecProtocol/aztec-packages/issues/7877)) ([e437dba](https://github.com/AztecProtocol/aztec-packages/commit/e437dbaf258adc9f49399ed8ed16bb424b234bf5)) * Load l1 addresses in prover node ([#7858](https://github.com/AztecProtocol/aztec-packages/issues/7858)) ([0c3de7e](https://github.com/AztecProtocol/aztec-packages/commit/0c3de7e2b5c9ae6782aa94bffb6b69c6efa42892)) * More fixes for networks ([#7870](https://github.com/AztecProtocol/aztec-packages/issues/7870)) ([55c33bd](https://github.com/AztecProtocol/aztec-packages/commit/55c33bd906a26f10a79e13b2542b1281ffbdb99d)) ### Miscellaneous * Add optional artifical delay for test prover ([#7832](https://github.com/AztecProtocol/aztec-packages/issues/7832)) ([4d0c027](https://github.com/AztecProtocol/aztec-packages/commit/4d0c027c980e47b9cabc919c81562d5e0ce586ca)) * Handle exceptions in bot runner ([#7679](https://github.com/AztecProtocol/aztec-packages/issues/7679)) ([dd6176b](https://github.com/AztecProtocol/aztec-packages/commit/dd6176b444ae1b9f8313af98f7ebd5eeb2f31ed7)), closes [#7658](https://github.com/AztecProtocol/aztec-packages/issues/7658) * Merge back to master ([#7785](https://github.com/AztecProtocol/aztec-packages/issues/7785)) ([2ad6e6f](https://github.com/AztecProtocol/aztec-packages/commit/2ad6e6fd60c98cc5888f6f64bcd774d87ff881e8)) * Minor logging tweaks ([#7879](https://github.com/AztecProtocol/aztec-packages/issues/7879)) ([00c35c0](https://github.com/AztecProtocol/aztec-packages/commit/00c35c0f7c96c5eebecf66088d2fcd9aa3da7693)) * Native to fee juice ([#7911](https://github.com/AztecProtocol/aztec-packages/issues/7911)) ([32b4c6e](https://github.com/AztecProtocol/aztec-packages/commit/32b4c6ed75387759b3d84df723a52679894feb2d)) * Rename fee juice ([#7793](https://github.com/AztecProtocol/aztec-packages/issues/7793)) ([24b3e05](https://github.com/AztecProtocol/aztec-packages/commit/24b3e05a9bfca29f7741de49fe12f73cc219953b)), closes [#7570](https://github.com/AztecProtocol/aztec-packages/issues/7570) </details> <details><summary>barretenberg.js: 0.48.0</summary> ## [0.48.0](https://github.com/AztecProtocol/aztec-packages/compare/barretenberg.js-v0.47.1...barretenberg.js-v0.48.0) (2024-08-12) ### Features * Ts pedersen commit with offset ([#7699](https://github.com/AztecProtocol/aztec-packages/issues/7699)) ([b2224b4](https://github.com/AztecProtocol/aztec-packages/commit/b2224b48190d33af5e78efa3a470503331b0371f)) ### Bug Fixes * Commonly occurring typo ([#7807](https://github.com/AztecProtocol/aztec-packages/issues/7807)) ([e3cc7d0](https://github.com/AztecProtocol/aztec-packages/commit/e3cc7d0fa0d842edcd24f1981b687cbdf057ce1a)) </details> <details><summary>aztec-packages: 0.48.0</summary> ## [0.48.0](https://github.com/AztecProtocol/aztec-packages/compare/aztec-packages-v0.47.1...aztec-packages-v0.48.0) (2024-08-12) ### ⚠ BREAKING CHANGES * cli wallet with fee opts + private transfer flow ([#7856](https://github.com/AztecProtocol/aztec-packages/issues/7856)) * rename fee juice ([#7793](https://github.com/AztecProtocol/aztec-packages/issues/7793)) * parse block and if statements independently of expressions in statements (https://github.com/noir-lang/noir/pull/5634) ### Features * `PrivateSet::pop_notes(...)` ([#7834](https://github.com/AztecProtocol/aztec-packages/issues/7834)) ([4348654](https://github.com/AztecProtocol/aztec-packages/commit/43486543917a249bc8186df6f03de53e03e2f001)) * **acir_gen:** Width aware ACIR gen addition (https://github.com/noir-lang/noir/pull/5493) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Add `onlyOwner` to `Registry::upgrade` ([#7899](https://github.com/AztecProtocol/aztec-packages/issues/7899)) ([7dc19db](https://github.com/AztecProtocol/aztec-packages/commit/7dc19db45fb0142f24ff0512c438f7f74aa9538a)) * Add `std::meta::type_of` and `impl Eq for Type` (https://github.com/noir-lang/noir/pull/5669) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Add log of blocks proposed and split pending/proven ([#7635](https://github.com/AztecProtocol/aztec-packages/issues/7635)) ([5478747](https://github.com/AztecProtocol/aztec-packages/commit/547874714ecf2693f147921afa8d72a3d2bd5e36)) * Add parameter to call_data attribute (https://github.com/noir-lang/noir/pull/5599) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Add proverId to root rollup public inputs ([#7639](https://github.com/AztecProtocol/aztec-packages/issues/7639)) ([0120462](https://github.com/AztecProtocol/aztec-packages/commit/01204628154cf2e41b1f095ec285995f3de22ade)), closes [#7670](https://github.com/AztecProtocol/aztec-packages/issues/7670) * Adding option for retrieving siloed notes in oracles ([#7711](https://github.com/AztecProtocol/aztec-packages/issues/7711)) ([07ee990](https://github.com/AztecProtocol/aztec-packages/commit/07ee990d2bd5dbe6a98c1fe022843de676511498)) * Adding support for siloing notes in pxe database ([#7710](https://github.com/AztecProtocol/aztec-packages/issues/7710)) ([695f784](https://github.com/AztecProtocol/aztec-packages/commit/695f7847ea4d8779c62a393d68d846aafffea778)) * Allow inserting LSP inlay type hints (https://github.com/noir-lang/noir/pull/5620) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * **avm:** Poseidon2 constraints ([#7269](https://github.com/AztecProtocol/aztec-packages/issues/7269)) ([bd5a26e](https://github.com/AztecProtocol/aztec-packages/commit/bd5a26eed42a8e23e2c9ea158419836a2b0b3333)) * **avm:** Support aliases in bb-pilcom ([#7904](https://github.com/AztecProtocol/aztec-packages/issues/7904)) ([09e317d](https://github.com/AztecProtocol/aztec-packages/commit/09e317dee9625f61ef9eb7cc488bdb5ff1d62612)) * **avm:** Support skippable relations ([#7750](https://github.com/AztecProtocol/aztec-packages/issues/7750)) ([89d7b37](https://github.com/AztecProtocol/aztec-packages/commit/89d7b3707dcbe4cc684be7dcfdd8c356519067b0)) * **avm:** Update flavor codegen ([#7917](https://github.com/AztecProtocol/aztec-packages/issues/7917)) ([7f1fa2c](https://github.com/AztecProtocol/aztec-packages/commit/7f1fa2cbb52637c1f7471ca1d20bd62b16b51c7a)) * AztecIvc benchmark suite ([#7864](https://github.com/AztecProtocol/aztec-packages/issues/7864)) ([b7276ab](https://github.com/AztecProtocol/aztec-packages/commit/b7276ab7fc1f7abe26cc082eaac901c371217b2a)) * **bb:** Integrate tracy memory/cpu profiler ([#7718](https://github.com/AztecProtocol/aztec-packages/issues/7718)) ([67efb8b](https://github.com/AztecProtocol/aztec-packages/commit/67efb8b13f8009b55d540b85b849a2172c28edd8)) * **bb:** Optimize tuple creation ([#7770](https://github.com/AztecProtocol/aztec-packages/issues/7770)) ([a09636c](https://github.com/AztecProtocol/aztec-packages/commit/a09636c88dc1db8038e3c9fa68cc7c7d2ddf8894)) * Build and publish cli wallet ([#7915](https://github.com/AztecProtocol/aztec-packages/issues/7915)) ([ac8c2f7](https://github.com/AztecProtocol/aztec-packages/commit/ac8c2f7a047acee2b71ea7d562de9ab4e6a3f502)) * Changing note processor / synchronizer to add siloed notes ([#7748](https://github.com/AztecProtocol/aztec-packages/issues/7748)) ([1ce6f31](https://github.com/AztecProtocol/aztec-packages/commit/1ce6f31601221949b4dd73d420fea61acad0e5fe)) * Cheat rollup contract into assuming first blocks as proven ([#7892](https://github.com/AztecProtocol/aztec-packages/issues/7892)) ([2c5d807](https://github.com/AztecProtocol/aztec-packages/commit/2c5d8071277a48d55c1a933960c16d23e28b9298)) * CLI wallet initial version ([#7651](https://github.com/AztecProtocol/aztec-packages/issues/7651)) ([83f8d9c](https://github.com/AztecProtocol/aztec-packages/commit/83f8d9c5e4f53b3691d5a1168c69a160ab657139)) * Cli wallet on CircleCI ([#7745](https://github.com/AztecProtocol/aztec-packages/issues/7745)) ([e851b97](https://github.com/AztecProtocol/aztec-packages/commit/e851b979bd7d0b5a285c4f84e3534f8c1e121294)) * Cli wallet with fee opts + private transfer flow ([#7856](https://github.com/AztecProtocol/aztec-packages/issues/7856)) ([1459360](https://github.com/AztecProtocol/aztec-packages/commit/1459360837edaffad30bb70088ed81b85a842964)) * Consistent handling of point at infinity in transcript ([#7709](https://github.com/AztecProtocol/aztec-packages/issues/7709)) ([7a763c0](https://github.com/AztecProtocol/aztec-packages/commit/7a763c07a29229ba1b1c4f8667e797c2a160022f)) * Constraining slots ([#7758](https://github.com/AztecProtocol/aztec-packages/issues/7758)) ([f8b0de6](https://github.com/AztecProtocol/aztec-packages/commit/f8b0de695b78ac273da87f952aec6d2d5994eda0)), closes [#7849](https://github.com/AztecProtocol/aztec-packages/issues/7849) [#7821](https://github.com/AztecProtocol/aztec-packages/issues/7821) [#7837](https://github.com/AztecProtocol/aztec-packages/issues/7837) * Delay encrypted log hashing to base rollup ([#7808](https://github.com/AztecProtocol/aztec-packages/issues/7808)) ([ffffa12](https://github.com/AztecProtocol/aztec-packages/commit/ffffa12c7bd6fbb6bff0878e791f1690a45fb39b)) * Delay l2l1 message hashing to the base rollup ([#7773](https://github.com/AztecProtocol/aztec-packages/issues/7773)) ([c263c4e](https://github.com/AztecProtocol/aztec-packages/commit/c263c4e8c24a51c44184eafacc960e4d29aa4919)) * **docs:** Aztecnr notes docs ([#7168](https://github.com/AztecProtocol/aztec-packages/issues/7168)) ([7572baf](https://github.com/AztecProtocol/aztec-packages/commit/7572baf45bbc48258eff9f08689af3b45f23ec29)) * **docs:** Fixes from audit ([#7640](https://github.com/AztecProtocol/aztec-packages/issues/7640)) ([ef78eb5](https://github.com/AztecProtocol/aztec-packages/commit/ef78eb59210bda8aa4f6ee7872c6fe2eb123465c)) * **docs:** Restructure, recolour, elev8 ([#7815](https://github.com/AztecProtocol/aztec-packages/issues/7815)) ([f5e874e](https://github.com/AztecProtocol/aztec-packages/commit/f5e874e5f47c8c5e82f2bd8f7661ba79a5487aa1)) * Don't eagerly error on cast expressions (https://github.com/noir-lang/noir/pull/5635) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Extend SMT Utils ([#7126](https://github.com/AztecProtocol/aztec-packages/issues/7126)) ([cfb4aa8](https://github.com/AztecProtocol/aztec-packages/commit/cfb4aa8602c316003d018bf3192e2a13e36cacad)) * Flamegraph artifact cleanup ([#7869](https://github.com/AztecProtocol/aztec-packages/issues/7869)) ([6f70bba](https://github.com/AztecProtocol/aztec-packages/commit/6f70bbae7bfbb1af99a0dea39fd865dc6d341ede)) * Flamegraphs for e2e ([#7836](https://github.com/AztecProtocol/aztec-packages/issues/7836)) ([e5c6ced](https://github.com/AztecProtocol/aztec-packages/commit/e5c6ced2f6672655734c95b7543db4da573a023d)) * Force build images for deploy ([#7851](https://github.com/AztecProtocol/aztec-packages/issues/7851)) ([0152c9a](https://github.com/AztecProtocol/aztec-packages/commit/0152c9a74123cbe2f1df9d819a7f3ae3b125f0d4)) * Hook up secondary calldata column in dsl ([#7759](https://github.com/AztecProtocol/aztec-packages/issues/7759)) ([f0f28fc](https://github.com/AztecProtocol/aztec-packages/commit/f0f28fc24cfeba18f5c16c77a4505d16dc1e02df)) * Implement `Value::Type` in comptime interpreter (https://github.com/noir-lang/noir/pull/5593) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Implement format strings in the comptime interpreter (https://github.com/noir-lang/noir/pull/5596) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Let filenames in errors be relative to the current dir if possible (https://github.com/noir-lang/noir/pull/5642) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Let LSP work will with code generated by macros (https://github.com/noir-lang/noir/pull/5665) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Linking circuits with the databus ([#7707](https://github.com/AztecProtocol/aztec-packages/issues/7707)) ([1c596ed](https://github.com/AztecProtocol/aztec-packages/commit/1c596eda3f09bea03467662fd98c6c222c97f182)) * LSP inlay type hints on lambda parameters (https://github.com/noir-lang/noir/pull/5639) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Make token transfer be recursive ([#7730](https://github.com/AztecProtocol/aztec-packages/issues/7730)) ([eb5a90a](https://github.com/AztecProtocol/aztec-packages/commit/eb5a90a955f5992898dec42e9c3c5122525b7ad8)) * Merge devnet chagnes to master ([#7822](https://github.com/AztecProtocol/aztec-packages/issues/7822)) ([8021eda](https://github.com/AztecProtocol/aztec-packages/commit/8021eda6b5c6e6c518ff38bacdc828fcfab09465)) * Net updates ([#7843](https://github.com/AztecProtocol/aztec-packages/issues/7843)) ([a614abd](https://github.com/AztecProtocol/aztec-packages/commit/a614abd6bef02b0a180f39e987ea3b7d4c6a63fd)) * New IVC class that better reflects the aztec architecture ([#7695](https://github.com/AztecProtocol/aztec-packages/issues/7695)) ([f8a76c1](https://github.com/AztecProtocol/aztec-packages/commit/f8a76c1a65c7c25f49bf2d7b4ef5302a0d0fbd58)) * Non-hardcoded constants ([#7736](https://github.com/AztecProtocol/aztec-packages/issues/7736)) ([51d73ce](https://github.com/AztecProtocol/aztec-packages/commit/51d73cee66b6558e1d720a27e9593ba25118d9c1)) * Note hashes as points ([#7618](https://github.com/AztecProtocol/aztec-packages/issues/7618)) ([8ed8f92](https://github.com/AztecProtocol/aztec-packages/commit/8ed8f925a83c7f9e2a73c6377e8e2154a3b6ef36)) * Note preprocessor ([#7857](https://github.com/AztecProtocol/aztec-packages/issues/7857)) ([215297c](https://github.com/AztecProtocol/aztec-packages/commit/215297c97e1aa450ee8d2afd9dbe916f1da8412a)) * Optimize constant array handling in brillig_gen ([#7661](https://github.com/AztecProtocol/aztec-packages/issues/7661)) ([dff2ffb](https://github.com/AztecProtocol/aztec-packages/commit/dff2ffb81c8dab33567c1263cf412aacce89af66)) * Pass calldata ids to the backend ([#7875](https://github.com/AztecProtocol/aztec-packages/issues/7875)) ([274858f](https://github.com/AztecProtocol/aztec-packages/commit/274858f6385b26ea935dcdcf7b2295562caae0f8)) * Plumbing for slot numbers ([#7663](https://github.com/AztecProtocol/aztec-packages/issues/7663)) ([e7c1dc3](https://github.com/AztecProtocol/aztec-packages/commit/e7c1dc343eaaa9d126d18b7456c207ac50c43d39)) * Profile app circuits with megahonk ([#7737](https://github.com/AztecProtocol/aztec-packages/issues/7737)) ([ef4217f](https://github.com/AztecProtocol/aztec-packages/commit/ef4217fb03f70ae8be433421d488d0a8f4d958fb)) * **profiler:** Add support for brillig functions in opcodes-flamegraph ([#7698](https://github.com/AztecProtocol/aztec-packages/issues/7698)) ([55999ff](https://github.com/AztecProtocol/aztec-packages/commit/55999ffb796390997a55745da51e4c8b91f091e5)) * Remove 'comptime or separate crate' restriction on comptime code (https://github.com/noir-lang/noir/pull/5609) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Removing nullifier from private FPC ([#7765](https://github.com/AztecProtocol/aztec-packages/issues/7765)) ([5bcc136](https://github.com/AztecProtocol/aztec-packages/commit/5bcc1365830cb862e9d0be90fef9298083058c4a)) * Removing superfluous call to MSM ([#7708](https://github.com/AztecProtocol/aztec-packages/issues/7708)) ([deaada0](https://github.com/AztecProtocol/aztec-packages/commit/deaada08f1d637b63ccde1b326f862348dbb1e02)) * Report gates and VKs of private protocol circuits with megahonk ([#7722](https://github.com/AztecProtocol/aztec-packages/issues/7722)) ([2c03259](https://github.com/AztecProtocol/aztec-packages/commit/2c03259653c45d7f17086320a9ea76225d1595ed)) * Run block-proving jobs in parallel by forking world-state ([#7655](https://github.com/AztecProtocol/aztec-packages/issues/7655)) ([d3c8237](https://github.com/AztecProtocol/aztec-packages/commit/d3c823705fb167d3e15f2c67bd92efd36716a9a3)) * Set the block size to 4 for prover net ([#7901](https://github.com/AztecProtocol/aztec-packages/issues/7901)) ([3a6021c](https://github.com/AztecProtocol/aztec-packages/commit/3a6021c54515205d74908b708cb43102a2b8a6f7)) * Simulate, aliases, ECDSA R account contract + touchid wallet ([#7725](https://github.com/AztecProtocol/aztec-packages/issues/7725)) ([811d62f](https://github.com/AztecProtocol/aztec-packages/commit/811d62faabd34fd1a0887372ef3f4e2d4ac4e0c1)) * Sort proving jobs by epoch number ([#7844](https://github.com/AztecProtocol/aztec-packages/issues/7844)) ([95c14a9](https://github.com/AztecProtocol/aztec-packages/commit/95c14a91b312755550bba20eb5262ea70f9ce451)) * Split merge into recursive verification and proving ([#7801](https://github.com/AztecProtocol/aztec-packages/issues/7801)) ([25c49bc](https://github.com/AztecProtocol/aztec-packages/commit/25c49bce2ad880d1ad9a3678f68431b0cce01dbe)) * Swap-or-not shuffle ([#7646](https://github.com/AztecProtocol/aztec-packages/issues/7646)) ([f981290](https://github.com/AztecProtocol/aztec-packages/commit/f9812908e49747bd3ca0ee2f448f88d901a71cab)) * Sync from aztec-packages (https://github.com/noir-lang/noir/pull/5598) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Trigger deploys manually ([#7795](https://github.com/AztecProtocol/aztec-packages/issues/7795)) ([cbb843e](https://github.com/AztecProtocol/aztec-packages/commit/cbb843e43769d549618792eff5223370fe40f4d5)) * Ts pedersen commit with offset ([#7699](https://github.com/AztecProtocol/aztec-packages/issues/7699)) ([b2224b4](https://github.com/AztecProtocol/aztec-packages/commit/b2224b48190d33af5e78efa3a470503331b0371f)) * Turbofish in struct pattern (https://github.com/noir-lang/noir/pull/5616) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Turbofish operator in struct constructor (https://github.com/noir-lang/noir/pull/5607) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Turbofish operator on path segments (https://github.com/noir-lang/noir/pull/5603) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Typing unfinalized partial notes ([#7742](https://github.com/AztecProtocol/aztec-packages/issues/7742)) ([795b832](https://github.com/AztecProtocol/aztec-packages/commit/795b832d502107b9a35daca8c1ec44818cff49a2)) * Updated bot machine specs ([#7903](https://github.com/AztecProtocol/aztec-packages/issues/7903)) ([7f0e57b](https://github.com/AztecProtocol/aztec-packages/commit/7f0e57b71badfb85fc0fd3d4f1e23c4d3456a770)) * Updated workflow ([#7919](https://github.com/AztecProtocol/aztec-packages/issues/7919)) ([0cb7dcf](https://github.com/AztecProtocol/aztec-packages/commit/0cb7dcffddd9c3b080cf6813d8f0c166ac717c0f)) * Use poseidon for merkle tree hashing ([#7356](https://github.com/AztecProtocol/aztec-packages/issues/7356)) ([2daf2ab](https://github.com/AztecProtocol/aztec-packages/commit/2daf2ab2ad6815588c2a62d8b7d540e0dcbff892)) * Use poseidon for structs hashing ([#7383](https://github.com/AztecProtocol/aztec-packages/issues/7383)) ([71acc4e](https://github.com/AztecProtocol/aztec-packages/commit/71acc4e0e4462d4972d5910490f76a10e8f536af)) * Use poseidon for var args hash ([#7363](https://github.com/AztecProtocol/aztec-packages/issues/7363)) ([832b86e](https://github.com/AztecProtocol/aztec-packages/commit/832b86e65f84e00c3ea9892df4b7c3eeb7eaf5ea)) * Use scopes in wallet calls ([#7749](https://github.com/AztecProtocol/aztec-packages/issues/7749)) ([d04183c](https://github.com/AztecProtocol/aztec-packages/commit/d04183cd611caf4ea31aef64c95e2ae8e5b36d9a)) ### Bug Fixes * `NoMatchingImplFound` in comptime code only (https://github.com/noir-lang/noir/pull/5617) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Add boolean config helper ([#7884](https://github.com/AztecProtocol/aztec-packages/issues/7884)) ([2f11584](https://github.com/AztecProtocol/aztec-packages/commit/2f115849d93a7a2180defc342de6c7fe02f80047)) * Added missing oracles, fix block production ([#7768](https://github.com/AztecProtocol/aztec-packages/issues/7768)) ([7dca2aa](https://github.com/AztecProtocol/aztec-packages/commit/7dca2aa2b91c86b79e8f9eb2810fc980651256a4)) * Allow trailing comma when parsing where clauses (https://github.com/noir-lang/noir/pull/5594) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Allow using Self for function calls (https://github.com/noir-lang/noir/pull/5629) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Anvil block timestamp ([#7686](https://github.com/AztecProtocol/aztec-packages/issues/7686)) ([dc8ad6e](https://github.com/AztecProtocol/aztec-packages/commit/dc8ad6ee552c98d14eb68484c0ad3cf42d2995cd)) * **avm:** Correctly build spike vm ([#7726](https://github.com/AztecProtocol/aztec-packages/issues/7726)) ([0c1d98f](https://github.com/AztecProtocol/aztec-packages/commit/0c1d98ff53ff0d39956d9837ce7b32cd75e860c3)) * Avoid initializing wires and selectors redundantly in trace ([#7895](https://github.com/AztecProtocol/aztec-packages/issues/7895)) ([4be1833](https://github.com/AztecProtocol/aztec-packages/commit/4be18337082aa076d0cc88d5e11a5ebb2cb83631)) * **bb.js:** Account for extra gates in the c bind circuit size estimate ([#7800](https://github.com/AztecProtocol/aztec-packages/issues/7800)) ([7b90699](https://github.com/AztecProtocol/aztec-packages/commit/7b90699fdbebcb00a06f396e8263a9ffe156fbc2)) * **bb:** Univariate-ff subtraction ([#7905](https://github.com/AztecProtocol/aztec-packages/issues/7905)) ([e29f042](https://github.com/AztecProtocol/aztec-packages/commit/e29f042ccfb02f22ef63b3b82f43be2e4388902d)) * Call cmd secret key ([#7907](https://github.com/AztecProtocol/aztec-packages/issues/7907)) ([3afe9f8](https://github.com/AztecProtocol/aztec-packages/commit/3afe9f81ffc0e2061b4efde0c4ffa9f40c15d614)) * Capture devnet cli errors ([#7685](https://github.com/AztecProtocol/aztec-packages/issues/7685)) ([19cdf01](https://github.com/AztecProtocol/aztec-packages/commit/19cdf01b44857d5e087c3ca7f804bd471e23d8e0)) * Checking funded amount is enough ([#7648](https://github.com/AztecProtocol/aztec-packages/issues/7648)) ([55a39ac](https://github.com/AztecProtocol/aztec-packages/commit/55a39ac84367df240d4bb848fb3b15a5add11691)) * **ci:** Build-images rebuild detection ([#7788](https://github.com/AztecProtocol/aztec-packages/issues/7788)) ([f2d6856](https://github.com/AztecProtocol/aztec-packages/commit/f2d6856dfbf3ce54cc06a709a530e7aa3ca044a6)) * **ci:** Fix circle-ci issue ([#7734](https://github.com/AztecProtocol/aztec-packages/issues/7734)) ([76acff9](https://github.com/AztecProtocol/aztec-packages/commit/76acff9a51190fd2faddd3913d625509d545702a)) * Commonly occurring typo ([#7807](https://github.com/AztecProtocol/aztec-packages/issues/7807)) ([e3cc7d0](https://github.com/AztecProtocol/aztec-packages/commit/e3cc7d0fa0d842edcd24f1981b687cbdf057ce1a)) * Correct span for prefix operator (https://github.com/noir-lang/noir/pull/5624) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Create proving job queue when prover node started with no agents ([#7828](https://github.com/AztecProtocol/aztec-packages/issues/7828)) ([e2feaf8](https://github.com/AztecProtocol/aztec-packages/commit/e2feaf8c0613b2b5adfd496a94e1bd58296768f4)) * Default config ([#7848](https://github.com/AztecProtocol/aztec-packages/issues/7848)) ([78ae6b4](https://github.com/AztecProtocol/aztec-packages/commit/78ae6b4f50cd0431c5dbd938c0cd791db5e2de4d)) * Deflatten databus visibilities ([#7761](https://github.com/AztecProtocol/aztec-packages/issues/7761)) ([36eb4c8](https://github.com/AztecProtocol/aztec-packages/commit/36eb4c87bf44592385341115162520863530d9a4)) * DEPLOY_AZTEC_CONTRACTS parsing ([#7877](https://github.com/AztecProtocol/aztec-packages/issues/7877)) ([e437dba](https://github.com/AztecProtocol/aztec-packages/commit/e437dbaf258adc9f49399ed8ed16bb424b234bf5)) * Devnet CI issues ([#7673](https://github.com/AztecProtocol/aztec-packages/issues/7673)) ([729b36f](https://github.com/AztecProtocol/aztec-packages/commit/729b36f2c1432d3b62d2cb782f82b8b18411c92b)) * Ensure dummy values are on the curve for MSM ([#7653](https://github.com/AztecProtocol/aztec-packages/issues/7653)) ([11f3885](https://github.com/AztecProtocol/aztec-packages/commit/11f3885d11237dbd3e203d07bf4cdb7df316e07a)) * Error on duplicate struct field (https://github.com/noir-lang/noir/pull/5585) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Error on incorrect generic count for impl and type alias (https://github.com/noir-lang/noir/pull/5623) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Error on unbound generics in structs (https://github.com/noir-lang/noir/pull/5619) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Filter comptime globals (https://github.com/noir-lang/noir/pull/5538) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Fix ssh auth sock ([#7885](https://github.com/AztecProtocol/aztec-packages/issues/7885)) ([c3292d7](https://github.com/AztecProtocol/aztec-packages/commit/c3292d7a4a42f5ff97f8f871f869f37e6c842ff1)) * Fixed ssh_auth_sock when it's not set ([#7865](https://github.com/AztecProtocol/aztec-packages/issues/7865)) ([0b2ae4c](https://github.com/AztecProtocol/aztec-packages/commit/0b2ae4c20a25aaf01fc306d79b44ba0aa593458b)) * Flamegraph script issue ([#7886](https://github.com/AztecProtocol/aztec-packages/issues/7886)) ([43fff40](https://github.com/AztecProtocol/aztec-packages/commit/43fff405ba3d60d5a498ed731b52a6942ffeb3df)) * Handle properly invalid witness assignment in ec add ([#7690](https://github.com/AztecProtocol/aztec-packages/issues/7690)) ([6c19c7e](https://github.com/AztecProtocol/aztec-packages/commit/6c19c7eb91acc47106549fa7943f59d2dca3e0ce)) * Hash nonce to note hashes created in public ([#7715](https://github.com/AztecProtocol/aztec-packages/issues/7715)) ([6e8eecd](https://github.com/AztecProtocol/aztec-packages/commit/6e8eecdbe01c23c33e9cecf865fbe943b478c361)) * Increase srs ([#7754](https://github.com/AztecProtocol/aztec-packages/issues/7754)) ([79613a7](https://github.com/AztecProtocol/aztec-packages/commit/79613a7dfa4d2fbd07e9738d35082dc7b097a396)) * Key-rotation related issues in `TokenWithRefunds` ([#7631](https://github.com/AztecProtocol/aztec-packages/issues/7631)) ([790ea5a](https://github.com/AztecProtocol/aztec-packages/commit/790ea5aadb212408ff609763898b54db4e45a784)), closes [#7323](https://github.com/AztecProtocol/aztec-packages/issues/7323) [#7324](https://github.com/AztecProtocol/aztec-packages/issues/7324) [#7326](https://github.com/AztecProtocol/aztec-packages/issues/7326) * Let std::unsafe::zeroed() work for slices (https://github.com/noir-lang/noir/pull/5592) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Let trait calls work in globals (https://github.com/noir-lang/noir/pull/5602) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Load l1 addresses in prover node ([#7858](https://github.com/AztecProtocol/aztec-packages/issues/7858)) ([0c3de7e](https://github.com/AztecProtocol/aztec-packages/commit/0c3de7e2b5c9ae6782aa94bffb6b69c6efa42892)) * Lookup trait constraints methods in composite types (https://github.com/noir-lang/noir/pull/5595) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * More fixes for networks ([#7870](https://github.com/AztecProtocol/aztec-packages/issues/7870)) ([55c33bd](https://github.com/AztecProtocol/aztec-packages/commit/55c33bd906a26f10a79e13b2542b1281ffbdb99d)) * Parse block and if statements independently of expressions in statements (https://github.com/noir-lang/noir/pull/5634) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Parse booleans ([#7922](https://github.com/AztecProtocol/aztec-packages/issues/7922)) ([65583e3](https://github.com/AztecProtocol/aztec-packages/commit/65583e3a841336cfdd1866e0ba6c44b0a14d3398)) * Properly schedule the tube proof and don't prove it twice ([#7913](https://github.com/AztecProtocol/aztec-packages/issues/7913)) ([8582ef2](https://github.com/AztecProtocol/aztec-packages/commit/8582ef2c3903352d8793a5bc6dc6c3e3a3275d90)) * Show pending tx status ([#7887](https://github.com/AztecProtocol/aztec-packages/issues/7887)) ([088aae5](https://github.com/AztecProtocol/aztec-packages/commit/088aae58dc1484739c2812315096b8de4fd720be)) * Skip squashing of revertible nullifier and non-revertible note hash ([#7624](https://github.com/AztecProtocol/aztec-packages/issues/7624)) ([76ef298](https://github.com/AztecProtocol/aztec-packages/commit/76ef29825e9e3ef470b8801e5627c26d952644eb)) * Speed up LSP (https://github.com/noir-lang/noir/pull/5650) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Use correct PG degree adjustment in log deriv lookup relation ([#7863](https://github.com/AztecProtocol/aztec-packages/issues/7863)) ([87c940d](https://github.com/AztecProtocol/aztec-packages/commit/87c940d4b92f2ed658ba96fc7c9d603e8e37c67c)) * Use curl instead of cast in mainnet fork script ([#7792](https://github.com/AztecProtocol/aztec-packages/issues/7792)) ([1964870](https://github.com/AztecProtocol/aztec-packages/commit/196487040226087ece0d4c410eceea840d5a3739)) ### Miscellaneous * `TokenWithRefunds` optimizations ([#7628](https://github.com/AztecProtocol/aztec-packages/issues/7628)) ([1dd4523](https://github.com/AztecProtocol/aztec-packages/commit/1dd4523bce2e005bd53c1d42d5c334f8d4322e95)), closes [#7606](https://github.com/AztecProtocol/aztec-packages/issues/7606) * Add array and slice control flow tests (https://github.com/noir-lang/noir/pull/5558) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Add compose template for provernet-like env ([#7880](https://github.com/AztecProtocol/aztec-packages/issues/7880)) ([27f15ae](https://github.com/AztecProtocol/aztec-packages/commit/27f15aeb09b1e6551a429ec0ff90d2b17b593e58)) * Add optional artifical delay for test prover ([#7832](https://github.com/AztecProtocol/aztec-packages/issues/7832)) ([4d0c027](https://github.com/AztecProtocol/aztec-packages/commit/4d0c027c980e47b9cabc919c81562d5e0ce586ca)) * Adjusted flavors and relation types to zk sumcheck ([#7500](https://github.com/AztecProtocol/aztec-packages/issues/7500)) ([b7efd07](https://github.com/AztecProtocol/aztec-packages/commit/b7efd079a679c492596bb455136661aca4cf582d)) * **avm:** Bump the timeout of the AVM full tests to 50 minutes ([#7776](https://github.com/AztecProtocol/aztec-packages/issues/7776)) ([760af5d](https://github.com/AztecProtocol/aztec-packages/commit/760af5d8367438ec106d7162abcdce236cbf4310)) * **avm:** Bump timeout for AVM full tests github action to 60 minutes ([#7782](https://github.com/AztecProtocol/aztec-packages/issues/7782)) ([cabbd5f](https://github.com/AztecProtocol/aztec-packages/commit/cabbd5ffd26a4f392a21ea458631213d24e418f5)) * **avm:** Codegen improvements ([#7703](https://github.com/AztecProtocol/aztec-packages/issues/7703)) ([f26bb32](https://github.com/AztecProtocol/aztec-packages/commit/f26bb32abcdcea4450f4867d2d88efbbcd468c01)) * **avm:** Delete generated dir ([#7741](https://github.com/AztecProtocol/aztec-packages/issues/7741)) ([f875e1e](https://github.com/AztecProtocol/aztec-packages/commit/f875e1e656950e6048446a52fcac45313966a822)) * **avm:** Do not generate subtrace row ([#7894](https://github.com/AztecProtocol/aztec-packages/issues/7894)) ([0d95d9e](https://github.com/AztecProtocol/aztec-packages/commit/0d95d9eee85cdc0cd0a7cdf60cb8a349b8af27da)) * **avm:** Make fixed tables use constant polys ([#7744](https://github.com/AztecProtocol/aztec-packages/issues/7744)) ([4b793b0](https://github.com/AztecProtocol/aztec-packages/commit/4b793b014b31382c10ea0ff7c35bd324b834410a)) * **avm:** No fake rows in main trace ([#7823](https://github.com/AztecProtocol/aztec-packages/issues/7823)) ([5ff3554](https://github.com/AztecProtocol/aztec-packages/commit/5ff3554ace81831d0a561b6a4e186b48edb12e5e)) * **avm:** Rearrange files ([#7723](https://github.com/AztecProtocol/aztec-packages/issues/7723)) ([3270662](https://github.com/AztecProtocol/aztec-packages/commit/3270662882bf98d81cf4a897957fb65cbbaa2464)) * **avm:** Tweak check-circuit settings ([#7872](https://github.com/AztecProtocol/aztec-packages/issues/7872)) ([ff4bb4f](https://github.com/AztecProtocol/aztec-packages/commit/ff4bb4f7ba2b63f8e460b1bacbdf0410f161f7c6)) * **avm:** Update stats ([#7701](https://github.com/AztecProtocol/aztec-packages/issues/7701)) ([1b7d27e](https://github.com/AztecProtocol/aztec-packages/commit/1b7d27e310c70a211f30816b42a879118378a049)) * **avm:** Vm compilation metrics ([#7704](https://github.com/AztecProtocol/aztec-packages/issues/7704)) ([0d83cde](https://github.com/AztecProtocol/aztec-packages/commit/0d83cde126789016cc15087b7ff0cfb26eb31818)) * **bb:** Define missing univ-fr operators ([#7859](https://github.com/AztecProtocol/aztec-packages/issues/7859)) ([30d226e](https://github.com/AztecProtocol/aztec-packages/commit/30d226e9db291b6daaa30462d184aece445a7d9f)) * Card contract cleanup ([#7874](https://github.com/AztecProtocol/aztec-packages/issues/7874)) ([7d26fc6](https://github.com/AztecProtocol/aztec-packages/commit/7d26fc6a61c4bcae3e283a2a8178082cc68e7007)) * **ci:** Report memory and cpu usage in e2e bench ([#7735](https://github.com/AztecProtocol/aztec-packages/issues/7735)) ([36aa6fc](https://github.com/AztecProtocol/aztec-packages/commit/36aa6fc28504e5f838eb21e6fa99afc849e218e9)) * **ci:** Report memory usage in bb-native-tests ([#7713](https://github.com/AztecProtocol/aztec-packages/issues/7713)) ([2631fb5](https://github.com/AztecProtocol/aztec-packages/commit/2631fb5ce0d99dcba40a44b61d4feb61cd4d0922)) * Display comptime assertion errors, not Debug (https://github.com/noir-lang/noir/pull/5605) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * **docs:** Add Writing Noir doc (https://github.com/noir-lang/noir/pull/5456) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * **docs:** Minor update to TXE docs page ([#7757](https://github.com/AztecProtocol/aztec-packages/issues/7757)) ([a65f79b](https://github.com/AztecProtocol/aztec-packages/commit/a65f79bff890947052016b6756c3296a5a1f96ce)) * **docs:** Nasty linky (https://github.com/noir-lang/noir/pull/5600) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * **docs:** Update proving backend related docs (https://github.com/noir-lang/noir/pull/5601) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * **docs:** Update web app page to use nargo v 0.31 (https://github.com/noir-lang/noir/pull/5652) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * **github:** Switch to organization-wide Issue templates (https://github.com/noir-lang/noir/pull/5622) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Handle exceptions in bot runner ([#7679](https://github.com/AztecProtocol/aztec-packages/issues/7679)) ([dd6176b](https://github.com/AztecProtocol/aztec-packages/commit/dd6176b444ae1b9f8313af98f7ebd5eeb2f31ed7)), closes [#7658](https://github.com/AztecProtocol/aztec-packages/issues/7658) * Improve error reporting in profiler ([#7712](https://github.com/AztecProtocol/aztec-packages/issues/7712)) ([628782a](https://github.com/AztecProtocol/aztec-packages/commit/628782ab6e259bd80ac2b72296b858ccb0a15154)) * Initializer nullifier read in the kernel ([#7876](https://github.com/AztecProtocol/aztec-packages/issues/7876)) ([fda7c3e](https://github.com/AztecProtocol/aztec-packages/commit/fda7c3e2b5b01dc4a55b7e79ca75f057e2907d20)) * Lldb bb debugging helper script ([#7627](https://github.com/AztecProtocol/aztec-packages/issues/7627)) ([f35786a](https://github.com/AztecProtocol/aztec-packages/commit/f35786a34659a2691d9810517fa4e4e89b99111a)) * Log name of current e2e test ([#7637](https://github.com/AztecProtocol/aztec-packages/issues/7637)) ([20c555a](https://github.com/AztecProtocol/aztec-packages/commit/20c555a85142ed54b691296740ba6b22d81750c0)) * Make registry ownable ([#7853](https://github.com/AztecProtocol/aztec-packages/issues/7853)) ([043e219](https://github.com/AztecProtocol/aztec-packages/commit/043e2191ee302720eb6c9f400eb7cbd4f7a8f735)), closes [#7837](https://github.com/AztecProtocol/aztec-packages/issues/7837) * Merge back to master ([#7785](https://github.com/AztecProtocol/aztec-packages/issues/7785)) ([2ad6e6f](https://github.com/AztecProtocol/aztec-packages/commit/2ad6e6fd60c98cc5888f6f64bcd774d87ff881e8)) * Minor logging tweaks ([#7879](https://github.com/AztecProtocol/aztec-packages/issues/7879)) ([00c35c0](https://github.com/AztecProtocol/aztec-packages/commit/00c35c0f7c96c5eebecf66088d2fcd9aa3da7693)) * Native to fee juice ([#7911](https://github.com/AztecProtocol/aztec-packages/issues/7911)) ([32b4c6e](https://github.com/AztecProtocol/aztec-packages/commit/32b4c6ed75387759b3d84df723a52679894feb2d)) * Nicer way to fetch slots in `TokenWithRefunds` ([#7797](https://github.com/AztecProtocol/aztec-packages/issues/7797)) ([9fc38b9](https://github.com/AztecProtocol/aztec-packages/commit/9fc38b9147a51b8e5b84ba475ef8b2a3492727d3)) * Rename fee juice ([#7793](https://github.com/AztecProtocol/aztec-packages/issues/7793)) ([24b3e05](https://github.com/AztecProtocol/aztec-packages/commit/24b3e05a9bfca29f7741de49fe12f73cc219953b)), closes [#7570](https://github.com/AztecProtocol/aztec-packages/issues/7570) * Renaming private token as token with refunds ([#7626](https://github.com/AztecProtocol/aztec-packages/issues/7626)) ([43a83ae](https://github.com/AztecProtocol/aztec-packages/commit/43a83aec4572f17444ba9d6d1e4c141dbbc07a76)) * Replace relative paths to noir-protocol-circuits ([a801da9](https://github.com/AztecProtocol/aztec-packages/commit/a801da98d1b6ca90d3f2ced5135992db30cd13f0)) * Replace relative paths to noir-protocol-circuits ([4ac261d](https://github.com/AztecProtocol/aztec-packages/commit/4ac261da0f30c3d202d33b3c2e657a14c2f84bc8)) * Replace relative paths to noir-protocol-circuits ([6b1e5c8](https://github.com/AztecProtocol/aztec-packages/commit/6b1e5c8db30dd526448d22ec9e4eeba6a89e309e)) * Replace relative paths to noir-protocol-circuits ([5477450](https://github.com/AztecProtocol/aztec-packages/commit/54774504fbd8cb1de53de5064c5d59495f8fc7c0)) * Replace relative paths to noir-protocol-circuits ([e6de663](https://github.com/AztecProtocol/aztec-packages/commit/e6de6635baec63f3c563c332ccb71e2f5803d8be)) * Replace relative paths to noir-protocol-circuits ([bf2ad45](https://github.com/AztecProtocol/aztec-packages/commit/bf2ad4552ce561c8cb7038c40c6560b6da86bd43)) * Replace relative paths to noir-protocol-circuits ([7c42b89](https://github.com/AztecProtocol/aztec-packages/commit/7c42b8987edcb09447bc8feeb99e74bc8a8f05c6)) * Replace relative paths to noir-protocol-circuits ([bcf8b18](https://github.com/AztecProtocol/aztec-packages/commit/bcf8b1805c4d9c315eba9bfb07f5302649c5bad9)) * Replace relative paths to noir-protocol-circuits ([aeaed12](https://github.com/AztecProtocol/aztec-packages/commit/aeaed12376bbbb21ad25fa2301376b3740767649)) * Replace relative paths to noir-protocol-circuits ([3d9696d](https://github.com/AztecProtocol/aztec-packages/commit/3d9696d89ae9e1822cf685fd94570c6ba11916ce)) * Replace relative paths to noir-protocol-circuits ([7e36deb](https://github.com/AztecProtocol/aztec-packages/commit/7e36deb4d15a83b402c1d9a4efe29049e5597f36)) * Slot part of note hiding point preimage ([#7767](https://github.com/AztecProtocol/aztec-packages/issues/7767)) ([109f685](https://github.com/AztecProtocol/aztec-packages/commit/109f6850ae98aaf67fe021b36a4fee6c9c0b9b93)) * Switch `Value::TraitConstraint` to a resolved trait constraint (https://github.com/noir-lang/noir/pull/5618) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Test blackbox binary op instructions (https://github.com/noir-lang/noir/pull/5484) ([22845ac](https://github.com/AztecProtocol/aztec-packages/commit/22845acc6a6b36cc8add40950b8e003754db3cf9)) * Trim client IVC block sizes to fit e2e test ([#7783](https://github.com/AztecProtocol/aztec-packages/issues/7783)) ([641229e](https://github.com/AztecProtocol/aztec-packages/commit/641229ec6b87ed7db47ef54a810accc4e9b66615)) * Updated tx per block config ([#7794](https://github.com/AztecProtocol/aztec-packages/issues/7794)) ([e74108d](https://github.com/AztecProtocol/aztec-packages/commit/e74108d4672cd003851fea3c9423247e7c9f941b)) * Validate outputs in kernel circuits ([#7706](https://github.com/AztecProtocol/aztec-packages/issues/7706)) ([9a98289](https://github.com/AztecProtocol/aztec-packages/commit/9a98289bb031f5c3435ec9d7e5c086ed6f26bfc9)) * **vc:** P2p message cleanup + attestaion + proposal types ([#7733](https://github.com/AztecProtocol/aztec-packages/issues/7733)) ([392cdb1](https://github.com/AztecProtocol/aztec-packages/commit/392cdb1cc3d228bd0b6586565bc0374db4962411)) </details> <details><summary>barretenberg: 0.48.0</summary> ## [0.48.0](https://github.com/AztecProtocol/aztec-packages/compare/barretenberg-v0.47.1...barretenberg-v0.48.0) (2024-08-12) ### Features * **avm:** Poseidon2 constraints ([#7269](https://github.com/AztecProtocol/aztec-packages/issues/7269)) ([bd5a26e](https://github.com/AztecProtocol/aztec-packages/commit/bd5a26eed42a8e23e2c9ea158419836a2b0b3333)) * **avm:** Support aliases in bb-pilcom ([#7904](https://github.com/AztecProtocol/aztec-packages/issues/7904)) ([09e317d](https://github.com/AztecProtocol/aztec-packages/commit/09e317dee9625f61ef9eb7cc488bdb5ff1d62612)) * **avm:** Support skippable relations ([#7750](https://github.com/AztecProtocol/aztec-packages/issues/7750)) ([89d7b37](https://github.com/AztecProtocol/aztec-packages/commit/89d7b3707dcbe4cc684be7dcfdd8c356519067b0)) * **avm:** Update flavor codegen ([#7917](https://github.com/AztecProtocol/aztec-packages/issues/7917)) ([7f1fa2c](https://github.com/AztecProtocol/aztec-packages/commit/7f1fa2cbb52637c1f7471ca1d20bd62b16b51c7a)) * AztecIvc benchmark suite ([#7864](https://github.com/AztecProtocol/aztec-packages/issues/7864)) ([b7276ab](https://github.com/AztecProtocol/aztec-packages/commit/b7276ab7fc1f7abe26cc082eaac901c371217b2a)) * **bb:** Integrate tracy memory/cpu profiler ([#7718](https://github.com/AztecProtocol/aztec-packages/issues/7718)) ([67efb8b](https://github.com/AztecProtocol/aztec-packages/commit/67efb8b13f8009b55d540b85b849a2172c28edd8)) * **bb:** Optimize tuple creation ([#7770](https://github.com/AztecProtocol/aztec-packages/issues/7770)) ([a09636c](https://github.com/AztecProtocol/aztec-packages/commit/a09636c88dc1db8038e3c9fa68cc7c7d2ddf8894)) * CLI wallet initial version ([#7651](https://github.com/AztecProtocol/aztec-packages/issues/7651)) ([83f8d9c](https://github.com/AztecProtocol/aztec-packages/commit/83f8d9c5e4f53b3691d5a1168c69a160ab657139)) * Consistent handling of point at infinity in transcript ([#7709](https://github.com/AztecProtocol/aztec-packages/issues/7709)) ([7a763c0](https://github.com/AztecProtocol/aztec-packages/commit/7a763c07a29229ba1b1c4f8667e797c2a160022f)) * Extend SMT Utils ([#7126](https://github.com/AztecProtocol/aztec-packages/issues/7126)) ([cfb4aa8](https://github.com/AztecProtocol/aztec-packages/commit/cfb4aa8602c316003d018bf3192e2a13e36cacad)) * Hook up secondary calldata column in dsl ([#7759](https://github.com/AztecProtocol/aztec-packages/issues/7759)) ([f0f28fc](https://github.com/AztecProtocol/aztec-packages/commit/f0f28fc24cfeba18f5c16c77a4505d16dc1e02df)) * Linking circuits with the databus ([#7707](https://github.com/AztecProtocol/aztec-packages/issues/7707)) ([1c596ed](https://github.com/AztecProtocol/aztec-packages/commit/1c596eda3f09bea03467662fd98c6c222c97f182)) * New IVC class that better reflects the aztec architecture ([#7695](https://github.com/AztecProtocol/aztec-packages/issues/7695)) ([f8a76c1](https://github.com/AztecProtocol/aztec-packages/commit/f8a76c1a65c7c25f49bf2d7b4ef5302a0d0fbd58)) * Pass calldata ids to the backend ([#7875](https://github.com/AztecProtocol/aztec-packages/issues/7875)) ([274858f](https://github.com/AztecProtocol/aztec-packages/commit/274858f6385b26ea935dcdcf7b2295562caae0f8)) * Plumbing for slot numbers ([#7663](https://github.com/AztecProtocol/aztec-packages/issues/7663)) ([e7c1dc3](https://github.com/AztecProtocol/aztec-packages/commit/e7c1dc343eaaa9d126d18b7456c207ac50c43d39)) * Report gates and VKs of private protocol circuits with megahonk ([#7722](https://github.com/AztecProtocol/aztec-packages/issues/7722)) ([2c03259](https://github.com/AztecProtocol/aztec-packages/commit/2c03259653c45d7f17086320a9ea76225d1595ed)) * Split merge into recursive verification and proving ([#7801](https://github.com/AztecProtocol/aztec-packages/issues/7801)) ([25c49bc](https://github.com/AztecProtocol/aztec-packages/commit/25c49bce2ad880d1ad9a3678f68431b0cce01dbe)) * Ts pedersen commit with offset ([#7699](https://github.com/AztecProtocol/aztec-packages/issues/7699)) ([b2224b4](https://github.com/AztecProtocol/aztec-packages/commit/b2224b48190d33af5e78efa3a470503331b0371f)) * Use poseidon for merkle tree hashing ([#7356](https://github.com/AztecProtocol/aztec-packages/issues/7356)) ([2daf2ab](https://github.com/AztecProtocol/aztec-packages/commit/2daf2ab2ad6815588c2a62d8b7d540e0dcbff892)) ### Bug Fixes * **avm:** Correctly build spike vm ([#7726](https://github.com/AztecProtocol/aztec-packages/issues/7726)) ([0c1d98f](https://github.com/AztecProtocol/aztec-packages/commit/0c1d98ff53ff0d39956d9837ce7b32cd75e860c3)) * Avoid initializing wires and selectors redundantly in trace ([#7895](https://github.com/AztecProtocol/aztec-packages/issues/7895)) ([4be1833](https://github.com/AztecProtocol/aztec-packages/commit/4be18337082aa076d0cc88d5e11a5ebb2cb83631)) * **bb.js:** Account for extra gates in the c bind circuit size estimate ([#7800](https://github.com/AztecProtocol/aztec-packages/issues/7800)) ([7b90699](https://github.com/AztecProtocol/aztec-packages/commit/7b90699fdbebcb00a06f396e8263a9ffe156fbc2)) * **bb:** Univariate-ff subtraction ([#7905](https://github.com/AztecProtocol/aztec-packages/issues/7905)) ([e29f042](https://github.com/AztecProtocol/aztec-packages/commit/e29f042ccfb02f22ef63b3b82f43be2e4388902d)) * **ci:** Fix circle-ci issue ([#7734](https://github.com/AztecProtocol/aztec-packages/issues/7734)) ([76acff9](https://github.com/AztecProtocol/aztec-packages/commit/76acff9a51190fd2faddd3913d625509d545702a)) * Commonly occurring typo ([#7807](https://github.com/AztecProtocol/aztec-packages/issues/7807)) ([e3cc7d0](https://github.com/AztecProtocol/aztec-packages/commit/e3cc7d0fa0d842edcd24f1981b687cbdf057ce1a)) * Ensure dummy values are on the curve for MSM ([#7653](https://github.com/AztecProtocol/aztec-packages/issues/7653)) ([11f3885](https://github.com/AztecProtocol/aztec-packages/commit/11f3885d11237dbd3e203d07bf4cdb7df316e07a)) * Handle properly invalid witness assignment in ec add ([#7690](https://github.com/AztecProtocol/aztec-packages/issues/7690)) ([6c19c7e](https://github.com/AztecProtocol/aztec-packages/commit/6c19c7eb91acc47106549fa7943f59d2dca3e0ce)) * Increase srs ([#7754](https://github.com/AztecProtocol/aztec-packages/issues/7754)) ([79613a7](https://github.com/AztecProtocol/aztec-packages/commit/79613a7dfa4d2fbd07e9738d35082dc7b097a396)) * Use correct PG degree adjustment in log deriv lookup relation ([#7863](https://github.com/AztecProtocol/aztec-packages/issues/7863)) ([87c940d](https://github.com/AztecProtocol/aztec-packages/commit/87c940d4b92f2ed658ba96fc7c9d603e8e37c67c)) ### Miscellaneous * Adjusted flavors and relation types to zk sumcheck ([#7500](https://github.com/AztecProtocol/aztec-packages/issues/7500)) ([b7efd07](https://github.com/AztecProtocol/aztec-packages/commit/b7efd079a679c492596bb455136661aca4cf582d)) * **avm:** Codegen improvements ([#7703](https://github.com/AztecProtocol/aztec-packages/issues/7703)) ([f26bb32](https://github.com/AztecProtocol/aztec-packages/commit/f26bb32abcdcea4450f4867d2d88efbbcd468c01)) * **avm:** Do not generate subtrace row ([#7894](https://github.com/AztecProtocol/aztec-packages/issues/7894)) ([0d95d9e](https://github.com/AztecProtocol/aztec-packages/commit/0d95d9eee85cdc0cd0a7cdf60cb8a349b8af27da)) * **avm:** Make fixed tables use constant polys ([#7744](https://github.com/AztecProtocol/aztec-packages/issues/7744)) ([4b793b0](https://github.com/AztecProtocol/aztec-packages/commit/4b793b014b31382c10ea0ff7c35bd324b834410a)) * **avm:** No fake rows in main trace ([#7823](https://github.com/AztecProtocol/aztec-packages/issues/7823)) ([5ff3554](https://github.com/AztecProtocol/aztec-packages/commit/5ff3554ace81831d0a561b6a4e186b48edb12e5e)) * **avm:** Rearrange files ([#7723](https://github.com/AztecProtocol/aztec-packages/issues/7723)) ([3270662](https://github.com/AztecProtocol/aztec-packages/commit/3270662882bf98d81cf4a897957fb65cbbaa2464)) * **avm:** Tweak check-circuit settings ([#7872](https://github.com/AztecProtocol/aztec-packages/issues/7872)) ([ff4bb4f](https://github.com/AztecProtocol/aztec-packages/commit/ff4bb4f7ba2b63f8e460b1bacbdf0410f161f7c6)) * **avm:** Update stats ([#7701](https://github.com/AztecProtocol/aztec-packages/issues/7701)) ([1b7d27e](https://github.com/AztecProtocol/aztec-packages/commit/1b7d27e310c70a211f30816b42a879118378a049)) * **avm:** Vm compilation metrics ([#7704](https://github.com/AztecProtocol/aztec-packages/issues/7704)) ([0d83cde](https://github.com/AztecProtocol/aztec-packages/commit/0d83cde126789016cc15087b7ff0cfb26eb31818)) * **bb:** Define missing univ-fr operators ([#7859](https://github.com/AztecProtocol/aztec-packages/issues/7859)) ([30d226e](https://github.com/AztecProtocol/aztec-packages/commit/30d226e9db291b6daaa30462d184aece445a7d9f)) * Lldb bb debugging helper script ([#7627](https://github.com/AztecProtocol/aztec-packages/issues/7627)) ([f35786a](https://github.com/AztecProtocol/aztec-packages/commit/f35786a34659a2691d9810517fa4e4e89b99111a)) * Trim client IVC block sizes to fit e2e test ([#7783](https://github.com/AztecProtocol/aztec-packages/issues/7783)) ([641229e](https://github.com/AztecProtocol/aztec-packages/commit/641229ec6b87ed7db47ef54a810accc4e9b66615)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

# Description ## Problem\* Resolves #5427 ## Summary\* Unit test our blackbox crypto instructions. Preferable to merge after: - #5559 - #5484 (Because of overlapping helper functions) ## Additional Context While most of our crypto function implementations are from external crates, `poseidon2_permutation` is implemented internally. I'm using the [`zkhash` crate](https://docs.rs/zkhash/0.2.0/zkhash/poseidon2/) to test our implementation. ## Documentation\* Check one: - [x] No documentation needed. - [ ] Documentation included in this PR. - [ ] **[For Experimental Features]** Documentation to be submitted in a separate PR. # PR Checklist\* - [x] I have tested the changes locally. - [x] I have formatted the changes with [Prettier](https://prettier.io/) and/or `cargo fmt` on default settings.

add simple acvm test for binary AND commutativity, add single-op solv…

59423e5

…er helper, add wip slice control flow test (currently hitting the 'push_back'-panics-in-unevaluated-branch bug), add wip array control flow test

michaeljklein mentioned this pull request Jul 11, 2024

Calculate which functions require predicates in SSA CFG construction #5498

Open

michaeljklein added 3 commits July 11, 2024 17:37

wip commutative tests for and/xor, converted and extended control flo…

ba58119

…w test to arrays

add handling for witness vs constant inputs, wip testing bigint's, ad…

bd36dc5

…d tests for to/from le bytes, add tests for commutative/associative/identity and/xor

add tests for zero l/r for AND, bigint generator/harness with a bunch…

1ed070e

… of identity and zero tests

TomAFrench reviewed Jul 16, 2024

View reviewed changes

acvm-repo/acvm/tests/solver.rs Outdated Show resolved Hide resolved

michaeljklein and others added 3 commits July 18, 2024 14:56

add noir test program for too-large bigint, add method to generate tr…

6db5c25

…iple of bigint's, fix bug in bigint_solve_binary_op, add commutative/associative/identity/zero/inverse/distributive tests for bigint's

cargo fmt, factor out opcode and input setup functions

822f6a9

Merge branch 'master' into michaeljklein/test-binary-ops

741a572

michaeljklein changed the title ~~Test blackbox binary op instructions~~ chore: test blackbox binary op instructions Jul 18, 2024

michaeljklein and others added 4 commits July 18, 2024 16:38

remove bigint and control flow tests

df45f20

Merge branch 'master' into michaeljklein/test-binary-ops

004016b

Merge branch 'master' into michaeljklein/test-binary-ops

cd7ffbe

add f(x, x) tests, convert any::<T> to ': T', link to follow-up issue

fc72df0

michaeljklein marked this pull request as ready for review July 23, 2024 20:49

Merge branch 'master' into michaeljklein/test-binary-ops

a30e55f

guipublic reviewed Jul 24, 2024

View reviewed changes

acvm-repo/acvm/tests/solver.rs Outdated Show resolved Hide resolved

guipublic reviewed Jul 24, 2024

View reviewed changes

acvm-repo/acvm/tests/solver.rs Show resolved Hide resolved

guipublic reviewed Jul 24, 2024

View reviewed changes

acvm-repo/acvm/tests/solver.rs Show resolved Hide resolved

guipublic reviewed Jul 24, 2024

View reviewed changes

acvm-repo/acvm/tests/solver.rs Outdated Show resolved Hide resolved

TomAFrench mentioned this pull request Jul 24, 2024

Blackbox AND function fails identity tests #5597

Closed

michaeljklein and others added 4 commits July 24, 2024 17:39

Merge branch 'master' into michaeljklein/test-binary-ops

6a2b4c5

remove redundant '_r' tests, fix associativity test

605c1e9

fix exponenet in field_element_ones

2ed945d

Merge branch 'master' into michaeljklein/test-binary-ops

5d6deb5

michaeljklein mentioned this pull request Jul 26, 2024

chore: crypto blackbox tests #5614

Merged

5 tasks

michaeljklein and others added 2 commits July 29, 2024 10:56

Merge branch 'master' into michaeljklein/test-binary-ops

df2804a

use proptest-provided use_constant for xy/yz binary operations

bddd985

guipublic approved these changes Jul 30, 2024

View reviewed changes

Merge branch 'master' into michaeljklein/test-binary-ops

7f3c15a

mark test as expected failure w/ linked issue, cargo clippy

5797c70

michaeljklein added this pull request to the merge queue Jul 30, 2024

Merged via the queue into master with commit cca89c1 Jul 30, 2024
46 checks passed

michaeljklein deleted the michaeljklein/test-binary-ops branch July 30, 2024 17:14

AztecBot mentioned this pull request Aug 2, 2024

feat: Sync from noir AztecProtocol/aztec-packages#7743

Merged

AztecBot mentioned this pull request Aug 2, 2024

chore(master): Release 0.48.0 AztecProtocol/aztec-packages#7676

Merged

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

chore: test blackbox binary op instructions #5484

chore: test blackbox binary op instructions #5484

michaeljklein commented Jul 11, 2024 •

edited

Loading

chore: test blackbox binary op instructions #5484

chore: test blackbox binary op instructions #5484

Conversation

michaeljklein commented Jul 11, 2024 • edited Loading

Description

Problem*

Summary*

Additional Context

Documentation*

PR Checklist*

michaeljklein commented Jul 11, 2024 •

edited

Loading