Zero-Knowledge Proofs and BitVM on Bitcoin
zkSecurity published a session overview exploring zero-knowledge proofs on Bitcoin, including BitVM’s optimistic verification model and related techniques.
blog.zksecurity.xyz
🔗
Archetype X zkSecurity - Proof Is in the Pudding: ZK on Bitcoin
Bitcoin's UTXO model and limited scripting language create unique challenges for verifying zero-knowledge proofs. In this session, we walk through the fundamental constraints of Bitcoin Script and then explore the creative approaches that have been developed to bring ZK verification to Bitcoin, from multi-party computation techniques to BitVM's optimistic verification paradigm.