"ZK Track Active Project Sharing". 🙌 Olen miettinyt pitkään, mitä kirjoittaisin, ja ystäväni, jotka tuntevat minut, tietävät, että olen aina ollut kiinnostunut zk:sta. Katsotaanpa ZK-projekteja, jotka ovat olleet viime aikoina erittäin aktiivisia (jatkuvalla kannustintoiminnalla) ja vähitellen aktiivisia (tulevilla kannustintoimilla). Tässä artikkelissa analysoidaan systemaattisesti viittä aktiivisinta ja korkean profiilin projektia nykyisellä ZK-radalla: @NexusLabs, @RiscZero @boundless_xyz, @SuccinctLabs, @zerobasezk ja @Zypher_Network. Sitä jaetaan projektin esittelyn, teknisen arkkitehtuurin (tärkeimmät toiminnalliset tuotteet), viimeaikaisten toimien ja kannustimien sekä kirjoittajien jakamisen näkökulmasta. Alla olevassa taulukossa on lyhyt yhteenveto kunkin projektin tärkeimmistä tiedoista visuaalisen vertailun helpottamiseksi, ja ketjutetuissa twiiteissä kerrotaan yksityiskohtaisesti jokaisesta kohteesta. Katsotaanpa nopeasti ZK:ta, VM:ää ja zkVM:ää zk (Zero-Knowledge): viittaa "nollatietoon", joka on kryptografian laaja käsite, mikä tarkoittaa, että toinen osapuoli (todistaja) voi todistaa väitteen totuuden toiselle osapuolelle (todentajalle) paljastamatta lisätietoja vuorovaikutuksen aikana. Virtuaalikone (VM) on tietokonejärjestelmä, jota ohjelmisto simuloi ja joka pystyy käyttämään käyttöjärjestelmiä ja sovelluksia kuin oikea fyysinen tietokone. Yksinkertaisesti sanottuna virtuaalikone on kuin "virtuaalitietokoneen" luominen tietokoneellesi, johon voit asentaa erilaisia käyttöjärjestelmiä (kuten Windows, Linux jne.) ja suorittaa ohjelmistoja vaikuttamatta todelliseen isäntäjärjestelmääsi. Virtuaalikoneiden ydinominaisuuksia ovat eristäminen ja virtualisointi. Miksi tarvitset virtuaalikoneita (VM) lohkoketjun kehittämiseen? 1⃣️ Deterministinen suoritusympäristö Lohkoketju on hajautettu verkko, jota monet solmut ylläpitävät yhdessä. Verkon johdonmukaisuuden varmistamiseksi kaikkien solmujen on päästävä yhteisymmärrykseen älysopimuksen toteutustuloksesta. Virtuaalikoneet tarjoavat standardoidun suoritusympäristön, joka takaa, että sama koodi ja syöte tuottavat täsmälleen saman tulosteen missä tahansa solmussa. Tämä "varmuus" on lohkoketjun toiminnan perusta. 2⃣️ Turvallisuus Älysopimuksiin liittyy usein arvokasta omaisuutta, kuten kryptovaluuttoja tai tokeneita, joten turvallisuus on ensiarvoisen tärkeää. Virtuaalikone käyttää eristystekniikkaa sopimuskoodin eristämiseen, jotta haitallinen koodi ei vahingoita solmuja tai verkkoja. Esimerkiksi Ethereumin virtuaalikone käyttää "gas"-mekanismia rajoittaakseen sopimuksen resurssien kulutusta ja välttääkseen loputtomia silmukoita tai hyökkäyksiä. 3⃣️ Siirrettävyys Virtuaalikoneiden avulla kehittäjät voivat kirjoittaa älysopimuskoodia kerran ja suorittaa sen missä tahansa virtuaalikonetta tukevassa solmussa huolehtimatta taustalla olevan laitteiston tai käyttöjärjestelmän eroista. Tämä yksinkertaistaa huomattavasti kehitys- ja käyttöönottoprosessia. 4⃣️ Standardointi Virtuaalikoneet tarjoavat yhtenäisen joukon käskyjoukkoja ja suoritusmalleja, joiden avulla kehittäjät voivat luottaa standardoituun alustaan älykkäiden sopimusten luomisessa. Tämä standardointi edistää yhteistyötä kehittäjäyhteisössä ja kukoistavaa ekosysteemiä. 5⃣️ Joustavuus ja skaalautuvuus Virtuaalikoneet tukevat useita ohjelmointikieliä ja työkaluja, joiden avulla kehittäjät voivat kirjoittaa koodia heille tutulla tavalla. Samalla virtuaalikoneiden suunnittelua voidaan päivittää tekniikan kehittyessä, lisäämällä uusia ominaisuuksia tai optimoimalla suorituskykyä. Yksinkertaisesti sanottuna virtuaalikoneet tarjoavat turvallisen, johdonmukaisen ja kannettavan toimintaympäristön lohkoketjuille, ja ne ovat avainteknologioita älykkäiden sopimusten toteuttamisessa. Esimerkiksi EVM on lyhenne sanoista "Ethereum Virtual Machine", joka on myös 90 prosentin julkisten ketjujen infrastruktuuri tässä vaiheessa. zkVM: Se on yhdistelmä VM:ää ja ZK:ta: se voi molemmat ajaa ohjelmaa (kuten virtuaalikonetta) ja luoda "nollatietotodistuksen", joka todistaa, että ohjelma toimii oikein ja suojaa yksityisyyttä. zkVM on erityisen hyödyllinen lohkoketjuavaruudessa, ja sen etuja ovat: · Yksityisyyden suoja: Rahoitustapahtumissa zkVM voi todistaa, että tapahtuma on pätevä (esim. tilin saldo on riittävä), mutta ei paljasta tarkkaa summaa tai tilitietoja. · Skaalautuvuus: Kerroksessa 2 zkVM voi tarkistaa tuhansien tapahtumien oikeellisuuden ja tallentaa sitten vain lyhyen todisteen pääketjuun kunkin tapahtuman yksityiskohtien sijaan. Näin lohkoketju voi käsitellä enemmän transaktioita, mikä vähentää kustannuksia ja taakkaa. #Nexus, #RiscZero ja #Succinct kuuluvat kaikki zkVM-kappaleeseen. Seuraava askel on analysoida jokainen yksitellen.