44. Czym jest StarkWare i rekurencyjne dowody ważności
Zapotrzebowanie na technologie kryptowalutowe nieustannie rośnie. W związku z tym większość projektów, zwłaszcza tych debiutujących na rynku, stawia sobie ambitne cele. Nowe inicjatywy muszą skonfrontować się z wyzwaniami, takimi jak szybkość transakcji, ich koszty oraz czas walidacji, co stanowi poważne zagrożenie dla użyteczności tych projektów. Niemniej jednak otwiera to również przestrzeń dla innowacyjnych rozwiązań mających na celu przezwyciężenie wspomnianych trudności. W większości przypadków, blockchainy oraz rozwiązania warstwy 2 oferują narzędzia służące do rozwiązania tych problemów. Jednym z interesujących projektów w tej dziedzinie jest StarkWare – platforma warstwy 2 przeznaczona dla sieci Ethereum.
StarkWare – czym jest?
StarkWare to izraelska firma, specjalizująca się w budowie blockchainów warstwy 2 na platformie Ethereum. Wykorzystuje do tego innowacyjną technologię ZK-STARK (Zero-Knowledge Scalable Transparent Arguments of Knowledge). Głównym celem firmy, jak i technologii ZK-STARK, jest usprawnienie skalowalności i ochrony prywatności blockchainów, w szczególności Ethereum.
ZK-STARK został całkowicie opracowany przez zespół StarkWare i działa w sposób zbliżony do innych rozwiązań, takich jak ZK-Sync czy optymistyczne rollupy. Jednak unikalną cechą ZK-STARK jest zdolność do grupowania transakcji, umożliwiając udowodnienie ważności danych transakcji za pomocą dowodu kryptograficznego.
Technologia ZK-STARK oferuje wysoko skalowalne i transparentne dowody kryptograficzne, wykorzystując szybszy i bardziej skalowalny system dowodzenia. Dodatkowo, ZK-STARK redukuje ilość założeń kryptograficznych, co według firmy czyni ją bardziej bezpieczną.
StarkWare stworzyło innowacyjne rozwiązanie, umożliwiające jednej stronie udowodnienie drugiej posiadania określonych informacji, bez konieczności ujawniania tych szczegółów. W praktyce oznacza to, że strona A może potwierdzić stronie B posiadanie konta kryptowalutowego na Kanga Exchange z określoną sumą kryptowalut, zachowując jednocześnie pełną poufność szczegółów dotyczących tego konta.
StarkWare, realizując swoje cele, skupiło się na rozwijaniu i doskonaleniu dwóch kluczowych produktów: StarkNet i StarkEx.
ZK-STARK ewoluowały!
Do tej pory proces skalowania przy użyciu ZK-STARK polegał na zwijaniu dziesiątek, a nawet setek tysięcy transakcji w jeden dowód, który następnie był zapisywany na Ethereum. Jednak dzięki wprowadzeniu dowodów rekurencyjnych, cały proces został usprawniony i przyspieszony. Co to oznacza dla przemysłu kryptowalutowego? Ogromny wzrost efektywności skalowania warstwy 2 dzięki ZK-STARK. Te dowody pozwalają na wielokrotny wzrost liczby transakcji, które można zapisywać na Ethereum za pomocą jednego dowodu.
Dowody rekurencyjne stają się możliwe dzięki obliczeniom w frameworku Cairo, które są już szeroko stosowane w różnych aplikacjach opartych na StarkEx oraz StarkNet.
Czym są rekurencyjne dowody tożsamości?
W przypadku dowodów STARK czas potrzebny do udowodnienia danego twierdzenia był w przybliżeniu równy czasowi potrzebnemu na wykonanie tego twierdzenia. Jeśli więc udowodnienie twierdzenia zajmuje T czasu, to weryfikacja dowodu zajmuje log(T). Dzięki STARK spędzamy więc mniej czasu na weryfikacji danego stwierdzenia niż na jego obliczaniu.
Cairo usprawnia ten proces, umożliwiając wyrażanie ogólnych twierdzeń obliczeniowych, które mogą być udowodnione za pomocą STARK i zweryfikowane przez odpowiednie weryfikatory STARK. Na tym etapie pojawia się również możliwość rekurencji. W dokładnie taki sam sposób, jak piszemy Cairo, który udowadnia poprawność tysięcy transakcji, możemy napisać go tak, że będzie on weryfikował wiele dowodów STARK. Możemy także wygenerować pojedynczy dowód, który poświadczy ważność wielu dowodów jednocześnie. To właśnie nazywamy rekurencyjnymi dowodami tożsamości.
Zalety rekurencyjnych dowodów tożsamości
- Obniżenie kosztów weryfikacji on-chain staje się możliwe dzięki początkowej kompresji wielu dowodów w jeden. W rezultacie uzyskujemy niższy koszt weryfikacji on-chain dla pojedynczej transakcji. Warto zauważyć, że każde twierdzenie może obejmować wiele dowodów.
- Eliminacja barier zasobów obliczeniowych, takich jak ograniczenia pamięci, jest kolejnym aspektem korzyści wynikających z rekurencji. W przeszłości ograniczały one rozmiar dowodów, ale teraz, dzięki rekurencji, rozmiar zasobów stał się nieograniczony, a koszt pojedynczej transakcji został zredukowany.
- Zmniejszenie opóźnień w procesie udowadniania dużych ciągów twierdzeń stanowi kolejny efekt korzystny. Rekurencyjne dowody tożsamości przyczyniają się do szybszego udowadniania rozległych zbiorów twierdzeń.
- Dodatkowo, rekurencyjne dowody tożsamości ułatwiają rozwój warstw trzecich (L3). Pozwalają one na tworzenie implementacji L3 na topie publicznej sieci StarkNet warstwy 2.
Cairo i SHARP
Cairo zadebiutowało w główną sieci Ethereum w 2020 roku, wprowadzając CPU Algebraic Intermediate Representation (AIR). To otwiera nowe możliwości kodowania dowodów dla bardziej skomplikowanej logiki, arbitralnych twierdzeń obliczeniowych oraz umożliwia to w sposób szybszy i bezpieczniejszy. Program Cairo może także potwierdzać poprawność logiki pojedynczej aplikacji.
Z kolei SHARP bierze transakcje z różnych aplikacji i potwierdza je w jednym zbiorczym dowodzie STARK. Aplikacje działające w oparciu o SHARP szybciej integrują swoje transakcje, co skutkuje szybszym wypełnianiem pojemności STARK-proof.
Kilka słów o StarkNet i StarkEx
StarkNet to zdecentralizowany ZK-rollup, działający jako łańcuch warstwy 2 na Ethereum, pozbawiony uprawnień i w pełni zdecentralizowany. Wykorzystuje technologię zerowej wiedzy, gdzie wszystkie transakcje w sieci są zrolowane (“rolled up”), a następnie zatwierdzone przez dowód ZK-STARK, a ostatecznie przez Ethereum. Ten proces pozwala zaoszczędzić opłaty za gaz, gdyż transakcje są przesyłane i weryfikowane poza łańcuchem Ethereum. Rozwiązanie to oferuje lepszą skalowalność i szybkość.
StarkEx również operuje na warstwie drugiej, jednak z pewną różnicą – posiada uprawnienia i jest dostosowane do konkretnych potrzeb dApps, zazwyczaj związanych ze światem DeFi. Przykłady takich aplikacji to dYdY, Immutable X czy DeversiFi. StarkEx jest czasem postrzegany jako zautoryzowana i scentralizowana wersja StarkNetu, co umożliwia jego wykorzystanie przez różne protokoły. Obecnie obsługuje sieć Ethereum, a także standardy tokenów ETH-20, ETH-721 oraz ETH-1155. StarkEx ma również zdolność obsługi tokenów na innych blockchainach, które są zgodne z Ethereum Virtual Machine.
Podsumowanie
Rekurencyjne dowody tożsamości obecnie obsługują już wiele protokołów, a ich liczba będzie się z czasem zwiększać. Stanowią one kluczowy element wprowadzania nowych ulepszeń, takich jak obniżka opłat za gaz czy poprawa skalowalności. Ponadto, umożliwiają one dostęp do nowych możliwości, takich jak implementacja rozwiązań warstwy 3 (L3) oraz applicative-recursion. Trwają prace nad optymalizacją tych dowodów, co oznacza, że w przyszłości możemy spodziewać się ich jeszcze lepszej wydajności i niższych kosztów.