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.
Bitcoin Optech
npub1hk…a432p
2026-07-17 12:15:33 UTC
Author Public Key
npub1hkuk45c6c6h3y0rks0z4wa0wyyud5ru0qy0rn9x4dgnjwrnfy46s5a432pSeen on
wss://nos.lolPublished at
2026-07-17 12:15:33 UTCEvent JSON
{
"id": "03a367b0dbf72a5a7618a114d166d597ed9cdc21b23beb5cef81d8c86bb97ed3",
"pubkey": "bdb96ad31ac6af123c7683c55775ee2138da0f8f011e3994d56a27270e692575",
"created_at": 1784290533,
"kind": 1,
"tags": [
[
"t",
"414"
],
[
"t",
"414"
],
[
"r",
"wss://frens.nostr1.com/"
],
[
"r",
"wss://offchain.pub/"
],
[
"r",
"wss://nostr.wine/"
],
[
"r",
"wss://relay.damus.io/"
],
[
"r",
"wss://nos.lol/"
],
[
"r",
"wss://purplepag.es/"
],
[
"r",
"wss://relay.snort.social/"
],
[
"r",
"wss://nostr.oxtr.dev/"
],
[
"r",
"wss://relay.primal.net/"
],
[
"client",
"Primal Web"
]
],
"content": "Bitcoin Optech newsletter #414 is here:\n\n- describes a new project to apply formal verification to the Bitcoin protocol\n- Bitcoin Core 30.3, Bitcoin Core 29.4 \n- Optech Newsletter #414 Podcast\nhttps://bitcoinops.org/en/newsletters/2026/07/17/\n\nKeagan McClelland posted to the Bitcoin-Dev mailing list and Delving Bitcoin about his effort to formally verify the Bitcoin protocol...\nhttps://bitcoinops.org/en/newsletters/2026/07/17/#formal-verification-of-the-bitcoin-protocol\n\nBitcoin Optech will host an audio recap discussion of this newsletter streaming live on X/Twitter Tuesday at 16:30 UTC.",
"sig": "1d749847344585f83d9bc61907c7b6a9aa1354b6555677b5c9e9d0fe3bcb6905f770fe834430c3b11bd1c5aec094e7a80a620147fae05d1aa71a4da10d77cd91"
}