Built on Bitcoin with Jacob Brown GLOCK: A Better BitVM with David Seroy - Ecosystem Lead at Alpen Labs
13 snips
Oct 27, 2025 
Join David Seroy, Ecosystem Lead at Alpen Labs and Bitcoin researcher, as he dives into the cutting-edge innovations surrounding Bitcoin. Discover GLOCK, a novel approach to improve BitVM using garbled circuits. Unearth how zero-knowledge proofs can revolutionize Bitcoin's scalability and trust models. David also explores the future of ZK technology, the significance of soft-fork upgrades, and the exciting potential of multilingual execution environments. His insights highlight a dynamic period of innovation within Bitcoin's evolving landscape.
AI Snips
Chapters
Transcript
Episode notes
ZK Proofs As Compact Receipts
- Zero-knowledge proofs act like compact, unforgeable digital receipts that prove state without revalidating all history.
- This property attacks the blockchain trilemma by letting nodes accept concise proofs instead of recomputing global state.
Rollups Unlock Programmatic Bitcoin L2s
- Rollups provide unbounded programmability compared with Lightning or ARK, which are limited to narrow use cases like payments.
- Rollups can host EVM or other execution environments to enable complex DeFi and UX on Bitcoin L2s.
Trade DA For Throughput Flexibly
- EVM-compatible rollups that post data to Bitcoin can compress activity ~30–50x, enough to fit major L2 activity into Bitcoin blocks.
- Builders can choose per-transaction DA trade-offs, balancing security and throughput.