Контроль использовался для поддержания систем в порядке. Теперь это могут делать доказательства. Криптография делает машины подотчетными, не раскрывая всего. Гарантии нулевых знаний превращают бывшие черные ящики в проверяемые системы. Сдерживание в эпоху ИИ означает доказуемую целостность.