Fraud proof (dowód oszustwa, ang. fraud proof lub fault proof) to mechanizm, dzięki któremu każdy uczestnik może udowodnić na Ethereum, że operator rollupu opublikował nieprawidłowy stan sieci. Jeśli dowód jest skuteczny, błędny stan zostaje odrzucony, a nieuczciwa strona traci złożony depozyt. To fundament bezpieczeństwa optimistic rollupów.
Bez działających fraud proofs optimistic rollup opiera się wyłącznie na zaufaniu do operatora. Dlatego to, czy i w jakiej formie są wdrożone, jest jednym z najważniejszych kryteriów oceny sieci L2.
Jak działa fraud proof
- Proposer publikuje na L1 nowy stan rollupu i wpłaca depozyt (bond).
- Weryfikatorzy odtwarzają transakcje z opublikowanych danych i porównują wynik.
- Jeśli wynik się nie zgadza, challenger składa sprzeciw w oknie kwestionowania, również z depozytem.
- Kontrakt na L1 rozstrzyga spór; przegrany traci depozyt, a część trafia zwykle do zwycięzcy.
Interaktywne vs jednorundowe
| Cecha | Jednorundowy (nieinteraktywny) | Interaktywny |
|---|---|---|
| Zasada | L1 ponownie wykonuje całą sporną transakcję lub blok | strony dzielą spór na coraz mniejsze fragmenty (bisekcja), aż zostanie jeden krok |
| Obciążenie L1 | duże – trzeba wykonać wiele obliczeń | małe – L1 wykonuje tylko jeden sporny krok |
| Liczba transakcji sporu | jedna | wiele rund między stronami |
| Ryzyko | limity gas L1 ograniczają złożoność | dłuższe spory i ryzyko ataków opóźniających |
W podejściu interaktywnym obie strony wskazują punkty w wykonaniu, w których ich wersje się rozchodzą. Każda runda zawęża zakres o połowę. Gdy spór zostanie sprowadzony do jednej instrukcji, kontrakt na Ethereum wykonuje ją samodzielnie i ustala, kto ma rację. Obecnie dominuje właśnie ten model.
Przykład bisekcji
Załóżmy, że sporny blok to 1 000 000 kroków obliczeniowych. Każda runda bisekcji dzieli zakres na pół, więc po około 20 rundach (2 do potęgi 20 to 1 048 576) spór sprowadza się do jednego kroku. Ethereum wykonuje tylko ten jeden krok zamiast miliona. Koszt rozstrzygnięcia jest więc mały, ale jeśli każda runda ma umowny limit czasu, cały spór może potrwać dłużej niż prosty jednorundowy dowód.
Etapy decentralizacji rollupów
Serwisy monitorujące sieci L2 posługują się klasyfikacją etapów, która ocenia m.in. dojrzałość fraud proofs:
- Etap 0 – rollup publikuje dane na L1, ale w praktyce polega na operatorze; fraud proofs mogą nie istnieć lub być dostępne tylko dla wybranych.
- Etap 1 – działają fraud proofs (lub dowody ważności), a rada bezpieczeństwa może interweniować tylko w określonych sytuacjach, np. przy wykrytym błędzie.
- Etap 2 – system działa bez możliwości arbitralnej ingerencji; zmiany kontraktów wymagają okresu wypowiedzenia, dającego użytkownikom czas na wyjście.
Istotne jest też, czy fraud proofs są otwarte dla każdego (permissionless), czy tylko dla listy zatwierdzonych podmiotów. Zamknięta lista oznacza, że bezpieczeństwo zależy od uczciwości tych podmiotów.
Najczęstsze błędy
- Założenie, że każdy optimistic rollup ma działające i otwarte fraud proofs.
- Pomijanie roli rady bezpieczeństwa i kluczy aktualizacji, które mogą zmienić zasady niezależnie od dowodów.
- Traktowanie braku zgłoszonych sporów jako dowodu, że system jest przetestowany w praktyce.
- Zapominanie, że fraud proof działa tylko przy dostępności danych.
Perspektywa tradera
Poziom dojrzałości fraud proofs to element ryzyka kontrahenta, który rzadko widać w cenie, dopóki coś się nie wydarzy. Większe, długoterminowe salda warto trzymać na sieciach z otwartymi dowodami i wyższym etapem decentralizacji, a na młodszych – tylko kapitał roboczy. Jeśli używasz L2 do handlu, znaj procedurę awaryjnego wyjścia i pamiętaj, że w razie sporu wypłaty mogą się dodatkowo wydłużyć.
Najczęstsze pytania
Czym różni się fraud proof od dowodu ważności?
Fraud proof składa się tylko wtedy, gdy ktoś wykryje błąd, i dowodzi nieprawidłowości. Dowód ważności towarzyszy każdej paczce i potwierdza poprawność z góry – tak działają ZK-rollupy.
Kto może złożyć fraud proof?
W systemach otwartych – każdy, kto uruchomi węzeł i wpłaci depozyt. W mniej dojrzałych sieciach tylko wybrane podmioty, co osłabia gwarancje bezpieczeństwa.
Dlaczego potrzebny jest depozyt?
Depozyt zniechęca do publikowania fałszywych stanów i do bezpodstawnego kwestionowania poprawnych. Strona przegrywająca spór traci środki.
Czy fraud proofs były kiedyś użyte na dużą skalę?
Mechanizm działa przede wszystkim odstraszająco – jego istnienie sprawia, że oszustwo się nie opłaca. Dlatego rzadko widać rozstrzygane spory, co nie oznacza, że mechanizm jest zbędny.
Co to jest atak opóźniający?
To próba przeciągania sporu przez składanie kolejnych fałszywych roszczeń, by opóźnić finalizację stanu. Nowsze konstrukcje ograniczają czas sporu niezależnie od liczby atakujących, a depozyty czynią taki atak kosztownym.
Tekst ma charakter edukacyjny i nie stanowi rekomendacji inwestycyjnej.
