๐Ÿš€Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.๐Ÿš€Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.๐Ÿš€Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.๐Ÿš€Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.๐Ÿš€Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.
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.