Succinct сообщила об исправлении ошибки в SP1, которая могла позволить недействительным доказательствам пройти нативную проверку на Rust. Уязвимость относилась к версиям 6.0.0–6.8.0.
Проверка доказательств Groth16 и Plonk с помощью Solidity-верификаторов оставалась вне зоны риска. В сообщении не уточняется, когда именно выпущено исправление и были ли случаи использования ошибки.
Ошибка затрагивала один из способов проверки доказательств в SP1, но не все варианты верификации. Данных о последствиях для пользователей или о масштабах возможного воздействия источник не приводит.