Reise zu den schnellsten zkSNARK-Prover: Sum-Check’92 ➜ IPs für Niedertiefenschaltungen (GKR/CMT’12) ➜ SNARKs für Niedertiefenschaltungen (vSQL’17) ➜ SNARKs für allgemeine Schaltungen+Lookups (Spartan’19) ➜ zkVMs über Lookups (Lasso+Jolt’23, Twist+Shout’25) Sum-Check treibt auch Folding an: Neo!