Dinheiro, redes elétricas, fábricas, registos médicos, eleições são todos apenas software que pode ser hackeado, mal configurado ou alterado silenciosamente. A IA está a inundar esses sistemas com ruído sintético. As Provas de Conhecimento Zero são a primeira verdadeira forma de provar o que os computadores estão realmente a fazer. As provas transformam cálculos arbitrários em factos criptográficos: pequenos objetos que dizem, "este processo correu corretamente com estes dados," sem expor os dados em si. ZK transforma computadores em máquinas da verdade.