Raha, sähköverkot, tehtaat, sairauskertomukset, vaalit ovat kaikki ohjelmistoja, joita voi hakkeroida, konfiguroida väärin tai hiljaisesti muuttaa. Tekoäly tulvii näitä järjestelmiä synteettisellä kohinalla. Nollatiedon todistukset ovat ensimmäinen todellinen tapa todistaa, mitä tietokoneet oikeasti tekevät. Todistukset muuttavat mielivaltaisen laskennan kryptografisiksi faktoiksi: pieniksi esineiksi, jotka sanovat, "tämä prosessi toimi oikein tällä datalla", paljastamatta itse dataa. ZK muuttaa tietokoneet totuuskoneiksi.