Разработчики проекта Succinct сообщили об обнаружении и устранении ошибки, которая влияла на работу проверки доказательств в библиотеке версий с 6.0.0 по 6.8.0. Проблема касалась нативной верификации на языке программирования Rust.
Согласно сообщению разработчиков, уязвимость не затронула процессы верификации Groth16 и Plonk непосредственно на блокчейне через смарт-контракты на Solidity. Исправленная версия устраняет риск пропуска некорректных доказательств.
Succinct — библиотека для создания и проверки доказательств с использованием технологий zero-knowledge (ZKP), активно применяемая в различных децентрализованных приложениях и системах приватности в блокчейн-экосистеме.