➥ Warstwa GPU dla blockchainów - ZK Koprocesory Blockchainy przenoszą wartość, a nie obliczenia. Gdy kontrakty wykonują złożoną logikę lub zapytania danych, napotykają na ścianę gazu. ZK Koprocesory to naprawiają. Działają jako warstwa GPU dla blockchainów, wykonując obliczenia poza łańcuchem i udowadniając wyniki w łańcuchu. Pozwól, że wyjaśnię to w 30s 🧵 — — — ► Czym są ZK Koprocesory? ZK Koprocesory to warstwy obliczeniowe poza łańcuchem, które pozwalają inteligentnym kontraktom obsługiwać złożoną logikę bez wysokich kosztów gazu lub problemów z zaufaniem. Wykonują zadania poza łańcuchem, generują dowody zerowej wiedzy i pozwalają łańcuchowi weryfikować je tanio. Krótko mówiąc, skalują obliczenia, pozostając jednocześnie weryfikowalnymi. Główne cechy: ➤ Wykonanie poza łańcuchem: Wykonuje ciężkie obciążenia, takie jak zapytania danych lub wnioskowanie AI. ➤ Dowód poprawności: Każdy wynik zawiera dowód ZK weryfikowany w łańcuchu. ➤ Bezstanowe i niezależne od łańcucha: Działa w różnych L1, L2 i rollupach. ➤ Kosztowo efektywne: Redukuje koszty gazu i opóźnienia. — ► Gdzie pasują ZK Koprocesory ZK Koprocesory nie są rollupami ani oracle'ami; uzupełniają je. Siedzą obok blockchainów jako warstwa obliczeniowa, która weryfikuje pracę bez dodawania zatorów. Jak się różnią: ➤ Rollupy: Skalują transakcje i utrzymują stan. Koprocesory skalują obliczenia i pozostają bezstanowe. ➤ Oracle: Dostarczają dane bez dowodu. Koprocesory zwracają dane z dowodami. ➤ TEE: Polegają na zaufanym sprzęcie. Koprocesory weryfikują przez matematykę, a nie maszyny. Razem rozszerzają modułowy stos, rollupy przenoszą dane, oracle je pobierają, koprocesory je udowadniają. — ► Jak działają ZK Koprocesory Przepływ pracy: Inteligentny kontrakt → ZK Koprocesor → Generowanie dowodu → Weryfikacja w łańcuchu Krok po kroku: ➤ Inteligentny kontrakt: Wysyła żądanie wykonania ciężkiego zadania, takiego jak pobieranie danych lub uruchamianie modelu AI. ➤ ZK Koprocesor: Wykonuje obliczenia poza łańcuchem, aby uniknąć kosztów gazu i opóźnień. ➤ Generowanie dowodu: Tworzy dowód ZK, że obliczenia były poprawne. ➤ Weryfikacja w łańcuchu: Kontrakt weryfikuje dowód i aktualizuje wyniki. — ► Wiodące projekty ZK Koprocesorów ➤ Lagrange ( @LagrangeDev ) Oferuje koprocesor ZK oparty na SQL z komisjami klientów lekkich dla szybkich zapytań międzyłańcuchowych. Używany przez @eigenlayer, @Mantle_Official i @base do weryfikowalnej interoperacyjności. ➤ Space and Time ( @SpaceandTimeDB ) Oferuje koprocesor Proof-of-SQL umożliwiający weryfikowalne zapytania na danych on-chain i off-chain. Używany przez @chainlink i partnerów biznesowych do skalowalnej analityki i zasilania oracle. ➤ RISC Zero ( @RiscZero ) Oferuje zkVM RISC-V z usługą dowodzenia Bonsai dla ogólnego celu weryfikowalnego obliczenia. Używany przez @citrea_xyz i @PhalaNetwork do dowodów zaufanej egzekucji. ➤ Brevis ( @brevis_zk ) Oferuje programowalny koprocesor ZK danych do zapytań międzyłańcuchowych i zaufanych danych międzyłańcuchowych. Używany przez @Uniswap V4 Hooks i @LineaBuild Ignition. ➤ Giza ( @Gizatechxyz ) Oferuje framework zkML, który przekształca modele AI w formę weryfikowalną przez zerową wiedzę. Używany przez projekty AI oparte na @Starknet do wykrywania oszustw i zarządzania aktywami. ➤ =nil; Foundation ( @nil_foundation ) Oferuje kompilator zkLLVM i rynek dowodów do przekształcania standardowego kodu w dowodowe obwody. Używany przez mosty, rollupy i protokoły finansowe do generowania dowodów. ➤ Boundless ( @BoundlessXYZ ) Oferuje programowalne koprocesory ZK do dostępu do stanu historycznego i obliczeń międzyłańcuchowych. Używany przez partnerów rollupów do indeksowania danych i mechanizmów zachęt. ➤ Succinct ( @SuccinctLabs ) Oferuje SP1 zkVM i zdecentralizowaną sieć dowodzącą dla dowodów ważności. Używany przez @Mantle_Official do zastąpienia dowodów oszustwa i skrócenia czasu wypłat z siedmiu dni do sześciu godzin. ➤ Axiom ( @axiom_xyz ) Oferuje API dowodowe i OpenVM do zapytań o historyczne dane @ethereum poza łańcuchem i ich weryfikacji w łańcuchu. Używany przez @Scroll_ZKP do finalizacji bloków i redukcji opóźnienia wypłat. — ► Ryzyka i kompromisy ➤ Wysokie koszty dowodzenia: Dowody wymagają mocnego sprzętu i długich obliczeń. ➤ Złożony rozwój: Wymaga wiedzy z zakresu kryptografii i specjalistycznych narzędzi. ➤ Ryzyko centralizacji: Wczesne sieci dowodzące polegają na kilku węzłach. ➤ Szybkie cykle sprzętowe: Sprzęt szybko się rozwija, co sprawia, że konfiguracje są kosztowne i krótkotrwałe. — ► Podsumowanie ZK Koprocesory usuwają największe wąskie gardło blockchainów — obliczenia. Przekształcają wolną, kosztowną logikę w skalowalne, weryfikowalne wykonanie dla złożonych inteligentnych kontraktów. W miarę jak sprzęt się poprawia, a sieci dowodzące decentralizują, koszty dowodów spadną, a wydajność wzrośnie. Budowniczowie w DeFi, rollupach, AI i systemach intencji korzystają z nich, aby wprowadzić weryfikowalne obliczenia do modułowych blockchainów.

Oznaczyłem moich przyjaciół, którzy przekształcają narrację i podnoszą rozmowę. > @HouseofChimera > @belizardd > @SherifDefi > @0xCheeezzyyyy > @Mars_DeFi > @90s_DeFi > @nlbkaifine > @Nick_Researcher > @YashasEdu > @thelearningpill > @cryptorinweb3 > @satyaXBT > @kenodnb > @Tanaka_L2 > @TimHaldorsson > @satyaXBT > @Haylesdefi > @Hercules_Defi > @DeRonin_ > @0xAndrewMoh > @0xDefiLeo > @Defi_Warhol > @CryptMoose_ > @TheDeFiPlug > @arndxt_xo > @CryptoShiro_ > @the_smart_ape

— Disclaimer