ZK:n ymmärtäminen on uskovaksi tulemista

Jos olet kiinnittänyt huomiota lohkoketjuteknologian jatkuvasti muuttuvaan maisemaan, olet ehkä huomannut, että viime aikoina on tullut uusi muotisana: "Zero-Knowledge" tai "ZK".

Jos olet kiinnittänyt huomiota lohkoketjuteknologian jatkuvasti muuttuvaan maisemaan, olet ehkä huomannut, että viime aikoina on tullut uusi muotisana: "Zero-Knowledge" tai "ZK". Jos olet kiinnittänyt huomiota kryptografiaan viimeiset 30 vuotta, on uskomattoman jännittävää, että tämä konsepti on vihdoin saamassa jotain lähellä valtavirran huomiota ensimmäistä kertaa. ZK:hen liittyy eräänlainen kultti, koska kun ymmärrät mitä se on ja mitä se voi tehdä, se saastuttaa mielesi kaikilla näennäisesti maagisilla tavoilla, joilla se voi muuttaa maailmaa (parempaan suuntaan). ZK-kultin jäsenillä, joilla on tekniset pätkät, joita tarvitaan alan todelliseen edistämiseen, on taipumus työskennellä VAIN ZK:n parissa, ja se johtuu melkein varmasti siitä, että heidän on vaikea ajatella mitään muuta kuin ZK:ta. Se johtuu sen antamasta lupauksesta.

Mikä on ZK?

Yksinkertaisimmillaan ZK tarkoittaa salaustodisteen luomista siitä, että väite jostain tiedosta on totta, ilman, että tietoja tarvitsee paljastaa. Lain mukaan tähän valittu esimerkki on klassikko:

"Tiedän pätevän ratkaisun tähän ratkaisemattomaan sudokupulmaan"

Käyttämällä ZK:ta todistaja Peter pystyi rakentamaan ZKP:n (Zero Knowledge Proof) tästä väitteestä koskien tiettyä sudoku-pulmaa, jos ja vain jos hän todella tiesi siihen oikean ratkaisun, ja todentaja Viviane olisi täysin vakuuttunut väitteestä ilman, että hänen tarvitsisi todella nähdä minkä tahansa pidätetyn ratkaisun. Jos haluat oppia hieman enemmän matematiikasta, joka todella tekee tästä työstä, katso tämä selittävä video. 

Mitä hyödyllistä tällä primitiivillä voi tehdä sudoku-pulmien lisäksi? Lohkoketjuille on kaksi hienoa sovellusta:

1. Yksityisyys Todisteiden säilyttäminen salaisista tiedoista
2. Satunnaisen pitkän laskennan ytimekäs tarkastus 

Molemmat ovat jännittäviä, jälkimmäinen lisää tehokkuutta, kun taas edellinen mahdollistaa digitaalisen massavalvonnan ja tiedonkeruun lopettamisen. 

ZK Power #1: Yksityisyys

Me kaikki pidämme hyvistä hakukoneista. Me kaikki pidämme hyvistä henkilökohtaisista suositusmoottoreista musiikille, videoille, uutisille tai jopa mahdollisille romanttisille kumppaneille. On parempi, että sinulla on mainoksia, jotka ovat todennäköisemmin jotain, jonka ostamisesta olisi todella kiinnostunut, kuin ei. Me kaikki pidämme siitä, että voimme todistaa asioita itsestämme saadaksemme yksinoikeuden. Kaikki nämä asiat ovat ratkaisevan tärkeitä nykyaikaiselle Internetille ja ovat täysin mahdottomia ilman henkilökohtaista "viritystä" niitä käyttäville henkilöille. Valitettavasti tämä tarkoittaa sitä, että suuret yritykset nostavat digitaalisen elämämme jokaisen heräävän hetken ja säästävät ne ikuisesti helpottaakseen näitä henkilökohtaisia ​​moottoreita. ZK muuttaa kaiken. 

ZK:n avulla suositusmoottorien ei tarvitse tutkia jonkun koko historiaa tietääkseen, mitä he todennäköisesti haluavat. Ainoat tiedot, joita he tarvitsevat työskennelläkseen, ovat yksinkertaiset ZKP:t, joissa kerrotaan vain vähän tietoja heidän kiinnostuksen kohteistaan. Mainoksia näyttävän yrityksen ei tarvitse tietää jonkun koko hakuhistoriaa tietääkseen olevansa kiinnostunut auton ostamisesta. He tarvitsevat vain ZKP:n kyseisen henkilön hakuhistoriasta, mikä viittaa siihen, että he saattavat olla kiinnostuneita auton ostamisesta ja että he napsauttavat mainostaan. Samalla kun olemme asian ytimessä, mainostaja saattaa pitää myös ZKP:sta, jonka läpi napsauttanut henkilö oli oikea henkilö eikä vain robotti. Mitä tulee lohkoketjuihin, tällainen yksityisyys tulee olemaan myös ratkaisevan tärkeää. Kukaan, et sinä, et pankit, ei Wall Street, eivät hallitukset halua, että maailman rahoitusjärjestelmä on täysin julkinen avoimessa kirjanpidossa kaikkien nähtäväksi. Kukaan ei halua järjestelmää, jossa pankkiosoitteesi tietäminen näyttää pankkisaldosi ja koko tapahtumahistoriasi. Lohkoketjun ei myöskään teknisesti tarvitse tietää tästä mitään, lohkoketjun tarvitsee vain tietää, että älykkäät sopimukset toteutetaan oikein, kaiken muun se pitää mielellään yksityisenä, mikä johtaa meidät seuraavaan:

ZK Power #2: Skaalautuvuus

Muistatko osan liftaajien oppaasta galaksiin, jossa Deep Thought -supertietokone ilmoittaa pettymyksellisesti vastaukseksi Elämä, universumi ja kaikki 42 miljoonaa vuotta kestäneen laskennan jälkeen "7.5"? Realistisesti järjestelmänvalvojien ensimmäinen ajatus olisi, että jossain vaiheessa tietokone teki virheen. Mutta kuinka he varmistaisivat, että laskenta suoritettiin oikein? Naiivisti he pystyivät ajamaan koko laskennan uudelleen ja katsomaan, tuliko se samaan tulokseen kuin alkuperäinen laskelma. Se on hyvä laskentaan, joka kestää muutaman sekunnin, ei niin paljon, kun se kestää 7.5 miljoonaa vuotta. ZK:n toinen supervoima on mahdollistaa todisteiden luominen joistakin laskutoimituksista, jotka ovat kooltaan pieniä (esimerkiksi 1 kt), jotka kestävät millisekunteja vahvistaakseen ja voivat vakuuttaa tarkistavan henkilön siitä, että MILLOIN pituinen (jopa 7.5 miljoonan vuoden) laskenta on suoritettu oikein. Tämä taika tulee kuitenkin maksamaan, koska tämän todisteen luominen on ennustettavasti PALJON kalliimpaa kuin ohjelman yksinkertaisesti ajaminen ilman todistetta. Siksi ZK ei välttämättä ole varmennettavissa olevan laskennan saalis, vaan se on todellakin kompromissin arvoinen vain, jos joko todentajan olisi mahdotonta laskea koko ohjelmaa itse tai muuten saman ohjelman odotetaan tarkistettavan tarpeeksi monta kertaa, jotta jotta todistusajan lisäys olisi pienempi kuin kumulatiivisen todentajan ajan väheneminen. On olemassa melko ilmeinen käyttötapaus, joka kuuluu molempiin näihin luokkiin: lohkoketju.

Ai niin, tämä koskee Aleoa

Muistatko kuinka hullulta kuulosti ajatus siitä, että joutuisi tarkistamaan valtavan määrän laskelmia käyttämällä sitä itse raa'alla voimalla? No juuri näin melkein kaikki älykkäiden sopimusten lohkoketjut toimivat nykyään! Jotta voit ajaa täyden solmun ja tarkistaa asiat itse, sinun on suoritettava jokainen älykäs sopimuksen toteutus syntyvaiheesta nykyaikaan, mikä on tietysti järjetöntä ja syy, miksi kukaan ei itse asiassa käytä täysiä solmuja tämän tyyppisissä lohkoketjuissa ja miksi ne ovat hirveän keskitetty seurauksena. 

Aleo on poikkeus. Itse asiassa älykkäitä sopimuksia ei edes toteuteta ketjussa. Älykäs sopimus toimii Aleossa siten, että henkilö, joka haluaa valtuuttaa älykkään sopimuksen tekemään jotain varoillaan, suorittaa älykkään sopimuksen laskennan ketjun ulkopuolella ja luo samalla todisteen laskennasta ja julkaisee sitten JUST THE PROOF lohkoketju. Tämä pieni todiste riittää vakuuttamaan validaattorit ja täydet solmuvarmentajat siitä, että älykäs sopimus toteutettiin oikein, ja sen varmistaminen kestää vain millisekunteja, vaikka todisteen luominen kesti 7.5 miljoonaa vuotta. Tämä on radikaalisti järkevämpi tapa validoida lohkoketjujen älykäs logiikka, ja se mahdollistaa käyttäjien hajautetun todentamisen sen sijaan, että riippuisi vain validaattoreista. 

Älykäs sopimusketju, joka välittää vain näistä vähimmäistodistuksista protokollatasolla, mahdollistaa myös Aleon yksityisyyden suojelemisen. Pohjimmiltaan kaikki tämä todiste sanoo, että "Älykäs sopimus X teki asian oikein", lähettäjä, vastaanottaja ja rahamäärät ovat kaikki täysin piilossa ja siksi yksityisiä. Itse asiassa Aleo on yksi AINOISTA lohkoketjuista, joissa tapahtumat todella salataan niiden vastaanottajalle. Tällä hetkellä on olemassa suuri määrä jännittävältä kuulostavia lohkoketjuprojekteja, jotka ovat käyttäneet ZK:ta vain skaalautumiseen (joka on siistiä), mutta eivät yksityisyyteen (joka on siistimpää). Toisaalta on myös ollut monia projekteja, joissa on väitetty käyttävänsä ZK:ta yksityisyyteen, mutta lopulta eivät. Syy tähän on yksinkertainen: älykkäiden sopimusten yksityisyyden säilyttäminen on todella vaikeaa ja vaatii olennaisesti koko arkkitehtuurin alhaalta ylöspäin suuntautuvaa uudelleensuunnittelua, minkä Aleo teki juuri. 

Ketjun ulkopuolella tapahtuvalla suorituksella on myös se mielenkiintoinen vaikutus, että Aleossa EI TARVITA KAASUA. Tarvitset edelleen tapahtumamaksuja lohkotilan maksamiseen, mutta älykkään sopimusten suorittamiseen ei peritä protokollatason operaatiomaksuja, mikä tarkoittaa, että Aleon sovelluksilla on teoriassa rajoittamaton käyttöaika. Ainoa raja on se, mitä varten pystyt rakentamaan todisteen tai kuinka paljon olisit valmis maksamaan siitä, että joku muu rakentaisi todisteen puolestasi. 

Koska laskennan ZK-todistettu rakentaminen on niin paljon kalliimpaa kuin pelkkä ajaminen, laskenta yleensä tulee olemaan monia sovelluksia, joille et joko pystyisi tai HALUAISIA luoda todisteita kannettavalle tietokoneelle kotona, se vaatisi liikaa pitkä. Proversille, jotka ylläpitävät erittäin tehokkaita palvelinfarmia nimenomaan tämän tarpeen täyttämiseksi, tulee olemaan markkinat delegoidulle todisterakentamiselle. Perussuunnittelupäätös, joka on täysin ainutlaatuinen Aleolle, on kyky delegoida proof-rakentaminen YKSITYISYYDEN SÄILYTTÄVÄLLÄ TAPALLA ulkopuolisille tutkijoille. Odotamme terveiden Provers-markkinoiden olevan kriittinen saada mahdollisimman paljon Internetiä ZK:n sisälle, mikä oli motivaatio fiksulle käynnistysmekaanikolle saada markkinat käyntiin ennen kuin käyttäjäkysyntää on edes olemassa: kolikkopohjapalapeli. 

Kolikkopohjan palapelin avulla Aleo-lohkoketju voi lyödä uusia rahakkeita todisteiden ostamiseksi todistajilta, vaikka kukaan muu ei ole sitä tehnyt. Jos todistaja huomaa olevansa jonkin aikaa tekemättä aktiivisesti palkattua todistustyötä käyttäjälle, hän voi vaihtaa koneensa kolikkopohjan palapeliin, jossa hän purkaa valtavia määriä "todistuksia kenellekään", jonka he sitten lähettävät. validaattoreille. Validaattori kokoaa yhteen kaikki todistajan luomat todistukset, ja samalla tavalla kuin kaivospooli toimii, todistajan tietyn ajanjakson aikana tekemien todisteiden lukumäärä määrää, kuinka suuren osuuden hän ansaitsee kolikonpalapelipalkinnosta kyseiseltä ajanjaksolta. Odotamme tämän olevan pelin muuttaja, joka auttaa tukemaan suuria Provers-markkinoita ja toivottavasti jopa kannustamaan erikoistuneiden "ZK ASICien" kehittämistä maksimoidaksemme Aleon ja ZK:n yleisen käytön. 

Kaiken tämän ZK-taikuuden palvelemiseksi Aleo on luonut matalan tason VM:n nimeltä AVM tietokonekoodin kääntämiseksi ZK-matematiikkaan, ja korkean tason kielen nimeltä Leo, joka kääntää AVM:ään. Aleolla on myös ketjun sisäinen ohjelmarekisteri, joka mahdollistaa älykkään sopimuskoodin (valinnaisesti) isännöimisen suoraan ketjussa saavutettavuuden takaamiseksi ja minimoi riskin, että välimieshyökkäykset huijaavat käyttäjiä kirjautumaan sisään petollisiin versioihin. älykkäitä sopimuksia. Jos haluat perehtyä tähän tarkemmin ja kirjoittaa omia yksityisiä sovelluksiasi, katso.

Yhteenvetona voidaan todeta, että Aleo on täydellinen uudelleensuunnittelu siitä, kuinka älykkään sopimuslohkoketjun pitäisi toimia, jos haluat maksimoida yksityisyyden ja hajautuksen. Hätkähdyttävä määrä täysin uutta ja uraauurtavaa tutkimusta ja työtä on tehnyt Aleon saavuttamiseksi tämän tavoitteen. Vaikka on jo olemassa huomattava määrä projekteja, jotka lainaavat tukkuhintaa Aleon kokoamiseen liittyvistä töistä ja tutkimuksesta, jotta he voisivat todella kilpailla näillä tasoilla, heidän ainoa vaihtoehtonsa olisi olennaisesti purkaa koko arkkitehtuurinsa ja rakentaa itsensä uudelleen Aleo. 

Jos haluat tietää lisää Aleosta ja osallistua viimeiseen Testnetiin, mene osoitteeseen Aleo.org.