Geld, elektriciteitsnetten, fabrieken, medische dossiers, verkiezingen zijn allemaal gewoon software die kan worden gehackt, verkeerd geconfigureerd of stilletjes gewijzigd. AI overspoelt deze systemen met synthetisch lawaai. Zero-Knowledge Proofs zijn de eerste echte manier om te bewijzen wat computers daadwerkelijk doen. Bewijzen veranderen willekeurige berekeningen in cryptografische feiten: kleine objecten die zeggen: "dit proces is correct uitgevoerd op deze gegevens," zonder de gegevens zelf bloot te stellen. ZK verandert computers in waarheidsmachines.