AI Auditor zkao обнаружил критическую ошибку в библиотеке гостевой zkVM OpenVM

ИИ-аудитор ZK/SEC, zkao, обнаружил критическую ошибку зву́чности в гостевой библиотеке OpenVM openvm-pairing. Ошибка позволяет злоумышленнику-проверяющему подделывать любые равенства спариваний, нарушая зву́чность Groth16, PLONK с KZG и подписей BLS, которые используют эту уязвимую библиотеку. Проблеме присвоен номер CVE-2026-46669, исправление вышло в OpenVM 1.6.0.

Как это было найдено

ZK/SEC сканировал OpenVM в рамках эксперимента с ИИ, используя Opus 4.6, 4.7 и Codex 5.3, 5.4 с простыми запросами и навыками от экспертов. Первые прогоны выявили валидные, но неэксплуатируемые находки. Затем команда развернула zkao, своего специализированного ИИ-аудитора, который после 9,5+ часов сканирования предоставил множество результатов. Быстрая сортировка выявила критическую проблему со спариваниями с минимальным PoC, сгенерированным самим zkao.

Беглый взгляд на ошибку

Влияние

Спаривания — это движок под Groth16, PLONK с KZG и подписями BLS. Верификатор обычно проверяет, равен ли единице продукт спариваний. Если проверяющий может заставить ложный продукт спариваний выглядеть как единица, всё, построенное на этой основе, теряет зву́чность. Ошибка конкретно заключается в том, что в проверке спариваний отсутствует должная проверка подполя для масштабирующего коэффициента.

Примечание: Это не ошибка в самой системе доказательств zkVM; уязвимы только программы, использующие библиотеку openvm-pairing.

Технические детали

Конвейер ИИ от ZK/SEC использует модульную архитектуру: под-агенты анализируют отдельные модули кода на предмет предположений и инвариантов, затем главный агент объединяет результаты. Для сложных кодовых баз, таких как OpenVM, изолированный поиск ошибок недостаточен; ключевым является выявление нарушений инвариантов между модулями. ZK/SEC планирует опубликовать больше технических деталей в последующем посте.