Viaje a los probadores zkSNARK más rápidos: Sum-check’92 ➜ IPs para circuitos de baja profundidad (GKR/CMT’12) ➜ SNARKs para circuitos de baja profundidad (vSQL’17) ➜ SNARKs para circuitos generales+consultas (Spartan’19) ➜ zkVMs a través de consultas (Lasso+Jolt’23, Twist+Shout’25) Sum-check también potencia el folding: ¡Neo!