Жарамсыз дәлелдер қаупінен кейін SP1 осалдығы түзетілді
Succinct SP1 нөлдік білім дәлелдеу жүйесіндегі сенімділікке қатысты аса қауіпті осалдықты жариялады. Бұл ақау 6.0.0-ден 6.8.0-ге дейінгі нұсқалардағы Rust тілінде жазылған төл верификаторларға әсер етті және mainnet-тегі Prover Network-ке жарамсыз орындалулардың дәлелдерін қабылдатуы мүмкін еді. SP1 осалдығы верификаторлардың деректер белгілерін тексеріп, сақталған элементтер саны мәлімделген өлшемдерге сәйкес келетінін растауынан туындады. Groth16 және Plonk жүйелерінің тұрақты пішінді тексерулері, сондай-ақ тізбектегі Solidity верификаторлары зардап шеккен жоқ. 24 қыркүйекте Succinct десериализация кезінде ұзындықты тексеру қосылған 6.8.1 нұсқасын шығарып, mainnet-ке орналастырды. Мәселе туралы Vitalis Salis Immunefi арқылы хабарлады. Rust тіліндегі төл верификаторларды пайдаланатын және сенімсіз дәлел жасаушылардың дәлелдерін қабылдайтын пайдаланушылар 6.8.1 нұсқасына жаңартуы керек.
Neutral
Бұл осалдық елеулі қауіпсіздік тәуекелін тудырды: егер ол пайдаланылғанда, зардап шеккен SP1-дің Rust тілінде жазылған төл верификаторлары жарамсыз орындалу дәлелдерін қабылдауы мүмкін еді, ал бұл оларға сүйенетін қолданбалардың қауіпсіздігіне нұқсан келтіруі ықтимал болатын. Алайда есепте Succinct түзетуді шығарып, қолданысқа енгізгені, ал бекітілген пішінді Groth16 және Plonk тексерулері мен желідегі Solidity верификаторлары зардап шекпегені айтылған. Бұл нарыққа төнетін кең ауқымды әрі жалғасып жатқан қауіп туралы пайымдарды шектейді. Ең ықтимал тікелей салдар — криптовалюта бағаларына бірден қысым түсіру емес, осал Rust верификаторларын пайдаланатын қолданушылардың нақты операциялық жұмыстар жүргізуі. Қысқа мерзімде трейдерлер SP1-ге қатысты жобаларды, верификация белсенділігін және осалдықтың пайдаланылғаны немесе шығын болғаны туралы кез келген мәлімдемені мұқият қадағалауы мүмкін. Ұзақ мерзімде бұл оқиға дәлелдеу жүйелерінің іске асырылуын қатаңырақ тексеруге түрткі болып, аудиттерге, нұсқаларды жаңартуға және қорғанысты тереңдететін тексерулерге сұранысты арттыруы ықтимал. Осындай инфрақұрылымдық осалдықтар қаражат жоғалғанда немесе желі бойынша қызметтер бұзылғанда нарықта күрт қозғалыстар тудыруы мүмкін; бұл жағдайда осалдықтың пайдаланылғанына немесе ұзаққа созылған үзіліске дәлел болмағандықтан, нарыққа қатысты бейтарап баға беру орындырақ.