Bitcoin Optech: Newsletter #414 Recap

<p>Mark “Murch” Erhardt, Gustavo Flores Echaiz, and Mike Schmidt are joined by Keagan McClelland and Andrew Toth to discuss <a href="https://bitcoinops.org/en/newsletters/2026/07/17/">Newsletter #414</a>.</p><p><br></p><p><strong>News</strong></p><p>● Formal verification of the Bitcoin protocol (1:11) </p><p><br></p><p><strong>Releases and release candidates</strong></p><p>● Bitcoin Core 30.3 (39:42) </p><p>● Bitcoin Core 29.4 (39:43) </p><p><br></p><p><strong>Notable code and documentation changes</strong></p><p>● Bitcoin Core #35295 (52:43) </p><p>● Bitcoin Core #34897 (1:13:54) </p><p>● Bitcoin Core #35406 (1:16:13) </p><p>● Bitcoin Core #35380 (1:21:36) </p><p>● Bitcoin Core #35568 (1:07:36) </p><p>● Bitcoin Core #34538 (1:23:43) </p><p>● BIPs #2208 (1:25:52) </p><p>● LND #10962 (1:27:27) </p><p>● LND #10897 (1:30:12) </p><p>● BINANAs #21 (1:31:34) </p>