To pierwszy optymistyczny rollup, który widziałem, wykorzystujący ZK, gdzie to naprawdę szkodzi: oszustwo, a nie próżność. @megaeth_labs wprowadza nieinteraktywne dowody oszustwa ZK do ścieżki sporu, więc zły stan zostaje zniszczony za jednym zamachem, bez gier z opóźnieniem, bez dni przeciągania się w tenisie bisection. ❯ Co odkryłem: opracowanie Mega ENDGAME (27 lipca 2025) wyjaśnia, że challenger generuje pojedynczy dowód w RISC Zero zkVM, zgodnie z hybrydowym modelem OP Kailua; weryfikator na L1 akceptuje/odrzuca w jednej transakcji. ❯ Dlaczego to ważne: nadal zachowujesz standardowe 7-dniowe okno wykrywania, ale gdy wyzwanie zostanie złożone, spór rozstrzyga się w ~1 godzinę, zamiast ciągnąć finalizację przez dni. ❯ Jak to pozostaje uczciwe: połączenie z EigenDA oznacza, że obserwatorzy zawsze mogą odtworzyć ładunek bloku, aby udowodnić oszustwo; brak możliwości ukrycia i opóźnienia. ❯ Weryfikacje: posty RISC Zero Kailua opisują ten sam projekt nieinteraktywnego dowodu błędu ZK dla łańcuchów OP z szybką finalizacją, bez przekształcania całego procesu w pełny rollup ZK; Boundless/Conduit dokumentują operacyjną ścieżkę dla produkcyjnych łańcuchów OP-stack. --- Moje zdanie: to utrzymuje optymistyczną ekonomię (tanie, proste), jednocześnie eliminując najgorsze wektory oszustwa. Otwarte pytanie to koszt dowodzenia na dużą skalę (własna szacunkowa wartość Mega wynosi około 100 USD/spór w cyklach/$$), co jest całkowicie w porządku, jeśli oszustwa są rzadkie, ale warto to monitorować, gdy użycie eksploduje. Jeśli budujesz, zakładaj "finalne, jeśli niekwestionowane; szybkie, jeśli kwestionowane." To lepsza umowa do kodowania niż "finalne... w końcu."