ZK Rollups

Blockchainy rozwijają się jak miasta i stają przed tym samym problemem zatłoczonych ulic i wolnych usług. Trilemma blockchainowa określa ten problem: skalowalność, bezpieczeństwo i decentralizacja są trudne do osiągnięcia jednocześnie. Rozwiązania Layer 2 pełnią rolę wspierającej infrastruktury, która odciąża główny łańcuch. ZK-Rollupy to jedno z podejść Layer 2, które grupuje wiele transakcji w jeden pakiet. Przenoszą większość obliczeń i przechowywania poza łańcuchem i produkują certyfikat kryptograficzny, który dowodzi, że pakiet jest poprawny. Ten certyfikat to dowód zerowej wiedzy, który pozwala głównemu łańcuchowi zweryfikować poprawność bez widzenia każdego szczegółu każdej transakcji. ZK-Rollupy wykorzystują zwarte struktury danych, takie jak drzewa Merkle'a, aby podsumować wiele stanów w jeden korzeń. Tylko ten korzeń i dowód trafiają na łańcuch, co oszczędza miejsce i koszty. Rezultatem jest wyższa wydajność, szybsza finalność i znacznie niższy koszt na transakcję, nadal polegając na głównym łańcuchu dla bezpieczeństwa. Istnieją różne systemy dowodowe pod parasolem ZK. Niektóre dowody są bardzo małe i szybkie do weryfikacji, ale wymagają początkowej zaufanej konfiguracji. Inne dowody unikają zaufanej konfiguracji i oferują przejrzystość, ale wytwarzają większe dowody, które kosztują więcej na umieszczenie w łańcuchu. Rollupy różnią się również tym, jak modelują konta i obliczenia. Niektóre odzwierciedlają księgi oparte na kontach, aby deweloperzy mogli budować, jak na głównym łańcuchu. Inne wykorzystują modele niewykorzystanych wyjść dla prywatności i prostoty. Trzecie podejście to wirtualna maszyna zerowej wiedzy, która pozwala złożonym programom działać prywatnie z dowodami poprawnego wykonania. Dostępność danych to inny wymiar projektowania. Dane poza łańcuchem mogą być publikowane w zdecentralizowanym przechowywaniu, przechowywane przez szeroki zestaw węzłów lub przechowywane przez mniejszy komitet, który obieca ich serwisowanie. Każdy wybór zmienia kompromisy między kosztami, szybkością a decentralizacją. W porównaniu z systemami dowodowymi opartymi na oszustwach, które zakładają uczciwość do momentu kwestionowania, ZK-Rollupy zapewniają natychmiastową kryptograficzną finalność i zazwyczaj pozwalają na wypłaty bez długich opóźnień kwestionujących. Zmniejszają również ilość danych, które muszą być na głównym łańcuchu, co wspomaga prywatność i wydajność. Mimo to ZK-Rollupy niosą ze sobą wyzwania. Tworzenie obwodów i dowodów dla ogólnych inteligentnych kontraktów jest skomplikowane i zasobożerne. Zaufane konfiguracje, gdy są stosowane, wymagają ostrożności, aby uniknąć pojedynczych punktów awarii. Duże dowody i koszty dowodzenia mogą ograniczać, dopóki narzędzia i sprzęt nie poprawią się. W chórze użytkowników, deweloperów i węzłów, ZK-Rollupy oferują przekonującą harmonię: skalują wydajność, utrzymują silne bezpieczeństwo i zachowują decentralizację, gdy są zaprojektowane z odpowiednią równowagą między schematem dowodowym, modelem wykonania i dostępnością danych.