noir-lang · TomAFrench · Aug 19, 2025 · Aug 19, 2025 · Aug 19, 2025 · Aug 19, 2025
diff --git a/.release-please-manifest.json b/.release-please-manifest.json
@@ -1,3 +1,3 @@
 {
-  ".": "1.0.0-beta.10"
+  ".": "1.0.0-beta.11"
 }
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,45 @@
 # Changelog
 
+## [1.0.0-beta.11](https://github.com/noir-lang/noir/compare/v1.0.0-beta.10...v1.0.0-beta.11) (2025-08-19)
+
+
+### ⚠ BREAKING CHANGES
+
+* new semantic for bit-shifts  ([#9373](https://github.com/noir-lang/noir/issues/9373))
+* remove `verify_proof` from stdlib ([#9472](https://github.com/noir-lang/noir/issues/9472))
+
+### Features
+
+* **fuzz:** Push and pop for slices ([#9262](https://github.com/noir-lang/noir/issues/9262)) ([ab345b2](https://github.com/noir-lang/noir/commit/ab345b2f5a239e200ae6c3a6792f3bdcef540bcf))
+* Mark slice variants of ecdsa verification as deprecated ([#9458](https://github.com/noir-lang/noir/issues/9458)) ([5675aff](https://github.com/noir-lang/noir/commit/5675aff45f460f6975492725953b45b8a969a82d))
+* New semantic for bit-shifts  ([#9373](https://github.com/noir-lang/noir/issues/9373)) ([f6fed8b](https://github.com/noir-lang/noir/commit/f6fed8bd0154c937f11dfbd4a27bc893b9d3f5e9))
+* **opt:** Don't clone on array_len ([#9440](https://github.com/noir-lang/noir/issues/9440)) ([b7273d7](https://github.com/noir-lang/noir/commit/b7273d7a31f8e0cdc2d086e30ac3fede1f0ed46c))
+* Remove saturating behaviour of signed bitshifts in brillig ([#9532](https://github.com/noir-lang/noir/issues/9532)) ([103f70a](https://github.com/noir-lang/noir/commit/103f70a5dac594374b68f54c82da0423d1415d74))
+* Simplify bitshift logic to remove leftover overflow handling ([#9506](https://github.com/noir-lang/noir/issues/9506)) ([9062697](https://github.com/noir-lang/noir/commit/9062697bbcefced22184c43998c1f966543e2b6b))
+* **ssa_fuzzer:** Hash blackbox functions ([#9479](https://github.com/noir-lang/noir/issues/9479)) ([4c65b51](https://github.com/noir-lang/noir/commit/4c65b51266446b79cecd74335e4816951261f496))
+* **ssa_fuzzer:** Mode without instruction simplification + array instructions mutations + limits fix ([#9438](https://github.com/noir-lang/noir/issues/9438)) ([ea9c913](https://github.com/noir-lang/noir/commit/ea9c9130e367a35d1f0eda03d995ce139b469481))
+
+
+### Bug Fixes
+
+* Allow calling private impl method defined on another module from… ([#9449](https://github.com/noir-lang/noir/issues/9449)) ([501988e](https://github.com/noir-lang/noir/commit/501988e746da0240d7af5d8026e5dd17a68e166b))
+* Assert types are not mutated in constant folding ([#9481](https://github.com/noir-lang/noir/issues/9481)) ([ee2ac1a](https://github.com/noir-lang/noir/commit/ee2ac1a04e85134079fbe557d4029d3f64aff7b6))
+* **brillig_vm:** Remove slice padding for foreign call inputs ([#9321](https://github.com/noir-lang/noir/issues/9321)) ([57778ea](https://github.com/noir-lang/noir/commit/57778ea95e96d06eb61bb3846cf086850e01c9b0))
+* **brillig:** Pass slice length to push and pop operations ([#9507](https://github.com/noir-lang/noir/issues/9507)) ([888f9a0](https://github.com/noir-lang/noir/commit/888f9a0871e1e99e9d733f4e438b023474606af7))
+* Guard `Eq` for `[T]` to avoid OOB on length mismatch ([#9453](https://github.com/noir-lang/noir/issues/9453)) ([b5a94e4](https://github.com/noir-lang/noir/commit/b5a94e4bd6f564b69cd538b486d5aa9fb96de977))
+* **LSP:** Don't crash on broken function definition ([#9441](https://github.com/noir-lang/noir/issues/9441)) ([e54057d](https://github.com/noir-lang/noir/commit/e54057dc34c7b675e329f23425ff25855e049358))
+* Remove shadowing in `BoundedVec::any` causing returning  false unconditionally ([#9478](https://github.com/noir-lang/noir/issues/9478)) ([b51b616](https://github.com/noir-lang/noir/commit/b51b6164e5e49243bb65adb64638a821131568dd))
+* Remove warning from `std::verify_proof_with_type` ([#9474](https://github.com/noir-lang/noir/issues/9474)) ([7503f37](https://github.com/noir-lang/noir/commit/7503f37c7c3d9f463d287a77b1037ee4b9dc5e3c))
+* **security:** Validate git references in GitHub dependency resolver ([#9051](https://github.com/noir-lang/noir/issues/9051)) ([e3a8e9f](https://github.com/noir-lang/noir/commit/e3a8e9f955d61c4ef0c2900948e45595de9f3ebe))
+* **ssa:** Replace pop from 0-length slice with constraint and defaults ([#9489](https://github.com/noir-lang/noir/issues/9489)) ([20a6467](https://github.com/noir-lang/noir/commit/20a6467e324a4d1cc07f73dc55c2a49b8671989d))
+* **ssa:** Replace side effects with defaults when disabled ([#9462](https://github.com/noir-lang/noir/issues/9462)) ([4f8dbbc](https://github.com/noir-lang/noir/commit/4f8dbbc20bb40115d87c499154655ebe7e962099))
+* Sync len after map rebuilds in iter_mut/iter_keys_mut for HashMap and UHashMap ([#9491](https://github.com/noir-lang/noir/issues/9491)) ([12465f3](https://github.com/noir-lang/noir/commit/12465f3ae45cdbd96531889e9420ad02254e17f9))
+
+
+### Miscellaneous Chores
+
+* Remove `verify_proof` from stdlib ([#9472](https://github.com/noir-lang/noir/issues/9472)) ([450ad5b](https://github.com/noir-lang/noir/commit/450ad5be73f49cc91f498d3e4d89ee98a8e41ec5))
+
 ## [1.0.0-beta.10](https://github.com/noir-lang/noir/compare/v1.0.0-beta.9...v1.0.0-beta.10) (2025-08-08)
 
 
@@ -29,7 +69,7 @@
 * **mem2reg:** Register aliases when the `IfElse` result in a reference ([#9305](https://github.com/noir-lang/noir/issues/9305)) ([637e060](https://github.com/noir-lang/noir/commit/637e0601aa5dc0baa29934783e6ff7fdf8e24133))
 * Modulo overflow in comptime ([#9348](https://github.com/noir-lang/noir/issues/9348)) ([922efbd](https://github.com/noir-lang/noir/commit/922efbdb30b35c7e93f8db829436fbe0a03ffae1))
 * **ownership:** Increment reference count for nested array get in LHS assignment ([#9347](https://github.com/noir-lang/noir/issues/9347)) ([20c37b2](https://github.com/noir-lang/noir/commit/20c37b27e9c1f9aba064fd18cb7f254e5d10fa39))
 * Perserve purities after SSA normalization ([#9355](https://github.com/noir-lang/noir/issues/9355)) ([5d6dd7e](https://github.com/noir-lang/noir/commit/5d6dd7e10dce9c47fbb1c3da822d40198bf3f118))
 * Prevent `SignedField::from(i128::MIN)` from crashing ([#9366](https://github.com/noir-lang/noir/issues/9366)) ([9846e1e](https://github.com/noir-lang/noir/commit/9846e1ebd6264ae33f23195c0aa6ccff6947692f))
 * Prevent accidental tuple sharing in comptime code ([#9313](https://github.com/noir-lang/noir/issues/9313)) ([28abb68](https://github.com/noir-lang/noir/commit/28abb682cf4001ab97dcafd3e9a111a281806be4))
 * Prevent invalid types in test/fuzz functions ([#9343](https://github.com/noir-lang/noir/issues/9343)) ([21faf96](https://github.com/noir-lang/noir/commit/21faf9648560b0f5943304833c44a2c5687f0d48))
@@ -150,7 +190,7 @@
 * **expand:** Missing struct member visibility, and use "crate" instead of "super" when possible ([#9081](https://github.com/noir-lang/noir/issues/9081)) ([014d793](https://github.com/noir-lang/noir/commit/014d793e625462d385f31379dc77fa3d8c231db3))
 * **expand:** Show references to ModuleDefId recursing on parents ([#8977](https://github.com/noir-lang/noir/issues/8977)) ([2cfc786](https://github.com/noir-lang/noir/commit/2cfc7866b5a5e24829d4176e2aea897f72839674))
 * Fix if/match tracking in last uses pass ([#8935](https://github.com/noir-lang/noir/issues/8935)) ([670063c](https://github.com/noir-lang/noir/commit/670063c66c5327685def09bfc2563fccc9e7b267))
 * **formatter:** Reset indetnation after group changed it ([#8966](https://github.com/noir-lang/noir/issues/8966)) ([39cec14](https://github.com/noir-lang/noir/commit/39cec14be0a4dae7aff54a8b579535b27d58728b))
 * **fuzz:** Assign to an index variable to sequence side effects ([#9056](https://github.com/noir-lang/noir/issues/9056)) ([3672e3e](https://github.com/noir-lang/noir/commit/3672e3e749035d532412d3001030f2033c51c8c1))
 * **fuzz:** Avoid negating `i8::MIN` into `i8::MAX+1` which won't compile ([#8972](https://github.com/noir-lang/noir/issues/8972)) ([f1a3938](https://github.com/noir-lang/noir/commit/f1a3938e429863a211a09a7cf1837dbe1b1320f4))
 * **fuzz:** Avoid overflow in `gen_unary` ([#9024](https://github.com/noir-lang/noir/issues/9024)) ([301d86e](https://github.com/noir-lang/noir/commit/301d86ead94835841e0fc14781a37c28c5afd926))
@@ -200,7 +240,7 @@
 * **ssa:** Remove array from cache in constant folding if it's an argument to a `Call` ([#9040](https://github.com/noir-lang/noir/issues/9040)) ([17bf172](https://github.com/noir-lang/noir/commit/17bf172095ff30f7a4cf311ca947f6eec157e98f))
 * **ssa:** Signed cast simplification ([#8862](https://github.com/noir-lang/noir/issues/8862)) ([bcfb293](https://github.com/noir-lang/noir/commit/bcfb293510273b3019ab36c02db4284a5eac99e2))
 * **ssa:** Swap Brillig index shift and DIE in minimal pipeline ([#8946](https://github.com/noir-lang/noir/issues/8946)) ([b891901](https://github.com/noir-lang/noir/commit/b891901edd36574c6e6817d1f6ca182a93830739))
 * Strange use of predicates in euclidian division ([#8934](https://github.com/noir-lang/noir/issues/8934)) ([b2c38af](https://github.com/noir-lang/noir/commit/b2c38af614e58554625886218ed8325b33a0590c))
 * Track trait associated types as such ([#9170](https://github.com/noir-lang/noir/issues/9170)) ([692e94c](https://github.com/noir-lang/noir/commit/692e94cbab199cd249d4b9d3016398be34402b07))
 * Use enable_side_effects for u128 multiplication overflow checks ([#9115](https://github.com/noir-lang/noir/issues/9115)) ([3beb8f5](https://github.com/noir-lang/noir/commit/3beb8f5456df2ecc9dbf6a415ba47663fa100dfc))
 * Validate SSA call return values ([#9129](https://github.com/noir-lang/noir/issues/9129)) ([dbee137](https://github.com/noir-lang/noir/commit/dbee13703c70ddb0720499146abd3b4bb8cc624e))
@@ -257,7 +297,7 @@
 * Accept and return visibilities for StructDef ([#8420](https://github.com/noir-lang/noir/issues/8420)) ([cafcdcd](https://github.com/noir-lang/noir/commit/cafcdcd8d6250936bc089679838485bbd138fe35))
 * Add missing cases for finding function values in `find_functions_as_values` ([#8738](https://github.com/noir-lang/noir/issues/8738)) ([81d2ad6](https://github.com/noir-lang/noir/commit/81d2ad6adc93b28df107330d536eacbf74562537))
 * Add offset to ArrayGet ([#8536](https://github.com/noir-lang/noir/issues/8536)) ([da0b3a2](https://github.com/noir-lang/noir/commit/da0b3a2e722f3bd0ff42f67d221088b5c8f60ea4))
 * Always error if integer literal doesn't fit its type on the fron… ([#8885](https://github.com/noir-lang/noir/issues/8885)) ([f34d5c2](https://github.com/noir-lang/noir/commit/f34d5c25fe7ce51d8d1f13cc9fbb764c7dfe23fd))
 * Always use `u32` for indexing arrays in SSA ([#8633](https://github.com/noir-lang/noir/issues/8633)) ([a16e848](https://github.com/noir-lang/noir/commit/a16e84853e2bc20a3756509cf40b3bcd1faad8f1))
 * Avoid logging all unused params in DIE pass ([#8566](https://github.com/noir-lang/noir/issues/8566)) ([9a8a7ec](https://github.com/noir-lang/noir/commit/9a8a7ec4df8d0a465ae583d8d64ece254e39dca5))
 * Better error message when cannot infer generic numeric type ([#7843](https://github.com/noir-lang/noir/issues/7843)) ([72ce94b](https://github.com/noir-lang/noir/commit/72ce94beeac6d15b67141307bc38f9e2b0020b20))
@@ -283,7 +323,7 @@
 * Ensure that purity analysis pass explores all functions ([#8452](https://github.com/noir-lang/noir/issues/8452)) ([8f660a3](https://github.com/noir-lang/noir/commit/8f660a3a6c8b1e48b9e988d181a65df44e0bc715))
 * Error on unused generic in trait impl ([#8395](https://github.com/noir-lang/noir/issues/8395)) ([d992ad5](https://github.com/noir-lang/noir/commit/d992ad59d4c787aa12b0176e6f9d12202e4d9f71))
 * Error when re-assigning a mutable reference ([#8790](https://github.com/noir-lang/noir/issues/8790)) ([b888c34](https://github.com/noir-lang/noir/commit/b888c34b2b28e4c58b38f584b48a0adc154594e3))
 * **expand:** Use re-exports for non-visibile items ([#8374](https://github.com/noir-lang/noir/issues/8374)) ([275e438](https://github.com/noir-lang/noir/commit/275e438feaa5d610e21d2e683c3f3cd61b72ebff))
 * Fix comptime casts of negative integer to field ([#8696](https://github.com/noir-lang/noir/issues/8696)) ([4f8e767](https://github.com/noir-lang/noir/commit/4f8e76776575be2ed8ab1939bb2c736332b25d45))
 * **fmt:** Correct indentation when formatting long struct patterns ([#8711](https://github.com/noir-lang/noir/issues/8711)) ([8665abe](https://github.com/noir-lang/noir/commit/8665abe6694c8641fb0e999c9b5d420290f5bbec))
 * **fmt:** Correctly format mixed secondary attributes and doc comments ([#8735](https://github.com/noir-lang/noir/issues/8735)) ([cb4951d](https://github.com/noir-lang/noir/commit/cb4951d3249ab7f4f97dddc21595cfa933b08d72))
@@ -322,7 +362,7 @@
 * **ssa:** Validate field to integer cast ([#8799](https://github.com/noir-lang/noir/issues/8799)) ([229d57b](https://github.com/noir-lang/noir/commit/229d57ba59d1f1f94d2ce0b93d267abb1227ac38))
 * Stop inserting instructions after break and continue ([#8712](https://github.com/noir-lang/noir/issues/8712)) ([86b3638](https://github.com/noir-lang/noir/commit/86b363844b4c4c6258fba3377b801e36eb714d3f))
 * Support recursive call to main function in SSA parser ([#8760](https://github.com/noir-lang/noir/issues/8760)) ([77a53e4](https://github.com/noir-lang/noir/commit/77a53e45c0c253d216e80cbfba3414bc90b60851))
 * Thread errors through remove_if_else instead of panicing when the value merger finds reference values ([#8783](https://github.com/noir-lang/noir/issues/8783)) ([c4a8746](https://github.com/noir-lang/noir/commit/c4a8746921bc5fd6fef8e6bdce6563ae8817b8c4))
 * Type unification tests, and try moving constants to the other side ([#8807](https://github.com/noir-lang/noir/issues/8807)) ([5641060](https://github.com/noir-lang/noir/commit/56410604d4be68bab90ee59ea1af4e808cb19072))
 * Unify infix expressions by isolating unbound type variables ([#8796](https://github.com/noir-lang/noir/issues/8796)) ([52b2c32](https://github.com/noir-lang/noir/commit/52b2c32cc22da53c0d98d2833aaa37a4040d6222))
 * Update external lib commit tdd.nr ([#8823](https://github.com/noir-lang/noir/issues/8823)) ([6f1b46f](https://github.com/noir-lang/noir/commit/6f1b46f33e965b1eaec6ad7d430b5d2beb427f70))
@@ -408,11 +448,11 @@
 * Let static_assert accept any type for its message ([#8322](https://github.com/noir-lang/noir/issues/8322)) ([cc3fa6f](https://github.com/noir-lang/noir/commit/cc3fa6fbed97f054d84f9fdbfaee3305afc1f15d))
 * Location tree for debug_info ([#7034](https://github.com/noir-lang/noir/issues/7034)) ([ae008d3](https://github.com/noir-lang/noir/commit/ae008d31e289ddb086b4c69e3fd287c5167fc4dc))
 * **LSP:** Workspace Symbol ([#7953](https://github.com/noir-lang/noir/issues/7953)) ([a634ca0](https://github.com/noir-lang/noir/commit/a634ca0111981fc117293c33f595b57ff88bc700))
 * MessagePack serialisation for circuits ([#7690](https://github.com/noir-lang/noir/issues/7690)) ([69c36dc](https://github.com/noir-lang/noir/commit/69c36dc452ecd17636e4d35797a65430c32a5a10))
 * Metamorphic AST fuzzing ([#8299](https://github.com/noir-lang/noir/issues/8299)) ([86e61f0](https://github.com/noir-lang/noir/commit/86e61f0290a99015c7987eec77b3ebadf0bd5aaf))
 * Omit element size array for more array types ([#8257](https://github.com/noir-lang/noir/issues/8257)) ([b101f73](https://github.com/noir-lang/noir/commit/b101f73c1d1a32e70996770201c4c57985f88134))
 * Optimize `checked_to_unchecked` to take into account multiplications ([#8188](https://github.com/noir-lang/noir/issues/8188)) ([b411121](https://github.com/noir-lang/noir/commit/b41112159d86863fc4d582ffd461a018639e2de5))
 * **perf:** Optimise array index checks in loops ([#7893](https://github.com/noir-lang/noir/issues/7893)) ([e13142b](https://github.com/noir-lang/noir/commit/e13142b000d75b81d1e0e9d92236d8a040631ec9))
 * Port callstack resolution from aztec to noirjs ([#7642](https://github.com/noir-lang/noir/issues/7642)) ([7fea227](https://github.com/noir-lang/noir/commit/7fea2276c7ef7d1270dabf0be3bdd08bf6858b33))
 * Produce fewer memory blocks in ACIRgen ([#8250](https://github.com/noir-lang/noir/issues/8250)) ([43bbaa5](https://github.com/noir-lang/noir/commit/43bbaa59700621d0891125ab891fa10a8a63edc8))
 * Remove unnecessary dynamic arrays when pushing onto slices ([#8287](https://github.com/noir-lang/noir/issues/8287)) ([9e69d4c](https://github.com/noir-lang/noir/commit/9e69d4cd6235b9183cefa84c7f1bca6ea7057c4e))

diff --git a/Cargo.lock b/Cargo.lock