chore: Release Noir(1.0.0-beta.19)

[noirwhal]

🤖 I have created a release beep boop

1.0.0-beta.19 (2026-02-13)

⚠ BREAKING CHANGES

• bump MSRV to 1.87.0 (#11449)
• remove ExpressionWidth (#11229)
• remove deprecated wrapping arithmetic functions (#11158)
• brillig: Avoid unnecessary array to vector conversion for black box inputs/outputs (#10151)
• store brillig memory addresses as u32 instead of usize (#10933)
• unify comptime expression/statement with target type (#10678)
• remove bincode support (#11132)
• Use msgpack-compact format by default (#7810)

Features

• Add --profile-execution to inspector command (#11218) (7b98584)
• Add wrap_comments and comment_width options to nargo fmt (#7371) (e48a0d8)
• Allow double colon for specifying type generics (#11456) (272d785)
• brillig: Avoid unnecessary array to vector conversion for black box inputs/outputs (#10151) (86ab173)
• Check-witness option for nargo execute (#10877) (092b42a)
• doc: Detect and report broken links (#11208) (b19c471)
• doc: Enable some markdown extensions (#11292) (eb2b4ea)
• frontend: Direct access of associated constants (#11361) (27c3ff4)
• frontend: Enable accessing associated types on bound generics (#11375) (9b9ca2d)
• Implement escaping unquotes in quote exprs (#11391) (f4cadb2)
• Improve error message when large numbers are used in TOML (#11426) (242b61d)
• Improve invalid array error message (#11153) (ba06353)
• Inline never attribute (#11114) (1d4b60b)
• LSP: On change, only type-check the changed file (#11316) (d3eb935)
• lsp: Suggest function parameters (#11441) (de6e046)
• lsp: Suggest local variables first (#11360) (3b5a851)
• More specific return location for function return type mismatches (#11350) (320fb77)
• ownership: Handle reassigning variables to reduce cloning (#11565) (949da54)
• ssa: Configurable small loop always unroll threshold (#11493) (9e8e6b9)
• ssa: Inlining cost model refinement (#9692) (6e0b468)
• Verify context7 ownership (#11377) (5c27fae)

Bug Fixes

• ACIR: Check vector length is not zero before pop_front (#11107) (da65d90)
• Add missing unification to type_check_operator_method (#11353) (8cf160c)
• Add more specific error types for evaluating numeric generics (#11164) (7e6c06f)
• Add oob checks when reading call_data (#11133) (7aa4e36)
• Add pkcs7 padding to the stdlib AES128 function (#11283) (1000cb2)
• Allow importing re-exports that are defined afterwards (#11258) (f1bc25d)
• Apply index side effects recursively (#11103) (6f95f40)
• As_witness being removed when used in return data (#11130) (4356c80)
• Avoid hoisting make array instructions (#11432) (d44d6ae)
• Avoid panic on invalid inputs for ecdsa verification (#11160) (a74b997)
• Better error messages on malformed Nargo.toml (#11240) (6ef0e22)
• BoundedVec: Improves performance of extend_from_bounded_vec (#11251) (84f4b3a)
• brillig: Checked math when computing size and capacity for vectors (#11235) (28220c0)
• brillig: Defensive assertion against call arguments heap corruption (#11288) (70db6eb)
• brillig: Use temp registers when passing block arguments (#11495) (d314e0e)
• browser: Disable web security in the browser test (#11520) (c88fc06)
• Check --program-directory exists and is a directory (#11334) (45de4a4)
• Check assert_constant after SSA loop unrolling (#11428) (8c399ff)
• Check self and Self are comptime-only types used in runtime … (#11303) (55b5047)
• Check fold types during monomorphization (#11366) (222c012)
• Check func env for references/vectors (#11255) (7f58011)
• Check NamedGenerics by id, not name (#11354) (e4f0640)
• Check trait constraints with type and generics (#11332) (f00ead9)
• Check type instead of assuming a vector (#11140) (5bbb5b5)
• ci: Mark keccak tests with oracles as failing (#11121) (a8731e9)
• Clean up after foreign call resolver fails (#11423) (a1b7994)
• cli: Pass --include_gates_per_opcode in call to bb in noir-profiler gates (#11310) (65c84b0)
• cli: Remove 'Expression Width' from the info table (#11254) (41313a3)
• comptime: Attribute macro expansion depth limit (#11352) (46ffc80)
• Correct "additional capacity" for element type sizes array (#11215) (300cf58)
• Correct path resolution for module attribute argument (#11576) (c334ad3)
• Correct size for HeapValueType::Array size (#11126) (59188e0)
• Correct way to track type recursion (#11509) (ea34c2a)
• Dedicated block_id for return_data (#11367) (212f909)
• Deduce function is unconstrained from FuncMeta type (#11534) (33ebdad)
• Discriminating on errors from try_lookup_trait_implementation in add_assumed_trait_implementation (#11488) (b8b2183)
• Do not check length for empty zst arrays in the interpreter (#11168) (edcff87)
• Do not crash when R is zero (#11122) (4a39a9a)
• Do not discard terms that cannot be added to intermediate variables (#11087) (e1bd2c7)
• Do not predicate safe index on non-homogenous arrays (#11442) (86eddc2)
• doc: Code block overflow (#11308) (0d03696)
• doc: Consider [...] to be links too, even if they have nested … (#11293) (80ff673)
• doc: Don't hide sidebar if not on a mobile device (#11210) (8900063)
• doc: Nest public re-exports of other crate items (#11294) (92f51fa)
• Don't auto-deref when solving trait constraints (#11305) (584cc8c)
• Don't dedup array sets in brillig fns (#11395) (56b3e06)
• Don't evaluate global without value (#11444) (b3f7358)
• elaborator: Disambiguate associated types from ordered generics (#11346) (d6cc27e)
• elaborator: Elaborate pending impl Trait functions on-the-fly (#11239) (004d042)
• elaborator: Handle <Object as Trait}>::<Type> in function signatures (#11417) (d1e7da8)
• elaborator: Make <Self as {trait}>::{ident} work as Self::{ident} (#11371) (516cdf5)
• elaborator: Pass the unresolved_globals to the Elaborator created for the comptime Interpreter (#11259) (56908dd)
• Ensure trait impl generic kinds match their corresponding trait generic kinds (#11172) (44aa82b)
• Error if non-generic type is used in generics list (#11410) (22414b2)
• Error instead of panic when method is not found (#11330) (e1b2904)
• Error instead of stack overflowing on more cyclic aliases (#11185) (d8a674a)
• Error on (trait) impl on unsupported type (#11304) (733f79c)
• Error on turbofish on type parameter (#11184) (fc803bf)
• Error on types that are too big (#11398) (fdbc5e1)
• Error when calling verify_proof_with_type in brillig (#11227) (7eef3ab)
• Error when overflow check fails at compile time (#11256) (bb12309)
• Evaluate monomorphizer builtins in variable case, not calls (#11214) (80026cf)
• Expand unquote inside nested quote (#11369) (fba32b4)
• Fix panic during monomorphization when calling a non-function enum variant as a function (#11165) (f06ded9)
• Fix stack overflow on some Type methods (#11203) (8af6f7b)
• fmt: A couple of comment-related fixes (#11397) (7b8bbde)
• fmt: Format the old vector syntax into the new one (#11128) (c96ca7a)
• fmt: Let noir-fmt:ignore ignore comment formatting (#11527) (28964ef)
• For T::Assoc search trait bounds instead of trait associated types (#11558) (dff422f)
• frontend: Disallow oracles returning vectors with nested arrays (#11277) (bb296ff)
• frontend: Do not error in trait method when impl is missing associated constant declaration (#11363) (6d2adb3)
• frontend: Lex << as two Less tokens to support nested generics (#11555) (00b5696)
• frontend: Multiple segment Self paths for associated types (#11338) (0b31117)
• frontend: Only confirm moves from current branch on conditional reassignment (#11581) (f0e97dd)
• frontend: Reject defining #[oracle] functions which clash with the stdlib (#11312) (4a819cf)
• Handle large arrays in the monomorphiser and limit their length (#11279) (98e2f0d)
• hir: Do not ignore the name in PartialEq for Type::NamedGeneric for implicit unbound (#11351) (4a862a2)
• Ignore parameters with reference in hint::blackbox() (#11386) (c695737)
• Improve impl on associated type error (#11412) (e0de7d6)
• Improve error message when failing to save program/contract (#11406) (37b7eab)
• Improve parser recovery with too-large integers (#11245) (5d5fa38)
• Improve reference coercion logic (#11286) (19a4f17)
• Increment depth counter in follow_bindings to prevent stack overflow (#11461) (35bc843)
• Increment ref count when hoisting instructions returning array (#11044) (9bd7b3b)
• Let ExpressionSolver combine linear terms (#11144) (e576ac2)
• Let ExpressionSolver combine mul terms on failure (#11262) (d0bf6e0)
• Lookup method in trait constraints for structs (#11533) (be5bff8)
• Lower CtString to CtString (#11163) (dbbe0cf)
• lsp: Autocomplete use super:: and use crate:: (#11464) (8a43224)
• lsp: Correctly auto-import trait when completion trait method (#11433) (743dd9c)
• lsp: Don't always process crate root doc comments (#11296) (46c1994)
• LSP: Visit crate root module doc comments (#11216) (84a070e)
• Mark array_set value as last used (#11563) (f9c4239)
• Mark bb predicates as used in merge_expression (#11123) (da06395)
• monomorphization: Use the bound type variables of the type of identifier for enums with unbound generics (#11222) (5860165)
• Non-comptime globals can refer to comptime types (#11306) (d178979)
• Only cache ArraySet during constant folding if using constraint … (#11110) (c9a8bf8)
• Oracles cannot return reference (#11143) (e7ba3f3)
• ownership: Clone array last used in while condition (#11113) (8d4e50b)
• parser: Disallow items named underscore (#11171) (4be5c07)
• parser: Error if modifiers are not followed by an item (#11469) (b8b91bf)
• parser: Error on unexpected type expression in type alias (#11190) (f5f9af5)
• parser: Tuple access cannot be a call (#11331) (e92fce9)
• Preserve stores to references escaping via returned arrays in mem2reg (#11457) (f911f40)
• Prevent infinite recursion checks in many cases (#11448) (b9d0ddb)
• Prevent integer literals in non-numeric generic locations (#11211) (404f60f)
• Recurse into array elements when tracking aliased references in mem2reg (#11494) (adf6db5)
• Remove impl From<usize> for MemoryValue (#11226) (7c79ab8)
• Remove most blackbox panics (#11136) (78a5445)
• Safe cast shift rhs to u32 in comptime interpreter (#11151) (bb95e52)
• Several varargs checks (#11152) (c3dae93)
• Share closure environment for constrained/unconstrained variants of a lambda function (#11271) (b8d4eea)
• ssa: Add MAX_INTERPRETER_CALL_STACK_SIZE to SSA interpreter (#11264) (be8004d)
• ssa: Avoid generating invalid dispatch from ACIR to Brillig lambdas (#11269) (1c722cf)
• ssa: Clear aliases when marking references unknown (#11487) (a2d886e)
• ssa: Count array call arguments as possible mutations when removing RC increments (#11388) (8d91700)
• ssa: Do not panic in remove_if_else_pre_check if values other than array/vector are returned (#11272) (bea20ef)
• ssa: Handle inlining functions with no reachable return (#11528) (de30358)
• ssa: Keep store whose address is used even after flattening (#11380) (f6f96dd)
• ssa: Mark all block parameters alias sets unknown when supplied unknown arguments (#11379) (413148b)
• ssa: Mark known nested references as unknown when marking their outer references unknown (#11387) (fa8934d)
• ssa: Overflow in inclusive range for loops (#10567) (89c8d39)
• ssa: Preserve EnableSideEffectsIf before RecursiveAggregation calls (#11524) (a4abe4e)
• ssa: Prevent deduplication of pure calls across different predicates (#11531) (794cde4)
• ssa: Prevent self deduplication (#11511) (a9bcd7f)
• ssa: Set the vector length of black_box inputs if they are constant (#11273) (e78f9c8)
• ssa: Tracking nested array aliases (#11378) (13ce5c8)
• ssa: Use for_each_value_alias in mem2reg Call handler for instruction_input_references (#11530) (c32d7a4)
• Stop mem2reg from removing stores to references which are aliased in the future (#11480) (7670f96)
• Trait impl on alias to (mutable) reference error (#11297) (a3382ab)
• Treat nested comptime blocks as regular blocks (#11170) (2d3f214)
• Unify comptime expression/statement with target type (#10678) (08eefba)
• Unify macro call type with actual type in comptime blocks (#11411) (091e39d)
• Use declared type for numeric type alias expressions (#11284) (96ab611)
• Utf-8 length for fmtstr (#11510) (60dabc3)

Miscellaneous Chores

• Bump MSRV to 1.87.0 (#11449) (fe873b9)
• Remove ExpressionWidth (#11229) (5f81abb)
• Remove bincode support (#11132) (833c0e3)
• Remove deprecated wrapping arithmetic functions (#11158) (e075566)
• Store brillig memory addresses as u32 instead of usize (#10933) (90cb79a)
• Use msgpack-compact format by default (#7810) (ea2c41b)

---

This PR was generated with Release Please. See documentation.

[socket-security]

All alerts resolved. Learn more about Socket for GitHub.

This PR previously contained dependency changes with security issues that have been resolved, removed, or ignored.

View full report

[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: bea048a	Previous: abe7173	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: 0cc0ac4	Previous: 15256e7	Ratio
test_report_zkpassport_noir-ecdsa_	3 s	1 s	3

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

CC: @TomAFrench

[github-actions]

🚀 Deployed on https://698f4da878101b266b575b4b--noir-docs.netlify.app

[github-actions]

⚠️ Performance Alert ⚠️

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

Benchmark suite	Current: bea048a	Previous: abe7173	Ratio
semaphore-depth-10	0.027 s	0.022 s	1.23

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

CC: @TomAFrench

[TomAFrench]

.

[github-actions]

⚠️ Performance Alert ⚠️

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

Benchmark suite	Current: fbc1849	Previous: 9e8e6b9	Ratio
rollup-tx-base-public	1.988 s	1.652 s	1.20

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: 7a12d79	Previous: 794cde4	Ratio
rollup-tx-base-private	26.54 s	19.34 s	1.37

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: 2e4f965	Previous: f0e97dd	Ratio
perfectly_parallel_batch_inversion_opcodes	2724490 ns/iter (± 6405)	2203746 ns/iter (± 1575)	1.24

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

CC: @TomAFrench

[TomAFrench]

Blocking on #11574

[socket-security]

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	browserify-fs@​1.0.0
	@​web/​test-runner-playwright@​0.11.1
	@​typescript-eslint/​parser@​8.55.0
	@​types/​path-browserify@​1.0.3
	@​types/​pako@​2.0.4
	@​web/​dev-server-import-maps@​0.2.1
	@​web/​dev-server-esbuild@​1.0.4
	@​types/​adm-zip@​0.5.7
	@​types/​readable-stream@​4.0.23
	buffer-esm@​1.2.0
	@​types/​mocha-each@​2.0.4
	@​types/​sinon@​21.0.0
	@​types/​chai@​5.2.3
	@​types/​mocha@​10.0.10
	@​ltd/​j-toml@​1.38.0
	@​typescript-eslint/​eslint-plugin@​8.55.0
	adm-zip@​0.5.16
	@​types/​node@​24.6.1 ⏵ 22.19.7
	@​esm-bundle/​chai@​4.3.4
	@​wasm-tool/​wasm-pack-plugin@​1.7.0
	@​nomicfoundation/​hardhat-chai-matchers@​2.1.2
	@​eslint/​eslintrc@​2.1.4 ⏵ 3.3.3
	assert@​2.1.0
	ethers@​6.16.0
	globals@​17.0.0
	copy-webpack-plugin@​11.0.0 ⏵ 13.0.1
	@​web/​test-runner@​0.20.2
	chai@​6.2.2
	hardhat@​2.26.5
	eslint@​10.0.0
	html-webpack-plugin@​5.6.6
	@​nomicfoundation/​hardhat-ethers@​3.1.2
	eslint-plugin-prettier@​5.5.5
See 4 more rows in the dashboard

View full report

[github-actions]

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