Peníze, elektrické sítě, továrny, lékařské záznamy, volby – to vše je software, který lze hacknout, špatně nastavit nebo tiše upravit. AI zaplavuje tyto systémy syntetickým šumem. Důkazy s nulovou znalostí jsou prvním skutečným způsobem, jak dokázat, co počítače skutečně dělají. Důkazy proměňují libovolné výpočty v kryptografická fakta: malé objekty, které říkají: "tento proces na těchto datech běžel správně," aniž by odhalily samotná data. ZK proměňuje počítače v stroje pravdy.