Noir v1.0.0-beta.19 Memory Safety and Compiler Crash Fixes

Noir v1.0.0-beta.19 Security and Vulnerability Fix Summary Vulnerability Overview This version fixes multiple vulnerabilities that could lead to program crashes, memory corruption, or security issues, primarily concentrated in the SSA (Static Single Assignment) optimizer, Brillig compiler, interpreter, and type system. Impact Scope SSA Module: May cause heap corruption, invalid memory access, stack overflow, or logic errors. Brillig Compiler: May cause out-of-bounds array access, incorrect memory addresses, use of uninitialized values. Interpreter/Runtime: May cause crashes, infinite recursion, stack overflow. Type System/Frontend: May cause incorrect type inference, unhandled generics, invalid code generation. Fixes SSA Fixes: - Fix recursive aggregation calls in (#11524) - Fix pure call deduplication (#11531) - Fix self-deduplication (#11511) - Fix vector length checks (#11273) - Fix call handling (#11530) - Fix unknown alias for block parameters (#11379) - Fix nested reference tagging (#11387) - Fix loop range overflow (#10567) - Fix crash in (#11722) - Fix inline functions with no reachable return (#11528) - Fix address usage in (#11380) - Fix constraint value influence (#11603) - Fix mutation in RC increment (#11388) - Fix alias tagging (#11487) - Fix invalid dispatch (#11269) - Fix cache entries (#11595) - Fix simplified calls (#11604) - Fix interpreter stack size (#11264) - Fix lambda variants (#11271) - Fix varargs checks (#11152) - Fix black-box panic (#11136) - Fix formatting (#11226) - Fix array setting (#11563) - Fix module comments (#1218) - Fix automatic trait import (#11433) - Fix crate root comments (#11296) - Fix autocomplete (#11464) - Fix conversion (#11163) - Fix struct lookup (#11533) - Fix expression solver (#11144, #11262) - Fix reference counting (#11044) - Fix depth counter (#11461) - Fix global values (#11444) - Fix non-dedup arrays (#11395) - Fix auto dereferencing (#11303) - Fix unexported re-exports (#11293) - Fix nested quotes (#11369) - Fix code block overflow (#11308) - Fix safe indexing (#11422) - Fix intermediate variables (#11087) - Fix R=0 crash (#11122) - Fix empty z array (#11168) - Fix error in (#11488) - Fix specialization (#11367) - Fix path resolution (#11576) - Fix size (#11126) - Fix module attributes (#11576) - Fix element type size (#11215) - Fix macro expansion depth (#11352) - Fix removal of (#11254) - Fix (#11310) - Fix (#11428) - Fix check (#11303) - Fix fold type (#11366) - Fix enum (#11255) - Fix NamedGenerics (#11354) - Fix trait constraints (#11332) - Fix vector assumptions (#11140) - Fix keccak test (#11121) - Fix (#11423) - Fix input (#11610) - Fix promotion (#11432) - Fix return data (#11130) - Fix index side effects (#11103) - Fix re-exports imports (#11253) - Fix pkcs7 padding (#11283) - Fix (#11133) - Fix numeric generics (#11164) - Fix (#11353) - Fix vector length (#11107) - Fix heap corruption (#11288) - Fix register usage (#11495) - Fix array conversion (#10151) - Fix memory address (#10933) - Fix support removal (#11132) - Fix format (#7810) - Fix upgrade (#11449) - Fix removal of (#11229) - Fix option (#7371) - Fix (#11218) - Fix witness option (#10877) - Fix generic specification (#11456) - Fix (#11251) - Fix comparison (#11235) - Fix threshold (#11493) - Fix inline cost (#9692) - Fix ownership (#11377) - Fix parameter suggestions (#11441) - Fix local variables (#11360) - Fix return type (#11350) - Fix reassignment (#11565) - Fix associated types (#11375) - Fix constant access (#11160) - Fix generic access (#11375) - Fix broken links in (#11208) - Fix markdown extensions in (#11252) - Fix non-dedup arrays in (#11395) - Fix unexported re-exports in (#11293) - Fix nested quotes in (#11369) - Fix code block overflow in (#11308) - Fix safe indexing in (#11422) - Fix intermediate variables in (#11087) - Fix R=0 crash in (#11122) - Fix empty z array in (#11168) - Fix error in in (#11488) - Fix specialization in (#11367) - Fix path resolution in (#11576) - Fix size in (#11126) - Fix module attributes in (#11576) - Fix element type size in (#11215) - Fix macro expansion depth in (#11352) - Fix removal of in (#11254) - Fix in (#11310) - Fix in (#11428) - Fix check in (#11303) - Fix fold type in (#11366) - Fix enum in (#11255) - Fix NamedGenerics in (#11354) - Fix trait constraints in (#11332) - Fix vector assumptions in (#11140) - Fix keccak test in (#11121) - Fix in (#11423) - Fix input in (#11610) - Fix promotion in (#11432) - Fix return data in (#11130) - Fix index side effects in (#11103) - Fix re-exports imports in (#11253) - Fix pkcs7 padding in (#11283) - Fix in (#11133) - Fix numeric generics in (#11164) - Fix in (#11353) - Fix vector length in (#11107) - Fix heap corruption in (#11288) - Fix register usage in (#11495) - Fix array conversion in (#10151) - Fix memory address in (#10933) - Fix support removal in (#11132) - Fix format in (#7810) - Fix upgrade in (#11449) - Fix removal of in (#11229) - Fix option in (#7371) - Fix in (#11218) - Fix

Goal Reached Thanks to every supporter — we hit 100%!

Noir v1.0.0-beta.19 Memory Safety and Compiler Crash Fixes

More from this source