v1.0.0-beta.17

1.0.0-beta.17 (2025-12-15)

⚠ BREAKING CHANGES

• remove protobuf (#9055)
• remove expression-width from compile options (#10845)

Features

• Always check bitsize of logical operation inputs (#10750) (6d9dcae)
• Always perform pedantic checks on embedded curve operations (#10776) (9297904)
• brillig: Show Brillig opcode advisories (#10746) (50c3d0f)
• doc: Mobile style (#10760) (6fa1a4b)
• Remove bounded-codegen feature from ACIRgen (#10693) (a3b5f97)

Bug Fixes

• acir: Do not read empty array under inactive predicates for various slice ops (#10882) (5a65dae)
• acir: Nested array slice pop back (#10871) (c9669fc)
• Apply_range_constraint off-by-one error (#10692) (2c47c5a)
• Avoid possible overflow during truncation (#10841) (9a5ea6f)
• brillig: Fix lookup for the back-edge (#10816) (6e73ab4)
• Capture variables in lamdba by copy (#10683) (bc40e89)
• Check types crossing boundaries during monomorphization too (#10803) (084ed53)
• comptime: zeroed returned U8(0) for u1 (#10892) (a65b988)
• Disallow no-predicates on entry points (#10847) (132eaee)
• Do not crash on invalid strings (#10739) (00eadc5)
• Don't capture comptime vars in closures (#10737) (3900aa8)
• Element type sizes array has extra room for slice_insert (#10742) (b5f559f)
• Error on duplicate field in set_fields (#10726) (a5edaa6)
• Error on wrong Ordering trait, instead of panic. (#10895) (10ab9a5)
• Fix calling type variables of kind Any (#10724) (9493100)
• Fix no numeric generic given leading to panic (#10725) (131f9bc)
• frontend: Allow indirect calls to oracles from constrained functions (#10826) (a4c1387)
• Handle u128 indices in comptime interpreter (#10867) (723dd59)
• Implement checked_transmute in the comptime interpreter (#10732) (a4391f8)
• Iterative decompose_constrain (#10818) (c25124d)
• Keep track of comptime closure callstack (#10735) (7615632)
• lexer: Don't create broken span on broken interpolation (#10722) (20473e1)
• LSP: Correct link range for doc comment references (#10769) (40146b9)
• LSP: Semantic tokens in trait methods (#10815) (d4150ea)
• Oob check for arrays with 0-size elements (#10738) (16cad49)
• Restore side effects in interpreter between calls (#10883) (9e3ebd3)
• SignedField Eq and Hash implementations (#10671) (caaf7c3)
• Slice with zero size elements (#10716) (e76a832)
• ssa: Clear the SSA interpreter call_stack between top level calls (#10901) (438ab72)
• Track when witnesses are used in the predicates of brillig calls when merging expressions (#10922) (daf526c)
• Use try_bind() to check for self-referencing types (#10905) (c3c91a9)
• Validate loop range have identical types in comptime (#10888) (56ee0a9)
• Wrap value merge of remove-if-else in enabled side effects (#10740) (4eab810)

Miscellaneous Chores

• Remove expression-width from compile options (#10845) (fe8e10e)
• Remove protobuf (#9055) (e0fba02)