<Proč ZK selhal a co se Succinct snaží změnit?> 1. Povědomí o problému Tvůrce Bitcoinu, Satoshi Nakamoto, vyjádřil skepsi ohledně důkazů s nulovou znalostí (ZKP). Uvedl: "Abyste dokázali, že něco neexistuje, musíte znát celou transakci," a uzavřel, že aplikace ZKP na blockchain je strukturálně obtížná. Zmínil však také, že "pokud se najde řešení, bylo by mnohem lepší, jednodušší a pohodlnější implementovat Bitcoin". Jinými slovy, i když uznal technická omezení ZK, uznal, že pokud se vyřeší, mohlo by se jednat o významný bod obratu ve vývoji blockchainu. O několik let později cypherpunková komunita a výzkumníci ZK toto řešení konečně našli. Zcash byl prvním případem, který aplikoval ZKP na skutečnou kryptoměnu, a následné projekty jako StarkWare, zkSync a Scroll vyvinuly tuto technologii jako klíčový prostředek ke zvýšení škálovatelnosti a ověřitelnosti Etherea. V realitě však stále existuje mezera. Vytvoření zkEVM vyžaduje hluboké odborné znalosti, roky vývoje a vysoce výkonný hardware a většina projektů se nakonec spoléhá na konkrétní poskytovatele důkazů namísto provozování vlastní infrastruktury ZKP. V důsledku toho zůstává ZKP spíše komplexním nástrojem, který zvládne jen málokdo, než technologií, kterou může používat každý. 2. Co je stručné? Stručné (@SuccinctLabs) je pokusem o přímé řešení tohoto problému. Jejím hlavním posláním je přeměnit ZKP na infrastrukturu, kterou mohou všichni vývojáři snadno používat a která umožní komukoli vytvořit "systém bez důvěry" bez složitých obvodů nebo infrastruktury. Succinct je infrastruktura, která mění ideál systému "Trustless", který blockchain sleduje, v prakticky implementovatelnou realitu. Nedůvěryhodný neznamená "nedůvěryhodný"; Spíše se jedná o strukturu, která funguje nezávisle, aniž by se spoléhala na důvěru, tj. matematicky ověřitelný systém bez třetích stran nebo centrálních orgánů. Současný blockchainový ekosystém však stále do značné míry spoléhá na důvěru. Hacky mostů, operace s více podpisy a centralizované delegování validátorů, to vše slouží jako důkaz, že pro fungování systému stále potřebujeme důvěřovat lidem nebo organizacím. Pokusem o prolomení těchto omezení založených na důvěře je právě technologie Zero-Knowledge Proof (ZKP). Tato technologie umožňuje matematicky dokázat, že "tento výpočet je správný", aniž by se komukoli věřilo, což z ní činí základní základ pro decentralizované systémy. Problém byl v tom, že ZKP je příliš složitý a těžký pro praktické použití. 3. Proč se ZKP cítilo obtížné? Technologie ZKP má vysoké bariéry stejně jako její potenciál. Vytvoření zkEVM vyžaduje zejména specializovaný tým, roky vývoje a nákladnou infrastrukturu. Většina projektů zk musela navrhnout své vlastní obvody, vytvořit vyhrazené zkVMs a provozovat hardware přímo. Teprve poté, co prošli všemi těmito procesy, mohli tvrdit, že jsou "ZK rollupy". Navíc existující univerzální zkVMs byly velmi neefektivní při generování důkazů. Prokázání jednoho bloku obvykle vyžadovalo shluk desítek vysoce výkonných strojů, které stály 10 až 20 USD za blok. Kvůli této technické zátěži a provozním nákladům mnoho projektů buď zcela upustilo od zavedení ZKP, nebo se rozhodlo spolehnout na některé centralizované poskytovatele důkazů. 4. Succinctův pokus @SuccinctLabs považuje tyto strukturální problémy za "problémy infrastruktury". ZKP je technicky dostatečně výkonný, ale otázkou je, kdo, jak a za jakou cenu jej bude implementovat. Proto Succinct vytváří decentralizovanou síť dokazování, ke které může kdokoli snadno přistupovat, aniž by jednotlivé projekty musely přímo provozovat důkazní infrastrukturu. Vývojáři nemusí nastavovat složité zkVMs ani pořizovat hardware. Když posílají žádosti o důkaz do sítě, různí dokazovači s různým hardwarem nabízejí za jejich zpracování způsobem podobným aukci. Náklady na důkaz se přirozeně snižují v důsledku konkurence a dokazovatelé efektivně generují důkazy pomocí vysoce výkonného zařízení. Výsledkem je, že vývojáři dostávají rychlé a levné důkazy, zatímco celý ekosystém těží z infrastruktury důkazů s vysokou dostupností a odolností vůči cenzuře. Stručnost není jen demonstrací technických možností; Svou roli prokazuje i v oblastech, kde vzniká skutečná poptávka. Reprezentativním příkladem je vznik trendu "CLOBs on Blobs" v ekosystému @celestia. Decentralizované burzy využívající vysoce výkonné metody centrální limitní knihy objednávek (CLOB) se objevují v prostoru blobů společnosti Celestia, což vede k požadavkům na infrastrukturu pro rozsáhlé zpracování dat a rychlé důkazy stavu. Projekty jako Hyperliquid a @hibachi_xyz implementují v řetězci komplexní logiku obchodování s knihou objednávek a zjišťování cen, která vyžaduje škálovatelnost a výkon nad rámec jednoduchých rollupů. Zde je zapotřebí vysoce výkonná vrstva dostupnosti dat společnosti Celestia a decentralizovaná infrastruktura ZK proof, kterou poskytuje společnost Succinct. Ve skutečnosti Celestia zaznamenala rychlý nárůst skutečného využití prostoru blobů a za tím tiše přispívají infrastruktury ZK, jako je Succinct. Pokud Celestia poskytuje "ověřitelné úložiště dat", společnost Succinct je zodpovědná za vytvoření "ověřitelných přechodů stavů" na těchto datech. Tuto kombinaci lze považovat za výchozí bod pro přechod technologie ZKP od abstraktní teorie k reálně fungujícímu systému. 5. ZkEVM, který zvládne každý, SP1 a SP1 Reth Řešením přístupnosti infrastruktury se Succinct také snaží snížit vstupní bariéry samotného zkVM vývojem open-source zkVM s názvem SP1 (Succinct Processor 1). SP1 je univerzální zkVM implementovaný v Rustu, navržený pro přímé použití kohokoli bez složitého návrhu obvodů vyžadovaného stávajícími zkEVM. Jedním z prvních příkladů demonstrujících potenciál SP1 je SP1 Reth. SP1 Reth je zkEVM typu 1 implementovaný s pouhými 2 000 řádky kódu Rust, který lze snadno konfigurovat opětovným použitím komponent ze stávajícího ekosystému klientů Ethereum (Reth, Revm, Alloy atd.). Ještě úžasnější je jeho výkon. Průměrné náklady na důkaz na transakci Ethereum pro SP1 Reth jsou pouze asi $0,01 až $0,02, což je méně než náklady na dostupnost dat běžně vznikající v L2. Důvodem, proč je tento výkon možný, je systém "předkompilace", kterým SP1 disponuje. Zpracovává výpočetně náročné operace, jako jsou hashovací funkce a ověřování podpisů, v předem optimalizované struktuře, což výrazně snižuje zdroje spotřebované zkVM. Až dosud stála implementace zkEVM se zkVM 10 až 20 USD za blok, ale SP1 Reth uspěl ve snížení této hodnoty na jednociferná čísla. SP1 i SP1 Reth jsou plně open-source a jsou k dispozici každému, kdo si může vytvořit fork a vytvořit si vlastní zkEVM nebo přidat předkompilace pro zlepšení výkonu. To představuje úplný převrat ve stávajícím vysoce nákladném a obtížném vývojovém prostředí zk a otevírá éru, kdy se na systémech zk může podílet každý vývojář Rustu. 6. V konečném důsledku je ZK nyní dostupné všem Succinct vyplňuje poslední kousky skládačky potenciálu, dostupnosti a praktičnosti technologie ZKP. Bez složitých obvodů nebo vyhrazeného hardwaru může kdokoli vytvářet aplikace využívající ZKP a důkazy jsou zpracovávány decentralizovanou sítí. Vstupujeme do éry, kdy se všechny rollupy mohou stát ZK rollupy a internet funguje výhradně na pravdě. V počátečním bodě je Stručnost a SP1. Nyní je ZKP technologií pro každého, nejen pro pár vyvolených.