Technology ❯ Cryptography ❯ Zero-Knowledge Proofs ❯ Proof Systems
The tutorial positions a classical protocol as a path to cheaper rollup verification.