Mark “Murch” Erhardt, Gustavo Flores Echaiz, and Mike Schmidt are joined by Remix7531 and Luis Schwab to discuss Newsletter #401.News● Discussion of using nested MuSig2 in the Lightning Network (34:05) ● Formal verification of secp256k1 modular scalar multiplication (01:10) Changes to services and client software● Coldcard 6.5.0 adds MuSig2 and miniscript (40:56) ● Frigate 1.4.0 released (41:46) ● Bitcoin Backbone updates (47:10) ● Utreexod 0.5 released (16:18) ● Floresta 0.9.0 released (19:41) Releases and release candidates● Bitcoin Core 31.0rc4 (48:01) ● Core Lightning 26.04rc3 (49:00) Notable code and documentation changes● Bitcoin Core #34401 (50:01) ● Bitcoin Core #35032 (51:51) ● Core Lightning #9021 (55:33) ● Core Lightning #9046 (56:53) ● LDK #4515 (58:25) ● LDK #4558 (59:51) ● LND #9985 (1:01:53) ● BTCPay Server #7250 (1:04:07) ● BIPs #2089 (1:07:28)