El dinero, las redes eléctricas, las fábricas, los historiales médicos, las elecciones son solo software que puede ser hackeado, mal configurado o alterado discretamente. La IA está inundando estos sistemas con ruido sintético. Las pruebas de conocimiento cero son la primera forma real de demostrar lo que realmente hacen los ordenadores. Las demostraciones convierten computaciones arbitrarias en hechos criptográficos: pequeños objetos que dicen: "este proceso funcionó correctamente con estos datos", sin exponer los datos en sí. ZK convierte ordenadores en máquinas de la verdad.