Vad är Zero Knowledge VM (zkVM)?
En Zero Knowledge VM är en virtuell maskin som kör kod och levererar ett bevis på att körningen var korrekt utan att avslöja indata. Tänk på den som en domare som bekräftar resultatet samtidigt som spelplanen hålls hemlig. Samma resultat, färre uppgifter avslöjade.
”En zkVM gör allt anonymt.” Inte riktigt. Den bevisar att körningen är korrekt. Vad som förblir privat väljs av appen, inte tvingas fram av maskinen.
Hur Zero Knowledge VM (zkVM) fungerar
Föreställ dig ett program som körs utanför kedjan och sedan skickar ett litet matematiskt kvitto på kedjan som säger ”detta gjordes rätt.” Kort genomgång nedan.
- Steg 1: En utvecklare skriver eller kompilerar kod för att köras inne i Zero Knowledge VM (zkVM).
- Steg 2: Programmet körs utanför kedjan och producerar ett bevis, till exempel för att visa att en handel prisatts korrekt utan att visa handlarens indata.
- Steg 3: Det beviset plus minimala data skickas till en verifierare på kedjan.
- Steg 4: Verifieraren kontrollerar beviset snabbt och registrerar ett ja eller nej.
- Steg 5: Andra kontrakt och användare litar på resultatet utan att göra om den tunga beräkningen.
Under ytan använder den nollkunskapsbevis för att intyga körningen. Jo, matematik som vittne.
Varför Zero Knowledge VM (zkVM) är viktigt
Detta påverkar dig eftersom det vänder kostnadsmodellen. Stor beräkning utanför kedjan, små kontroller på kedjan.
- Fördel: Hastighet och avgifter förbättras eftersom verifiering är billig medan det tunga arbetet sker någon annanstans.
- Perspektiv: Du kan hålla känsliga data dolda samtidigt som du ger transparens för resultatet.
- Relevans: Förvänta dig det inom DeFi, spel, identitet och mer där sekretess och verifierbar matematik båda spelar roll.
När du jämför zkVMs, fråga två saker först: vilket språk de stödjer och hur snabbt verifieraren körs på målkedjan.
Viktiga egenskaper hos Zero Knowledge VM (zkVM)
Här är de egenskaper folk brukar kontrollera:
- Allmänt: Kör många typer av program istället för en enda specialiserad krets.
- Portabelt: Bevis kan verifieras över kedjor av ett litet smart kontrakt.
- Selektivt: Låter appar välja vilka indata som förblir dolda och vilka utdata som är offentliga.
- Effektivt: Att verifiera beviset går snabbt även när den ursprungliga körningen var tung.
- Sammansättningsbart: Bevis kan grupperas eller nästlas så att systemen kan skalas med mindre störning.
Varianter
Alla zkVMs ser inte likadana ut. Vanliga varianter du kommer att se:
- EVM: Syftar till att köra logik i Soliditystil och bevisa den, bra för direkt återanvändning i appar.
- LLVM: Kompilerar från vanliga språk som Rust eller C till en form som går att bevisa.
- Rollup: Används i giltighetsrollups där bevis publiceras till en bas kedja.
- Sovereign: Verifierar på sin egen kedja samtidigt som bevis bryggas utåt.
Verifiering är billig, men att generera bevis kan vara tungt och tidskrävande. Den avvägningen är hela poängen.
Exempel
En låneapp prisätter säkerhet inne i en Zero Knowledge VM (zkVM) och postar sedan endast beviset på kedjan så att likvidationer utlöses rättvist utan att exponera låntagarens data.
Kul fakta
Kärn idén går tillbaka till forskning på 1980 talet där kryptografer visade att man kan bevisa att man känner en hemlighet utan att avslöja den. Crypto Twitter gjorde det bara trendigt.
Sammanfattning
Kort sagt, Zero Knowledge VM (zkVM) är en verifieringsdator som låter kedjor kontrollera arbete snabbt samtidigt som känsliga indata hålls utom synhåll.