pull down to refresh

Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
323 sats \ 1 comment \ @Scoresby 30 Jun 2025 bitcoin
related
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
146 sats \ 0 comments \ @jakoyoh629 14 Mar 2025 lightning
Important: A Vulnerability on Bitcoin Protocols Using One-Time Signatures
267 sats \ 0 comments \ @ignaciob 15 Aug 2025 bitdevs
Proposal: OP_STARK_VERIFY - Native STARK Proof Verification in Bitcoin Scriptdelvingbitcoin.org/t/proposal-op-stark-verify-native-stark-proof-verification-in-bitcoin-script/2056
661 sats \ 7 comments \ @Scoresby 14 Oct 2025 bitcoin
Changing consensus and more - Bitcoin Optech Newsletter #391bitcoinops.org/en/newsletters/2026/02/06/
1121 sats \ 2 comments \ @schmidty 6 Feb bitcoin
Glock: Garbled Locks for Bitcoin [pdf] - Alpen Labscdn.prod.website-files.com/67cfca80708eb505376820af/68a3e174eaff71d197ac4080_glock.pdf
205 sats \ 1 comment \ @Scoresby 19 Aug 2025 bitcoin
Hornet Node v0.1 Updatedelvingbitcoin.org/t/hornet-node-v0-1-update/2300
195 sats \ 0 comments \ @0xbitcoiner 27 Feb bitcoin
Bitcoin Optech Newsletter #379bitcoinops.org/en/newsletters/2025/11/07/
489 sats \ 0 comments \ @schmidty 7 Nov 2025 bitcoin
[Meta] On consensus changes in bitcoin 2024delvingbitcoin.org/t/meta-on-consensus-changes-in-bitcoin-2024/334
273 sats \ 5 comments \ @Rsync25 2 Jan 2024 bitcoin
What's the difference between a consensus rule and a bug in Bitcoin Core?
4552 sats \ 8 comments \ @Scoresby 12 Mar 2024 bitcoin
Citrea Mainnet goes live on Bitcoinwww.blog.citrea.xyz/citrea-mainnet-is-live/
1651 sats \ 22 comments \ @Scoresby 27 Jan bitcoin lol
Bitcoin PIPEs v2: Covenants and ZKPs via Witness Encryption - allocinitwww.allocinit.xyz/uploads/pipesv2.pdf
615 sats \ 0 comments \ @Scoresby 5 Feb bitcoin
WTF is a distributed consensus?
12.8k sats \ 9 comments \ @anon 26 Sep 2025 bitcoin
Blockstream - Half-Aggregation of BIP 340 Signatures
217 sats \ 1 comment \ @clyde_nakamoto 7 Jul 2022 bitcoin
"Hi, I'm here to fix Bitcoin (with my LLM)"
12.4k sats \ 13 comments \ @Scoresby 29 Dec 2025 bitcoin
i read the luke dashjr hit piece - @udiWertheimerx.com/udiWertheimer/status/1971401252450734278
3657 sats \ 29 comments \ @kepford 26 Sep 2025 bitcoin
An Overview Tracking Bitcoin Layers 2 Ecosystemlayers2.com
122 sats \ 0 comments \ @supratic 30 Sep 2025 lightning
This Week in Bitcoin Development (Oct, Week 4)
1246 sats \ 1 comment \ @bitcoin_devs 3 Nov 2025 bitcoin
Pix in Brazil: A Field Study for the Bitcoin Communitywww.psacramento.com/pix-in-brazil-a-field-study-for-the-bitcoin-community/
141.5k sats \ 24 comments \ @psacramento 9 Mar 2024 bitcoin
How would transmitting a Bitcoin transaction between Earth and Mars work?
859 sats \ 3 comments \ @Astronomiaum 28 Feb 2024 earth
A Minimal, Executable Specification for Bitcoin Consensus - Toby Sharphornetnode.org/paper.html
438 sats \ 3 comments \ @Scoresby 22 Sep 2025 bitcoin
The Bitcoin Whitepaper Footnotes -  Part 1
1148 sats \ 0 comments \ @BITC0IN 26 Oct 2025 bitcoin