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