Autor oryginalny: Zeke, badacz YBB Capital
TLDR
Koprocesor ZK (ZK Coprocessor) można uznać za wtyczkę obliczeniową typu off-chain wywodzącą się z koncepcji modułowej. Jego funkcja jest podobna do procesora graficznego w naszych tradycyjnych komputerach, który dzieli zadania obliczeniowe grafiki z procesorem, czyli dzieli przetwarzanie w określonych scenariuszach procesor zadań;
Można go używać do przetwarzania złożonych obliczeń i dużych ilości danych, zmniejszania opłat za gaz i rozszerzania funkcji inteligentnych kontraktów;
Różnica w porównaniu z Rollupem: koprocesor ZK jest bezstanowy, może być używany w różnych łańcuchach i nadaje się do złożonych scenariuszy obliczeniowych;
Koprocesor ZK jest trudny w opracowaniu, ma wysoki narzut związany z wydajnością i brakuje mu standaryzacji. Sprzęt wymaga dużych nakładów finansowych. Choć utwór jest znacznie bardziej dojrzały niż rok temu, to wciąż znajduje się w początkowej fazie;
Po tym, jak infrastruktura wkroczyła w modułową erę ekspansji fraktalnej, blockchain popadł w różne problemy, takie jak brak płynności, rozproszenie użytkowników, brak innowacji i interoperacyjność między łańcuchami, i utworzył paradoks z L1 ekspansji pionowej. Koprocesor ZK może być w stanie zapewnić im dobre wsparcie w przyszłości, umożliwiając im wyjście z kłopotów, zapewniając wsparcie wydajności dla starych aplikacji oraz nowych i ważnych aplikacji, a także wnosząc więcej świeżych narracji.
1. Kolejna gałąź infrastruktury modułowej, koprocesor ZK
1.1 Przegląd koprocesora ZK
Koprocesor ZK (ZK Coprocessor) można uznać za wtyczkę obliczeniową typu off-chain wywodzącą się z koncepcji modułowej. Jego funkcja jest podobna do procesora graficznego w naszych tradycyjnych komputerach, który dzieli zadania obliczeniowe grafiki z procesorem, czyli dzieli przetwarzanie w określonych scenariuszach Procesor zadania. W ramach tego projektu zadania „dużej ilości danych” i „złożonej logiki obliczeniowej”, w których łańcuch publiczny nie jest dobry, można obliczyć za pomocą koprocesora ZK. Łańcuch musi jedynie otrzymać zwrócone wyniki obliczeń, a jego poprawność jest gwarantowana przez ZK Wreszcie realizowane są wiarygodne obliczenia poza łańcuchem dla złożonych zadań.
Obecnie popularne aplikacje, takie jak AI, SocialFi, DEX i GameFi, pilnie potrzebują wysokiej wydajności i kontroli kosztów. W tradycyjnych rozwiązaniach te „ciężkie aplikacje”, które wymagają wysokiej wydajności, często wybierają formę zasobów w łańcuchu + poza łańcuchem. aplikacji lub Zaprojektuj łańcuch aplikacji oddzielnie dla aplikacji. Jednak oba mają pewne nieodłączne problemy, na przykład pierwszy ma czarną skrzynkę, a drugi ma problemy, takie jak wysokie koszty rozwoju, oddzielenie od pierwotnej ekologii łańcucha i fragmentacja płynności. Ponadto maszyna wirtualna łańcucha głównego ma również duże ograniczenia w tworzeniu i działaniu takich aplikacji (takie jak brak standardów warstwy aplikacji i złożone języki programowania).
Istnienie koprocesora ZK ma rozwiązać takie problemy. Aby dać bardziej szczegółowy przykład, możemy potraktować blockchain jako terminal, którego nie można podłączyć do Internetu (telefon komórkowy, komputer itp.) W tym przypadku możemy uruchomić niektóre prostsze aplikacje, takie jak Uniswap i inne aplikacje DeFi, mogą działać całkowicie w łańcuchu. Ale kiedy pojawią się bardziej złożone aplikacje, takie jak uruchamianie aplikacji takiej jak ChatGPT, wydajność i pamięć łańcucha publicznego będą całkowicie niewystarczające, a Gas eksploduje. W przypadku Web2 to samo dzieje się, gdy uruchamiamy ChatGPT. Wspólne terminale same w sobie nie są w stanie obsłużyć dużych modeli językowych, takich jak GPT-4. Musimy zgłosić problem do serwera OpenAI przez Internet, po tym jak serwer obliczy wnioski wyniki, my otrzymasz odpowiedź bezpośrednio. Koprocesor ZK jest podobny do zdalnego serwera łańcucha bloków. Jednak w przypadku różnych typów projektów projekty różnych koprocesorów mogą wykazywać niewielkie odchylenia, ale podstawowa logika nie będzie się zbytnio różnić. Wszystkie są weryfikowane poza łańcuchem kalkulacja + dowód ZK lub dowód magazynowy. Biorąc za przykład wdrożenie Bonsai w Rise Zero, możemy zrozumieć, że logika tej architektury jest bardzo prosta. Projekt jest płynnie zintegrowany z własną maszyną zkVM Rise Zero. Programiści potrzebują tylko dwóch prostych kroków, aby użyć Bonsai jako kroku koprocesora.
Napisz aplikację ZkVM do obsługi logiki aplikacji;
Napisz umowę Solidity, która poprosi Bonsai o uruchomienie aplikacji ZkVM i przetworzenie wyników.
Jaka jest różnica między wersją 1.2 a pakietem zbiorczym?
W powyższej definicji odkryjemy, że Rollup wydaje się w dużym stopniu pokrywać się z koprocesorem ZK, niezależnie od logiki jego implementacji i celów. Ale w rzeczywistości Rollup bardziej przypomina wielordzeniową wersję głównego łańcucha. Konkretne różnice między nimi są następujące:
1. Główny cel:
Rollup: Popraw przepustowość transakcji blockchain i obniż opłaty transakcyjne.
Koprocesor ZK: Zwiększa moc obliczeniową inteligentnych kontraktów, umożliwiając im przetwarzanie bardziej złożonej logiki i większych ilości danych.
2. Zasada działania:
Rollup: Podsumuj transakcje w łańcuchu i przenieś je do głównego łańcucha poprzez zabezpieczenie przed oszustwami lub dowód ZK.
Koprocesor ZK: podobny do ZK Rollup, z tą różnicą, że scenariusze zastosowań tych dwóch są różne. ZK Rollup jest ograniczony kształtem i zasadami łańcucha i nie nadaje się do pracy koprocesora ZK.
3. Zarządzanie statusem:
Rollup: Należy utrzymywać własny stan i regularnie synchronizować się z głównym łańcuchem.
Koprocesor ZK: nie utrzymuje stanu trwałego, a każde obliczenie jest bezstanowe.
4. Scenariusze zastosowań:
Rollup: głównie dla strony C, odpowiedni do handlu o wysokiej częstotliwości.
Koprocesor ZK: głównie dla strony B, odpowiedni do scenariuszy wymagających skomplikowanych obliczeń, takich jak zaawansowane modele finansowe, analizy Big Data itp.
5. Związek z głównym łańcuchem:
Rollup: można postrzegać jako przedłużenie głównego łańcucha, zwykle skupiające się na konkretnej sieci blockchain.
Koprocesor ZK: może świadczyć usługi dla wielu łańcuchów bloków i nie jest ograniczony do określonego łańcucha głównego, więc może również świadczyć usługi dla Rollup.
Dlatego te dwa rozwiązania nie wykluczają się wzajemnie, a nawet uzupełniają. Nawet jeśli pakiet zbiorczy istnieje w postaci łańcucha aplikacji, koprocesor ZK może nadal świadczyć usługi.
1.3 Przypadki użycia
Teoretycznie koprocesor ZK ma bardzo szeroki zakres zastosowań i w zasadzie może obejmować projekty w różnych ścieżkach blockchain. Istnienie koprocesora ZK może przybliżyć funkcję Dapp do funkcji scentralizowanej aplikacji Web2. Poniżej przedstawiono kilka demonstracyjnych przypadków użycia zebranych z Internetu:
Rozwój DApp oparty na danych
Koprocesor ZK umożliwia programistom tworzenie aplikacji DApp opartych na danych, które wykorzystują dane historyczne z całego łańcucha i wykonują złożone obliczenia bez dodatkowych założeń dotyczących zaufania. Daje to niespotykane dotąd możliwości rozwoju DApp, takie jak:
Zaawansowana analiza danych: Funkcje analizy danych w łańcuchu podobne do Dune Analytics.
Złożona logika biznesowa: wdrażaj złożone algorytmy i logikę biznesową w tradycyjnych, scentralizowanych aplikacjach.
Aplikacje międzyłańcuchowe: Twórz międzyłańcuchowe aplikacje DApp w oparciu o dane wielołańcuchowe.
Program VIP Trader DEX
Typowym scenariuszem zastosowania jest wdrożenie programu rabatów opłat w oparciu o wolumen transakcji na zdecentralizowanej giełdzie (DEX), czyli „Programu Lojalnościowego VIP Trader”. Ten typ schematu jest powszechny na giełdach scentralizowanych (CEX), ale rzadko w DEX.
Wykorzystując koprocesor ZK, DEX może:
Śledź historyczny wolumen transakcji użytkowników
Oblicz poziom VIP użytkownika
Dynamicznie dostosowuj opłaty transakcyjne w zależności od poziomu
Ta funkcja może pomóc DEX poprawić retencję użytkowników, zwiększyć płynność i ostatecznie zwiększyć przychody.
Ulepszanie danych dla inteligentnych kontraktów
Koprocesor ZK może służyć jako potężne oprogramowanie pośredniczące do świadczenia usług przechwytywania, obliczania i weryfikacji danych dla inteligentnych kontraktów, redukując w ten sposób koszty i poprawiając wydajność. Dzięki temu inteligentne kontrakty mogą:
Dostęp i przetwarzanie dużych ilości danych historycznych
Wykonuj złożone obliczenia poza łańcuchem
Implementuj bardziej zaawansowaną logikę biznesową
Technologia mostów krzyżowo-łańcuchowych
Niektóre technologie mostów międzyłańcuchowych oparte na ZK, takie jak Herodotus i Lagrange, można również uznać za zastosowanie koprocesora ZK. Technologie te skupiają się głównie na ekstrakcji i weryfikacji danych, zapewniając wiarygodną bazę danych dla komunikacji między łańcuchami.
Koprocesor 1.4 ZK nie jest doskonały
Chociaż wymieniliśmy wiele zalet, obecny stan koprocesora ZK nie jest doskonały i nadal musi stawić czoła wielu problemom. Osobiście podsumowałem następujące punkty:
1. Rozwój: Koncepcja ZK jest trudna do zrozumienia dla wielu programistów. Rozwój wymaga również odpowiedniej wiedzy w zakresie kryptografii oraz znajomości określonych języków i narzędzi programistycznych;
2. Koszty sprzętu są wysokie: sprzęt ZK używany do obliczeń poza łańcuchem musi zostać w całości pokryty przez sam projekt. Sprzęt ZK jest drogi i wciąż podlega szybkiemu rozwojowi i iteracjom, a sprzęt prawdopodobnie zostanie w każdej chwili wyeliminowany. Warto rozważyć, czy może to utworzyć zamkniętą pętlę w logice biznesowej;
3. Tor jest zatłoczony: w rzeczywistości nie będzie dużej różnicy w technicznym wykonaniu. Ostatecznie prawdopodobnie będzie podobny do obecnego wzorca warstwy 2. Istnieje kilka wyjątkowych projektów, ale większość z nich jest ignorowana;
Obwód 4.zk: Wykonywanie obliczeń poza łańcuchem w koprocesorze zk wymaga konwersji tradycyjnych programów komputerowych na obwody zk. Pisanie niestandardowych obwodów dla każdej aplikacji jest bardzo skomplikowane, a używanie zkvm do zapisywania obwodów w maszynach wirtualnych powoduje powstawanie różnych modeli obliczeniowych .
2. Kluczowe elementy układanki prowadzące do zastosowania na dużą skalę
(Ten rozdział jest wysoce subiektywny i przedstawia wyłącznie osobiste poglądy autora)
W cyklu tym dominuje infrastruktura modułowa. Jeśli ścieżka modularyzacji będzie słuszna, to cykl ten może być ostatnim krokiem w kierunku zastosowania na dużą skalę. Jednak na obecnym etapie wszyscy mamy wspólne przeczucie, dlaczego widzimy tylko niektóre stare wina z nowymi zastosowaniami. Dlaczego jest o wiele więcej sieci niż aplikacji. Dlaczego nowe standardy tokenów, takie jak napisy, można nazwać największą innowacją? okrągły?
Powodem tak braku świeżych narracji jest to, że obecna infrastruktura modułowa nie jest wystarczająca do obsługi superaplikacji, zwłaszcza brak niektórych warunków wstępnych (interoperacyjność pełnego łańcucha, progi użytkowników itp.), co przyczyniło się do największych rozwój w historii blockchain pod przykrywką separacji. Rollup, jako rdzeń ery modułowej, jest szybki, ale niesie ze sobą także wiele problemów, czyli fragmentacja płynności, rozproszenie użytkowników, łańcuch czy sama maszyna wirtualna, co wielokrotnie podkreślaliśmy powyżej, wciąż ogranicza innowacyjność aplikacji. Z drugiej strony Celestia, kolejny „kluczowy człowiek” modułowości, był pionierem pomysłu, że DA nie musi znajdować się na Ethereum. Pomysł ten jeszcze bardziej pogłębia fragmentację. Niezależnie od tego, czy zaczyna się od ideologii, czy od kosztów DA, rezultat jest taki, że BTC jest zmuszone do DA, a inne sieci publiczne muszą robić bardziej opłacalne DA. Obecna sytuacja jest taka, że jest ich zaledwie jeden, a aż dziesiątki Projekty warstwy 2 w każdym łańcuchu publicznym. Wreszcie, wszystkie strony zajmujące się projektami infrastrukturalnymi i ekologicznymi dokładnie przestudiowały rozgrywkę ze smokiem zabijającym punkty (OpenSea), której pionierem jest Blur (Tieshun), wymagającą od użytkowników zapłacenia tokenów w projekcie. Jest to rodzaj upieczenia trzech pieczeni na jednym ogniu (odsetki, ETH). dla wielorybów Lub wzrost BTC i darmowego tokena), co jeszcze bardziej ogranicza płynność w łańcuchu.
W przeszłości hossa fundusze przepływały jedynie w kilku do kilkunastu publicznych sieciach i można było nawet powiedzieć, że były one skoncentrowane wyłącznie w Ethereum. Jednak dzisiejsze fundusze są rozproszone w setkach publicznych łańcuchów i zadeklarowane w tysiącach takich samych projektów. Nie ma już dobrobytu w łańcuchu, a nawet Ethereum nie prowadzi działalności w łańcuchu. Zatem gracze ze Wschodu prowadzą PvP w ekosystemie BTC, a gracze z Zachodu nie mają innego wyjścia, jak tylko grać PvP w Solanie. Dlatego też tym, co mnie osobiście najbardziej interesuje w tej chwili, jest promowanie agregacji płynności w całym łańcuchu oraz wspieranie narodzin nowych gier i superaplikacji. Na ścieżce interoperacyjności pełnego łańcucha kilka tradycyjnych wiodących projektów faktycznie osiągnęło słabe wyniki. Nadal bardziej przypominają tradycyjne mosty krzyżowo-łańcuchowe. Nowe rozwiązanie interoperacyjne zostało również omówione w naszym poprzednim raporcie badawczym, głównie poprzez agregację wielu łańcuchów w jeden. Obecnie pracujemy nad AggLayer, Superchain, Elastic Chain, JAM itp., O czym nie będziemy tutaj omawiać.
Podsumowując, agregacja całego łańcucha jest przeszkodą, którą należy pokonać w ramach struktury modułowej, ale przeszkoda ta nadal zajmie dużo czasu. Koprocesor ZK jest na obecnym etapie bardziej krytycznym elementem układanki. Oprócz wzmocnienia warstwy 2, może również wzmocnić warstwę 1. Czy możliwe jest tymczasowe uniknięcie w przyszłości dwóch problemów: paradoksu pełnego łańcucha i trójkąta? Najpierw zaimplementuj niektóre bieżące aplikacje w warstwie 1 lub warstwie 2, które mają szeroką płynność? W końcu naprawdę brakuje obecnej narracji dotyczącej aplikacji blockchain. Z drugiej strony, aby osiągnąć dywersyfikację rozgrywki, kontrolę gazu, pojawienie się aplikacji na dużą skalę, a nawet cross-chain, obniżenie progu użytkownika, bardziej idealnym rozwiązaniem będzie integracja rozwiązania koprocesorowego niż poleganie na centralizacji.
3. Przegląd projektu
Ścieżka koprocesorowa ZK pojawiła się zasadniczo około 2023 roku i na obecnym etapie jest stosunkowo dojrzała. Według klasyfikacji Messariego obecne projekty na torze można podzielić na trzy duże pionowe obszary (informatyka ogólna, interoperacyjność i cross-chain, sztuczna inteligencja i szkolenie maszynowe), w których znajduje się 18 projektów. Większość tych projektów jest wspierana przez główne VC. Poniżej wybraliśmy kilka projektów z różnych branż.
3.1 Człowiek
Giza to protokół zkML (uczenie maszynowe o zerowej wiedzy) wdrożony w Starknet i oficjalnie wspierany przez StarkWare, skupiający się na umożliwieniu weryfikowalnego wykorzystania modeli sztucznej inteligencji w inteligentnych kontraktach blockchain. Deweloperzy mogą wdrażać modele AI w sieci Giza, która następnie weryfikuje poprawność rozumowania modelu za pomocą dowodów z wiedzą zerową i udostępnia wyniki do wykorzystania w inteligentnych kontraktach w sposób pozbawiony zaufania. Umożliwia to programistom tworzenie aplikacji on-chain, które wykorzystują możliwości sztucznej inteligencji, przy jednoczesnym zachowaniu decentralizacji i sprawdzalności łańcucha bloków.
Giza kończy przepływ pracy, wykonując następujące trzy kroki:
Konwersja modelu: Giza konwertuje powszechnie używane modele AI w formacie ONNX do formatu, który można uruchomić w systemach odpornych na wiedzę zerową. Umożliwia to programistom uczenie modeli przy użyciu znanych narzędzi, a następnie wdrażanie ich w sieci Giza.
Wnioskowanie poza łańcuchem: gdy inteligentny kontrakt żąda wnioskowania o modelu AI, Giza wykonuje rzeczywiste obliczenia poza łańcuchem. Pozwala to uniknąć wysokich kosztów uruchamiania złożonych modeli sztucznej inteligencji bezpośrednio w łańcuchu bloków.
Weryfikacja wiedzy zerowej: Giza generuje dowód ZK dla każdego wnioskowania o modelu, aby udowodnić, że obliczenia zostały wykonane poprawnie. Dowody te są weryfikowane w łańcuchu, zapewniając poprawność wyników wnioskowania bez konieczności powtarzania całego procesu obliczeń w łańcuchu.
Podejście Gizy umożliwia modelom sztucznej inteligencji służenie jako zaufane źródła danych wejściowych dla inteligentnych kontraktów bez polegania na scentralizowanych wyroczniach lub zaufanych środowiskach wykonawczych. Otwiera to nowe możliwości dla zastosowań blockchain, takich jak zarządzanie aktywami w oparciu o sztuczną inteligencję, wykrywanie oszustw i dynamiczne ustalanie cen. Jest to jeden z niewielu logicznych projektów o zamkniętej pętli w obecnym Web3 x AI, a także stanowi wspaniałe wykorzystanie współprzetwarzania w dziedzinie AI.
3.2 Zerowe ogrzewanie
Risc Zero to projekt koprocesorowy wspierany przez wiele wiodących VC i jest liderem w tej dziedzinie. Projekt koncentruje się na umożliwieniu weryfikowalnego wykonywania dowolnych obliczeń w ramach inteligentnych kontraktów blockchain. Programiści mogą pisać programy w Rust i wdrażać je w sieci RISC Zero, a następnie RISC Zero weryfikuje poprawność wykonania programu za pomocą dowodów z wiedzą zerową i dostarcza wyniki do inteligentnych kontraktów w sposób pozbawiony zaufania. Umożliwia to programistom tworzenie złożonych aplikacji w łańcuchu przy jednoczesnym zachowaniu decentralizacji i sprawdzalności łańcucha bloków.
Powyżej krótko omówiliśmy proces wdrażania i pracy, a tutaj omówimy szczegółowo dwa kluczowe elementy:
Bonsai: Bonsai RISC Zero to komponent koprocesora w projekcie. Jest on płynnie zintegrowany z maszyną zkVM architektury zestawu instrukcji RISC-V, umożliwiając programistom szybką integrację wysokowydajnych dowodów z wiedzą zerową z Ethereum i L1 w ramach platformy. Blockchain, łańcuch aplikacji Cosmos, pakiety zbiorcze L2 i dApps zapewniają bezpośrednie wywołania inteligentnych kontraktów, weryfikowalne obliczenia poza łańcuchem, interoperacyjność między łańcuchami i uniwersalne funkcje zbiorcze, przy jednoczesnym przyjęciu zdecentralizowanego projektu architektury rozproszonej w połączeniu z funkcjami rekurencyjnymi. dowody, niestandardowe kompilatory obwodów, kontynuacja stanu i ciągłe ulepszanie algorytmów dowodów, umożliwiając każdemu generowanie wysokiej jakości dowodów o wiedzy zerowej dla różnych zastosowań.
zKVM: zkVM to weryfikowalny komputer, który działa jak prawdziwy wbudowany mikroprocesor RISC-V. Ta maszyna wirtualna jest oparta na architekturze zestawu instrukcji RISC-V, umożliwiając programistom korzystanie z różnych języków programowania, takich jak Rust, C++, Solidity, Go i innych języków programowania wysokiego poziomu do pisania programów, które mogą generować zero -dowody wiedzy. Obsługuje ponad 70% popularnych skrzynek Rusta. Zapewnia płynną kombinację obliczeń ogólnych i dowodów o wiedzy zerowej i może generować wydajne dowody o wiedzy zerowej dla obliczeń o dowolnej złożoności, zachowując jednocześnie prywatność obliczeń. proces i weryfikowalność wyników zkVM wykorzystuje STARK i SNARK, w tym technologię ZK, która realizuje wydajne generowanie i weryfikację dowodów za pomocą komponentów takich jak Recursion Prover i STARK-to-SNARK Prover, obsługujących tryby wykonywania poza łańcuchem i weryfikacji w łańcuchu.
Risc Zero zintegrował się z wieloma systemami ETH warstwy 2 i zademonstrował wiele przypadków użycia Bonsai, z których bardziej interesujący jest Bonsai Pay. Wersja demonstracyjna wykorzystuje technologię zkVM i Bonsai firmy RISC Zero, aby umożliwić użytkownikom wysyłanie lub wypłacanie ETH i tokenów w Ethereum za pomocą konta Google. Pokazuje, jak RISC Zero może bezproblemowo integrować aplikacje on-chain z OAuth 2.0 (standardem używanym przez głównych dostawców tożsamości, takich jak Google), przykładem użycia integracji, który obniża barierę wejścia dla użytkowników Web3 za pośrednictwem tradycyjnych aplikacji Web2, oprócz przykładów w oparciu o aplikacje takie jak DAO.
3,3 = zero;
=nil; Inwestują w niego znane projekty i instytucje, takie jak Mina, Polychain, Starkware i Blockchain Capital. Warto zauważyć, że wśród nich znajdują się także strony projektu posiadające najnowocześniejsze technologie zk, takie jak Mina i Starkware, co wskazuje, że. techniczne uznanie projektu jest nadal wysokie. =nil; Jest to także projekt wspomniany w naszym raporcie badawczym „Rynek mocy obliczeniowej”. W tamtym czasie skupiał się głównie na Proof Market firmy =nil; (zdecentralizowany rynek generowania dowodów). Projekt miał także podprodukt, zkLLVM.
zkLLVM to innowacyjny kompilator obwodów opracowany przez =nil; Foundation. Potrafi automatycznie konwertować kody aplikacji napisane w głównych językach programistycznych, takich jak C++ i Rust, w wydajne, możliwe do sprawdzenia obwody w Ethereum bez użycia specjalistycznych pól o wiedzy zerowej (. DSL), co znacznie upraszcza proces programowania i obniża próg rozwoju, jednocześnie poprawia wydajność, nie angażując zkVM (maszyna wirtualna o zerowej wiedzy). Obsługuje akcelerację sprzętową w celu przyspieszenia generowania dowodów. Nadaje się do rollupów , mosty międzyłańcuchowe, różne scenariusze zastosowań ZK, takie jak wyrocznie, uczenie maszynowe i gry, i są ściśle zintegrowane z platformą Proof Market firmy =nil; zapewniają programistom kompleksowe wsparcie od tworzenia obwodów po generowanie dowodów.
3.4 Brevis
Ten projekt jest podprojektem Celer Network. Bervis to inteligentny koprocesor o wiedzy zerowej (ZK) dla blockchain, który umożliwia dApps dostęp, obliczanie i wykorzystywanie wielu łańcuchów bloków w sposób całkowicie pozbawiony zaufania. Podobnie jak inne koprocesory, Brevis ma również szeroki zakres zastosowań, takich jak DeFi oparte na danych, zkBridges, pozyskiwanie użytkowników w łańcuchu, zkDID i abstrakcja kont społecznościowych.
Architektura Brevisa składa się głównie z trzech części:
zkFabric: zkFabric to wzmacniacz dla architektury Brevis. Jego głównym zadaniem jest zbieranie i synchronizowanie informacji nagłówków bloków ze wszystkich połączonych łańcuchów bloków i ostatecznie generowanie dowodów konsensusu dla każdego zebranego nagłówka bloku za pośrednictwem obwodu klienta ZK Light.
zkQueryNet: zkQueryNet to otwarty rynek silników zapytań ZK, który może bezpośrednio akceptować zapytania o dane z inteligentnych kontraktów w łańcuchu, a także może generować wyniki zapytań i odpowiadające im certyfikaty zapytań ZK za pośrednictwem obwodu silnika zapytań ZK. Silniki te obejmują zarówno wysoce wyspecjalizowane (takie jak obliczanie wolumenu transakcji na DEX w określonym przedziale czasu), jak i bardzo ogólne abstrakcje indeksów danych i języki zapytań wysokiego poziomu, które odpowiadają różnorodnym potrzebom aplikacji.
zkAggregatorRollup: Działa jako warstwa agregacji i przechowywania dla zkFabric i zkQueryNet. Weryfikuje dowody obu komponentów, przechowuje potwierdzone dane i przypisuje swój stan główny odporny na ZK do wszystkich podłączonych łańcuchów bloków, umożliwiając dApps bezpośredni dostęp do potwierdzonej logiki biznesowej wyników wyszukiwania inteligentnych kontraktów w łańcuchu.
Dzięki tej modułowej architekturze Brevis może zapewnić niezawodny, wydajny i elastyczny dostęp do inteligentnych kontraktów we wszystkich obsługiwanych łańcuchach publicznych. Projekt ten został również zastosowany w wersji V4 UNI i zintegrowany z Hooks w protokole (system, który integruje niestandardową logikę dla różnych użytkowników), aby ułatwić odczyt historycznych danych blockchain, zmniejszyć opłaty za gaz i zapewnić decentralizację właściwości. To jest przykład koprocesora zk sterującego DEX.
3,5 Lagrange’a
Lagrange to interoperacyjny protokół koprocesora ZK prowadzony przez 1kx i Founders Fund. Głównym celem protokołu jest zapewnienie niezawodnej interoperacyjności między łańcuchami i wspieranie innowacyjnych aplikacji wymagających złożonych obliczeń dużych zbiorów danych. W przeciwieństwie do tradycyjnych mostów węzłowych, interoperacyjność międzyłańcuchową Lagrange osiąga się głównie dzięki innowacyjnym mechanizmom ZK Big Data i Komitetu Państwowego.
ZK Big Data: Ten produkt stanowi rdzeń Langrange i jest głównie odpowiedzialny za przetwarzanie i weryfikację danych międzyłańcuchowych oraz generowanie odpowiednich certyfikatów ZK. Komponent ten zawiera wysoce równoległy koprocesor ZK do wykonywania złożonych obliczeń poza łańcuchem i generowania dowodów o wiedzy zerowej. Specjalnie zaprojektowana weryfikowalna baza danych obsługuje nieograniczoną liczbę miejsc w pamięci i bezpośrednie zapytania SQL dla inteligentnych kontraktów. Mechanizm dynamicznej aktualizacji aktualizuje tylko zmienione punkty danych w celu ograniczenia Czas na sprawdzenie i zintegrowana funkcjonalność, która umożliwia programistom dostęp do danych historycznych za pomocą zapytań SQL bezpośrednio z inteligentnych kontraktów bez pisania skomplikowanych obwodów, razem tworzą wielkoskalowy system przetwarzania i weryfikacji danych typu blockchain.
Komitet Państwowy: Ten komponent to zdecentralizowana sieć weryfikacyjna złożona z wielu niezależnych węzłów, każdy węzeł zastawia ETH jako zabezpieczenie. Węzły te służą jako klienci ZK Light i służą do weryfikacji statusu określonych pakietów optymalizacyjnych. State Committee integruje się z AVS firmy EigenLayer, wykorzystuje mechanizm dużego zobowiązania w celu zwiększenia bezpieczeństwa, obsługuje udział nieograniczonej liczby węzłów i osiąga superliniowy wzrost bezpieczeństwa. Zapewnia także „tryb szybki”, który umożliwia użytkownikom wykonywanie operacji między łańcuchami bez czekania na okno wyzwania, co znacznie poprawia komfort użytkownika. Połączenie tych dwóch technologii umożliwia Lagrange wydajne przetwarzanie danych na dużą skalę, wykonywanie skomplikowanych obliczeń oraz bezpieczne przesyłanie i weryfikację wyników pomiędzy różnymi łańcuchami bloków, zapewniając wsparcie dla rozwoju złożonych aplikacji międzyłańcuchowych.
Lagrange jest obecnie zintegrowany z EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer itp., a także będzie połączony w ekosystemie Ethereum jako pierwszy ZK AVS.
Bibliografia
1.ABCDE: Głębokie zanurzenie się w koprocesorze ZK i jego przyszłości: https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
2. „ZK” to wszystko, czego potrzebujesz: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52
3.Risc zero: https://www.risczero.com/bonsai
4. Lagrange: https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis
5.AxiomBlog: https://blog.axiom.xyz/
6. Azot przyspiesza! Jak koprocesor ZK przełamuje bariery danych inteligentnych kontraktów: https://foresightnews.pro/article/detail/48239