Co je Zero Knowledge VM (zkVM)?

Zero Knowledge VM (zkVM) je virtuální stroj, který spustí kód a vygeneruje důkaz, že běh proběhl správně, aniž by odhalil vstupy. Představte si ho jako rozhodčího, který potvrdí skóre a zároveň nechá herní plán v tajnosti. Stejné výsledky, méně odhalených detailů.

Mýtus

„zkVM dělá všechno anonymním.“ Není to úplně pravda. Dokazuje správné provedení. Co zůstane soukromé, si volí aplikace, stroj to nenutí.

Jak Zero Knowledge VM (zkVM) funguje

Představte si program, který běží mimo řetězec a pak na řetězec odešle malý matematický doklad, který říká „bylo to provedeno správně“. Krátké shrnutí níže.

Krok 1: Vývojář napíše nebo zkompiluje kód, který poběží uvnitř zkVM.
Krok 2: Program běží mimo řetězec a vytvoří důkaz, například že obchod byl správně oceněn, aniž by se ukázaly vstupy obchodníka.
Krok 3: Tento důkaz spolu s minimálními daty se pošle ověřovateli na řetězec.
Krok 4: Ověřovatel důkaz rychle ověří a zaznamená ano nebo ne.
Krok 5: Ostatní smlouvy a uživatelé důvěřují výsledku, aniž by znovu prováděli náročný výpočet.

Pod povrchem se spoléhá na důkazy s nulovou znalostí, které potvrzují běh. Ano, matematika jako svědek.

Proč má Zero Knowledge VM (zkVM) význam

Záleží na tom, protože to mění model nákladů. Velké výpočty mimo řetězec, malé kontroly na řetězci.

Výhoda: Rychlost a poplatky se zlepší, protože ověření je levné a náročná práce probíhá jinde.
Pohled: Můžete uchovat citlivá data skrytá a zároveň poskytnout transparentnost výsledku.
Uplatnění: Očekávejte jej v DeFi, hrách, identitě a dalších oblastech, kde má význam jak soukromí, tak ověřitelná matematika.

Tip

Při porovnávání zkVM se nejdříve zeptejte na dvě věci: jaké jazyky podporují a jak rychle ověřovatel běží na cílovém řetězci.

Klíčové vlastnosti Zero Knowledge VM (zkVM)

Zde jsou vlastnosti, které lidé skutečně kontrolují:

Obecné: Spouští mnoho druhů programů místo jednoúčelového obvodu.
Přenositelné: Důkazy lze ověřit napříč řetězci malým chytrým kontraktem.
Selektivní: Umožňuje aplikacím vybrat, které vstupy zůstanou skryté a které výstupy budou veřejné.
Efektivní: Ověření důkazu je rychlé, i když byl původní běh náročný.
Kombinovatelné: Důkazy lze seskupovat nebo vnořovat, takže systémy lépe škálují s menším rušením.

Varianty

Ne všechny zkVM vypadají stejně. Běžné varianty, které uvidíte:

EVM: Cílí na spouštění logiky ve stylu Solidity a prokazování její správnosti, vhodné pro přímé znovupoužití aplikací.
LLVM: Kompiluje z obecných jazyků jako Rust nebo C do prověřitelné podoby.
Rollup: Používá se v rámci validity rollupů, kde se důkazy zveřejňují na základním řetězci.
Sovereign: Ověřuje na vlastním řetězci a zároveň přemosťuje důkazy ven.

Připomínka

Ověření je levné, ale generování důkazu může být náročné a zabrat čas. O tom právě jde.

Příklad

Aplikace pro půjčky nacení zajištění uvnitř zkVM a poté na řetězec zveřejní pouze důkaz, takže likvidace proběhnou spravedlivě, aniž by se odhalila data dlužníka.

Zajímavost

Základní myšlenka sahá k výzkumu z 80. let, kdy kryptografové ukázali, že lze prokázat, že znáte tajemství, aniž byste jej prozradili. Crypto Twitter tomu dal styl.

Shrnutí

Jednou větou, Zero Knowledge VM (zkVM) je počítač pro dokazování, který umožňuje řetězcům rychle ověřit práci a zároveň drží citlivé vstupy mimo dohled.

Zero Knowledge VM (zkVM)