pull down to refresh

BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar 2024 bitcoin
related
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
Provable Cryptography for Bitcoin: An Introduction (Workbook)delvingbitcoin.org/t/provable-cryptography-for-bitcoin-an-introduction-workbook/
2656 sats \ 4 comments \ @0xbitcoiner 9 Sep bitcoin
BitVM 2: Permissionless Verification on Bitcoinbitvm.org/bitvm2.html
48 sats \ 1 comment \ @pietro1861 18 Apr 2024 bitcoin
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats \ 1 comment \ @Rsync25 25 Mar 2024 bitdevs
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
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVMdocs.citrea.xyz/
1673 sats \ 3 comments \ @02b7622c79 14 Apr 2024 bitcoin
ZeroSync: Introducing Validity Proofs to Bitcoinzerosync.org/zerosync.pdf
539 sats \ 0 comments \ @Rsync25 11 May 2023 bitcoin
BitVMX Whitepaper Explained: A CPU for Universal Computation on Bitcoinwww.rootstocklabs.com/content-hub/bitvmx-whitepaper-explained/
337 sats \ 0 comments \ @Rsync25 2 May 2024 bitdevs
A Minimal, Executable Specification for Bitcoin Consensus - Toby Sharphornetnode.org/paper.html
387 sats \ 3 comments \ @Scoresby 22 Sep bitcoin
Kevin Rooke: Bitcoin Enables Permissionless Payments for the World | E67www.youtube.com/watch?v=z0_DiQrLIZs
493 sats \ 1 comment \ @unofficial 5 Oct 2022 bitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!github.com/sigma0-xyz/zkbitcoin
5470 sats \ 7 comments \ @Kathleen_Croteau 28 Jan 2024 bitcoin
Spaces Protocol: Scalable & Permissionless Bitcoin Identitiesbitcoinnews.com/opinion/spaces-protocol-bitcoin-identities/
773 sats \ 0 comments \ @BitcoinNews 22 Nov 2024 bitcoin
Spaces Protocol: Scalable & Permissionless Bitcoin Identitiesspacesprotocol.org/
4568 sats \ 10 comments \ @ca98am79 22 Feb 2024 bitcoin
Willem Schroé: Building Botanix, a Bitcoin Layer2 That Brings the EVM to Bitcoinwww.coindesk.com/consensus-magazine/2024/04/11/willem-schroe-building-botanix-a-bitcoin-layer-2-that-brings-the-evm-to-bitcoin/
21 sats \ 0 comments \ @jk_14 12 Apr 2024 bitcoin
The Evolution of Computation on Bitcoin: Introducing BitVM and BitVMxmedium.com/coinmonks/the-evolution-of-computation-on-bitcoin-introducing-bitvm-and-bitvmx-e3628666823b
10 sats \ 0 comments \ @Rsync25 24 Sep 2024 bitcoin
Scalable & Permissionless Bitcoin Identities
21 sats \ 0 comments \ @anon 16 Sep bitcoin
Vexl - P2P Bitcoin Made Simplevexl.it/
20 sats \ 2 comments \ @superstacker1 22 Aug 2024 bitcoin
Introducing BitVaulty: Your Bitcoin Security Reinvented
176 sats \ 5 comments \ @anon 24 Aug 2024 security
EP25: Making Bitcoin Accessible w/ Conor Okus | Builders In Bitcoin 📺www.youtube.com/watch?v=kgaUK47CEPY
183 sats \ 2 comments \ @cryptocoin 15 Feb 2023 bitcoin
Paysats: Well-Known Bitcoin Identity Endpoint Draft BIP - aviv57github.com/aviv57/paysats/blob/main/bip/BIPXXX.MD
1138 sats \ 8 comments \ @Scoresby 18 Jul bitcoin
Welcome to Deep Lake - Deep Lake: Simplified Bitcoin Primitivesdeep-lake.gitbook.io/deep-lake-instant-btc-liquidity-through-dlcs/
102 sats \ 0 comments \ @Rsync25 19 Jun 2023 bitcoin