Jornada para os provers zkSNARK mais rápidos: Verificação de soma’92 ➜ IPs para circuitos de baixa profundidade (GKR/CMT’12) ➜ SNARKs para circuitos de baixa profundidade (vSQL’17) ➜ SNARKs para circuitos gerais+consultas (Spartan’19) ➜ zkVMs via consultas (Lasso+Jolt’23, Twist+Shout’25) A verificação de soma também alimenta o folding: Neo!