Gracz SNARK rzeczywiście ogłosił, że śledzi STARK? Era STARK z @zksync nadchodzi, więc @Starknet drży!
Jaka jest więc nowa wersja Boojum aktualizacji zkSync? Dlaczego zkSync tak szybko ogłosił aktualizację Starka? Jaka jest zasadnicza różnica między Snarkiem a Starkiem? Jaki wpływ będzie miała ta aktualizacja na rynek L2?
Z punktu widzenia dyskusji technicznej skomentujmy i omówmy szybko. 1/5
Mówiąc najprościej, Boojum jest wersją przejściową zkSync z systemu SNARK do systemu STARK.
Oznacza to, że przez długi czas system certyfikacji Prover firmy zkSync będzie obsługiwał interfejs Starka. Większość głównych potrzeb będzie nadal korzystać z dojrzałej certyfikacji SNARK. Poszczególne aplikacje, szczególnie te w wielołańcuchowym środowisku zk Stack, muszą używać zk systemu certyfikacji Można to osiągnąć poprzez połączenie z boojum. 2/5
Kluczowym punktem w tym kręgu jest to, że Boojum jest nieuniknionym wyborem dla zkSync do wdrożenia strategii wielołańcuchowej zk Stack.
W porównaniu ze STARK, metoda dowodu SNARK opiera się na weryfikacji rekurencyjnej, co jest odpowiednie dla dowodu dedukcji Zk w oparciu o ten sam klucz publiczny w tym samym systemie, podczas gdy dowód STARK może opierać się na nieinteraktywnej metodzie weryfikacji, umożliwiając złożoną, nierekurencyjną implementację w sprawdzić stan międzyłańcuchowy. 3/5
Na tym właśnie polega podstawowa różnica pomiędzy dwoma systemami sprawdzającymi SNARK i STARK.
W porównaniu z metodą weryfikacji SNARK opartą na założeniach matematycznych, proces sprawdzający STARK zawiera dużą ilość zbędnych informacji, więc zasoby algorytmu obliczeniowego są stosunkowo duże, a współczynniki są również wysokie.
Dlatego też główny łańcuch zkSync będzie w przyszłości wykorzystywał SNARK jako główny system certyfikacji, a STARK jest jedynie rozwinięciem jego strategii wielołańcuchowej. 4/5
Jest to zgodne z duchem lekkiego i wydajnego rozwoju zkSync.
Dlatego Boojum zkSync nie znajduje się w tym samym wymiarze strategicznym co Starknet, ale będzie stwarzał pewne zagrożenia dla innych, takich jak Op Stark, Arbitrum orbit i Polygon2.0.
Musisz wiedzieć, że przejście zkSync na STARK jest równoznaczne z uznaniem technicznych niedociągnięć SNARK i wykorzystaniem atutów konkurencyjnych produktów do przebicia się przez własny sufit. Schematy i ambicje tej fali graczy L2 są naprawdę jeden po drugim. 5/5