v1.0.0-beta.11

1.0.0-beta.11 (2025-08-19)

⚠ BREAKING CHANGES

• new semantic for bit-shifts (#9373)
• remove verify_proof from stdlib (#9472)

Features

• fuzz: Push and pop for slices (#9262) (ab345b2)
• Mark slice variants of ecdsa verification as deprecated (#9458) (5675aff)
• New semantic for bit-shifts (#9373) (f6fed8b)
• opt: Don't clone on array_len (#9440) (b7273d7)
• Remove saturating behaviour of signed bitshifts in brillig (#9532) (103f70a)
• Simplify bitshift logic to remove leftover overflow handling (#9506) (9062697)
• ssa_fuzzer: Hash blackbox functions (#9479) (4c65b51)
• ssa_fuzzer: Mode without instruction simplification + array instructions mutations + limits fix (#9438) (ea9c913)

Bug Fixes

• Allow calling private impl method defined on another module from… (#9449) (501988e)
• Assert types are not mutated in constant folding (#9481) (ee2ac1a)
• brillig_vm: Remove slice padding for foreign call inputs (#9321) (57778ea)
• brillig: Pass slice length to push and pop operations (#9507) (888f9a0)
• Guard Eq for [T] to avoid OOB on length mismatch (#9453) (b5a94e4)
• LSP: Don't crash on broken function definition (#9441) (e54057d)
• Remove shadowing in BoundedVec::any causing returning false unconditionally (#9478) (b51b616)
• Remove warning from std::verify_proof_with_type (#9474) (7503f37)
• security: Validate git references in GitHub dependency resolver (#9051) (e3a8e9f)
• ssa: Replace pop from 0-length slice with constraint and defaults (#9489) (20a6467)
• ssa: Replace side effects with defaults when disabled (#9462) (4f8dbbc)
• Sync len after map rebuilds in iter_mut/iter_keys_mut for HashMap and UHashMap (#9491) (12465f3)

Miscellaneous Chores

• Remove verify_proof from stdlib (#9472) (450ad5b)