pull down to refresh

Sonic: Toolchain for formally-verifiable distributed contractsgithub.com/AluVM/sonic
51 sats \ 0 comments \ @Rsync25 20 Dec 2024 bitdevs
related
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
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
Simplicity Launches on Liquid
2458 sats \ 2 comments \ @blockstream_official 1 Aug bitcoin
BitVM: A Tool for Smarter Smart Contracts - Super Testnet - Satsconf 2023www.youtube.com/watch?v=iEM_txmJYxA
4553 sats \ 8 comments \ @supertestnet 13 Feb 2024 bitcoin
Stacks: A Bitcoin Layer for Smart Contractsassets.stacks.co/stacks.pdf
81 sats \ 6 comments \ @cointastical 14 Dec 2022 bitcoin
Tree++: A language for smarter Bitcoin contractsbitvm.org/treeplusplus.html
195 sats \ 0 comments \ @Rsync25 12 Jun 2024 bitdevs
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
Merkleize All The Things: Covenants and bitcoin smart contractsdocs.google.com/presentation/d/1VCHJhXXzjn3qggQfNTZ3Ikiwi4QaXQYZzqkAea-QCBc/edit#slide=id.g155e425c828_0_15
20 sats \ 0 comments \ @Rsync25 25 May 2023 bitcoin
ZK-proofs are bringing smart contracts to Bitcoin — BitcoinOS and Starknetcointelegraph.com/magazine/bitcoinos-starknet-adding-smart-contracts-bitcoin-zk-proofs/
106 sats \ 3 comments \ @siggy47 1 May bitcoin
BitVM Workshop: Smart Contracts With Rich State by Super Testnetwww.youtube.com/watch?v=LwH9fhY4uGA
1967 sats \ 0 comments \ @supertestnet 3 Mar 2024 bitcoin
A Minimal, Executable Specification for Bitcoin Consensus - Toby Sharphornetnode.org/paper.html
387 sats \ 3 comments \ @Scoresby 22 Sep 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
1330 sats \ 16 comments \ @nout 13 Jul 2022 bitcoin
MATT: Merkleize All The Thingscovenants.info/proposals/matt/
32 sats \ 0 comments \ @supratic 12 Mar 2024 bitdevs
Simfony IDE: high-level language for writing Bitcoin smart contracts by Liquidsimfony.dev/
131 sats \ 0 comments \ @Rsync25 5 Jun 2024 bitdevs
A Brief Analysis of RGB: A Scalable, Confidential Smart Contract Protocolcoinex.medium.com/coinex-institution-a-brief-analysis-of-rgb-a-scalable-confidential-smart-contract-protocol-built-bc883829af51
210 sats \ 0 comments \ @Rsync25 15 Aug 2023 bitcoin
Turing-complete smart contracts arrive on Bitcoinprotos.com/turing-complete-smart-contracts-arrive-on-bitcoin/
121 sats \ 1 comment \ @rujgev 11 Oct 2023 bitcoin
Bitcoin DSL: BTC DSL for scripting layer two contracts and interactions w/ nodesgithub.com/pool2win/bitcoin-dsl
10 sats \ 0 comments \ @Rsync25 8 Jul 2024 bitdevs
ZeroSync: Introducing Validity Proofs to Bitcoinzerosync.org/zerosync.pdf
539 sats \ 0 comments \ @Rsync25 11 May 2023 bitcoin
Blockstream Launches Simplicity: Smarter, Safer Contracts on Bitcoinbitcoinnews.com/press-release/blockstream-simplicity-smart-contracts/
264 sats \ 0 comments \ @BitcoinNews 1 Aug bitcoin
Glock: A new standard for verification on Bitcoin - Alpen Labswww.alpenlabs.io/blog/glock-verification-on-bitcoin
147 sats \ 0 comments \ @Scoresby 15 Jul bitcoin
Introduce sCrypt: a Layer-1 Smart Contract Framework for BTCxiaohuiliu.medium.com/introduce-scrypt-a-layer-1-smart-contract-framework-for-btc-b8b39c125c1a
827 sats \ 0 comments \ @Gian 10 Jan 2024 bitcoin