Почему доказательство корректности работы модели всё ещё занимает больше времени, чем её запуск?

Доказательства с нулевым разглашением для ML-инференса позволяют подтвердить, что модель произвела данный результат из данных входных данных, не раскрывая веса. Это позволило бы криптоприложениям использовать AI-результаты без доверия к оператору, не полагаясь на TEE или его репутацию. Проблема заключается в производительности: генерация ZK-доказательства для модели масштаба GPT-2 занимает десятки минут; для масштаба GPT-3 это измеряется часами. Арифметика с плавающей точкой в трансформерах неэффективно компилируется в арифметические схемы, а механизм внимания особенно дорого обходится при доказательстве. Аттестация на основе TEE закрывает этот пробел, но требует доверия прошивке производителя оборудования, а не математике. До тех пор пока генерация доказательств не ускорится на два-три порядка, каждый верифицируемый AI-примитив в криптографии обменивает одно допущение о доверии на другое.