pull down to refresh

Bithoven: A Formally Verified, Imperative Smart Contract Language for Bitcoindelvingbitcoin.org/t/bithoven-a-formally-verified-imperative-smart-contract-language-for-bitcoin/2189
268 sats \ 1 comment \ @Scoresby 21 Jan bitcoin
related
COVENANTS BEAUTY-CONTEST RATIONALEx.com/jamesob/status/1867391901910913403
2387 sats \ 3 comments \ @Rsync25 13 Dec 2024 bitcoin
Definitive explanation of my weird Bitcoin transaction
62.9k sats \ 39 comments \ @vostrnad 7 Jul 2024 bitcoin
Miniscript 101: A Technical Guide by Nunchuknunchuk.io/blog/miniscript101
1388 sats \ 2 comments \ @supratic 29 Aug 2025 bitcoin
🔑 Script State From Lamport Signatures
316 sats \ 0 comments \ @blockstream_official 4 Jul 2024 bitcoin
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
anchor: Immutable, permissionless constant-product AMM for Liquid - 0ceanSlimgithub.com/0ceanSlim/anchor
323 sats \ 1 comment \ @Scoresby 22 Mar Stacker_Stocks
Bitcoin Script: Focus On The Building Blocks, Not The Wild Geesebitcoinmagazine.com/takes/bitcoin-script-focus-on-the-building-blocks-not-the-wild-geese
274 sats \ 1 comment \ @Rsync25 26 Nov 2024 bitcoin
OP_CHECKSHRINCS: A Hash-Based Signature Opcode for Post-Quantum Bitcoinblog.blockstream.com/op_checkshrincs-a-hash-based-signature-opcode-for-post-quantum-bitcoin/
977 sats \ 1 comment \ @0xbitcoiner 13 May bitcoin
The Top Programming Languages 2023spectrum.ieee.org/the-top-programming-languages-2023
208 sats \ 4 comments \ @beorange 30 Aug 2023 tech
Important: A Vulnerability on Bitcoin Protocols Using One-Time Signatures
267 sats \ 0 comments \ @ignaciob 15 Aug 2025 bitdevs
Antoine Poinsot responds to 'CTV + CSFS: a letter'groups.google.com/g/bitcoindev/c/KJF6A55DPJ8/m/knViQqzaAQAJ
33.5k sats \ 9 comments \ @k00b 9 Jun 2025 bitcoin
The Bitcoin “security budget” error for block miners
229 sats \ 2 comments \ @jinformatique 22 Nov 2025 bitcoin
SAKE: Script Army Knife Emulator - Nuhvigithub.com/Nuhvi/sake
722 sats \ 1 comment \ @Scoresby 17 Apr bitcoin
🎧 Blockstream Talk #26 - Simplicity, Bitcoin's Last Soft Fork?
12.2k sats \ 0 comments \ @blockstream_official 2 Aug 2023 bitcoin
Programming languages are just contracts between programmers and computers
239 sats \ 6 comments \ @tonyaldon 19 Jan AI
#1: What's difference between Standard & Non-Standard Scripts
1668 sats \ 5 comments \ @bitcoin_devs 20 Nov 2024 bitcoin
Bitcoin Optech Newsletter #370bitcoinops.org/en/newsletters/2025/09/05/
1442 sats \ 1 comment \ @schmidty 5 Sep 2025 bitcoin
Claude AI plugins can now vibe code smart contractsprotos.com/claude-ai-plugins-can-now-vibe-code-smart-contracts/
330 sats \ 4 comments \ @0xbitcoiner 16 Jan AI
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6408 sats \ 5 comments \ @lightcoin 25 Mar 2024 bitcoin
Antoine Poinsot: Addressing Concerns on Relaxing Bitcoin Core's OP_RETURN Limits
6943 sats \ 8 comments \ @OneOneSeven 14 May 2025 bitcoin
Austin interim Bitdevs listgithub.com/BScoresby/bitdevs-list/blob/main/list-2026-may.md
1325 sats \ 4 comments \ @Scoresby 15 May bitcoin bitdevs