Viaggio verso i provers zkSNARK più veloci: Sum-check’92 ➜ IP per circuiti a bassa profondità (GKR/CMT’12) ➜ SNARK per circuiti a bassa profondità (vSQL’17) ➜ SNARK per circuiti generali+lookups (Spartan’19) ➜ zkVM tramite lookups (Lasso+Jolt’23, Twist+Shout’25) Sum-check alimenta anche il folding: Neo!