Sel aastal annavad Zero teadmiste tõendid (zk-proofs) endast märki kui kõige võimsamad krüptograafilised vahendid, mis toidavad detsentraliseeritud ökosüsteemide innovatsiooni.
Zk-tõestused mõtlesid esmakordselt välja arvutiteaduste teadlased Shari Goldwassser, Silvio Micali ja Charles Rackoff oma 1985. aasta artiklis, Interaktiivsete tõestussüsteemide teadmiste keerukus. Arendajad, süsteemiarhitektid ja teadlased Ethereumi kogukonnas – plokiahela juhtivast nutika lepingu ökosüsteemist – on viimase kolme aasta jooksul veetnud suurema osa oma loomingulistest võimetest lahenduste väljatöötamiseks – ja sagedamini ka ajutiste lahenduste väljatöötamiseks. Nende eesmärk on kõrvaldada plokiahela kaks silmatorkavat puudust: suutlikkus mastaapselt tõhusalt toimida ja kasutajate privaatsuse ühemõtteline kaitsmine.
Mõlemal eesõigusel on Ethereumi parimad ja helgeimad mõtted lähenenud nullteadmisprotokollidele ja nende üha mitmekülgsetele rakendustele, et luua järgmine turingi täieliku plokiahela infrastruktuuri iteratsioon.
Läbilaskevõime otsing
Zk-tõend kirjeldab mehhanismi, mille abil üks osapool saab teisele tõestada, et antud väide on tõene, ilma täiendavat teavet, eriti väite enda sisu, avaldamata. Kuigi zk-kindlus on koheselt rakendatav privaatsuskesksete stsenaariumide puhul – kõige kuulsam 2016. aastal lansseeritud privaatsusmünt Zcash, mis kasutab tehingute kaitsmiseks zk-d –, on zk-kindlus tõusnud silmapaistvamaks Ethereumi hullumeelses skaleeritavuse lahenduse otsimises, mis avaks selle hulga revolutsioonilised DeFi ja NFT rakendused massiturule.
Vastavalt Satoshi valgele raamatule töötati plokiahel välja ühel eesmärgil: autoriteedist mööda hiilimiseks, moodustades tsensuurikindla, detsentraliseeritud süsteemi, millel puudub üks tõrkepunkt. Kuigi detsentraliseerimine on süsteemiarhitektuuris tohutu saavutus, ei toimu see ilma kuludeta. Detsentraliseeritud süsteemides toimuvad teabe vahetamise, salvestamise ja kontrollimise protsessid üksteisest sõltuvate seadmete, tarkvara ja inimeste vahel. See tähendab, et need on äärmiselt kõrged süsteemid teadmiste keerukus.
Erinevalt tsentraliseeritud süsteemidele omasetest sujuvamatest protsessidest vähendab teadmiste keerukus paratamatult võrgu tõhusust, aeglustab tehinguaega ja suurendab kasutajate tehingukulusid.
Kuna Cryptokittiesi 2017. aasta fiasko, Ethereum on plokiahelale omase mastaapsuse dilemma poster-lapsena sattunud igavese krüptovalgustuse tähelepanu keskpunkti. Olles tööstusharu liider detsentraliseeritud rakenduste ja kasutajate vallas, piirab Ethereumi teadmiste keerukus selle tehingute läbilaskevõimet tühise kümne tehinguni sekundis – heal päeval 12 tehinguni.
Olles otsustanud probleemiga tegeleda, leidsid arendajate meeskonnad kogu ökosüsteemis erinevaid esialgseid lahendusi: osariigi kanalid, mis ei ühildunud EVM-iga ning nõudsid kasutaja identiteeti ja esialgseid kapitalilukke; Plasma, vähem kui mugavate lapsekettide võrgustik, millel puudus ka EVM-ühilduvus; Sidechains, mis töötasid sõltumatult Ethereumi peaahela turvalisusest; ja Sharding, konsensuslik modifikatsioon, mille atribuudid ja tarnekuupäevad on kõikunud ja arenenud viisil, mis meenutab murtud poliitkampaania lubadusi.
Zks jäi raami Zk-Rollupide kujul – mehhanism, mis kasutab zkSNARK-tehnoloogiat, et konsolideerida ahelavälised tehingud Merkle Treesi kaudu ja avaldada need Ethereumi põhiahelas ühe tehinguga – see on ülitõhus mudel, mis viis arvutusi läbi ahelavälise. ja kasutas peaahelat ainult andmete salvestamiseks. Kuigi Zk-Rollups oli parim tehniline lahendus, ei olnud need veel EVM-iga ühilduvad ja said toimida ainult maksekanalitena. DeFi rakendused peaksid jääma ahelasse seni, kuni koondprogrammid toetavad arukat lepingute täitmist.
Optimismi kokkuvõte
Võistluses DeFi toetamise nimel oli Ethereumi arendajameeskond Optimism esimene, kes võitis oma Optimistic Rollupide, EVM-iga ühilduva koondahela, mis on valmis ühe klõpsuga dApp juurutamiseks, ja seda kõike ilma ühegi zk-kindluseta. Oli ainult üks tõrge: Optimismi koondraamat sõltus pettuste tõenditest, et avaldada grupeeritud tehingud ahelas, mistõttu kasutajad peavad taluma põhiahelast väljavõtmise vaidlustusaja viivitusi (DTD), sageli üle ühe nädala. Kuid Internetis koostatavusega jäi Optimism parimaks saadaolevaks alternatiiviks.
See oli kuni viimaste kuudeni, mil Matter Labs andis välja zkSync v2: täisfunktsionaalse, EVM-iga ühilduva Zk-Rollupi, mis kasutab arvutuslikult usaldusväärseid kehtivustõendeid koos lühikeste DTD-dega. Kuna EVM-ühilduvus on v2 jaoks lahendatud, on zkSync ja selle alla kümneminutilised peaahelast väljavõtmised nüüd paremad kui Optimism, mille OVM sõltub väljamaksetehingute kinnitamiseks endiselt pikaajalistest DTD-dest.
Kuna tähelepanu ja arendaja ressursid liiguvad jätkuvalt nullteadmiste valdkonda, saab tegelikkus selgeks: nende arhitektide valitud tiitli järgi loodi zk-proofs süsteemidele, mida iseloomustavad kõrge teadmiste keerukusja sobivad kõige paremini paljude arvutuslike dilemmade lahendamiseks, millega plokiahela ökosüsteemid silmitsi seisavad, ja nende kasutuselevõtu teed.
Tulemas täisring: privaatsuse säilitamine seal, kus see kuulub
DeFi kontseptsiooniga on Ethereum kindlustanud oma koha plokiahela innovatsiooni peamise keskusena. Keerukad rakendused, nagu need, mis moodustavad krüpto DeFi sektori, nõuavad oleku salvestamist ja seega ka Ethereumi Turingi täielikkust ja kontopõhist tehingumudelit. Samal ajal töötavad privaatsuskesksed rakendused UTXO tehingumudelitega plokiahelates, kus globaalseid olekuid, sealhulgas kontojääke, haldavad kõrgemad abstraktsioonitasemed, nagu rahakotirakendused ja plokiuurijad.
Seni on arendajad DeFi privaatsuse toomise missiooni raames otsustanud tuua DeFi privaatsusse, luues kas eraldiseisvad UTXO plokiahelad või väga tsentraliseeritud ja läbipaistmatud Layer 2 mudelid eemal Ethereumi hirmutavast avalikust peaahelast.
Alles jaanuaris 2019 loodi asteekide protokollis Ethereumi esimene ahelasisene konfidentsiaalse märgi standard. EIP-1724. Asteekid tegid ettepaneku kasutada Ethereumis privaatsete žetoonide loomiseks zkSNARK-e, kuigi a oleks vaja usaldusväärset seadistust privaatvõtmete levitamiseks. Lisaks toimub kogu segamisprotsess, mis annab asteekide zk-märkidele privaatsuse, teatud tüüpi 2. kihil. Geniaalne visionäärmudel, Aztec’s Layer 2 konstruktsioon tõi Ethereumi esimest korda privaatsuse. Kuid vastupidiselt skaleeritavusele on privaatsuse põhivolitus see, et see peab toimima 1. kihil – ilma if-de, and-ide või sildadeta.
Usaldusväärne seadistus
Aasta pärast Aztec'i turuletoomist esitas Offshifti meeskond Ethereumis teedrajava Layer 1 PriFi lahenduse, mis plaanitakse turule tuua 1. aasta I kvartalis. Meeskonna mudelis kasutatakse kuulikindlaid zks-e, mis erinevalt SNARK-idest ei vaja usaldusväärse seadistuse elemente ja töötavad täielikult. 2022. kihil. Ethereumi kontopõhise tehingumudeli käsitlemiseks väljastab Offshifti protokoll zkAssetid krüptograafiliste kohustuste kujul, mida vahetatakse Ethereumi aadresside vahel UTXO mudelis, võimaldades seeläbi PriFi rakendustel saada kasu Ethereumi Turingi täielikkusest 1. kihist lahkumata.
Kuigi täiesti ainulaadsed väljakutsed, saab tõhusat mastaapsust ja läbitungimatut privaatsust kõige paremini lahendada arvutustööriistad, mis on mõeldud detsentraliseeritud süsteemide jaoks, st süsteemidele, mida iseloomustab väga suur teadmiste keerukus.
Aastakümneid oma ajast ees tegid Goldwasser, Macali ja Rackoff oma 1985. aasta artiklis täiesti selgelt: „Teadmiste keerukus aitab tõestada või ümber lükata krüptoprotokollide õigsust, kuna need põhinevad teatud privaatse teabe saladusel ja peaksid seda saladust säilitama. ”
Seejärel märkisid nad poeetiliselt: "Mõne teabe privaatsus annab meile vastaste ees eelise."
Alex Shipp on ettevõtte strateegiajuht Käiguvahetus, PriFi (privaatne DeFi) tuletisinstrumentide platvorm.
Allikas: https://thedefiant.io/zero-knowledge-ethereum-layer-1/
- 2016
- 2019
- konto
- Täiendavad lisad
- Vastuvõtmine
- ADEelis
- Materjal: BPA ja flataatide vaba plastik
- Lubades
- rakendused
- arhitektuur
- BEST
- blockchain
- ehitama
- Ehitus
- Kampaania
- Võimsus
- kapital
- kanalid
- Charles
- juht
- Münt
- kogukond
- Arvutiteadus
- üksmeel
- sisu
- jätkama
- leping
- kulud
- Loominguline
- dapp
- andmed
- andmete salvestamine
- Kuupäevad
- päev
- detsentraliseerimine
- Detsentraliseeritud
- Detsentraliseeritud rakendused
- Defi
- viivitusi
- tarne
- Derivaadid
- arendama
- arendaja
- Arendajad
- seadmed
- Vaidlus
- ökosüsteemi
- ökosüsteemid
- efektiivsus
- ethereum
- ees
- ebaedu
- esimene
- Esimest korda
- sobima
- vorm
- pettus
- Globaalne
- hea
- Suur
- Kuidas
- HTTPS
- Inimestel
- Kaasa arvatud
- tööstus
- info
- Infrastruktuur
- Innovatsioon
- interaktiivne
- küsimustes
- IT
- pidamine
- võtmed
- teadmised
- Labs
- algatama
- juhtivate
- Lukud
- Tegemine
- märk
- Turg
- missioon
- mudel
- kuu
- võrk
- NFT
- Ohvitser
- Internetis
- avatud
- Paber
- makse
- inimesele
- privaatsus
- era-
- Privaatvõtmed
- protokoll
- avalik
- avaldama
- Q1
- otsimine
- Rass
- Reaalsus
- Vahendid
- Satoshi
- säästmine
- Skaalautuvus
- Skaala
- teadus
- Otsing
- turvalisus
- varitsus
- Lühike
- Aeglustub
- nutikas
- arukas leping
- tarkvara
- Lahendused
- riik
- väljavõte
- Ühendriigid
- ladustamine
- Strateegia
- esitatud
- toetama
- süsteem
- süsteemid
- Puuduta
- Tehniline
- Tehnoloogia
- ajutine
- aeg
- sümboolne
- märgid
- tehing
- Tehingud
- us
- kasutaja privaatsus
- Kasutajad
- rahakott
- nädal
- lühiülevaade
- aasta
- aastat
- Zcash
- null
- null teadmiste tõestusmaterjalid