LN using nested MuSig2, secp256k1 verification - Bitcoin Optech Newsletter #401

Bitcoin Optech newsletter #401 is here:

- describes an idea for nested MuSig2 Lightning nodes
- summarizes a project formally verifying secp256k1’s modular scalar multiplication
- summarizes changes to services/client software
- Optech Newsletter #401 Podcast
https://bitcoinops.org/en/newsletters/2026/04/17/

ZmnSCPxj posted to Delving Bitcoin about the idea to create k-of-n multisignature Lightning nodes by leveraging nested MuSig2...
https://bitcoinops.org/en/newsletters/2026/04/17/#discussion-of-using-nested-musig2-in-the-lightning-network

Remix7531 posted to the Bitcoin-Dev mailing list about formally verifying secp256k1’s modular scalar multiplication...
https://bitcoinops.org/en/newsletters/2026/04/17/#formal-verification-of-secp256k1-modular-scalar-multiplication

Changes to services and client software:

- Coldcard 6.5.0 adds MuSig2 and miniscript
- Frigate 1.4.0 released
- Bitcoin Backbone updates
- Utreexod 0.5 released
https://bitcoinops.org/en/newsletters/2026/04/17/#changes-to-services-and-client-software

Bitcoin Optech will host an audio recap discussion of this newsletter streaming live on X/Twitter Tuesday at 16:30 UTC.