Dinheiro, redes elétricas, fábricas, prontuários médicos, eleições são apenas softwares que podem ser hackeados, mal configurados ou silenciosamente alterados. A IA está inundando esses sistemas com ruído sintético. Provas de Conhecimento Zero são a primeira forma real de provar o que os computadores realmente estão fazendo. Provas transformam computação arbitrária em fatos criptográficos: pequenos objetos que dizem: "este processo rodou corretamente nestes dados", sem expor os próprios dados. ZK transforma computadores em máquinas da verdade.