feat: Sync from noir (#10307)

Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: Remove inliner override for `reference_counts` test
(noir-lang/noir#6714)
fix: Optimize array ref counts to copy arrays much less often
(noir-lang/noir#6685)
feat: show printable byte arrays as byte strings in SSA
(noir-lang/noir#6709)
fix: Typo in u128 docs (noir-lang/noir#6711)
chore: Update pprof (noir-lang/noir#6710)
feat: replace quadratic removal of `rc` instructions
(noir-lang/noir#6705)
chore: update release-please action
(noir-lang/noir#6704)
fix(ssa): Remove RC tracker in DIE
(noir-lang/noir#6700)
chore: consolidate some CI workflows to reduce sprawl
(noir-lang/noir#6696)
fix: LSP auto-import text indent
(noir-lang/noir#6699)
feat: improve parser recovery of constructor field with '::' instead of
':' (noir-lang/noir#6701)
feat: revert changes to `ValueMerger` and `Instruction::IfElse`
(noir-lang/noir#6673)
chore: Revert "fix: Don't remove necessary RC instructions in DIE pass
(noir-lang/noir#6585)"
(noir-lang/noir#6693)
fix: Don't remove necessary RC instructions in DIE pass
(noir-lang/noir#6585)
feat: Add `BoundedVec::from_parts` and
`BoundedVec::from_parts_unchecked`
(noir-lang/noir#6691)
chore: fix warning when compiling `noir_wasm`
(noir-lang/noir#6686)
chore: fix tests in `noirc_abi_wasm`
(noir-lang/noir#6688)
feat(tooling): Skip program transformation when loaded from cache
(noir-lang/noir#6689)
feat(ssa): Simplify array get from set that writes to the same dynamic
index (noir-lang/noir#6684)
feat: Reduce memory consumption by storing array length as `u32` during
SSA (noir-lang/noir#6606)
chore: add `ram_blowup_regression` to memory report
(noir-lang/noir#6683)
chore: update noir-bench-report version
(noir-lang/noir#6675)
fix: Prevent hoisting binary instructions which can overflow
(noir-lang/noir#6672)
feat(ssa): Hoisting of array get using known induction variable maximum
(noir-lang/noir#6639)
feat: better error message when trying to invoke struct function field
(noir-lang/noir#6661)
feat: add memory report into the CI
(noir-lang/noir#6630)
feat: allow ignoring test failures from foreign calls
(noir-lang/noir#6660)
chore: refactor foreign call executors
(noir-lang/noir#6659)
fix: correct signed integer handling in `noirc_abi`
(noir-lang/noir#6638)
fix: allow multiple `_` parameters, and disallow `_` as an expression
you can read from (noir-lang/noir#6657)
feat: allow filtering which SSA passes are printed
(noir-lang/noir#6636)
fix: use correct type for attribute arguments
(noir-lang/noir#6640)
fix: always return an array of `u8`s when simplifying
`Intrinsic::ToRadix` calls (noir-lang/noir#6663)
feat(ssa): Option to set the maximum acceptable Brillig bytecode
increase in unrolling (noir-lang/noir#6641)
feat: Sync from aztec-packages
(noir-lang/noir#6656)
chore: refactor poseidon2 (noir-lang/noir#6655)
fix: correct types returned by constant EC operations simplified within
SSA (noir-lang/noir#6652)
feat: Sync from aztec-packages
(noir-lang/noir#6634)
fix: used signed division for signed modulo
(noir-lang/noir#6635)
fix(ssa): don't deduplicate constraints in blocks that are not dominated
(noir-lang/noir#6627)
chore: pin foundry version in CI
(noir-lang/noir#6642)
feat(ssa): Deduplicate intrinsics with predicates
(noir-lang/noir#6615)
chore: improve error message of `&T`
(noir-lang/noir#6633)
fix: LSP code action wasn't triggering on beginning or end of identifier
(noir-lang/noir#6616)
chore!: remove `ec` module from stdlib
(noir-lang/noir#6612)
fix(LSP): use generic self type to narrow down methods to complete
(noir-lang/noir#6617)
fix!: Disallow `#[export]` on associated methods
(noir-lang/noir#6626)
chore: redo typo PR by donatik27
(noir-lang/noir#6575)
chore: redo typo PR by Dimitrolito
(noir-lang/noir#6614)
feat: simplify `jmpif`s by reversing branches if condition is negated
(noir-lang/noir#5891)
fix: Do not warn on unused functions marked with #[export]
(noir-lang/noir#6625)
chore: Add panic for compiler error described in #6620
(noir-lang/noir#6621)
feat(perf): Track last loads per block in mem2reg and remove them if
possible (noir-lang/noir#6088)
fix(ssa): Track all local allocations during flattening
(noir-lang/noir#6619)
feat(comptime): Implement blackbox functions in comptime interpreter
(noir-lang/noir#6551)
chore: derive PartialEq and Hash for FieldElement
(noir-lang/noir#6610)
chore: ignore almost-empty directories in nargo_cli tests
(noir-lang/noir#6611)
chore: remove temporary allocations from `num_bits`
(noir-lang/noir#6600)
chore: Release Noir(1.0.0-beta.0)
(noir-lang/noir#6562)
feat: Add `array_refcount` and `slice_refcount` builtins for debugging
(noir-lang/noir#6584)
chore!: Require types of globals to be specified
(noir-lang/noir#6592)
fix: don't report visibility errors when elaborating comptime value
(noir-lang/noir#6498)
fix: preserve newlines between comments when formatting statements
(noir-lang/noir#6601)
fix: parse a bit more SSA stuff
(noir-lang/noir#6599)
chore!: remove eddsa from stdlib
(noir-lang/noir#6591)
chore: Typo in oracles how to
(noir-lang/noir#6598)
feat(ssa): Loop invariant code motion
(noir-lang/noir#6563)
fix: remove `compiler_version` from new `Nargo.toml`
(noir-lang/noir#6590)
feat: Avoid incrementing reference counts in some cases
(noir-lang/noir#6568)
chore: fix typo in test name
(noir-lang/noir#6589)
fix: consider prereleases to be compatible with pre-1.0.0 releases
(noir-lang/noir#6580)
feat: try to inline brillig calls with all constant arguments
(noir-lang/noir#6548)
fix: correct type when simplifying `derive_pedersen_generators`
(noir-lang/noir#6579)
feat: Sync from aztec-packages
(noir-lang/noir#6576)
END_COMMIT_OVERRIDE

---------

Co-authored-by: Tom French <[email protected]>
Co-authored-by: Maxim Vezenov <[email protected]>

.noir-sync-commit

@@ -1 +1 @@
-68c32b4ffd9b069fe4b119327dbf4018c17ab9d4
+31640e91ba75b9c5200ea66d1f54cc5185e0d196

noir/noir-repo/.github/workflows/formatting.yml

@@ -15,37 +15,53 @@ concurrency:
 jobs:
   clippy:
     name: cargo clippy
-    runs-on: ${{ matrix.runner }}
+    runs-on: ubuntu-latest
     timeout-minutes: 30
     env:
       RUSTFLAGS: -Dwarnings
 
-    strategy:
-      fail-fast: false
-      matrix:
-        include:
-          - runner: ubuntu-latest
-            target: x86_64-unknown-linux-gnu
-
     steps:
       - name: Checkout
         uses: actions/checkout@v4
 
       - name: Setup toolchain
         uses: dtolnay/[email protected]
         with:
-          targets: ${{ matrix.target }}
+          targets: x86_64-unknown-linux-gnu
           components: clippy, rustfmt
 
       - uses: Swatinem/rust-cache@v2
         with:
-          key: ${{ matrix.target }}
+          key: x86_64-unknown-linux-gnu
           cache-on-failure: true
           save-if: ${{ github.event_name != 'merge_group' }}
 
       - name: Run `cargo clippy`
         run: cargo clippy --all-targets --workspace --locked --release
 
+  rustfmt:
+    name: cargo fmt
+    runs-on: ubuntu-latest
+    timeout-minutes: 30
+    env:
+      RUSTFLAGS: -Dwarnings
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Setup toolchain
+        uses: dtolnay/[email protected]
+        with:
+          targets: x86_64-unknown-linux-gnu
+          components: clippy, rustfmt
+
+      - uses: Swatinem/rust-cache@v2
+        with:
+          key: x86_64-unknown-linux-gnu
+          cache-on-failure: true
+          save-if: ${{ github.event_name != 'merge_group' }}
+
       - name: Run `cargo fmt`
         run: cargo fmt --all --check
 
@@ -88,7 +104,6 @@ jobs:
         run: |
           mkdir dist
           cp ./target/release/nargo ./dist/nargo
-          7z a -ttar -so -an ./dist/* | 7z a -si ./nargo-x86_64-unknown-linux-gnu.tar.gz
 
       - name: Upload artifact
         uses: actions/upload-artifact@v4

noir/noir-repo/.github/workflows/release.yml

@@ -15,7 +15,7 @@ jobs:
     steps:
       - name: Run release-please
         id: release
-        uses: google-github-actions/release-please-action@v4
+        uses: googleapis/release-please-action@v4
         with:
           token: ${{ secrets.NOIR_RELEASES_TOKEN }}