Viaje a los probadores zkSNARK más rápidos: Comprobación de suma'92 ➜ IPs para circuitos de baja profundidad (GKR/CMT'12) ➜ SNARKs para circuitos de baja profundidad (vSQL'17) ➜ SNARKs para circuitos generales+búsquedas (Spartan'19) ➜ zkVMs a través de búsquedas (Lasso+Jolt'23, Twist+Shout'25) La comprobación de suma también potencia el plegado: ¡Neo!