sign up
sign up
sign up
sign up
pull down to refresh
Bithoven: A Formally Verified, Imperative Smart Contract Language for Bitcoin
delvingbitcoin.org/t/bithoven-a-formally-verified-imperative-smart-contract-language-for-bitcoin/2189
268 sats
\
1 comment
\
@Scoresby
21 Jan
bitcoin
related
Bitcoin Had Smart Contracts Before Ethereum (No, Really)
65 sats
\
4 comments
\
@noknees
19 Jun 2025
bitcoin
Understanding Bitcoin Covenants
151 sats
\
4 comments
\
@rod
22 Jan 2025
bitcoin
COVENANTS BEAUTY-CONTEST RATIONALE
x.com/jamesob/status/1867391901910913403
2387 sats
\
3 comments
\
@Rsync25
13 Dec 2024
bitcoin
MiniScript in Simple Terms: the “Grammar” That Makes Bitcoin Policies Secure
195 sats
\
1 comment
\
@villawolf
27 Sep 2025
DIY
Miniscript 101: A Technical Guide by Nunchuk
nunchuk.io/blog/miniscript101
1388 sats
\
2 comments
\
@supratic
29 Aug 2025
bitcoin
Bitcoin Scripting vs Solidity Smart Contracts
5011 sats
\
1 comment
\
@anipy
12 Feb 2023
bitcoin
Simplicity: Next-Generation Smart Contracts for Bitcoin
simplicity-lang.org/
169 sats
\
1 comment
\
@Scoresby
5 Nov 2025
bitcoin
Simfony IDE: high-level language for writing Bitcoin smart contracts by Liquid
simfony.dev/
146 sats
\
0 comments
\
@Rsync25
5 Jun 2024
bitdevs
🎧 Blockstream Talk #26 - Simplicity, Bitcoin's Last Soft Fork?
12.2k sats
\
0 comments
\
@blockstream_official
2 Aug 2023
bitcoin
S-lang: WIP implementation of simplicity high level language.
github.com/BlockstreamResearch/s-lang
179 sats
\
0 comments
\
@Rsync25
18 Mar 2024
bitdevs
Programming language for newbs to start with if they want to work with bitcoin?
110 sats
\
2 comments
\
@TheChowWiWang
16 Jul 2024
bitcoin
Remember to sign up for Super Testnet's BTC Script workshop, happening tomorrow!
1035 sats
\
9 comments
\
@supertestnet
24 Jun 2024
bitcoin
The Risks of Expressive Smart Contracts: Lessons from the Latest Ethereum Hack
blog.blockstream.com/the-risks-of-expressive-smart-contracts-lessons-from-the-latest-ethereum-hack/
1161 sats
\
2 comments
\
@k00b
25 Feb 2025
security
The Lighthouse
9006 sats
\
8 comments
\
@clarity
7 Sep 2024
crypto
Decoding #2: Locking & Unlocking Scripts 🔒🔓
5130 sats
\
3 comments
\
@bitcoin_devs
25 Nov 2024
bitcoin
The Top Programming Languages 2023
spectrum.ieee.org/the-top-programming-languages-2023
208 sats
\
4 comments
\
@beorange
30 Aug 2023
tech
Implementing 64-bit Arithmetic Opcodes in Bitcoin Script
www.dollarparity.com/implementing-64-bit-arithmetic-opcodes-in-bitcoin-script/
170 sats
\
0 comments
\
@dollarparity
13 May 2024
bitcoin_beginners
Bitcoin Script: Focus On The Building Blocks, Not The Wild Geese
bitcoinmagazine.com/takes/bitcoin-script-focus-on-the-building-blocks-not-the-wild-geese
274 sats
\
1 comment
\
@Rsync25
26 Nov 2024
bitcoin
The Bitcoin “security budget” error for block miners
229 sats
\
2 comments
\
@jinformatique
22 Nov 2025
bitcoin
Releasing RGB: Smart contracts for Bitcoin and Lightning Network (Slides)
github.com/LNP-BP/presentations/raw/master/Presentation%20slides/RGB%20v0.8%20release%20pt%201.pdf
1331 sats
\
16 comments
\
@nout
13 Jul 2022
bitcoin
Introducing Bitcoin Script Project
twitter.com/bergealex4/status/1674454861096660998
322 sats
\
0 comments
\
@Rsync25
29 Jun 2023
bitcoin
more