#Verifiable-Computation

1 post in tag “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.