Zero-Knowledge Proofs

Vitalik Buterin Publishes GKR Tutorial to Speed Ethereum Proof Verification

The tutorial positions a classical protocol as a path to cheaper rollup verification.