Что произошло
Succinct исправила ошибку в нативной Rust-проверке SP1; Solidity-верификаторы Groth16 и Plonk не пострадали.
Почему это важно
Ошибка могла повлиять на корректность нативной Rust-проверки SP1, однако два указанных механизма проверки в блокчейне остались вне зоны воздействия.
Succinct устранила ошибку в нативной проверке на Rust в версиях SP1 с 6.0.0 по 6.8.0. Согласно материалу The Defiant, дефект создавал риск прохождения недействительных доказательств.
Проверка в блокчейне через Solidity-верификаторы Groth16 и Plonk, по имеющимся данным, не была затронута. Значимость исправления зависит от того, какие проекты использовали именно нативную Rust-проверку; сведений о числе затронутых пользователей или подтверждённых пропусках недействительных доказательств в источнике нет.
Подтверждённые факты
- Succinct исправила ошибку в SP1.
- Ошибка затрагивала нативную проверку на Rust в версиях 6.0.0–6.8.0.
- Ошибка могла позволить недействительным доказательствам пройти проверку.
- Проверка Groth16 и Plonk в блокчейне через Solidity-верификаторы не была затронута.
- Сведения представлены в материале The Defiant; пакет источников содержит один независимый источник с метаданными, а не полным текстом.
Контекст
Речь идёт об инфраструктуре проверки криптографических доказательств SP1. Источник не сообщает о масштабе эксплуатации, числе затронутых систем или подтверждённых последствиях.
Что пока неизвестно
- Сколько проектов и пользователей применяли затронутую нативную Rust-проверку?
- Были ли зафиксированы случаи прохождения недействительных доказательств?
- Какие версии или обновления рекомендуются пользователям затронутых выпусков?
- Когда и каким образом исправление стало доступно?
Редакционный контекст
Уверенность: средняя
Вероятное последствие — необходимость проверить использование нативной Rust-проверки в версиях 6.0.0–6.8.0 и перейти на исправленный выпуск. Следующим наблюдаемым сигналом станут рекомендации Succinct или сообщения проектов о затронутых интеграциях. Существенная неопределённость сохраняется: источник не подтверждает эксплуатацию ошибки и не раскрывает масштаб воздействия.