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