Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore the comprehensive analysis of zero-knowledge succinct non-interactive arguments of knowledge (zk-SNARKs) in this 18-minute conference talk from USENIX Security '25. Examine the significant gaps between theoretical research and practical implementation that have emerged as zk-SNARKs have gained prominence in proving computational correctness. Learn about the unified master recipe that converts programs into zk-SNARKs and discover how existing schemes are classified according to their key techniques and practically valuable properties. Survey over 40 zk-SNARK schemes developed since 2013 through a comprehensive reference table detailing their categories and characteristics. Investigate 11 general-purpose libraries commonly used in practice, analyzing their usability, compatibility, efficiency, and limitations. Understand why proving systems dominate academic focus while constraint systems create industry bottlenecks. Access practical insights through a virtual environment designed for running compilers across different zk-SNARK systems. Gain recommendations for bridging the research-practice divide through improved documentation, standardization, and compatibility in the open-source community.
