Mark “Murch” Erhardt, Gustavo Flores Echaiz, and Mike Schmidt are joined by Toby Sharp, Chris Hyunhum Cho, Jonas Nick, and Antoine Poinsot to discuss ⁠Newsletter #391⁠.News● A constant-time parallelized UTXO database (25:40) ● Bithoven: A formally verified, imperative language for Bitcoin Script (44:48) ● Discussion of dust attack mitigations (1:43:33) Changing consensus● SHRINCS: 324-byte stateful post-quantum signatures with static backups (1:30) ● Addressing remaining points on BIP54 (1:10:08) ● Falcon post-quantum signature scheme proposal (20:05) ● SLH-DSA verification can compete with ECC (23:28) Releases and release candidates● LDK 0.1.9 (1:50:27) Notable code and documentation changes● Bitcoin Core #33604 (1:53:10) ● Bitcoin Core #34358 (1:54:58) ● Core Lightning #8824 (1:56:20) ● Eclair #3244 (1:58:17) ● LDK #4263 (2:00:07) ● LDK #4300 (2:01:54) ● LND #10473 (2:03:57) ● Rust Bitcoin #5493 (2:07:36)