Podróż do najszybszych proverów zkSNARK: Sum-check’92 ➜ IP dla niskogłębokości obwodów (GKR/CMT’12) ➜ SNARKi dla niskogłębokości obwodów (vSQL’17) ➜ SNARKi dla ogólnych obwodów+wyszukiwań (Spartan’19) ➜ zkVMy przez wyszukiwania (Lasso+Jolt’23, Twist+Shout’25) Sum-check napędza również składanie: Neo!