Călătorie către cele mai rapide probatoare zkSNARK: Verificarea sumei'92 ➜ IP-uri pentru circuite cu adâncime redusă (GKR/CMT'12) ➜ SNARK-uri pentru circuite cu adâncime redusă (vSQL'17) ➜ SNARK-uri pentru circuite generale+căutări (Spartan'19) ➜ zkVM-uri prin căutări (Lasso+Jolt'23, Twist+Shout'25) Sum-check alimentează și renunțarea: Neo!