El dinero, las redes eléctricas, las fábricas, los registros médicos y las elecciones son solo software que puede ser hackeado, mal configurado o alterado en silencio. La IA está inundando estos sistemas con ruido sintético. Las Pruebas de Conocimiento Cero son la primera forma real de probar lo que realmente están haciendo las computadoras. Las pruebas convierten la computación arbitraria en hechos criptográficos: pequeños objetos que dicen, “este proceso se ejecutó correctamente con estos datos,” sin exponer los datos en sí. ZK convierte a las computadoras en máquinas de verdad.