Wolverine - Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits

This course teaches learners about fast, scalable, and communication-efficient zero-knowledge proofs for Boolean and arithmetic circuits. The course covers the introduction to knowledge proof, applications, existing proof systems, SVLE, preprocessing, verification, cotton bucketing, proof protocol, and follow-up work. The intended audience for this course includes individuals interested in cryptography, privacy, and data security.