zkML в настоящее время сталкивается с действительно значительными узкими местами в производительности. Если каждый раз нужно генерировать полное доказательство с нулевым разглашением, эта схема вряд ли сможет перейти к практическому применению. Требования к трем ключевым показателям в производственной среде очень строгие — задержка, стоимость и удобство поддержки кода. Полное доказательство в основном неприемлемо для всех сторон.

Чтобы преодолеть застой, необходимо серьезно рассмотреть несколько направлений. Модульная архитектура кажется хорошей идеей. Разделение процесса доказательства, оптимизация критических путей позволяют значительно снизить вычислительные затраты при сохранении безопасности. Возможно, это и есть ключ, который сделает zkML действительно пригодным для использования.