04
David Seroy on BitVM1 → Glock: The Future of Verification
Alpen released a new talk in which David Seroy outlines the progression from BitVM1 through BitVM3 to Glock and how each approach strengthens Bitcoin’s ability to verify off-chain state. The presentation focuses on optimistic ZK verification, garbled circuits, and the role of verifiers in enabling secure Bitcoin-based financial systems.
Going from BitVM to Glock: Bitcoin's evolution in verifying things
youtube.com/@Fairgate_Labs David Seroy explains the evolution of verifiers on Bitcoin from BitVM1 to Glock. Verifiers are at the core of building secure Bitcoin-based financial systems because they allow us to reason about the state of offchain systems on Bitcoin.