pull down to refresh

Bitcoin protocol formal verification work - Bitcoin Optech Newsletter #414bitcoinops.org/en/newsletters/2026/07/17/
1182 sats \ 0 comments \ @schmidty 17 Jul bitcoin
related
Keagan McClelland and Andrew Toth - Bitcoin Optech Newsletter #414 Recap Podcastbitcoinops.org/en/podcast/2026/07/21/
711 sats \ 0 comments \ @schmidty 21 Jul bitcoin
Quantum and changing consensus segment - Bitcoin Optech Newsletter #412bitcoinops.org/en/newsletters/2026/07/03/
1265 sats \ 0 comments \ @schmidty 3 Jul bitcoin
Full signature aggregation BIP draft - Bitcoin Optech Newsletter #415bitcoinops.org/en/newsletters/2026/07/24/
24.2k sats \ 1 comment \ @schmidty 24 Jul bitcoin
Bitcoin Optech Newsletter #379bitcoinops.org/en/newsletters/2025/11/07/
489 sats \ 0 comments \ @schmidty 7 Nov 2025 bitcoin
btc-verified: Verified Bitcoin protocol components in Lean 4github.com/ProofOfKeags/btc-verified
378 sats \ 1 comment \ @i_am_a_seeker 22 Jul bitcoin bitcoin_beginners bitcoin_Mining lightning
Consensus spec work, Onion message attack - Bitcoin Optech Newsletter #402bitcoinops.org/en/newsletters/2026/04/24/
1327 sats \ 0 comments \ @schmidty 24 Apr bitcoin
Bitcoin Optech Newsletter #371bitcoinops.org/en/newsletters/2025/09/12/
1279 sats \ 0 comments \ @schmidty 12 Sep 2025 bitcoin
Descriptor annotations, ASMap, Q&A - Bitcoin Optech Newsletter #394bitcoinops.org/en/newsletters/2026/02/27/
1610 sats \ 3 comments \ @schmidty 27 Feb bitcoin
Changing Consensus, vaults, peer negotiation - Bitcoin Optech Newsletter #386bitcoinops.org/en/newsletters/2026/01/02/
1272 sats \ 2 comments \ @schmidty 2 Jan bitcoin
Changing consensus and more - Bitcoin Optech Newsletter #391bitcoinops.org/en/newsletters/2026/02/06/
1121 sats \ 2 comments \ @schmidty 6 Feb bitcoin
LN using nested MuSig2, secp256k1 verification - Bitcoin Optech Newsletter #401bitcoinops.org/en/newsletters/2026/04/17/
2431 sats \ 1 comment \ @schmidty 17 Apr bitcoin
Sig aggregation, Wasabi, Coinswap, SPs - Bitcoin Optech Newsletter #415 Recapbitcoinops.org/en/podcast/2026/07/28/
4869 sats \ 1 comment \ @schmidty 20h bitcoin
Changing consensus, VTXOs, nVersion nonce space - Bitcoin Optech Newsletter #395bitcoinops.org/en/newsletters/2026/03/06/
1147 sats \ 0 comments \ @schmidty 6 Mar bitcoin
VTXOs, Quantum, TemplateHash - Bitcoin Optech Newsletter #395 Recap Podcastbitcoinops.org/en/podcast/2026/03/10/
718 sats \ 2 comments \ @schmidty 11 Mar bitcoin
Conduition, Jeremy Rubin - Bitcoin Optech Newsletter #412 Recap Podcastbitcoinops.org/en/podcast/2026/07/07/
875 sats \ 0 comments \ @schmidty 8 Jul bitcoin
Fingerprinting, JIT fraud proofs - Bitcoin Optech Newsletter #404bitcoinops.org/en/newsletters/2026/05/08/
1530 sats \ 3 comments \ @schmidty 8 May bitcoin
Descriptor annotation, ASMap, Q&A - Bitcoin Optech Newsletter #394 Recap Podcastbitcoinops.org/en/podcast/2026/03/03/
718 sats \ 0 comments \ @schmidty 3 Mar bitcoin
Bitcoin Optech Newsletter #367 Recap Podcastbitcoinops.org/en/podcast/2025/08/19/
360 sats \ 0 comments \ @schmidty 20 Aug 2025 bitcoin
Payjoin, Changing Consensus - Bitcoin Optech Newsletter #399bitcoinops.org/en/newsletters/2026/04/03/
1744 sats \ 2 comments \ @schmidty 3 Apr bitcoin
Bitcoin Optech Newsletter #375bitcoinops.org/en/newsletters/2025/10/10/
1478 sats \ 0 comments \ @schmidty 10 Oct 2025 bitcoin
Bitcoin Optech Newsletter #372 Recap Podcastbitcoinops.org/en/podcast/2025/09/23/
322 sats \ 0 comments \ @schmidty 23 Sep 2025 bitcoin