Вразливість SP1 усунено після виявлення ризику недійсних доказів
Succinct повідомила про критичну вразливість надійності в системі доказів із нульовим розголошенням SP1. Помилка зачіпала нативні верифікатори Rust версій від 6.0.0 до 6.8.0 і могла дозволити Prover Network у мейннеті приймати докази некоректних виконань. Причина вразливості SP1 полягала в тому, що верифікатори перевіряли мітки даних, але не підтверджували, чи відповідає кількість збережених елементів заявленим розмірам. Перевірки фіксованої форми Groth16 і Plonk, а також ончейн-верифікатори Solidity не постраждали. 24 вересня Succinct випустила версію 6.8.1, додавши перевірку довжини під час десеріалізації, і розгорнула її в мейннеті. Про проблему повідомив Vitalis Salis через Immunefi. Користувачам нативних верифікаторів Rust, які приймають докази від ненадійних проверів, слід оновитися до версії 6.8.1.
Neutral
Ця вразливість становила значний ризик для безпеки: у разі її експлуатації вразливі нативні Rust-верифікатори SP1 могли б приймати недійсні докази виконання, що потенційно підривало б роботу застосунків, які на них покладаються. Однак у звіті зазначено, що Succinct випустила й розгорнула виправлення, тоді як перевірки Groth16 і Plonk із фіксованою структурою та ончейн-верифікатори на Solidity не постраждали. Це обмежує підстави вважати загрозу для ринку широкою та тривалою. Найімовірніший безпосередній наслідок — цілеспрямовані операційні заходи для користувачів, які запускають уразливі Rust-верифікатори, а не негайний тиск на ціни криптовалют. У короткостроковій перспективі трейдери можуть уважніше стежити за проєктами, пов’язаними зі SP1, активністю верифікації та будь-якими повідомленнями про експлуатацію вразливості чи збитки. У довгостроковій перспективі цей інцидент може посилити увагу до реалізацій систем доказів і збільшити попит на аудити, оновлення версій та багаторівневі перевірки безпеки. Подібні вразливості інфраструктури можуть спричиняти різкі коливання, якщо призводять до втрати коштів або перебоїв у роботі сервісів по всій мережі; за відсутності доказів експлуатації чи тривалих перебоїв у цьому випадку доречнішою є нейтральна оцінка ринку.