Po dlouhou dobu byla technologie zero-knowledge proof považována za technologii "perfektní v teorii, pomalá v praxi" kvůli své vysoké výpočetní režii a pomalé rychlosti v procesu generování, což ztěžuje splnění přísných požadavků na dobu generování blockchainových bloků a brání jejímu použití v praktických scénářích. V roce 2025 se však tato situace zcela obrátí a výkon ZK již nebude zásadní překážkou jeho přijetí. Mezníkovým průlomem je SP1 Hypercube proof system vyvinutý týmem Succinct. Úspěšně prokázala schopnost generovat důkazy ZK pro více než 93 % bloků mainnetu Ethereum v rámci 12sekundového blokového slotu (Slot) na clusteru GPU spotřebitelské třídy, s průměrnou dobou důkazu pouhých 10,3 sekundy. Důvod, proč Succint SP1 Hypercube udělal tak významný technologický pokrok, lze jednoduše chápat jako následující dvě vylepšení: 🔹 Proces generování důkazů ZK zahrnuje kódování dat blockchainových transakcí do matematického polynomu, který pomáhá vytvořit konečný důkaz. Představte si to jako nacpání velké hromady přeplněných zavazadel do krabice. Polynomy používané v minulosti se nazývaly jednorozměrné polynomy, které neodpovídaly struktuře blockchainových dat, stejně jako při plnění čtvercových předmětů kulatým rámečkem, vždy se vyskytovaly mezery nebo stlačení, což mělo za následek časově náročnou a neefektivní přípravu kódu. SP1 Hypercube vynalézá nové polylineární polynomy, které jsou více v souladu s multidimenzionální povahou transakčních dat, což je ekvivalentní návrhu obdélníkového boxu, který může dokonale vyplnit zavazadla. To výrazně zkracuje dobu přípravy kódování dat, zrychluje generování důkazů z minut na sekundy a realizuje v reálném čase. 🔹 Ukazuje se, že generace je jako jeden člověk, který ručně balí, a celý proces probíhá krok za krokem a nelze jej rozdělit. SP1 Hypercube nyní používá nové algoritmy (včetně rekurzivních agregačních a optimalizačních protokolů), které umožňují rozdělit velké důkazy do několika malých úloh důkazů, z nichž každá je zpracována nezávisle a poté snadno sloučena do kompletního důkazu. Výhodou rozdělení je, že může plně využít vícejádrové paralelní výpočty CPU nebo GPU, stejně jako více lidí balících kufry současně, což má za následek nárůst celkové rychlosti, která může dohnat kadenci Etherea jednoho bloku každých 12 sekund pro důkazy v reálném čase.

1/ 📖 Byla spuštěna výzkumná zpráva Web3Caff: "Ekosystém Ethereum 2025 a budoucí osud Výzkumná zpráva o 25 000 slovech: Může v koncovce ZK pokračovat vnitřní hluboká změna a vést v proudu historie?" 》 Systém, který napsal @Web3Caff_Res výzkumný pracovník @ChromiteMerge, analyzuje technologické inovace, ekologickou restrukturalizaci a změnu řízení Etherea v roce 2025: od revitalizace L1 a ZKIZATION až po transformaci L2 a strategickou evoluci základů, přičemž v panoramatickém pohledu představuje klíčové inflexní body Etherea. Přečtěte si více 👇

V tradičních virtuálních počítačích se konsensus opírá o to, že "všechny uzly opakovaně provádějí každou transakci", takže propustnost celé sítě je omezena nejpomalejším uzlem a výpočetní výkon je plýtván na spoustu přepočtů. V zkVM je proces rozdělen na "provedení + důkaz + ověření": programy a vstupy stačí v zkVM spustit pouze jednou, aby se vygenerovaly výsledky a důkaz s nulovou znalostí; Ostatní uzly nemusí provádět dvojitý výpočet, stačí ověřit tento důkaz. Tímto způsobem se výrazně snižuje výpočetní zátěž. Jako příklad si vezměme zkVM (R0VM) z RISC Zero: 🔹 Jako jádro používá instrukční sadu RISC-V a vývojářům stačí psát hostované programy v Rust / C / C++ a kompilovat je do souborů RISC-V ELF. 🔹 Každý soubor ELF odpovídá jedinečnému ID obrázku, aby bylo zajištěno, že "tento kód bude proveden"; 🔹 Výsledek provedení vygeneruje účtenku, která obsahuje: Časopis: Veřejně dostupné výstupy nebo přislíbené výsledky; Těsnění: Krátký důkaz ZK, který lze ověřit v řetězci nebo mimo něj. V konečném důsledku musí uzly v síti pouze ověřit tuto účtenku, aniž by musely znovu provádět všechny výpočty. Výsledkem je, že náklady na "konzistenci v rámci celé sítě" dramaticky klesají od opakovaného provádění až po ověřování krátkých důkazů.