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