Vitalik Buterin razkriva velik izziv za prihodnost Ethereuma – in kako ga rešiti

Soustanovitelj Ethereuma Vitalik Buterin je v nedavni objavi na spletnem dnevniku ta konec tedna delil svoje razmišljanje o "premalo obravnavanem, a kljub temu zelo pomembnem" vidiku ekosistema Ethereum.

Objava z naslovom "Kako bo Ethereumova filozofija več odjemalcev vplivala na ZK-EVM?" osredotočen na tehnične izzive, kompromise in možne rešitve za ustvarjanje ekosistema z več odjemalci za ZK-EVM.

Težava z več odjemalci pri Zk-EVM

Vitalik verjame, da se bodo ZK-EVM razvili tako, da bodo v prihodnosti postali bistveni del Ethereumove varnosti in postopka preverjanja na ravni 1. Tehnologija Zero Knowledge (ZK) omogoča razvijalcem, da dokažejo pristnost transakcije ali sporočila, ne da bi razkrili dodatne informacije. Tako omogoča eni strani, da prepriča drugo, da je sporočilo resnično, ne da bi razkril kakršno koli znanje, ki presega veljavnost sporočila.

Vendar pa bi lahko narava tehnologije ZK, ki uveljavlja zasebnost, motila širšo krajino EVM, saj se odjemalci Ethereum subtilno razlikujejo pri izvajanju pravil protokola, pravi soustanovitelj Ethereuma.

Protokoli plasti 2 v skupnih zbirkah ZK so uspešno uporabili dokazila ZK in pomagali razširiti Ethereum z združevanjem več transakcij v en sam dokaz. Ko pa se ZK-EVM razvijajo za preverjanje izvajanja v glavnem omrežju, "ZK-EVM de facto postanejo tretja vrsta odjemalca Ethereum, prav tako pomembna za varnost omrežja, kot so danes izvršilni odjemalci in konsenzni odjemalci."

Če na ZK-EVM gledamo kot na tretjo vrsto odjemalca Ethereum, se Vitalik postavi naslednje vprašanje,

"Kako bi pravzaprav naredili ekosistem "več odjemalcev" za ZK-dokazovanje pravilnosti blokov Ethereum?"

Ko se ekosistem širi, želi Vitalik ohraniti prednosti "filozofije več odjemalcev", hkrati pa izkoristiti zmogljivosti ZK-EVM za izboljšanje razširljivosti, varnosti in decentralizacije omrežja Ethereum.

Glavni tehnični izzivi uporabe tehnologije ZK z več odjemalci so povezani z zakasnitvijo in neučinkovitostjo podatkov, pravi Vitalik. Poleg tega posamezni odjemalci Ethereum različno obravnavajo dokaze brez znanja zaradi posebnih interpretacij pravil protokola ali implementacij ZK-EVM.

ZK-EVM večstranske rešitve

Kljub tem izzivom Vitalik verjame, da je ustvarjanje odprtega ekosistema ZK-EVM z več odjemalci izvedljivo in koristno za varnost in decentralizacijo Ethereuma.

Spodaj je vizualna predstavitev različnih odjemalcev, ki se uporabljajo v konsenznih in izvedbenih slojih ekosistema Ethereum.

Vitalik je trdil, da več odjemalcev poveča varnost in decentralizacijo omrežja z zmanjšanjem tveganja ene same katastrofalne napake v eni izvedbi, ki bi lahko vodila do okvare celotnega omrežja. Poleg tega filozofija več odjemalcev pomaga preprečiti koncentracijo moči znotraj ene razvojne ekipe ali organizacije, kar spodbuja politično decentralizacijo.

Vitalik je predstavil tri možne rešitve problema, kot je prikazano spodaj.

1. »Enotni ZK-EVM: opustite paradigmo več odjemalcev in izberite en sam ZK-EVM, ki ga uporabljamo za preverjanje blokov.
2. Zaprti več ZK-EVM: dogovorite se in vključite v soglasje določen nabor več ZK-EVM ter imejte pravilo protokola na ravni soglasja, da blok potrebuje dokaze iz več kot polovice ZK-EVM v tem nizu, da se šteje za veljavnega .
3. Odpri več ZK-EVM: različni odjemalci imajo različne izvedbe ZK-EVM in vsak odjemalec čaka na dokaz, ki je združljiv z njegovo izvedbo, preden sprejme blok kot veljaven.«

V kontekstu ZK-EVM-jev Vitalik podpira zamisel o odprtem ekosistemu ZK-EVM z več odjemalci. Različni odjemalci imajo različne izvedbe ZK-EVM in vsak odjemalec čaka na dokaz, ki je združljiv z njegovim, preden sprejme blok kot veljaven.

"Meni se (3) zdi idealno, vsaj dokler in razen če se naša tehnologija izboljša do te mere, da lahko uradno dokažemo, da so vse izvedbe ZK-EVM enakovredne druga drugi ..."

Ko pa se bo tehnologija izboljšala do te mere, da bodo izvedbe ZK-EVM nekoliko standardizirane, je Vitalik trdil, da bo rešitev izbira najučinkovitejše možnosti. Meni, da se "izzivi [za možnost 3] zdijo manjši od izzivov drugih dveh možnosti, vsaj za zdaj."

Vitalik je prav tako prikimal nedavnemu hitremu napredku umetne inteligence in izjavil, da bi lahko napredek umetne inteligence "super napolnil" razvoj dokazovanja implementacij ZK-EVM.

»V dolgoročnejši prihodnosti se seveda lahko zgodi karkoli. Morda bo umetna inteligenca preobremenila formalno preverjanje do te mere, da bo zlahka dokazala enakovrednost implementacij ZK-EVM in prepoznala vse napake, ki povzročajo razlike med njimi.«