Čo je Zero Knowledge VM (zkVM)?
Zero Knowledge VM je virtuálna inštancia, ktorá spúšťa kód a poskytuje dôkaz, že bežanie bolo správne, bez zverejnenia vstupov. Predstavte si to ako rozhodcu, ktorý potvrdí výsledok, zatiaľ čo tajomstvo hry ostáva skryté. Rovnaké výsledky, menej odhalených detailov.
“ZkVM robí všetko anonymným.” Nie úplne. Dokazuje správne vykonanie. To, čo zostane súkromné, vyberá samotná aplikácia, nie je to vynútené strojom.
Ako funguje Zero Knowledge VM (zkVM)
Predstavte si program, ktorý beží off chain, a potom pošle na chain malý matematický doklad, ktorý hovorí „toto bolo spravené správne.“ Rýchly prehľad nižšie.
- Krok 1: Vývojár napíše alebo skompiluje kód na spustenie v rámci zkVM.
- Krok 2: Program beží off chain a vygeneruje dôkaz, napríklad že obchod bol ohodnotený správne bez zobrazenia vstupov obchodníka.
- Krok 3: Tento dôkaz spolu s minimálnymi údajmi sa pošle na overovateľa na chain.
- Krok 4: Overovateľ rýchlo skontroluje dôkaz a zapíše áno alebo nie.
- Krok 5: Iné zmluvy a používatelia dôverujú výsledku bez opätovného vykonávania náročného výpočtu.
Pod kapotou to spoľah na dôkazy s nulovým poznaním na svedectvo priebehu. Áno, matematika ako svedok.
Prečo Zero Knowledge VM (zkVM) je dôležitá
Zaujíma vás to, pretože to mení model nákladov. Veľký výpočet off chain, minimálne overovania na chain.
- Prínos: Rýchlosť a poplatky sa zlepšujú, pretože overenie je lacné, zatiaľ čo náročná práca sa odohráva inde.
- Perspektíva: Môžete udržať citlivé údaje skryté a pritom poskytovať transparentnosť výsledku.
- Relevancia: Očakávajte to v DeFi, hrách, identite a ďalších oblastiach, kde súdruhé súkromie a overovateľná matematika sú dôležité.
A pri porovnávaní zkVM sa opýtajte na dve veci najprv: ktoré jazyky podporujú a ako rýchlo overovateľ beží na cieľovom reťazci.
Kľúčové charakteristiky Zero Knowledge VM (zkVM)
Tu sú atribúty, ktoré ľudia skutočne kontrolujú:
- Všeobecné: Beží množstvo programov, nie len jediné použitie zapojania.
- Prenosné: Dôkazy môžu byť overené cez reťaze malým smart contract.
- Selektívne: Umožňuje aplikáciám vybrať, ktoré vstupy zostanú skryté a ktoré výstupy sú verejné.
- Efektívne: Overenie dôkazu je rýchle, aj keď pôvodný beh bol náročný.
- Kompozitné: Dôkazy sa môžu dávkovať alebo vkladať do seba, aby systémy rástli s nižším hlukom.
Variácie
Nie všetky zkVM vyzerajú rovnako. Bežné verzie, ktoré uvidíte:
- EVM: Cieľom je spúšťať logiku štýlu Solidity a dokázať ju, dobré na priame opätovné použitie aplikácie.
- LLVM: Kompiluje z bežných jazykov ako Rust alebo C do dokazovateľnej podoby.
- Rollup: Používa sa v rámci validitných rollupov, kde dôkazy putujú na základný reťazec.
- Sovereign: Overuje na vlastnom reťazci a súčasne prenáša dôkazy smerom von.
Overenie je lacné, ale dokazovanie môže byť ťažké a časovo náročné. Táto výmena je celý pointou.
Príklad
Pôžičková aplikácia oceňuje kolateral vo vnútri zkVM a potom zverejní iba dôkaz na chain, aby likvidácie prebiehali férovo bez zverejnenia údajov dlžníka.
Zábavný fakt
Jadro myšlienky siaha do výskumu zo 80. rokov, kde kryptografovia ukázali, že môžete dokázať, že poznáte tajomstvo, bez toho aby ste ho povedali. Crypto Twitter to len spríjemnil.
Zhrnutie
Jednou vetou, Zero Knowledge VM (zkVM) je dokazovací počítač, ktorý umožňuje reťazcom rýchlo kontrolovať prácu a zároveň udržať citlivé vstupy mimo dohľadu.