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.
