Verifiable-Computation

• Zero-Knowledge Proofs: From Interactive Protocols to zk-SNARKs and Practical Verifiable Computation · 2025-04-24

  Build 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.