金錢、電力網、工廠、醫療記錄、選舉都只是可以被駭客入侵、配置錯誤或悄悄改變的軟體。 AI 正在這些系統中充斥著合成噪音。 零知識證明是證明電腦實際在做什麼的第一種真正方法。證明將任意計算轉化為加密事實：小物件表示「這個過程在這些數據上正確運行」，而不暴露數據本身。 ZK 將電腦變成真相機器。