pull down to refresh

Bitcoin layer 2 contracts specifications using TLA+github.com/pool2win/bitcoin-contracts-tlaplus
266 sats \ 0 comments \ @Rsync25 1 Oct 2023 bitcoin
related
RGB yellowpaper: the formal specification of Bitcoin & Lightning smart contractsgithub.com/RGB-WG/yellowpaper/blob/master/rgb-yellowpaper.pdf
141.7k sats \ 31 comments \ @dr_orlovsky 31 Jul 2025 rgb
Specification of the Lightning Network's Protocol in TLA+github.com/kit-dsn/lightning-tla
179 sats \ 0 comments \ @supratic 20 Aug 2025 lightning
Stacks: A Bitcoin Layer for Smart Contractsassets.stacks.co/stacks.pdf
91 sats \ 6 comments \ @cointastical 14 Dec 2022 bitcoin
Could Bitcoin eventually have a second layer for smart contracts paid in Sats?
81 sats \ 22 comments \ @allark 1 Aug 2022 bitcoin
Tree++: A language for smarter Bitcoin contractsbitvm.org/treeplusplus.html
210 sats \ 0 comments \ @Rsync25 12 Jun 2024 bitdevs
Stacks L2
176 sats \ 5 comments \ @phaedrus 28 Dec 2025 bitcoin
RGB consensus layer released to productionrgb.tech/blog/release-v0-12-consensus/
144.2k sats \ 52 comments \ @dr_orlovsky 10 Jul 2025 rgb
Smart Contracts? Thoughts from an IP and Contract Attorneywww.stephankinsella.com/2022/02/libertarian-answer-man-smart-contracts/
1315 sats \ 3 comments \ @kepford 19 Apr 2024 bitcoin
Bitcoin smart-contract
669 sats \ 7 comments \ @QzF2MSjBFUmw 28 Jan 2023 bitcoin
BitVM - Smarter Bitcoin Contracts - Official websitebitvm.org/
564 sats \ 1 comment \ @Rsync25 15 Mar 2024 bitdevs
Fully private L2+smart contracts on top of BTC based on Multi-party computing
1827 sats \ 14 comments \ @snow88488 3 Jan devs
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
Turing-complete smart contracts arrive on Bitcoinprotos.com/turing-complete-smart-contracts-arrive-on-bitcoin/
122 sats \ 1 comment \ @rujgev 11 Oct 2023 bitcoin
Bitcoin Contracting Primitives Working Group: covenants, tx introspection, etcgithub.com/ariard/bitcoin-contracting-primitives-wg
152 sats \ 0 comments \ @k00b 10 Sep 2022 bitcoin
Maxim Orlovsky on RGB, Standards for BTC & LN, and Smart Contracts on Bitcoinwww.stacksats.how/podcasts/e108-maxim-orlovsky-on-building-rgb-standards-for-btc-ln-and-smart-contracts-on-bitcoin
573 sats \ 1 comment \ @kr 23 May 2023 bitcoin
Unpacking Bitcoin's Social Contract (2018) - 2 minute bitcoinwww.2minutebitcoin.org/blog/unpacking-bitcoins-social-contract-2018
406 sats \ 1 comment \ @2minutebitcoin 25 Jan 2023 bitcoin
Next-gen smart contracts for Bitcoinutxos.org
81 sats \ 0 comments \ @03a7142a30 5 Sep 2021 bitcoin freebie
RGB Update: Smart Contracts For Bitcoin & The Lightning Network!youtu.be/y2Ak970WpkA
222 sats \ 0 comments \ @edblock 24 Apr 2023 bitcoin
‘Bitcoin Layer 2’cointelegraph.com/magazine/bitcoin-layer2-sidechains-not-really-bitcoin-l2s/
59 sats \ 0 comments \ @bitcoinMoon 12 Jun 2024 lightning
Exploring Bitcoin Layer-2blog.liquid.net/exploring-bitcoin-layer-2/
254 sats \ 2 comments \ @craigonbitcoin 5 Jun 2022 bitcoin
Towards a Formal Verification of the Lightning Network with TLA+arxiv.org/pdf/2307.02342
145 sats \ 0 comments \ @Kathleen_Croteau 14 Feb 2024 lightning