DIZK: A Distributed Zero Knowledge Proof System

Learn about distributed zero knowledge proof systems through this 20-minute conference talk from USENIX Security '18, where UC Berkeley researcher Howard Wu presents DIZK - a groundbreaking system that distributes zero knowledge proof generation across computer clusters. Explore how DIZK enables proving statement validity without revealing additional information, crucial for applications like Bitcoin payments. Discover the technical innovations that allow DIZK to handle computations up to 100 times larger and faster than previous systems, processing billions of logical gates at just 10μs per gate. Understand how this distributed approach overcomes the memory limitations of traditional monolithic systems, opening new possibilities for practical security applications.