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