minutes•11 January 2024
Robin Linus of ZeroSync and BITVM.org | Pioneering Proof Systems, Adoption in Bitcoin
Hashing It OutCorey, D, and Jessie sit down with Robin Linus of ZeroSync — the team spearheading the development of proof systems for Bitcoin for scalability, interoperability, and privacy. Robin discusses everything from the recently published BitVM white paper, challenges and tradeoffs of validation proofs on Bitcoin, ZK coins, and his birthday cake from Gisele Bündchen.
5:45 Introducing the paper: BitVM: Compute Anything on Bitcoin — first steps to implementation
8:48 How do you get zero-knowledge proof validations on Bitcoin? (and security assumptions)
14:00 How do you differentiate from drive chains?
16:45 Difference in resource costs — comparing BIP-300 and SNARK-based rollouts on Bitcoin
18:55 Matching instructions with Bitcoin for computation