pull down to refresh

Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats \ 1 comment \ @schmidty 7 Aug bitcoin
related
Learn How to Verify with Me ( with Baby Steps )
16.3k sats \ 57 comments \ @Natalia 26 Mar 2024 bitcoin freebie
Building Better Products - Less Is More
109.3k sats \ 16 comments \ @davidw 5 Mar 2024 builders
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar 2024 bitcoin
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
[WIP] BIP300 (Drivechains) consensus-level logic by luke-jrgithub.com/bitcoin/bitcoin/pull/28311
4630 sats \ 21 comments \ @Rsync25 22 Aug 2023 bitcoin
Daily ~Devs Hangout
9957 sats \ 43 comments \ @bitcoinplebdev 3 Jan 2024 devs
Bitcoin CoreDev reflections 2024-2025adamjonas.com/bitcoin/coredev/retro/coredev-2024-retro/
2246 sats \ 1 comment \ @supratic 9 Feb bitdevs
Daily ~Devs Hangout
2891 sats \ 17 comments \ @bitcoinplebdev 5 Jan 2024 devs
Antoine Poinsot: Addressing Concerns on Relaxing Bitcoin Core's OP_RETURN Limits
6829 sats \ 6 comments \ @OneOneSeven 14 May bitcoin
My Bitcoin 2025 Conference Journal Ep. 1: More of the Same
1469 sats \ 6 comments \ @billytheked 27 May bitcoin
John Light's report on validity rollups on bitcoin is readybitcoinrollups.org/
1054 sats \ 11 comments \ @patrick 11 Oct 2022 bitcoin
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
Decoding #4: Sign, Verify: Schnorr Signatures in Action
697 sats \ 0 comments \ @bitcoin_devs 17 Dec 2024 bitcoin
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats \ 1 comment \ @Rsync25 25 Mar 2024 bitdevs
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
377 sats \ 0 comments \ @0xbitcoiner 6 Oct 2024 science
S16 E37: Andrew Poelstra on Simplicity, Bitcoin Script & Upgradesyoutube.com/live/HYqKe_ygqHw?feature=share
1680 sats \ 1 comment \ @TheVladCostea 7 Aug bitcoin
Daily ~Devs Hangout
883 sats \ 4 comments \ @bitcoinplebdev 8 Jan 2024 devs
The Great Script Restoration and Building Bitcoin Layer-2s with Rusty Russellwww.youtube.com/watch?v=zKnNcqf9vPc
332 sats \ 0 comments \ @Rsync25 24 Dec 2024 lightning
Bitcoin Covenants: CHECKSIGFROMSTACK (BIP 348)bitcoinmagazine.com/technical/bitcoin-covenants-checksigfromstack-bip-348
521 sats \ 0 comments \ @Coinsreporter 4 Apr devs
The path to general computation on Bitcoin (with OP_CAT)delvingbitcoin.org/t/the-path-to-general-computation-on-bitcoin-with-op-cat/1106
205 sats \ 0 comments \ @Rsync25 29 Aug 2024 bitdevs
Citadel Dispatch e64: BIP119, CTV, and the bitcoin development process with rusty russell and shinobiwww.podpage.com/citadeldispatch/cd64-bip119-ctv-and-the-bitcoin-development-process-with-rusty_twit-and-brian_trollz/
2929 sats \ 6 comments \ @ODELL 10 May 2022 bitcoin