How We Did It: ZK Proofs on Bitcoin
summary
Bitcoin OS proves zero‑knowledge verification on Bitcoin mainnet without a soft fork by converting an enormous SN verifier (naively a terabyte) into an interactive verification protocol that isolates disputable bits into Taproot leaves, runs as small transactions, and completes a 25‑step dispute in as few as six blocks. Implementation uses a custom VM optimized for elliptic‑curve math, SNJS for offchain checks, a published mainnet transaction (block 853266) and GitHub code to reproduce the verification.
AI-written summary · about
chapters (9)
- 0:00Major Milestones in Bitcoin
- 1:13The Power of Zero Knowledge Proofs in Bitcoin
- 2:19Verifying ZK Proof on Bitcoin
- 3:35The Limitations of Advanced Math in Bitcoin Script
- 6:00The Interactive Protocol
- 7:10Transaction verification code on GitHub
- 8:21Verifying the Proof and Final Transaction
- 9:30Building Real World Applications
- 10:44Top-Notch Coder Recruitment
related talks
33mAn Introduction to Zero Knowledge Proofs
53mProofs Without Evidence: Assurance on the Blockchain and Other Applications
24mThe Bitcoin Virtual Machine Breakthrough Nobody Saw Coming
23mYour Game Will Suck Without Zero Knowledge Proofs
27mRecursive SNARKs for Efficiency, Scalability, and Privacy
33mEducational Challenges in the Ever-Evolving Space of Zero-Knowledge
17mZK for the Enterprise - Quod Erit Demonstrandum (What Will Need to be Proven)
25mZK Rollup: Ethereum Scalability with ZKPs