Mikä on Zero Knowledge VM (zkVM)?
Zero Knowledge VM on virtuaalikone, joka suorittaa koodia ja tuottaa todisteen suorituksen oikeellisuudesta paljastamatta syötteitä. Ajattele sitä erotuomarina, joka vahvistaa tuloksen mutta pitää pelikirjan salassa. Sama lopputulos, vähemmän paljastettuja tietoja.
”zkVM tekee kaikesta anonyymiä.” Ei aivan. Se todistaa suorituksen oikeellisuuden. Sovellus päättää, mitkä tiedot pysyvät yksityisinä – kone ei pakota siihen.
Näin Zero Knowledge VM (zkVM) toimii
Kuvittele ohjelma, joka suoritetaan ketjun ulkopuolella ja lähettää sitten ketjuun pienen matemaattisen kuitin, joka kertoo: ”tämä tehtiin oikein”. Alla nopea katsaus toimintaan.
- Vaihe 1: Kehittäjä kirjoittaa tai kääntää koodin suoritettavaksi zkVM:ssä.
- Vaihe 2: Ohjelma suoritetaan ketjun ulkopuolella, ja se tuottaa todisteen, joka voi esimerkiksi osoittaa kaupan hinnoittelun oikeellisuuden paljastamatta kaupankävijän syötteitä.
- Vaihe 3: Todiste ja vähimmäismäärä dataa lähetetään ketjussa olevalle todentajalle.
- Vaihe 4: Todentaja tarkistaa todisteen nopeasti ja kirjaa tulokseksi kyllä tai ei.
- Vaihe 5: Muut sopimukset ja käyttäjät luottavat tulokseen tekemättä raskasta laskentaa uudelleen.
Taustalla toiminta perustuu nollatietotodisteisiin, jotka vahvistavat suorituksen. Jep, matematiikka toimii todistajana.
Miksi Zero Knowledge VM (zkVM) on tärkeä
Tämä kiinnostaa, koska se mullistaa kustannusrakenteen: raskas laskenta tehdään ketjun ulkopuolella ja ketjussa tarvitaan vain kevyt tarkistus.
- Hyöty: Nopeus paranee ja kulut pienenevät, koska todentaminen on edullista ja raskas työ tehdään muualla.
- Näkökulma: Voit pitää arkaluonteiset tiedot salassa ja silti tarjota tuloksesta läpinäkyvyyttä.
- Merkitys: Tätä voi odottaa DeFi:ssä, pelaamisessa, identiteetin hallinnassa ja muualla, missä sekä yksityisyys että todennettava matematiikka ovat tärkeitä.
Kun vertailet zkVM:iä, selvitä ensin kaksi asiaa: mitä ohjelmointikieliä ne tukevat ja kuinka nopeasti todentaja toimii kohdeketjussa.
Zero Knowledge VM:n (zkVM) keskeiset ominaisuudet
Näitä ominaisuuksia yleensä tarkastellaan:
- Yleiskäyttöinen: Suorittaa monenlaisia ohjelmia yhden käyttötarkoituksen piirin sijaan.
- Siirrettävä: Pieni älysopimus voi todentaa todisteet eri ketjuissa.
- Valikoiva: Sovellukset voivat valita, mitkä syötteet pidetään salassa ja mitkä tulokset ovat julkisia.
- Tehokas: Todisteen tarkistaminen on nopeaa, vaikka alkuperäinen suoritus olisi ollut raskas.
- Koostettava: Todisteita voidaan niputtaa tai sisällyttää toisiinsa, jotta järjestelmät skaalautuvat pienemmällä kuormituksella.
Muunnelmat
Kaikki zkVM:t eivät ole samanlaisia. Yleisiä vaihtoehtoja ovat:
- EVM: Tavoitteena on suorittaa Solidity-tyyppistä logiikkaa ja todistaa sen oikeellisuus. Sopii sovellusten suoraan uudelleenkäyttöön.
- LLVM: Kääntää yleiskäyttöisillä kielillä, kuten Rustilla tai C:llä, kirjoitetun koodin todistettavaan muotoon.
- Rollup: Käytetään validiteettirollupeissa, joissa todisteet julkaistaan pohjakerroksen ketjuun.
- Suvereeni: Todentaa omassa ketjussaan ja välittää todisteita sen ulkopuolelle.
Todentaminen on edullista, mutta todisteen tuottaminen voi olla raskasta ja viedä aikaa. Koko idean ydin on tässä kompromississa.
Esimerkki
Lainasovellus hinnoittelee vakuudet zkVM:ssä ja julkaisee sitten ketjuun vain todisteen. Näin likvidoinnit käynnistyvät oikeudenmukaisesti paljastamatta lainanottajan tietoja.
Hauska fakta
Perusajatus juontaa juurensa 80-luvun tutkimukseen, jossa kryptografit osoittivat, että voi todistaa tietävänsä salaisuuden kertomatta sitä. Kryptovaluuttoihin keskittyvä Twitter teki siitä vain tyylikkään.
Yhteenveto
Lyhyesti sanottuna Zero Knowledge VM (zkVM) on todisteita tuottava tietokone, jonka avulla ketjut voivat tarkistaa suorituksen nopeasti paljastamatta arkaluonteisia syötteitä.