Naprawiono lukę w zabezpieczeniach SP1 po wykryciu ryzyka nieprawidłowych dowodów
Succinct ujawnił poważną lukę w niezawodności systemu dowodów z wiedzą zerową SP1. Błąd dotyczył natywnych weryfikatorów w języku Rust w wersjach od 6.0.0 do 6.8.0 i mógł umożliwić sieci Prover Network w sieci głównej akceptowanie dowodów nieprawidłowych wykonań. Luka w SP1 wynikała z tego, że weryfikatory sprawdzały etykiety danych, ale nie potwierdzały, czy liczba przechowywanych elementów odpowiada zadeklarowanym wymiarom. Kontrole o ustalonym kształcie w Groth16 i Plonk, a także weryfikatory Solidity działające w łańcuchu, nie były podatne. 24 września Succinct wydał wersję 6.8.1, dodającą kontrolę długości podczas deserializacji, i wdrożył ją w sieci głównej. Problem zgłosił Vitalis Salis za pośrednictwem Immunefi. Użytkownicy natywnych weryfikatorów Rust, którzy akceptują dowody od niezaufanych proverów, powinni zaktualizować oprogramowanie do wersji 6.8.1.
Neutral
Podatność stanowiła istotne zagrożenie dla bezpieczeństwa: w przypadku jej wykorzystania podatne natywne weryfikatory SP1 w języku Rust mogłyby zaakceptować nieprawidłowe dowody wykonania, potencjalnie podważając bezpieczeństwo aplikacji, które na nich polegają. Raport informuje jednak, że Succinct opublikowała i wdrożyła poprawkę, a kontrole Groth16 i Plonk o ustalonej strukturze oraz weryfikatory Solidity działające on-chain nie zostały dotknięte. Ogranicza to przesłanki wskazujące na utrzymujące się, szerokie zagrożenie dla rynku. Najbardziej prawdopodobnym bezpośrednim skutkiem jest konieczność podjęcia ukierunkowanych działań operacyjnych przez użytkowników korzystających z podatnych weryfikatorów Rust, a nie natychmiastowa presja na ceny kryptowalut. W krótkim terminie traderzy mogą uważniej obserwować projekty związane z SP1, aktywność weryfikacyjną oraz wszelkie informacje o wykorzystaniu podatności lub poniesionych stratach. W dłuższej perspektywie incydent może zwiększyć kontrolę nad implementacjami systemów dowodowych oraz popyt na audyty, aktualizacje wersji i wielowarstwowe mechanizmy kontroli bezpieczeństwa. Podobne podatności infrastruktury mogą wywoływać gwałtowne ruchy na rynku, gdy dochodzi do utraty środków lub zakłócenia usług w całej sieci; wobec braku dowodów na wykorzystanie podatności lub długotrwałe zakłócenia w tym przypadku bardziej odpowiednia jest neutralna ocena wpływu na rynek.