chore: Release Noir(1.0.0-beta.16)

[noirwhal]

🤖 I have created a release beep boop

1.0.0-beta.16 (2025-12-01)

⚠ BREAKING CHANGES

• Do not allow returning functions from unconstrained to constrained (#10666)
• ssa: Validate that no ACIR-to-Brillig call contains a reference in SSA (#10497)
• frontend: Preserve int type when quoting tokens (#10330)

Features

• nargo execute --force-comptime (#10611) (1a93035)
• Doc comments inter-links (#10527) (b131feb)
• doc: Colorize code blocks (#10550) (271d332)
• doc: Show deprecated functions (#10536) (581c878)
• fuzz: Add support for more functions in comptime_vs_brillig_direct (#10500) (9fd2cf1)
• LSP: Semantic tokens for doc comment code blocks (#10565) (0ffef1c)
• Primitive types doc comments (#10432) (fb1d555)
• Remove bit shifts by small known amounts in DIE (#10680) (316aef6)
• Remove unnecessary mutation of blackbox functions during flattening (#10182) (050f978)
• ssa: Limit the number of steps executed by the SSA interpreter during constant folding (#10481) (6f0c090)
• test: Add --no-run to test command (#10632) (3766725)

Bug Fixes

• acir-gen: Use the side effect variable in slice_pop_back (#10455) (1bbaffe)
• Address off-by-one error when calculating bitsize of remainder (#10721) (a0f0517)
• Allow cast in loops upper bound (#10584) (7dfb184)
• Avoid adding default entry (#10679) (8eca323)
• Avoid producing duplicate private error messages (#10449) (06d4363)
• brillig_gen: Switch to iterative variable liveness (#10460) (c117dfa)
• brillig: Handle the return of multiple vectors from foreign calls (#10505) (a873620)
• brillig: Prevent wrap-around of the free-memory-pointer (#10526) (d81a38d)
• brillig: Skip decrementing ref-count in array/vector copy and other refactors (#10335) (cf8602d)
• Builtin with body now errors instead of crashing (#10474) (e794b78)
• Check overflow for Pedersen grumpkin scalars (#10462) (975ef74)
• Clarify predicate comment in BrilligCall and Call opcodes (#10356) (1739efd)
• compiler: Improve error message for impl on primitive types (#10430) (#10442) (f51f756)
• comptime: Validate that radix decomposition fits in the specified limbs (#10656) (df9c20a)
• Correct location for out of bounds match case integer (#10454) (36ecc83)
• Defunctionalize foreign functions in pre-SSA pass over mAST (#10160) (597633c)
• Disallow comptime-only types in non-comptime globals (#10458) (2a27b18)
• Disallow keywords in attributes (#10473) (fd27764)
• Do not deduplicate ifelse for Brillig arrays (#10668) (cba5f56)
• doc: Analyze sub-modules imports before self (#10390) (e2fd76d)
• docs: ACIR array flattening (#10509) (9a55cdc)
• Don't remove signed min int division overflow in DIE (#10506) (50d5c0b)
• Error if Quoted::as_module finds private module (#10511) (251d991)
• Error if pattern name is bound more than once (#10533) (a7e039c)
• Error when slice_insert is OOB during comptime (#10645) (b47e62a)
• Evaluate repeated array expr once (#10514) (789455f)
• Force_substitute bindings during monomorphization for associated constants (#10467) (6512fb9)
• frontend: No negative overflow when quoting signed integer (#10331) (794b685)
• frontend: Preserve int type when quoting tokens (#10330) (1b1985e)
• frontend: Resolve to correct type on fmtstr interpolation error (#10450) (e422898)
• fuzzer: Set in_dynamic in gen_match (#10470) (5a85979)
• Handle ambiguous trait methods in assumed traits (#10468) (60bfcf2)
• Mark ECDSA verification as PureWithPredicate (#10423) (4812309)
• Missing returned inputs in aes128encrypt black box (#10512) (d2c71c4)
• Only entry-point main is special (#10545) (5e5ec24)
• parser: Don't crash on incomplete type alias (#10421) (9336ae6)
• print: Print enums (#10472) (c65d5d9)
• Remove saturation from loop bound increments (#10479) (550b1db)
• Revert "feat(ACIR): reuse element_type_sizes blocks with the same str… (#10428) (8411248)
• Several comptime interpreter fixes (#10641) (520dd4f)
• ssa: Cast to u64 when inserting OOB checks in DIE (#10463) (bb32d34)
• ssa: Fix cast/truncate handling with lookback (#10646) (6741e02)
• stdlib: Fix visibility of ecdsa foreign function calls (#10658) (ab71130)
• Subtraction operator for witness (#10675) (d5f1d15)
• U1 operations in the comptime interpreter (#10633) (8a39e07)
• Use unit for fmtstr without variables (#10456) (0896c56)

Miscellaneous Chores

• Do not allow returning functions from unconstrained to constrained (#10666) (6a42a54)
• ssa: Validate that no ACIR-to-Brillig call contains a reference in SSA (#10497) (1633ddc)

---

This PR was generated with Release Please. See documentation.

[TomAFrench]

.

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: 059bac3	Previous: a0f0517	Ratio
rollup-block-root-single-tx	0.003 s	0.002 s	1.50

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: 67e5f61	Previous: a0f0517	Ratio
test_report_zkpassport_noir-ecdsa_	2 s	1 s	2

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Compilation Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: 059bac3	Previous: a0f0517	Ratio
semaphore-depth-10	0.983 s	0.815 s	1.21

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'ACVM Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: 53ba5e7	Previous: a7e039c	Ratio
perfectly_parallel_batch_inversion_opcodes	2799025 ns/iter (± 39328)	2253166 ns/iter (± 3497)	1.24

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[socket-security]

No dependency changes detected. Learn more about Socket for GitHub.

👍 No dependency changes detected in pull request

[github-actions]

🚀 Deployed on https://692de51efe3a2e69e13a6f61--noir-docs.netlify.app

[noirwhal]

🤖 Created releases:

• v1.0.0-beta.16

🌻

[github-actions]

FYI @noir-lang/developerrelations on Noir doc changes.