pull down to refresh

The Security Tradeoffs of Validating Bridges (BitVMX and BitVM2)fairgate.io/post/1-the-security-tradeoffs-of-validating-bridges
100 sats \ 0 comments \ @Rsync25 7 Sep 2024 bitcoin
related
The BitVM Primer: A Non-technical Explanation of BitVMgithub.com/twhit223/bitvm_primer
5321 sats \ 6 comments \ @twhittle 23 Oct 2023 bitcoin freebie
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar 2024 bitcoin
Introducing Bitstake: A proof of stake bridge based on BitVMlightco.in/bitstake
10.4k sats \ 26 comments \ @lightcoin 13 Feb 2024 bitcoin
BitVM Bridges Considered Unsafemedium.com/@twhittle/bitvm-bridges-considered-unsafe-9e1ce75c8176
2835 sats \ 10 comments \ @TonyGiorgio 5 Apr 2024 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
BitVM 3s Released (fixing broken BitVM3; introducing novel hash function BitHashx.com/robin_linus/status/1945468445119713321
292 sats \ 4 comments \ @Scoresby 18 Jul bitcoin
What the heck is CatVM?bitcoinmagazine.com/technical/what-the-heck-is-catvm
2336 sats \ 6 comments \ @k00b 17 Apr 2024 bitcoin
BitVM explained: Simple explanation of BitVMgithub.com/fiksn/bitvm-explained
4402 sats \ 5 comments \ @Rsync25 10 Oct 2023 bitcoin
Hot take: BitVM and Drive Chains
1131 sats \ 4 comments \ @03393ec3a3 14 Oct 2023 bitcoin
BitVM talk slides @bitcoinology meetup 07/02/24
2119 sats \ 1 comment \ @theariard 8 Feb 2024 bitcoin
BitVMX Explainedwww.dollarparity.com/bitvmx-explained/
169 sats \ 1 comment \ @dollarparity 18 May 2024 bitcoin_beginners
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats \ 1 comment \ @Rsync25 25 Mar 2024 bitdevs
BitVM3bitvm.org/bitvm3.pdf
1266 sats \ 17 comments \ @Scoresby 15 Jun bitcoin
Building trustless bitcoin bridgesyewtu.be/watch?v=M40yzuv6DNY
1271 sats \ 0 comments \ @lightcoin_ 14 Jul 2023 bitcoin
Toy BitVM: Experimental toy BitVM implementation in Rustgithub.com/chainwayxyz/toy-bitvm-rs
1816 sats \ 2 comments \ @Rsync25 2 Feb 2024 bitcoin
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVMdocs.citrea.xyz/
1673 sats \ 3 comments \ @02b7622c79 14 Apr 2024 bitcoin
BitVM 2: Opening Up The Playing Fieldbitcoinmagazine.com/technical/bitvm-2-opening-up-the-playing-field
502 sats \ 0 comments \ @Rsync25 2 Apr 2024 bitdevs
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
Deep dive into BitVM - Crypto Garagemedium.com/crypto-garage/deep-dive-into-bitvm-computing-paradigm-to-express-turing-complete-bitcoin-contracts-1c6cb05edfca
1886 sats \ 2 comments \ @utxo 9 Nov 2023 bitcoin
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
What is BitVM? And why does it matter to rollups?www.bitcoinrollups.io/bitvm
1098 sats \ 5 comments \ @Rsync25 22 Dec 2023 bitcoin