Bitcoin Optech newsletter #414 is here:

• describes a new project to apply formal verification to the Bitcoin protocol
• Bitcoin Core 30.3, Bitcoin Core 29.4
• Optech Newsletter #414 Podcast
  https://bitcoinops.org/en/newsletters/2026/07/17/

Keagan McClelland posted to the Bitcoin-Dev mailing list and Delving Bitcoin about his effort to formally verify the Bitcoin protocol...
https://bitcoinops.org/en/newsletters/2026/07/17/#formal-verification-of-the-bitcoin-protocol

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