Pratyush Mishra organized CIS 7000 course, running on Mondays and Wednesdays in Fall 2025, focusing on the mathematical foundations, implementation, and applications of zkSNARKs. Pratyush Mishra组织了CIS 7000课程,时间为2025年秋季的周一和周三,从8月底开始到12月中旬结束,专注于zkSNARKs的数学基础、实现和应用。
Notes
The course does not have public recordings, but the slides are available.
Course covers mathematical foundations, implementation, and applications of zkSNARKs
Includes key technologies such as multi-variate IOPs, KZG commitments, and Spartan PIOP
Emphasizes practical applications of zkSNARKs in blockchain and privacy protection
Students deepen understanding of ZKP systems through paper presentations and projects
Course structure combines lectures, discussions, and experiments to enhance comprehensive abilities
Final project can involve research or literature review, driving academic progress