Succinct SP1 виявив вразливість високої серйозності, основна мережа може приймати недійсні докази

Система нульових знань Succinct під назвою SP1 виявила вразливість високої серйозності. Ця вразливість була оголошена 11 жовтня через GitHub за повідомленням GHSA-p7v2-jjv3-8p8f, що впливає на версії 6.0.0 до 6.8.0 рідного Rust-верифікатора SP1, що призводить до того, що основна мережа Prover Network може приймати недійсні докази. Зловмисні довірителі можуть подавати недійсні виконання доказів, і мережеві верифікатори все ще приймуть їх. Причина вразливості полягає в тому, що верифікатор лише читає мітки даних, не перевіряючи, чи дорівнює фактична кількість збережених елементів добутку розмірностей; зловмисник може підробити мітку, щоб недійсний доказ пройшов. Докази з фіксованою формою wrap, такі як Groth16 та Plonk, не підлягають впливу, а перевірка на Solidity в ланцюзі також є безпечною. Succinct випустив виправлену версію 6.8.1 24 вересня, яка вже була розгорнута в основній мережі; ця версія додала перевірку довжини десеріалізації. Вразливість була виявлена Віталісом Салісом і повідомлена через програму винагород за вразливості Immunefi. Користувачі, які самостійно запускають рідний Rust-верифікатор і приймають недостовірних довірителів, повинні оновитися до версії 6.8.1.

Цей контент надано лише для загальних інформаційних цілей і не є фінансовою, інвестиційною, юридичною чи податковою консультацією. Події, нагороди, онлайн-акцій або пов’язану інформацію, згадана тут, не слід розглядати як рекомендацію, прохання чи запрошення до купівлі, продажу, торгівлі чи інших операцій з криптоактивами. Криптоактиви є дуже волатильними та можуть призвести до збитків. Доступність послуг, продуктів WEEX та пов’язаних із ними подій може відрізнятися залежно від регіону. Ви несете відповідальність за забезпечення відповідності вашої участі чинному місцевому законодавству та нормативним актам.