Zero-Knowledge Proofs: From Interactive Protocols to zk-SNARKs and Practical Verifiable ComputationBuild zero-knowledge proofs from the ground up: the simulation paradigm, Schnorr's protocol for discrete log, the transformation to non-interactive via Fiat-Shamir, and the engineering of modern zk-SNARKs for verifiable computation.
