Viaje para os provadores zkSNARK mais rápidos: Verificação da soma '92 ➜ IPs para circuitos de baixa profundidade (GKR/CMT'12) ➜ SNARKs para circuitos de baixa profundidade (vSQL'17) ➜ SNARKs para circuitos gerais + pesquisas (Spartan'19) ➜ zkVMs por meio de pesquisas (Lasso+Jolt'23, Twist+Shout'25) Sum-check também potencializa o folding: Neo!