zkLink: Ujednolicona infrastruktura pakietów zbiorczych Baza technologii wiedzy zerowej
streszczenie
Rozprzestrzenianie się nowych sieci blockchain doprowadziło do fragmentacji płynności i zwiększonej złożoności we wdrażaniu dApps w wielu łańcuchach bloków. Brak platformy ułatwiającej bezpieczny handel aktywami międzyłańcuchowymi przy zachowaniu interoperacyjności będzie stanowić poważne wyzwanie dla masowego przyjęcia dApps. Programiści muszą wdrożyć dApps ze względu na złożoność programowania w wielu łańcuchach ze względu na różnorodność dostępnych języków programowania i narzędzi. Aby pokonać te przeszkody, zkLink aktywnie rozwija ujednoliconą infrastrukturę typu rollup. Rozwijamy zintegrowaną infrastrukturę typu rollup zabezpieczoną dowodem zerowej wiedzy i wielołańcuchową synchronizacją stanu. Łączy ekosystemy warstwy 1 (L1) i warstwy 2 (L2). Integrując unikalne zasoby kryptowalut z różnych sieci blockchain w ujednoliconą platformę, zkLink upraszcza złożoność związaną z wdrażaniem dApps w wielu sieciach blockchain. Ma również na celu skonsolidowanie rozdrobnionej płynności w całym ekosystemie i znaczne obniżenie kosztów transakcji.
-
wstęp
Wraz z szybkim rozwojem przestrzeni blockchain pojawiło się środowisko wielołańcuchowe i wielowarstwowe. Pojawiły się łańcuchy bloków warstwy 1, takie jak Ethereum, Solana i Avalanche, a także pakiety zbiorcze Ethereum warstwy 2 (np. Arbitrum, zkSync i Starknet). Użytkownicy eksplorują różne łańcuchy L1 i pakiety L2 oraz wykorzystują różne tokeny kryptowalut, aby zaspokoić swoje specyficzne potrzeby. Rozprzestrzenianie się nowych łańcuchów i pakietów zapewnia znaczną wartość użytkownikom kryptowalut na całym świecie, ale stwarza również nieoczekiwany problem fragmentacji ekosystemu. Dla użytkowników wzrastają koszty i ryzyko bezpieczeństwa transakcji międzyłańcuchowych, a dla programistów złożone, wielołańcuchowe środowisko programistyczne dapp prowadzi do złożonego, wielołańcuchowego środowiska programistycznego dapp.
zkLink rozwiązuje powyższe problemy budując ujednoliconą infrastrukturę rollupową. Osiągnij integrację płynności między łańcuchami i uprość wdrażanie aplikacji dApp w wielu łańcuchach. Synchronizacja stanu wielu łańcuchów umożliwia dApps bezpieczny dostęp do płynności we wszystkich połączonych łańcuchach. Wykorzystuje technologię zerową wiedzą, aby zapewnić wysoką przepustowość, niski koszt i bezpieczne środowisko. Zapewniamy bezpieczne środowisko dla wszystkich typów dApps.
Kluczowe cechy infrastruktury zkLink obejmują:
Natywna agregacja zasobów: aplikacje korzystające z rozwiązań infrastrukturalnych ZkLink mogą uzyskiwać dostęp do tokenów natywnych poprzez połączone warstwy L1 i 2, umożliwiając użytkownikom dostęp do zasobów z ujednoliconego interfejsu użytkownika.
Niskie opłaty i wysoka skalowalność: modułowy stos ZkLink zapewnia doskonałą skalowalność dla: Zapewnia skalowalność. Technologia oparta na wiedzy zerowej radykalnie zmniejsza koszty wykonania i zapewnia błyskawiczną obsługę użytkownika.
Minimalne założenia bezpieczeństwa: Wszystkie transakcje w infrastrukturze zkLink weryfikowane są za pomocą dowodów o wiedzy zerowej. Dowód wiedzy zerowej. Nie jest wymagany mostek na zasoby strony trzeciej. Nie ma potrzeby stosowania zewnętrznego pomostu aktywów w celu łączenia aktywów z infrastrukturą, więc nie ma ryzyka mostowania aktywów między łańcuchami. Synchronizację stanu wielu łańcuchów osiąga się poprzez wysyłanie zsynchronizowanych skrótów transakcji w łańcuchu, co zapobiega złośliwym operacjom, takim jak wysyłanie fałszywych informacji o depozytach.
Obecnie zkLink oferuje dwie linie produktów:
zkLink Nova: zkLink Nova to kompatybilna z EVM, zintegrowana sieć Layer 3 Rollup zbudowana na bazie Ethereum i Layer 2 Rollup. Deweloperzy DApp mogą wdrażać inteligentne kontrakty Solidity na otwartej platformie Nova i mieć natychmiastowy dostęp do płynności i zasobów natywnych ze wszystkich zintegrowanych sieci, w tym Ethereum, Arbitrum, zkSync i Linea. Nova dziedziczy bezpieczeństwo Ethereum, osiągając wielołańcuchową synchronizację stanu za pośrednictwem inteligentnych kontraktów Ethereum i dostarcza skróty synchronizacji transakcji w łańcuchu za pośrednictwem standardowego mostu zbiorczego.
zkLink X: zkLink Architektura modułowa umożliwia programistom dostosowywanie kluczowych komponentów, takich jak rozwiązania DA i wielołańcuchowe schematy płatności, aby sprostać różnorodnym potrzebom różnych przypadków użycia. Oferujemy specyficzną dla handlu platformę ZkVM, która obsługuje wysokoprzepustowe i niedrogie rozwiązanie do zbioru aplikacji dla wysokowydajnych aplikacji finansowych, takich jak księga zamówień DEX.
-
Projekt protokołu zkLink
2.1 Przegląd protokołu
Protokół zkLink to ujednolicona infrastruktura typu rollup ZK o architekturze modułowej, umożliwiająca łatwą wymianę, aktualizację lub dodanie różnych komponentów lub modułów w razie potrzeby. To modułowe podejście łączy wiele wyspecjalizowanych łańcuchów bloków i technologii, aby zapewnić elastyczność i skalowalność.
Protokół zkLink składa się z czterech warstw: warstwy płatniczej, warstwy wykonawczej, warstwy sekwencjonowania i warstwy DA. Te cztery warstwy są rozdzielone w przypadku niestandardowego wdrożenia pakietu zbiorczego. W poniższych sekcjach przedstawiono protokół z perspektywy czterech warstw. Należy zauważyć, że podstawowa propozycja wartości i większość innowacji protokołu ZkLink jest związana z rozwiązaniami warstwy płatniczej i warstwy wykonawczej.
2.2 warstwa płatnicza
Tradycyjne sieci ZK-Rollup zazwyczaj wybierają jeden łańcuch, a mianowicie Ethereum, jako warstwę rozliczeniową do weryfikacji dowodów i rozliczania transakcji. Warstwa płatnicza zapewnia bezpieczeństwo i integralność transakcji poza łańcuchem.
W porównaniu z tradycyjną architekturą ZK Rollup, zkLink proponuje Aggregated ZK Rollup, nowy typ architektury ZK Rollup, która integruje się z wieloma łańcuchami bloków. Aby bezpiecznie zintegrować zasoby tokenów natywnych z poziomów L1 i L2 w jedną platformę, zasoby użytkowników są blokowane w ramach umowy o most zbiorczy wdrożonej w połączonym łańcuchu. Dodatkowo zagregowany pakiet zbiorczy ZK wykorzystuje standardowy most zbiorczy do bezpiecznej synchronizacji stanu wielu łańcuchów poprzez zsynchronizowane skróty transakcji w łańcuchu, zapobiegając złośliwym operacjom, takim jak fałszywe depozyty.
zkLink oferuje dwa typy własnych rozwiązań płatniczych: zkLink Nexus i zkLink Origin, każde zaprojektowane tak, aby spełniać różne wymagania w zakresie integracji sieci.
2.2.1 Jak działają zagregowane rollupy ZK
Architektura zagregowanego ZK Rollup zapewnia, że transakcje on-chain, takie jak depozyty, są dostarczane do sieci Rollup w czasie rzeczywistym, zapewniając najlepsze doświadczenia użytkownika. Jednakże ścisłą ostateczność wszystkich transakcji osiąga się poprzez płatności wielołańcuchowe, nowy paradygmat płatności zależny od wyników weryfikacji ZKP i synchronizacji stanu wielołańcuchowego.
Aby zoptymalizować koszty weryfikacji, spośród połączonych sieci tylko jedna sieć wyznaczana jest jako sieć domyślna i odpowiada za weryfikację ZKP. Pozostałe łańcuchy pełnią funkcję łańcuchów pomocniczych, które nie wymagają przeprowadzania weryfikacji ZKP, ale są równoznaczne z zakończeniem weryfikacji na wszystkich łańcuchach poprzez synchronizację stanu wielu łańcuchów.
Ogólna zasada działania ZK-Rollup składa się z trzech etapów: etapu zatwierdzania, etapu sprawdzania i etapu wykonywania. Zintegrowana architektura ZK-Rollup firmy ZkLink wprowadza dodatkowo krok synchronizacji następujący po kroku sprawdzającym. Faza synchronizacji sprawdza zgodność wszystkich transakcji on-chain w paczce transakcji weryfikowanej przez ZKP.
Krok 4 został krótko opisany poniżej:
-
Zatwierdzenie: sekwencer przesyła dowód ZK i partię transakcji do kontraktu walidatora w łańcuchu podstawowym.
-
Dowód: Umowa zkLink w łańcuchu podstawowym weryfikuje ważność dowodu zk.
-
Synchronizacja: Hash synchronizacji transakcji łańcucha wtórnego jest przekazywany do łańcucha głównego poprzez bezpieczny kanał komunikatów. Łańcuch podstawowy sprawdza, czy skrót synchronizacji pasuje do transakcji w łańcuchu przekazanej wcześniej przez sekwencer. Po potwierdzeniu spójności transakcji ZKP i transakcji on-chain, partia transakcji może zostać potwierdzona, a trasa partii przekazana do łańcucha wtórnego w celu realizacji.
-
Wykonanie rozliczenia: Po otrzymaniu trasy partii transakcji, łącznie z dowodem Merkle dotyczącym wypłaty środków, wypłata środków zostaje zatwierdzona i zrealizowana.
2.2.2 Nexus: Rozliczenie na Ethereum i L2
Rozwiązanie płatnicze zkLink Nexus łączy się tylko z Ethereum i jego L2. Nexus wprowadza nowy paradygmat synchronizacji wielołańcuchowej, który utrzymuje odziedziczone bezpieczeństwo Ethereum L2.
2.2.3 Pochodzenie: Ethereum, rozliczenie na Alt-L1 i L2
W przeciwieństwie do Nexusa, architektura zkLink Origin umożliwia integrację z Ethereum i jego L2, a także Alt-L1, takimi jak Solana i Avalanche.
Tak długo, jak jedna z sieci obsługuje weryfikację dowódową zk-SNARK, pakiety zbiorcze zkLink Origin będą rozliczać transakcje i zmiany stanów dla podłączonych sieci. Aby ustanowić szybki i bezpieczny mechanizm komunikacji pomiędzy Alt-L1 i Ethereum, zkLink wprowadza sieć Light Oracle do transmisji wiadomości między łańcuchami.
Założeniem bezpieczeństwa zkLink Origin jest to, że sekwencer pakietów odpowiedzialny za transakcje wsadowe nie może współdziałać z żadnym węzłem w sieci Light Oracle w celu uzyskania szkodliwej aktywności.
2.3 Warstwa wykonawcza
Wykonanie polega na wykonaniu transakcji, która poprawnie aktualizuje stan. Dlatego wykonanie musi zapewniać, że zostaną wykonane tylko ważne transakcje, tj. transakcje, które powodują prawidłowe przejścia maszyny stanowej.
2.3.1 TS-zkVM dla dApps przeznaczonych wyłącznie do handlu
Specyficzny dla handlu zkLink zkVM (TS-zkVM) opiera się na niestandardowym obwodzie rdzenia ZK i obwodzie rozszerzenia ZK Risc0 zkVM. TS-zkVM zapewnia deweloperom pakietów zbiorczych aplikacji wysoką przepustowość i niskie koszty realizacji. Obsługuje różnorodne funkcje produktów w księdze zamówień, w tym między innymi transakcje kasowe, transakcje na instrumentach pochodnych i transakcje NFT.
2.3.2 zkEVM do aplikacji dApp ogólnego przeznaczenia
Modułowa architektura zkLink zapewnia programistom elastyczność w tworzeniu własnych, niestandardowych pakietów zbiorczych w oparciu o platformy zkEVM o otwartym kodzie źródłowym, takie jak ZK Stack i Polygon CDK. W oparciu o ujednoliconą infrastrukturę pakietów ZkLink programiści dApp mogą z łatwością tworzyć pakiety zbiorcze aplikacji napisane w Solidity z dostępem do zintegrowanej płynności w wielu łańcuchach bloków i pakietach zbiorczych.
W oparciu o stos ZK, zkLink oficjalnie zbudował zkLink Nova (patrz sekcja 3.1). Niewymagający uprawnień, zintegrowany pakiet zbiorczy warstwy 3 zkEVM dla aplikacji dApp ogólnego przeznaczenia. dApps może uzyskać dostęp do zintegrowanej płynności z Ethereum i sieci L2, dziedzicząc jednocześnie bezpieczeństwo Ethereum.
2.4 Warstwa sekwencjonowania
Warstwa sekwencjonowania jest kluczowym elementem systemu zbiorczego. Odpowiada przede wszystkim za przyjmowanie transakcji użytkowników, sekwencjonowanie transakcji i łączenie ich w partie. Partie te są następnie przekazywane do warstwy płatności. Dodatkowo w scenariuszach, w których system korzysta z zewnętrznej warstwy DA, sekwencer służy również do sprawnego przesyłania danych transakcyjnych do warstwy DA.
Podobnie jak inne pakiety zbiorcze, zkLink zaczyna od scentralizowanego modelu sekwencera. Chociaż takie podejście zapewnia pewną efektywność rozwoju, stwarza również wyzwania i ryzyko, takie jak potencjalne pojedyncze punkty awarii, cenzura transakcji i problemy z wartością wydobywalną (MEV), które wpływają na uczciwość i przejrzystość sieci.
Aby rozwiązać te problemy, protokół zkLink ma na celu zintegrowanie zdecentralizowanego rozwiązania sekwencyjnego. Rozwiązania te, w tym platformy takie jak Espresso, Astria i Fairblock, mają na celu ograniczenie ryzyka centralizacji poprzez przetwarzanie i zatwierdzanie transakcji w sieci rozproszonych węzłów. Strategia ta będzie działać na rzecz wzmocnienia bezpieczeństwa i przejrzystości sieci, a także zapewni użytkownikom bezpieczniejsze, sprawiedliwe i wydajne rozwiązanie zbiorcze.
2.5. Warstwa DA
Dostępność danych (DA) oznacza udostępnianie danych transakcyjnych. Warstwa DA jest krytycznym elementem pakietu zbiorczego, zapewniającym możliwość odtworzenia stanu pakietu zbiorczego w przypadku nieoczekiwanego zatrzymania usługi podsumowania.
Po pierwsze, zkLink natywnie obsługuje łańcuchy natywne jako warstwę DA.
Po drugie, obsługuje tryb Validium z zewnętrznymi rozwiązaniami DA. Zaspokajamy różnorodne potrzeby programistów, integrując różne modułowe rozwiązania DA innych firm, takie jak Celestia, EigenDA i Avail.
zkLink DAO ma również możliwość utworzenia Komitetu ds. Dostępności Danych (DAC). Ten DAC to kolejna opcja dla programistów, zapewniająca dodatkowe możliwości zapewnienia dostępności danych.
3. zkLink Nova: pierwsza w branży warstwa integracyjna
Sieć roll-upowa
3.1 Przegląd zkLink Nova
zkLink Nova to pierwsza w branży ujednolicona sieć zkEVM typu rollup warstwy 3 zbudowana na bazie Ethereum i Ethereum Layer 2 Rollup (L2). Oparta na zkEVM firmy ZK Stack, zkLink Nova jest kompatybilną z EVM, otwartą platformą do prostego i szybkiego tworzenia wszelkiego rodzaju inteligentnych kontraktów. Platforma zkLink Nova umożliwia integrację zasobów rozproszonych w warstwie 2 Ethereum w celu zapewnienia interoperacyjnych transakcji. zkLink Nova jest zabezpieczony technologią zerowej wiedzy, pobiera bardzo niskie opłaty za gaz, zapewnia szybką finalizację i dziedziczy bezpieczeństwo Ethereum. przejął bezpieczeństwo
3.2. Kluczowe funkcje zkLink Nova
3.2.1 Natywna agregacja aktywów
Użytkownicy mogą deponować zasoby z warstwy Ethereum 1 i Ethereum Layer 2 bezpośrednio w zkLink Nova. Zasoby te są blokowane w ramach standardowej umowy o most zbiorczy hostowanej w łańcuchu źródłowym, a następnie trafiają do sieci zkLink Nova. Ta funkcja umożliwia aplikacjom Nova dostęp do natywnych tokenów wszystkich połączonych warstw 2, umożliwiając użytkownikom handel zasobami wielołańcuchowymi z zachowaniem interoperacyjności.
3.2.2 Obsługa dApp ogólnego przeznaczenia
zkLink Nova jest kompatybilny z EVM dzięki wykorzystaniu zkEVM ZK Stack. Programiści DApp mogą wdrażać wszystkie typy inteligentnych kontraktów Solidity, w tym DEX, pożyczki, GameFi i SocialFi, na otwartej platformie Nova. Te dApps mają natychmiastowy dostęp do płynności i zasobów natywnych. Uzyskaj natychmiastowy dostęp do płynności i aktywów rodzimych.
3.2.3 Obsługiwane sieci są niezależne od stosu
zkLink Nova nie obsługuje stosów, więc może łączyć się z pakietami zbiorczymi z różnych stosów, w tym pakietami zbiorczymi ZK, pakietami optymalnymi i wszelkimi dodatkowymi stosami, które się na nich opierają. Podejście to poświęca atomową interoperacyjność transakcji typu cross-rollup, ale zapewnia najszerszą płynność, jaką można agregować w całym ekosystemie Ethereum.
3.2.4 Niskie opłaty i wysoka skalowalność
Modułowy stos zkLink Nova zapewnia maksymalną skalowalność dla aplikacji dApp zbudowanych na bazie ekosystemu. Stos ZK jest używany jako warstwa wykonawcza, co radykalnie zmniejsza koszty wykonania i zapewnia błyskawiczną obsługę użytkownika. W trybie Validium zewnętrzne rozwiązania DA dodatkowo zmniejszają część kosztów transakcji sieciowych związanych z danymi dla użytkowników końcowych.
3.2.5 Bezpieczeństwo równoważne Ethereum
zkLink Nova dziedziczy bezpieczeństwo Ethereum, dokonując płatności bezpośrednio do Ethereum za pośrednictwem rozwiązania warstwy płatniczej zkLink Nexus. Wszystkie transakcje w Nova są najpierw weryfikowane za pomocą dowodów z wiedzą zerową, a następnie przechodzą synchronizację stanu wielołańcuchowego za pośrednictwem standardowych mostów zbiorczych. Hash synchronizacji przekazywany przez standardowy most zbiorczy służy do zapewnienia, że zatwierdzenia danych w transakcjach ZKP odpowiadają transakcjom we wszystkich łańcuchach hostów. Zapobiega to ryzyku bezpieczeństwa ze strony złośliwych operatorów węzłów, którzy przesyłają fałszywe transakcje w łańcuchu.
4. zkLink X: Zintegrowana infrastruktura zbiorcza specyficzna dla aplikacji
4.1 zkLink
zkLink Aplikacje wykorzystujące zkLink Proces ten nie wymaga mostowania aktywów między łańcuchami, co pozwala uniknąć ryzyka mostowania aktywów między łańcuchami i opłat za mosty.
zkLink Deweloperzy mogą swobodnie wybierać potrzebne elementy składowe. zkLink Pomożemy Ci dostosować kluczowe komponenty do Twoich potrzeb.
Integracja sieci i rozwiązania warstwy płatniczej. Programiści mogą wybrać, do których łańcuchów będzie mieć dostęp ich pakiet zbiorczy aplikacji, w tym między innymi: ETH, BNB Chain, Avalanche, Polygon PoS, Solana, zkSync, Starknet, Scroll, Polygon zkEVM, Linea, Taiko, Arbitrum, Optimism, Base itp . Środowisko wykonawcze: TS-zkVM, zkEVM -Rozproszone sekwencery: Espresso, Astria, Fairblock itp. -Modularne rozwiązania DA: Oprócz Ethereum programiści mogą wybierać spośród Celestii, EigenDA, Avail, przetworników DAC skonfigurowanych przez zkLink itp.
4.2 ZkVM przeznaczony wyłącznie do handlu dla wysokowydajnego DEX
TS-zkVM, zbudowany przez zkLink, jest wysoce wydajnym środowiskiem wykonawczym ZKP. Zaprojektowany specjalnie dla produktów finansowych o wysokiej wydajności. TS-zkVM rozszerza i integruje się z risc0 zkVM poza prekompilowanymi obwodami rdzenia.
Powyższy rysunek przedstawia ogólny przegląd architektury TS-zkVM, podzielonej na trzy podwarstwy.
4.2.1 Podwarstwa Storage TS-zkVM
Pamięć w zkLink TS-zkVM wykorzystuje sparse Merkle Trees (SMT) do przechowywania stanu. Ta struktura danych zapewnia systemowi możliwość utrzymywania i weryfikowania zmian stanu w skuteczny i bezpieczny sposób. W porównaniu z SMT firmy EVM, dostosowany i zoptymalizowany SMT zkLink TS-zkVM jest bardziej usprawniony i lepiej dostosowany do wymagań scenariuszy transakcji finansowych o wysokiej częstotliwości. Dzięki głębokiemu dostosowaniu SMT został specjalnie dostosowany do konkretnych wymagań biznesowych, osiągając doskonałą wydajność w zakresie wiedzy zerowej.
4.2.2 Podwarstwa wykonawcza TS-zkVM
Podwarstwa wykonawcza TS-zkVM jest podzielona na dwie części, każda zaprojektowana z myślą o innych wymaganiach wydajnościowych i skalowalności:
Wstępnie skompilowane obwody: wymagają dużej wydajności i obejmują różnorodne obwody związane z transakcjami, takie jak: o Obwód związany z funduszem (wpłata, wypłata, przelew) o Obwód handlu spot o Obwód handlu instrumentami pochodnymi o Obwód zarządzania instrumentami pochodnymi (rozliczenia, ADL, finansowanie) o Obwód weryfikacji Oracle o Obwód uwierzytelniania (uwierzytelnianie za pomocą hasła, uwierzytelnianie za pomocą logowania społecznościowego) Obwody te są specjalnie zoptymalizowane do obsługi transakcji finansowych, zapewniając wydajność i szybkość reakcji podczas przetwarzania transakcji w systemie. Każdy podobwód odpowiada innemu typowi operacji handlowych lub instrumentów finansowych i obsługuje operacje wymagające największej wydajności.
• Obwód rozszerzenia: Obwód rozszerzenia jest zbudowany przy użyciu risc0 zkVM na tym samym drzewie Sparse Merkle Tree (SMT), które następnie weryfikuje dowody wygenerowane przez zkVM w obwodzie agregacji plonk w warstwie agregacji. Programiści mogą wykonywać następujące niestandardowe zadania przy użyciu risc0 zkVM: o Obwód handlu sieciowego o Obwód handlu opcjami o Obwód handlu brokerskiego
Dostępny jest pakiet SDK oparty na risc0 zkVM, który obejmuje typowe zadania dla TS-zkVM SMT, takie jak weryfikacja dowodów drzewa Merkle dla konkretnego konta i sprawdzanie, czy zmiany salda konta są zgodne z określonym wzorcem.
4.2.3 Podwarstwa ZK Proof Aggregation TS-zkVM
Podwarstwa agregacji odpowiada za agregację różnych dowodów transakcji i generowanie dowodów weryfikujących poprawność całej partii transakcji, zwiększając efektywność weryfikacji dowodów i zmniejszając koszty transakcji w łańcuchu.
Szczegóły agregacji
Podwarstwa agregacji składa się z następujących modułów:
Moduł prekompilacji: Ten moduł zawiera specyficzne dla transakcji obwody prekompilacji, które muszą zostać skompilowane z kluczem weryfikacyjnym (vk). Daje to systemowi elastyczny sposób tworzenia niestandardowych obwodów dla określonych typów transakcji i integrowania ich z ogólnym systemem weryfikacji. Obwód zmiany stanu SMT: Obwód zmiany stanu wykorzystuje SMT do rejestrowania stanów, gdzie zmiany w katalogu głównym reprezentują zmiany w księdze dla wszystkich użytkowników, zapewniając dokładność i spójność stanu systemu. Każde przejście stanu (S1, S2, S3,…, Sn) jest ograniczone przez obwód, tworząc dowód przejścia. zkVM: W tej sekcji opisano sposób wdrażania kontraktów zkLink Trading-DSL przy użyciu risc0 zkVM w celu tworzenia niestandardowych operacji handlowych (ops). Mechanizm ten pozwala użytkownikom dostosować logikę handlową i zapewnia prawidłowe wykonanie i weryfikację takiej logiki. Agregator PLONK: Agregator PLONK odpowiada za zapewnienie spójności przejść stanów i warstw wykonawczych. Integruj dowody z różnych źródeł i twórz dowody zagregowane. Proces ten zwiększa efektywność weryfikacji i zmniejsza koszty wymagane do weryfikacji w łańcuchu. Dowody: Architektura obejmuje różne rodzaje dowodów: o Dowód prekompilacji: Zapewnia poprawność warstwy prekompilacji. o Dowód przejścia: Zapewnia poprawność przejść stanów. o ZkVM Proof: Zapewnia dokładność niestandardowych operacji handlowych. Interakcja pomiędzy modułami
Obwody specyficzne dla aplikacji są ostatecznie kompilowane w klucze weryfikacyjne, które są przechowywane w węźle głównym drzewa vk. zkVM umożliwia tworzenie niestandardowych operacji handlowych poprzez wdrażanie kontraktów handlowych DSL. Prekompilowane obwody, obwody risc0 zkVM i obwody zmiany stanu SMT są ze sobą połączone, aby zapewnić dokładność każdej zmiany stanu. Wszystkie dowody są zbierane przez agregator i weryfikowane w obwodzie agregacji, a członkostwo jest również sprawdzane w obwodzie agregacji, aby upewnić się, że zobowiązania zestawu przejść dowodu przejścia są zawarte w wektorze krotki (identyfikator algorytmu, dane wejściowe, wyjście) Wymagany jest dowód przedkompilacyjny i dowód zkVM. Ostatecznie daje to zbiorcze dowody do weryfikacji w łańcuchu.
5. Tokenomika
ZKL to standardowy token ERC20 wydawany w głównej sieci Ethereum. Całkowita podaż ZKL jest ograniczona do 1 miliarda i ma charakter nieinflacyjny. ZKL jest również dostępny w sieci zkLink Nova.
ZKL służy jako natywny token narzędziowy i token zarządzający protokołu zkLink.
Po stronie użyteczności ZKL pomaga programistom odblokować dostęp do usług infrastruktury zbiorczego aplikacji ZkLink X i płacić za zasoby obliczeniowe odporne na wiedzę zerową.
ZKL to token zarządzający zkLink DAO, który zarządza rozwojem protokołu. W przyszłości ZKL przyzna zkLink Nova prawo do uczestnictwa w zdecentralizowanej sieci sekwencjonowania Nova.
5.1 Płatność
Pakiety zbiorcze aplikacji dostarczane jako zkLink DAO początkowo przekazuje startupom określoną kwotę ZKL na pokrycie kosztów licencji. W zamian App Rollup podzieli się częścią swoich przyszłych przychodów lub tokenów z DAO.
ZKL jest tokenem płatniczym za usługę generowania dowodu z wiedzą zerową świadczoną przez udowadniającego. Prowadzący zdobywają tokeny ZKL, licytując na rynku aukcji próbnych ZkLink i wykonując zadania sprawdzające. Proverzy muszą postawić określoną kwotę ZKL, aby wziąć udział w rynku proofów. Dowodzący, którzy nie wykonają zadania lub przekroczą wymagany czas, będą karani. Ten dynamiczny mechanizm promuje konkurencję i motywuje weryfikatorów do ciągłego ulepszania swoich usług i wnoszenia wkładu w cały ekosystem zkLink.
5.2 Zarządzanie
ZKL jest tokenem zarządzającym protokołu zkLink. Posiadacze mogą zarabiać veZKL, stawiając ZKL w zależności od kwoty stawki i pozostałego okresu blokady. Posiadacze veZKL mogą sprawować władzę nad kierowaniem i rozwojem zkLink DAO.
Obecnie przychody zkLink Nova pochodzą bezpośrednio ze scentralizowanego sekwencera i są zapisywane w skarbcu zkLink DAO. W przyszłości ZKL przyzna Ci prawo do uczestnictwa w zdecentralizowanej sieci sekwencjonowania zkLink Nova.
5.3 Opcjonalne tokeny gazowe w sieci zkLink Nova
Natywnym tokenem gazowym zkLink Nova jest ETH. Użytkownicy, dokonując transakcji na Nova, mają jednak możliwość płacenia za gaz w ZKL po obniżonej cenie.
6. Wniosek
W tym oficjalnym dokumencie przedstawiono projekt koncepcyjny i architekturę systemu protokołu zkLink, zdecentralizowanego, zintegrowanego protokołu infrastruktury typu roll-up, opartego na technologii wiedzy zerowej. zkLink rozwiązuje problemy fragmentacji płynności, braku interoperacyjności, wysokich kosztów transakcji i złożoności wdrożeń wielołańcuchowych poprzez nową, ujednoliconą platformę zbiorczą, która wykorzystuje technologię zk-SNARKs z możliwością synchronizacji stanu wielu łańcuchów.
ZkLink Nova, zbudowana w oparciu o infrastrukturę zbiorczego zestawienia zkLink, jest pierwszą w branży zagregowaną siecią zbiorczą warstwy 3 zkEVM dla aplikacji dApp ogólnego przeznaczenia, umożliwiając programistom i użytkownikom agregację płynności w całym ekosystemie Ethereum, w tym Ethereum, ZK Rollup i Optimistic Rollup Zapewnij dostęp do .
W przypadku niestandardowych aplikacji o wysokiej wydajności, które wymagają własnej suwerenności, zkLink Architektura modułowa umożliwia programistom dostosowywanie kluczowych komponentów do różnych potrzeb różnych przypadków użycia. TS-zkVM zapewnia wysoce wydajne środowisko wykonawcze, zaprojektowane specjalnie dla wydajnych i tanich produktów finansowych, takich jak CLOB DEX, handel NFT itp., przyczyniając się do masowego przyjęcia przyjaznych dla użytkownika produktów DeFi z możliwością samodzielnego depozytu.
Słowniczek
ZKP: Dowód wiedzy zerowej
L1: Blockchain warstwy 1, taki jak Ethereum, Solana, Avalanche, łańcuch BNB itp.
L2: Sieć zbiorcza Ethereum Layer 2 (np. zkSync, Starknet, Arbitrum, Optimism itp.)
L3: Sieć zbiorcza zbudowana na L2.
TS-zkVM: Środowisko wykonawcze specyficzne dla handlu, oparte na niestandardowym, niskopoziomowym obwodzie rdzenia ZK opracowanym przez ZkLink i obwodzie rozszerzającym ZkVM typu open source.
zkLink Nexus: wielowarstwowa architektura zbiorcza warstwy 3 ZK zaproponowana przez zkLink, która łączy Ethereum L2.
zkLink Origin: wielołańcuchowa architektura ZK-Rollup zaproponowana przez zkLink, która łączy różne warstwy L1 i L2.
ZkLink App Rollup: Specjalna dla aplikacji sieć rollup oparta na rozwiązaniu infrastruktury rollup dostarczanym przez zkLink, wdrażana przez programistów, którzy wymagają dużej przepustowości i niskich kosztów transakcji, takich jak wymiana zamówień.
materiał referencyjny