Weekly #16
December 06, 2024 - Week 49
Hey everyone, welcome to a new edition of the Fairgate Weekly. Find the best articles on disputable computing and more for your reading enjoyment!
Take a look at this week's curated selection 📚
Sergio Lerner from Fairgate Labs reviews the BitVM2 Bitcoin bridge design. He examines its security properties, identifies potential vulnerabilities, and offers suggestions for improving cross-chain interoperability.
fairgate.io/blog
🔗
A Review of [headings] li a{margin: 0;font-weight: 300 BitVM2-based 'Linus24' Bridge
In this article, we apply our four-properties taxonomy (Consensus Validation, Interactivity, Anchor, and Finality) to the recently published BitVM2 Bridge. These findings were shared with the BitVM Alliance but are analyzed here more rigorously using our taxonomy.
Wei Zhang from nChain examines four pioneering implementations of Zero-Knowledge Proof (ZKP) verifications on Bitcoin, including BitVMX. The article explores each approach’s methodologies, challenges, and implications for Bitcoin’s scalability and privacy.
medium.com/@w.zhang
🔗
Four First-Ever ZKP Verifications on Bitcoin
- 17 July 2024, Starkware claims that the first-ever Zero-Knowledge proof is verified on the Bitcoin testnet, Signet.
- 19 July 2024, nChain claims that the first-ever Zero-Knowledge proof is verified on a Bitcoin mainnet.
- 23 July 2024, BitcoinOS claims that the first-ever Zero-Knowledge Proof is verified on the Bitcoin mainnet.
- 24 July 2024, BitVMX claims that the first-ever Zero-Knowledge Proof is verified interactively on a Bitcoin testnet.
What was going on there?
Alpen Labs introduces the Strata Bridge with the goal of enabling trust-minimized transfers between Bitcoin and Strata. Based on BitVM2 principles, the bridge supports Strata as a sovereign rollup backed by Bitcoin.
alpenlabs.io/blog
🔗
Introducing the Strata bridge
The Strata bridge uses design approaches from the BitVM2 paper by Robin Linus and collaborators, but includes many optimizations and other tricks that use cutting-edge research to ensure a robust and efficient product.
In this post, we’ll show how the Strata bridge works, how it relates to other designs, and why it’s useful and important for the ecosystem. You don’t need advanced knowledge about bitcoin or other bridge concepts, but we do assume familiarity with basic digital asset concepts (like a blockchain and a transaction).
StarkWare presents a proof-of-concept bridge using emulated covenants on Bitcoin. It relies on the unsupported OP_CAT opcode to enable recursive covenants, batching deposit and withdrawal requests to update the bridge state efficiently.
alpenlabs.io/blog
🔗
Implementing a Bridge Covenant on OP_CAT-Enabled Bitcoin: A Proof of Concept
In the rapidly evolving landscape of blockchain technology, the convergence of decentralized physical infrastructure networks (DePin) and Bitcoin Layer 2 solutions presents a transformative opportunity.
That's a wrap for this week's Fairgate Newsletter! Hope you find it useful.
Don't forget to subscribe to never miss an update.
Thanks and until next time!
The Fairgate Team