Succinct SP1 odkrywa poważną lukę, sieć główna może akceptować nieprawidłowe dowody

System dowodów zerowej wiedzy SP1 firmy Succinct ujawnia poważną lukę w niezawodności. Luka została ogłoszona 11 października za pośrednictwem ogłoszenia na GitHubie GHSA-p7v2-jjv3-8p8f, wpływając na natywnego walidatora Rust SP1 w wersjach od 6.0.0 do 6.8.0, co może prowadzić do akceptacji nieprawidłowych dowodów przez sieć główną Prover Network. Złośliwi dowodzący mogą przesyłać dowody z nieprawidłowym wykonaniem, a walidatory sieci nadal je akceptują. Przyczyną luki jest to, że walidator odczytuje tylko etykiety danych, nie weryfikując, czy rzeczywista liczba przechowywanych elementów jest równa iloczynowi wymiarów, co pozwala atakującym na fałszowanie etykiet, aby nieprawidłowe dowody mogły przejść. Dowody Groth16 i Plonk, które stosują stały kształt wrap, nie są dotknięte, a on-chain Solidity checker również jest bezpieczny. Succinct wydał wersję naprawczą 6.8.1 24 września, która została wdrożona do sieci głównej; wersja ta wprowadza dodatkową weryfikację długości deserializacji. Lukę odkrył Vitalis Salis i zgłoszono ją w programie nagród za luki Immunefi. Użytkownicy, którzy uruchamiają natywnego walidatora Rust i akceptują niepewnych dowodzących, muszą zaktualizować do wersji 6.8.1.

Niniejsza treść ma charakter wyłącznie informacyjny i nie stanowi porady finansowej, inwestycyjnej, prawnej ani podatkowej. Wszelkie wydarzenia, nagrody, promocje online lub powiązane informacje, o których tu mowa, nie powinny być traktowane jako rekomendacja, zachęta ani zaproszenie do kupna, sprzedaży, wymiany lub innego rodzaju obrotu aktywami kryptograficznymi. Aktywa kryptograficzne charakteryzują się dużą zmiennością i mogą prowadzić do strat. Dostępność usług, produktów i powiązanych wydarzeń WEEX może się różnić w zależności od regionu. Użytkownik jest odpowiedzialny za upewnienie się, że jego udział jest zgodny z obowiązującymi lokalnymi przepisami i regulacjami.