Il denaro, le reti elettriche, le fabbriche, i registri medici, le elezioni sono tutti solo software che possono essere hackerati, mal configurati o silenziosamente alterati. L'AI sta inondando questi sistemi con rumore sintetico. Le Zero-Knowledge Proofs sono il primo vero modo per dimostrare cosa stanno realmente facendo i computer. Le prove trasformano il calcolo arbitrario in fatti crittografici: piccoli oggetti che dicono, “questo processo è stato eseguito correttamente su questi dati,” senza esporre i dati stessi. ZK trasforma i computer in macchine della verità.