Para, elektrik şebekeleri, fabrikalar, tıbbi kayıtlar, seçimler hepsi sadece hacklenebilir, yanlış yapılandırılabilir veya sessizce değiştirilebilen yazılımlardır. Yapay zeka bu sistemleri sentetik gürültüyle dolduruyor. Sıfır Bilgi Kanıtları, bilgisayarların gerçekten ne yaptığını kanıtlamanın ilk gerçek yoludur. Kanıtlar, keyfi hesaplamayı kriptografik gerçeklere dönüştürür: "bu süreç bu veri üzerinde doğru çalıştı" diyen küçük nesneler, verinin kendisi ortaya çıkarmadan. ZK bilgisayarları gerçek makinelerine dönüştürüyor.