✨📅 BitVMX Hackathon 2025 close Nov 15 - Register Here! 👩🏻‍💻 Show us what you can build using BitVMX Platform💰🏆 2M sats! for the winning team 🥇👨‍👨🙋🏻‍♂️ Submit your project now!✨📅 BitVMX Hackathon 2025 close Nov 15 - Register Here! 👩🏻‍💻 Show us what you can build using BitVMX Platform💰🏆 2M sats! for the winning team 🥇👨‍👨🙋🏻‍♂️ Submit your project now!✨📅 BitVMX Hackathon 2025 close Nov 15 - Register Here! 👩🏻‍💻 Show us what you can build using BitVMX Platform💰🏆 2M sats! for the winning team 🥇👨‍👨🙋🏻‍♂️ Submit your project now!✨📅 BitVMX Hackathon 2025 close Nov 15 - Register Here! 👩🏻‍💻 Show us what you can build using BitVMX Platform💰🏆 2M sats! for the winning team 🥇👨‍👨🙋🏻‍♂️ Submit your project now!✨📅 BitVMX Hackathon 2025 close Nov 15 - Register Here! 👩🏻‍💻 Show us what you can build using BitVMX Platform💰🏆 2M sats! for the winning team 🥇👨‍👨🙋🏻‍♂️ Submit your project now!

« Newsletters «Computing on Bitcoin #09

02
BitVM enables SNARK verification on Bitcoin: Alpen Labs

Liam Eagen from Alpen Labs presents how BitVM enables SNARK verification on Bitcoin, addressing its technical constraints. He explains how BitVM's optimistic protocol, can divide computations into smaller chunks, allowing off-chain processing and on-chain verification.

ZK12: ZK on Bitcoin - Liam Eagen

@Zero Knowledge
ZK and Bitcoin have developed mostly in isolation since it is not feasible to verify a SNARK on Bitcoin directly. This has changed dramatically with the BitVM protocols and potential activation of OP_CAT. In this talk, we will discuss these developments and the challenges in bringing them from theory to practice.

This content belongs to Newsletters » Computing on Bitcoin #09

░Subscribe To Our Newsletter