Loading... • Loading... • Loading... • Loading...

Loading...

Zero Knowledge Proofs are revolutionizing privacy and scalability in blockchain technology, but the concepts can seem intimidating to newcomers. In this comprehensive overview, Laurence Kirk breaks down ZKPs from the ground up, making complex cryptographic concepts accessible through intuitive examples and clear explanations.

Perfect for Beginners: No prior cryptography experience required! This workshop starts with playful examples like "Where's Wally" and colored billiard balls to illustrate the core concepts before diving into the mathematical foundations and cutting-edge research.

Comprehensive Coverage: From the historical origins in 1984 to today's breakthrough technologies like STARKs, recursive SNARKs, and post-quantum cryptography, you'll gain a complete understanding of the ZK landscape and its exciting future.

Intuitive Examples

Learn through creative analogies like "Where's Wally" and billiard ball scenarios

Complete Timeline

Trace ZKP evolution from 1984 foundations to today's cutting-edge research

Real Applications

Discover how ZKPs power privacy coins, rollups, and blockchain scalability

What You'll Learn

Intuitive ZK Fundamentals: Grasp core concepts through creative analogies and visual examples
Cryptographic Foundations: Understand proof systems, completeness, soundness, and zero-knowledge properties
Historical Evolution: Trace ZK development from Goldwasser-Micali-Rackoff to modern breakthroughs
Current Research Landscape: Explore STARKs, recursive SNARKs, and post-quantum cryptography
Practical Applications: See how ZKPs enable privacy coins, blockchain scaling, and verifiable computation
Technical Deep-Dives: Learn about trusted setups, polynomial commitments, and algebraic circuits
Future Directions: Understand emerging trends and research frontiers in zero knowledge

Workshop Agenda

Part 1: Foundations

Intuitive Introduction: Where's Wally and billiard ball examples
Proof Systems: Completeness, soundness, and zero-knowledge properties
Cryptographic Assumptions: Discrete logs, hash functions, and more

Part 2: Evolution & Research

ZKP Timeline: From 1984 origins to modern innovations
Current Research: STARKs, recursive proofs, post-quantum security
Real-World Use Cases: Privacy, scalability, and verification applications

Key Technologies Explained

🔒 SNARKs vs STARKs

Compare trusted setup requirements, proof sizes, and quantum resistance between these two major ZK proof systems.

🔄 Recursive Composition

Understand how proofs can verify other proofs, enabling constant-size blockchain verification and infinite scalability.

🛡️ Post-Quantum Security

Explore lattice-based constructions that remain secure even against quantum computer attacks.

📊 Polynomial Commitments

Learn the mathematical foundations enabling efficient zero-knowledge proofs of arbitrary computations.

Workshop Resources

📊 Presentation Slides

Download Slides
Examples and diagrams
Complete ZKP timeline
Research references

🔗 Additional Resources

Awesome ZK Repository
Curated ZK learning materials
Research papers and tutorials
Community resources and tools

Who This Is For

Developers wanting to understand ZK fundamentals before building with the technology
Students & Researchers seeking a comprehensive overview of the ZK landscape
Blockchain Enthusiasts curious about privacy and scalability solutions
Security Professionals expanding into cryptographic verification systems
Product Managers evaluating ZK solutions for their applications
Anyone interested in the mathematical foundations of modern privacy technology

Ready to Dive Deeper into Zero Knowledge?

Explore our hands-on ZK Mathematics and Security courses for practical implementation skills.

Browse ZK Courses