ZK mõistmine tähendab usklikuks saamist

Kui olete plokiahela tehnoloogia pidevalt muutuvale maastikule tähelepanu pööranud, olete võib-olla märganud, et viimasel ajal on tiiru peale tulnud uus moesõna: "Zero-Knowledge" või "ZK".

Kui olete plokiahela tehnoloogia pidevalt muutuvale maastikule tähelepanu pööranud, olete võib-olla märganud, et viimasel ajal on tiiru peale tulnud uus moesõna: "Zero-Knowledge" või "ZK". Kui olete krüptograafiale viimased 30 aastat tähelepanu pööranud, on uskumatult põnev, et see kontseptsioon on lõpuks esimest korda pälvinud midagi peavoolule lähedast. ZK-ga on seotud omamoodi kultus, sest kui sa mõistad, mis see on ja mida see teha suudab, võib see nakatada sinu meelt kõigi näiliselt maagiliste viisidega, kuidas see maailma muuta (paremaks). ZK-kultuse liikmed, kellel on valdkonna tegelikuks edendamiseks vajalikud tehnilised tükid, kipuvad AINULT ZK-ga töötama ja seda peaaegu kindlasti seetõttu, et neil on raske mõelda millelegi muule peale ZK. Seda tänu sellele antud lubadusele.

Mis on ZK?

ZK on võimalikult lihtsas sõnastuses krüptograafilise tõestuse loomine selle kohta, et väide teatud andmete kohta on tõene, ilma et oleks vaja andmeid tegelikult avaldada. Seaduse järgi on selleks valitud näide klassikaline:

"Ma tean sellele lahendamata sudoku mõistatusele kehtivat lahendust"

Kasutades ZK-d, sai tõestaja Peter koostada selle väite kohta ZKP (Zero Knowledge Proof) konkreetse sudokut puudutava mõistatuse kohta siis ja ainult siis, kui ta tegelikult teadis sellele kehtivat lahendust ning kontrollija Viviane oleks väites täiesti veendunud, ilma et oleks vaja seda teha. tegelikult näha kõiki kinnipeetud lahendusi. Kui soovite natuke rohkem teada saada matemaatika kohta, mis selle töö tegelikult muudab, vaadake see selgitav video. 

Mida kasulikku saab selle primitiiviga peale sudokude teha? Plokiahelate jaoks on kaks suurepärast rakendust:

1. Privaatsus Salajase teabe tõendite säilitamine
2. Suvaliselt pika arvutuse kokkuvõtlik kontroll 

Mõlemad on põnevad, teine ​​toob kaasa suurema efektiivsuse, samas kui esimene võimaldab lõpetada massilise digitaalse jälgimise ja andmete kogumise. 

ZK võimsus nr 1: privaatsus

Meile kõigile meeldivad head otsingumootorid. Meile kõigile meeldivad head isikupärastatud soovitusmootorid muusika, videote, uudiste või isegi potentsiaalsete romantiliste partnerite jaoks. Parem on omada reklaame, mis on tõenäolisemalt midagi sellist, mille ostmisest oleks tegelikult huvitatud, kui mitte. Meile kõigile meeldib, kui saame eksklusiivsuse saavutamiseks enda kohta asju tõestada. Kõik need asjad on tänapäevase Interneti jaoks üliolulised ja on täiesti võimatud ilma neid kasutava isiku isikupärastamiseta. Kahjuks tähendab see seda, et suured ettevõtted panevad meie digitaalse elu iga ärkveloleku hetke üles ja salvestavad need igaveseks, et neid isikupärastatud mootoreid hõlbustada. ZK muudab seda kõike. 

ZK puhul ei pea soovitusmootorid uurima kellegi kogu ajalugu, et teada saada, mida ta tõenäoliselt soovib. Ainus teave, millega nad peavad töötama, on lihtsad ZKP-d, mis näitavad nende huvide kohta minimaalseid üksikasju. Reklaame esitav ettevõte ei pea teadma kellegi kogu otsinguajalugu, et teada saada, et ta on huvitatud auto ostmisest. Kõik, mida nad vajavad, on selle isiku otsinguajaloo ZKP, mis viitab sellele, et nad võivad olla huvitatud auto ostmisest ja et nad klõpsasid oma reklaamil. Kui me sellega tegeleme, võib reklaamijale meeldida ka ZKP, mille kaudu klõpsas inimene, mitte lihtsalt robot. Kui rääkida plokiahelatest, siis on ka selline privaatsus ülioluline. Mitte keegi, ei teie, ei pangad, ei Wall Street ega valitsused ei taha, et maailma finantssüsteem oleks kõigile nähtaval avatud pearaamatus täiesti avalik. Keegi ei taha süsteemi, kus teie pangaaadressi teadmine näitab teie pangasaldot ja kogu teie tehingute ajalugu. Ka plokiahel ei pea sellest tehniliselt midagi teadma, plokiahel peab lihtsalt teadma, et nutikad lepingud täideti õigesti, kõike muud on hea meel hoida privaatsena, mis viib meid edasi:

ZK võimsus nr 2: skaleeritavus

Kas mäletate osa Galaktika Hitchhiker's Guide to the Galaxy'st, kus sügava mõtte superarvuti teatab pärast 42 miljonit aastat kestnud arvutusi pettumuslikult vastuseks elule, universumile ja kõigele "7.5"? Reaalselt oleks administraatorite esimene mõte, et mingil hetkel tegi arvuti vea. Aga kuidas nad saaksid kontrollida, kas arvutus on õigesti teostatud? Naiivselt võisid nad kogu arvutuse uuesti käivitada ja vaadata, kas see jõudis samale järeldusele kui algne arvutus. See sobib arvutamiseks, mis võtab mõne sekundi, mitte niivõrd, kui see võtab aega 7.5 miljonit aastat. ZK teine ​​​​suurvõime on lubada luua tõendeid mõne arvutuse kohta, mis on väikese suurusega (näiteks 1 kb), mille kontrollimiseks kulub millisekundeid ja mis suudab veenda kontrollivat inimest, et MIS TAHES pikkusega (isegi 7.5 miljonit aastat) arvutus toimis õigesti. Kuid see maagia maksab, sest prognoositavalt on selle tõendi loomine arvutuslikult palju kallim kui programmi lihtsalt käivitamine ilma tõendita. Seetõttu ei ole ZK tingimata kõikehõlmav kontrollitav arvutus, vaid see on tõesti kompromissi väärt ainult siis, kui kontrollijal ei ole võimalik kogu programmi ise välja arvutada või eeldatakse, et sama programmi kontrollitakse piisavalt kordi. et tõendamisaja pikenemine oleks väiksem kui tõendaja kumulatiivse aja vähenemine. Mõlemasse kategooriasse kuulub üsna ilmne kasutusjuht: plokiahel.

Oh õige, see on Aleo kohta

Kas mäletate, kui hullumeelsena kõlas mõte, et peate kontrollima mõnda tohutut arvutust lihtsalt toorest jõust käivitades? Täpselt nii töötavad tänapäeval peaaegu kõik nutikad lepingulised plokiahelad! Täieliku sõlme käitamiseks ja asjade ise kontrollimiseks peate täitma iga nutika lepingu täitmist algusest kuni praeguse ajani, mis on muidugi hullumeelne ja põhjus, miks keegi tegelikult sellistel plokiahelatel täissõlmesid ei käivita ja miks need on selle tulemusena kohutavalt tsentraliseeritud. 

Aleo on erand. Tegelikult ei täideta nutikaid lepinguid isegi ahelas. Nutikas leping töötab Aleo puhul nii, et isik, kes soovib volitada nutikat lepingut oma rahaga midagi tegema, käivitab selle nutika lepingu arvutuse ahelast välja, luues samal ajal selle arvutuse kohta tõendi ja avaldab seejärel JUST THE PROOF plokiahel. See väike tõend on kõik, mis on vajalik, et veenda valideerijaid ja täielikke sõlmede kinnitajaid, et nutikas leping täitis õigesti, ja selle kontrollimiseks kulub vaid millisekundeid, isegi kui tõendi loomiseks kulus 7.5 miljonit aastat. See on radikaalselt mõistlikum viis plokiahelate nutika loogika valideerimiseks ja võimaldab tegelikult kasutajatel detsentraliseeritud kontrollimist, mitte ainult validaatoritest sõltumist. 

Nutika lepinguahela olemasolu, mis hoolib ainult nendest minimaalsetest tõenditest protokolli tasemel, võimaldab Aleol ka privaatsust säilitada. Sisuliselt ütleb kogu see tõend, et "Smart Contract X tegi asja õigesti", saatja, saaja ja kaasatud valuutasummad on kõik täielikult peidetud ja seega privaatsed. Tegelikult on Aleo üks AINUStest plokiahelatest, kus tehingud tegelikult nende vastuvõtjasse krüpteeritakse. Praegu on suur hulk põneva kõlaga plokiahela projekte, mis on kasutanud ZK-d ainult skaleeritavuse jaoks (mis on lahe), kuid mitte privaatsuse jaoks (mis on lahedam). Teisest küljest on olnud ka palju projekte, mis väidavad, et nad kasutaksid ZK-d privaatsuse tagamiseks, kuid lõpuks ei teinud seda. Põhjus on lihtne: privaatsuse loomine nutikate lepingute säilitamiseks on tõesti raske ja nõuab sisuliselt kogu arhitektuuri alt üles ümberkujundamist, mida Aleo täpselt tegi. 

Ketivälisel teostamisel on ka huvitav efekt, et Aleol EI OLE VAJA GAASI. Plokiruumi eest tasumiseks vajate endiselt tehingutasusid, kuid nutika lepingu täitmise eest ei võeta protokollitaseme operatsioonitasusid, mis tähendab, et Aleo rakendustel on teoreetiliselt piiramatu käitusaeg. Ainus piirang on see, mille eest saate tõendit koostada või kui palju olete nõus maksma selle eest, et keegi teine ​​teie eest tõendi koostaks. 

Kuna arvutuste ZK-tõestus on nii palju kallim kui lihtsalt käitamine, et tavaliselt on arvutusi palju rakendusi, mille jaoks te ei saaks või ei TAHAKS kodus oma sülearvutis tõendeid luua, kuluks lihtsalt liiga palju pikk. Proversile, kes haldavad spetsiaalselt selle vajaduse täitmiseks väga tõhusaid serveriparke, tekib turg delegeeritud tõendite ehitamiseks. Aleole täiesti ainulaadne disainilahenduse põhiotsus on võimalus delegeerida tõestuskonstruktsiooni PRIVAATSUST SÄILITAVAL VIISil välistele proovijatele. Eeldame, et Proversi terve turg on kriitilise tähtsusega, et saada ZK-sse võimalikult palju Internetti, mis oli nutikale alglaadimismehaanikule ajendiks, et käivitada turg enne, kui kasutajate nõudlus on isegi olemas: mündibaasi pusle. 

Mündipõhise pusle võimaldab Aleo plokiahelal vermida uusi märke, et osta tõestajatelt tõendeid isegi siis, kui keegi teine ​​seda ei tee. Kui prover leiab, et ta ei tööta mõne aja jooksul aktiivselt kasutaja jaoks tasulise tõestustöö kallal, võib ta lülitada oma masinad üle mündibaasi puslele, kus ta kogub välja tohutul hulgal "kellegi jaoks tõestusi", mille nad seejärel saadavad. validaatoritele. Valideerija koondab kõik tõestaja loodud tõendid ja seejärel sarnaselt kaevanduskogumi toimimisele määrab tõestaja teatud ajaperioodi jooksul tehtud tõendite arv, millise osa mündialuse mõistatuse preemiast ta antud ajavahemiku jooksul teenib. Loodame, et see aitab kaasa suurele proversi turule ja loodetavasti isegi stimuleerib spetsiaalsete "ZK ASIC-ide" väljatöötamist, et maksimeerida juurdepääsu Aleole ja ZK-le üldiselt. 

Kogu selle ZK-maagia teenistuses on Aleo loonud madala tasemega VM-i nimega AVM arvutikoodi ZK-matemaatikaks kompileerimiseks ja kõrgetasemelise keele nimega Leo, mis kompileerib AVM-i. Aleol on ka ahelasisene programmiregister, mis võimaldab (valikuliselt) nutikat lepingukoodi hostida otse ahelas, et tagada juurdepääsetavus ja minimeerida riski, et vahepealsete rünnakute puhul meelitatakse kasutajaid petturlikele versioonidele sisse logima. nutikad lepingud. Kui soovite sellesse rohkem süveneda ja kirjutada oma privaatsed rakendused, vaadake.

Kokkuvõttes on Aleo täielik ümberkujundamine selle kohta, kuidas nutikas lepinguline plokiahel peaks töötama, kui soovite maksimeerida privaatsust ja detsentraliseerimist. Aleo selle eesmärgi elluviimiseks on tehtud hämmastavalt palju täiesti uudseid ja murrangulisi uuringuid ja tööd. Kuigi juba praegu on olemas märkimisväärne hulk projekte, mis laenavad hulgi Aleo kokkupanemisega seotud töödest ja uuringutest, on nendel tasemetel tõeliselt konkureerimiseks nende ainus valik lammutada sisuliselt kogu nende arhitektuur ja ehitada end uuesti üles Aleo. 

Kui soovite Aleo kohta rohkem teada saada ja osaleda viimases Testnetis, minge aadressile Aleo.org.