Hvad er Zero Knowledge VM (zkVM)?
En Zero Knowledge VM (zkVM) er en virtuel maskine, der kører kode og leverer et bevis for, at kørslen var korrekt, uden at afsløre inputtene. Tænk på det som en dommer, der bekræfter resultatet samtidig med at spilbogen holdes hemmelig. Samme resultater, færre detaljer lækket.
“A zkVM gør alting anonyme.” Ikke helt. Den beviser korrekt udførelse. Hvad der forbliver privat vælges af appen, ikke påtvinges af maskinen.
Hvordan Zero Knowledge VM (zkVM) fungerer
Forestil dig et program, der kører off chain, og som derefter sender en lille matematisk kvittering on chain, der siger “dette er udført korrekt.” Hurtig gennemgang nedenfor.
- Trin 1: En udvikler skriver eller kompilerer kode til at køre inde i Zero Knowledge VM (zkVM).
- Trin 2: Programmet kører off chain og producerer et bevis, for eksempel for at dokumentere, at en handel blev prissat korrekt uden at vise traderens input.
- Trin 3: Det bevis plus minimale data sendes til en verifikator on chain.
- Trin 4: Verifikatoren tjekker beviset hurtigt og registrerer et ja eller nej.
- Trin 5: Andre kontrakter og brugere stoler på resultatet uden at gentage den tunge beregning.
Under overfladen bygger det på beviser med nulviden for at stå inde for kørslen. Ja, matematik som vidne.
Hvorfor Zero Knowledge VM (zkVM) er vigtigt
Det betyder noget for dig, fordi det ændrer omkostningsmodellen. Stor beregning off chain, små kontroller on chain.
- Fordel: Hastighed og gebyrer forbedres, da verifikation er billig, mens det tunge arbejde foregår andetsteds.
- Synspunkt: Du kan holde følsomme data skjult samtidig med at give gennemsigtighed om resultatet.
- Relevans: Forvent at se det i DeFi, spil, identitet og mere, hvor privatliv og verificerbar matematik begge betyder noget.
Når du sammenligner Zero Knowledge VM (zkVM) skal du først spørge to ting: hvilke sprog de understøtter, og hvor hurtigt verifikatoren kører på den kæde, hvor den skal verificeres.
Nøglekarakteristika for Zero Knowledge VM (zkVM)
Her er egenskaberne folk typisk tjekker:
- Generelt: Kører mange forskellige typer programmer i stedet for en enkeltkreds til ét formål.
- Portabel: Beviser kan verificeres på tværs af kæder af en lille smart contract.
- Selektiv: Lader apps vælge hvilke input der forbliver skjulte og hvilke output der er offentlige.
- Effektiv: At verificere beviset er hurtigt, selv når den oprindelige kørsel var tung.
- Kompositionel: Beviser kan samles i batcher eller indlejres, så systemer kan skaleres med mindre støj.
Variationer
Alle zkVMs ser ikke ens ud. Almindelige varianter du vil se:
- EVM: Sigter mod at køre logik skrevet i Solidity og bevise den, godt til direkte genbrug i apps.
- LLVM: Kompilerer fra generelle sprog som Rust eller C til en form, der kan bevises.
- Rollup: Bruges inden for validity rollups, hvor beviser postes til en basekæde.
- Sovereign: Verificerer på sin egen kæde og sender beviser videre til andre kæder.
Verifikation er billig, men det at producere beviser kan være tungt og tidskrævende. Denne afvejning er hele pointen.
Eksempel
En udlånsapp vurderer sikkerheden inde i Zero Knowledge VM (zkVM), og lægger kun beviset on chain, så afviklinger udløses retfærdigt uden at afsløre låntagers data.
Sjovt faktum
Hovedideen går tilbage til forskning i 80'erne, hvor kryptografer viste, at man kunne bevise, at man kendte en hemmelighed uden at afsløre den. Crypto Twitter gjorde det populært.
Opsummering
Kort sagt er Zero Knowledge VM (zkVM) en bevismaskine, der lader kæder tjekke arbejde hurtigt samtidig med at følsomme input holdes ude af syne.