Гроші, електромережі, фабрики, медичні записи, вибори — це просто програмне забезпечення, яке можна зламати, неправильно налаштувати або тихо змінити. ШІ наповнює ці системи синтетичним шумом. Докази з нульовим знанням — це перший реальний спосіб довести, що комп'ютери насправді роблять. Докази перетворюють довільні обчислення на криптографічні факти: маленькі об'єкти, які кажуть: «цей процес пройшов коректно на цих даних», не розкриваючи самі дані. ZK перетворює комп'ютери на машини правди.