Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
właśnie skończyliśmy przegląd projektu, więc oto krótki wątek o @Lighter_xyz 🧵


4 paź, 00:07
szybko rzuciłem okiem na kontrakty @Lighter_xyz i pierwsze wrażenie jest bardzo dobre! bardzo ekscytujące. czuję, że to trochę mieszanka zksync i dobrego starego dydx. mamy nadzieję, że pełna recenzja pojawi się na @l2beat w przyszłym tygodniu. zalety bycia rollupem w porównaniu do HL są tutaj dość oczywiste :)
pierwsza dużą różnicą między Lighter a ostatnią falą łańcuchów perp jest użycie dowodów zk. Most, który przechowuje ponad 1 miliard dolarów, pozwala na wypłaty tylko te, które zostały udowodnione przez stały program. Z tego powodu walidatorzy nie mogą po prostu podpisać nieprawidłowej wypłaty, aby ukraść środki.

Złe wieści są takie, że program udowadniany przez dowody zk nie jest dostępny źródłowo, więc obecnie nie ma możliwości sprawdzenia, czy łańcuch poprawnie wdraża swoją logikę biznesową. Zespół skomunikował się z nami, że pracuje nad tym, aby uczynić to publicznym w ciągu 1 lub 2 tygodni.

zakładając, że program jest dobry, same dowody zk nie wystarczą, aby zapobiec utracie środków. na przykład, scentralizowany sekwencer mógłby cenzurować twoje prośby o wypłatę lub twoje prośby o anulowanie zamówienia. na szczęście, @Lighter_xyz wdraża wymuszone transakcje przez L1.

jeśli jakiś użytkownik nie może włączyć swojej transakcji, wysyłając ją do sekwencera, może wymusić ją przez L1, dziedzicząc pełną odporność na cenzurę. sekwencer ma teraz dwie opcje: albo włączy transakcję i wszyscy będą zadowoleni, albo projekt będzie zmuszony do zamknięcia.

tak, przeczytałeś to poprawnie: sekwencer ma teraz silny bodziec, aby uwzględnić wszystkie żądania, w przeciwnym razie system może zostać włączony w "tryb pustyni", tzn. wyłączony. wymuszone transakcje, których sekwencer nie może zignorować, obejmują: wypłaty, wpłaty, tworzenie i anulowanie zamówień.

ale jak użytkownicy mogą wyjść, jeśli system zostanie wyłączony? tutaj wchodzi w grę awaryjne wyjście: ponieważ lighter jest rollupem i zapewnia dostępność danych za pomocą blobów, użytkownicy mogą odtworzyć najnowszy stan i udowodnić swoje salda, aby wyjść. wszystkie otwarte zlecenia są rozliczane po najnowszej cenie.

projekt jest obecnie ulepszany z opóźnieniem wynoszącym 21 dni, ale takie opóźnienie można zredukować do zera dzięki "radzie bezpieczeństwa" utworzonej przez multisig 3/5. to już samo w sobie uniemożliwia uznanie systemu za etap 1. zespół przekazał plany dotyczące poprawy tej konfiguracji.
kolejnym zmartwieniem są ceny indeksów. zewnętrzne oracle używane przez projekt nie są obecnie odpowiednio uwierzytelnione, a sekwencer jest w pełni zaufany do poprawnego ich raportowania. to krytyczna luka, którą zespół zapowiedział, że zamierza rozwiązać.

na koniec, z umów jasno wynika, że zespół czerpał dużą inspirację z dawnego @zksync lite, co jest dobre! zksync lite, razem z dYdX v3, zawsze były uznawane za rollupy specyficzne dla aplikacji z bardzo dobrymi modelami bezpieczeństwa.
123,97K
Najlepsze
Ranking
Ulubione