➥ GPU vrstva pro blockchainy - koprocesory ZK Blockchainy přesouvají hodnotu, ne výpočty. Když kontrakty spouštějí složitou logiku nebo datové dotazy, narazí na plynovou zeď. Koprocesory ZK to napravují. Fungují jako vrstva GPU pro blockchainy, provádějí se mimo řetězec a prokazují výsledky v řetězci. Dovolte mi vysvětlit ve 30. letech 🧵 — — — ► Co jsou koprocesory ZK? Koprocesory ZK jsou off-chain výpočetní vrstvy, které umožňují chytrým kontraktům zpracovávat složitou logiku bez problémů s vysokým plynem nebo důvěrou. Spouštějí úkoly mimo řetězec, generují důkazy s nulovými znalostmi a nechávají je řetězec levně ověřit. Stručně řečeno, škálují výpočty a přitom zůstávají ověřitelné. Základní vlastnosti: ➤ Provádění mimo řetězec: Spouští velké pracovní zátěže, jako jsou datové dotazy nebo odvozování AI. ➤ Důkaz správnosti: Každý výsledek obsahuje důkaz ZK ověřený v řetězci. ➤ Bezstavové a nezávislé na řetězci: Funguje napříč L1, L2 a kumulativními aktualizacemi. ➤ Nákladově efektivní: Snižuje plyn a latenci. — ► Kam se hodí koprocesory ZK Koprocesory ZK nejsou rollupy ani orákula; Doplňují je. Jsou umístěny vedle blockchainů jako výpočetní vrstva, která ověřuje práci bez přidávání přetížení. V čem se liší: ➤ Souhrny: Škálujte transakce a udržujte stav. Koprocesory škálují výpočty a zůstávají bezstavové. ➤ Věštby: Poskytujte data bez důkazu. Koprocesory vracejí data s důkazy. ➤ T-kusy: Spolehněte se na důvěryhodný hardware. Koprocesory se ověřují pomocí matematiky, ne strojů. Společně rozšiřují modulární zásobník, rollupy přesouvají data, orákula je načítají, koprocesory to dokazují. — ► Jak fungují koprocesory ZK Pracovní postup: Inteligentní smlouva → koprocesoru ZK → Generování důkazů → ověření v řetězci Krok za krokem: ➤ Chytrý kontrakt: Odešle požadavek na náročný úkol, jako je načtení dat nebo spuštění modelu AI. ➤ Koprocesor ZK: Provádí výpočet mimo řetězec, aby se zabránilo plynu a latenci. ➤ Generování důkazu: Vytvoří důkaz ZK, že výpočet byl správný. ➤ Ověření v řetězci: Smlouva ověřuje důkaz a aktualizuje výsledky. — ► Přední projekty koprocesorů ZK ➤ Lagrange ( @LagrangeDev ) Poskytuje koprocesor ZK založený na SQL s výbory lehkých klientů pro rychlé finalizaci cross-chain dotazů. Používají @eigenlayer, @Mantle_Official a @base pro ověřitelnou interoperabilitu. ➤ Prostor a čas ( @SpaceandTimeDB ) Poskytuje koprocesor Proof-of-SQL, který umožňuje ověřitelné dotazy na data v řetězci i mimo něj. Používají jej @chainlink a podnikoví partneři pro škálovatelné analýzy a kanály Oracle. ➤ RISC Zero ( @RiscZero ) Poskytuje RISC-V zkVM s Bonsai testovací službou pro obecné ověřitelné výpočetní prostředky. Používají ho @citrea_xyz a @PhalaNetwork pro důvěryhodné důkazy spuštění. ➤ Brevis ( @brevis_zk ) Poskytuje programovatelný datový koprocesor ZK pro cross-chain dotazy a nedůvěryhodná cross-chain data. Používá @Uniswap háčky V4 a zapalování @LineaBuild. ➤ Gíza ( @Gizatechxyz ) Poskytuje rámec zkML, který převádí modely AI do formy s nulovými znalostmi ověřitelné. Používá se v projektech umělé inteligence založených na @Starknet pro detekci podvodů a správu majetku. ➤ =nula; Nadace ( @nil_foundation ) Poskytuje kompilátor zkLLVM a Proof Market pro převod standardního kódu do prokazatelných obvodů. Používá se pro mosty, rollupy a finanční protokoly pro generování důkazů. ➤ Bez hranic ( @BoundlessXYZ ) Poskytuje programovatelné koprocesory ZK pro přístup k historickému stavu a výpočty napříč řetězci. Používají se v kumulativních nástrojích partnerů pro indexování dat a motivační mechanismy. ➤ Stručné ( @SuccinctLabs ) Poskytuje SP1 zkVM a decentralizovanou síť dokazování platnosti. Používá @Mantle_Official k nahrazení důkazů o podvodech a zkrácení výběrů ze sedmi dnů na šest hodin. ➤ Axiom ( @axiom_xyz ) Poskytuje proving API a OpenVM pro dotazování na historická data @ethereum off-chain a jejich ověřování v chainu. Používá @Scroll_ZKP k dokončení bloků a snížení čekací doby výběru. — ► Rizika a kompromisy ➤ Vysoké náklady na dokazování: Důkazy vyžadují silný hardware a dlouhé výpočty. ➤ Komplexní vývoj: Vyžaduje znalosti kryptografie a specializované nástroje. ➤ Riziko centralizace: Sítě s časným dokazováním závisí na několika uzlech. ➤ Rychlé hardwarové cykly: Hardware se rychle vyvíjí, takže nastavení je nákladné a krátkodobé. — ► Zabalení Koprocesory ZK odstraňují největší překážku blockchainu – výpočty. Mění pomalou, nákladnou logiku na škálovatelnou a ověřitelnou exekuci složitých chytrých kontraktů. S tím, jak se bude zlepšovat hardware a decentralizovat sítě, budou klesat náklady na důkazy a povyšovat výkon. Tvůrci napříč DeFi, rollupy, umělou inteligencí a záměrnými systémy je používají k tomu, aby do modulárních blockchainů přinesli ověřitelné výpočty.

Označil jsem své přátele, kteří přetvářejí vyprávění a povznášejí konverzaci. > @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

— Zřeknutí se odpovědnosti