<Proč ZK selhal a co chce Succinct změnit?> 1. Povědomí o problému Tvůrce Bitcoinu Satoshi Nakamoto vyjádřil skepsi ohledně důkazů s nulovou znalostí (ZKP). "Abyste dokázali, že něco neexistuje, musíte znát celou transakci," řekl a usoudil, že aplikace ZKP na blockchainy je strukturálně obtížná. Řekl však také: "Pokud najdeme řešení, bude možné implementovat Bitcoin mnohem lépe, snadněji a pohodlněji." Jinými slovy, i když si uvědomovali technická omezení ZK, uznali, že pokud by se řešila, mohla by být zásadním bodem obratu ve vývoji blockchainu. Nyní, o několik let později, cypherpunková komunita a výzkumníci ZK konečně našli řešení. Zcash byl první, kdo aplikoval ZKP na kryptoměny v reálném světě, a projekty jako StarkWare, zkSync a Scroll od té doby 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 spoléhá na konkrétní poskytovatele důkazů namísto provozování vlastní infrastruktury ZKP. V důsledku toho zůstaly ZKP spíše složitým nástrojem, který dokázal ovládat 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. Klíčem je proměnit ZKP v infrastrukturu, kterou mohou snadno používat všichni vývojáři a pomoci komukoli vytvořit "systém bez důvěry" bez potřeby složitých obvodů nebo infrastruktury. Succinct je infrastruktura, která transformuje ideál "nedůvěryhodného" systému, který blockchain sleduje, do reality, kterou lze skutečně realizovat. Slovo "nedůvěryhodný" neznamená "nedůvěryhodný", ale odkazuje na strukturu, která funguje sama o sobě bez předpokladu důvěry, tj. systému, který lze matematicky ověřit, aniž by byla potřeba třetí strana nebo centrální autorita. Současný blockchainový ekosystém však stále do značné míry spoléhá na důvěru. Hacky mostů, vícepodpisové operace a centralizované delegování validátorů jsou důkazem, že systém funguje pouze tehdy, když stále důvěřujeme lidem a organizacím. Pokusem o přímé prolomení tohoto limitu založeného na důvěře je ZKP neboli technologie Zero-Knowledge Proof. Tato technologie, která nám umožňuje matematicky dokázat, že "tento výpočet je správný", aniž bychom museli komukoli věřit, je jednoznačně klíčovým základem decentralizovaných systémů. Problém byl v tom, že ZKP byly příliš složité a těžké na to, aby se daly skutečně napsat. 3. Proč se ZKP cítili obtížně? Technologie ZKP byla tak vysoká, jak vysoký byl její potenciál. Vytvoření zkEVM vyžadovalo zejména profesionální tým, roky vývoje a nákladnou infrastrukturu. Většina projektů zk musela navrhnout své vlastní obvody, vytvořit vyhrazené zkVMs a dokonce provozovat hardware sama. Teprve poté, co prošli všemi těmito procesy, mohli se nazývat "ZK rollupy". Tradiční zkVMs pro obecné účely byly navíc při generování důkazů vysoce neefektivní. Za normálních okolností vyžadovalo prokázání bloku shluk desítek vysoce výkonných strojů a náklady dosáhly 10 ~ 20 USD za blok. Kvůli této vysoké technické zátěži a provozním nákladům mnoho projektů upustilo od zavedení ZKP nebo se rozhodlo pro struktury, které se spoléhají na některé centralizované poskytovatele důkazů. ...