Pieniądze, sieci energetyczne, fabryki, dokumenty medyczne, wybory to wszystko tylko oprogramowanie, które można zhakować, źle skonfigurować lub cicho zmienić. AI zalewa te systemy syntetycznym szumem. Dowody Zero-Knowledge są pierwszym prawdziwym sposobem na udowodnienie, co komputery naprawdę robią. Dowody przekształcają dowolne obliczenia w fakty kryptograficzne: małe obiekty, które mówią: „ten proces przebiegł poprawnie na tych danych”, nie ujawniając samych danych. ZK przekształca komputery w maszyny prawdy.