Dencun ja Pralectra: Ethereumin ydinkehittäjät luovat kunnianhimoisen vuoden 2024

Ethereumin ydinkehittäjät keskustelevat "Dencunin" jälkeisen seuraavan kovahaarukan prioriteeteista, joka saattaa tulla vuoden 2024 lopulla tai 2025.

Torstain All Core Devs -puhelun jälkeen Dencunin haarukan alustava aikataulu pysyy ennallaan, ja Goerli-testnet avattiin ensimmäisen kerran 17. tammikuuta.

Kun päivitys julkaistaan ​​todennäköiseltä maaliskuussa, kehittäjät kiinnittävät huomiota siihen, mitä Prague-Electrassa – lyhyesti sanottuna Pralectrassa – on tulossa seuraavaan päivitykseen.

Kokonaisvisiosta käydään edelleen keskustelua: joko ominaisuuksiin keskittyvä sarja pienempiä Ethereum Improvement Proposals (EIP) -ehdotuksia tai merkittävä protokollapäivitys Verkle Treesin tuomiseksi suoritustasolle.

Verkle Trees on uusi tietorakenne, joka kehittää nykyistä nykyistä Merkle Tree -puuta, jossa käytetään kehittyneempiä matemaattisia tekniikoita – vektorisitoumuksia, jotka perustuvat elliptisiin käyräpareihin, jotka ovat Verklen mukaan merkittävä poikkeama Merkle Treesissä käytetyistä yksinkertaisemmista hash-funktioista. tiedot.

Tämä rakenne käyttää vähemmän tilaa ja voidaan tarkistaa nopeammin, mikä mahdollistaa verkon käsittelevän enemmän tapahtumia.

Lyhyesti sanottuna, se on tapa käsitellä pitkän aikavälin ongelmaa, "tilan turvotusta", joka tulee olemaan yhä tärkeämpi Ethereum-asteikkojen myötä.

Päivitys on tärkeä virstanpylväs Ethereumin pitkän aikavälin tiekartalla, vaihe, jota kutsutaan The Vergeksi.

Pyynnöstä ei päästy selkeään yksimielisyyteen – jotkut puoltavat keskittymistä suoraan Verkle-puihin, kun Guillaume Ballet Ethereum-säätiössä varoitti "ei ole olemassa sellaista asiaa kuin pieni haarukka", mutta toiset vaativat lujaa sitoutumista verkon päivittämiseen. uudelleen vuonna 2024.

Pelätään, että Verkle Treesin toimittaminen voi kestää 18 kuukautta tai kauemmin – ikuisuuden kryptossa.

Itse Dencun oli alun perin suunniteltu marraskuulle, mutta se siirrettiin lopulta vuoteen 2024 viime lokakuussa.

Lue lisää: Ydinkehittäjät sulkevat pois Dencun-haarukan tänä vuonna

"Verkle on sulautumisen mittakaavassa, ellei huonompi monimutkaisuuden suhteen", Ballet sanoi. "Et voi lähettää mitään samanaikaisesti [suorituskerroksen] puolella."

Lukasz Rozmej Nethermind-execution client -tiimistä oli samaa mieltä ja suositteli kehittäjille, että ne asettavat etusijalle monipuolisen haarukan ennen kuin siirtyvät kokonaan Verkle Trees -puihin.

"Kokemukseni kertoo minulle, että valtion uudelleensuunnittelu on erittäin vaikeaa ja kestää erittäin kauan", hän kertoi kollegoilleen. "Verklen sitkeys ei ole spesifikaatio, se on toteutus, optimointi ja testaus."

Ominaisuudet kyllä, mutta mitkä?

Toisen ominaisuuksiin keskittyvän vuoden 2024 haarukan kannattajien joukossa olivat Nethermindin, Besun ja Rethin asiakastiimit. Mutta kysymys kuuluu, mikä on etusijalla?

Andrew Ashikhmin, Erigonin asiakastiimin ohjelmistosuunnittelija, ehdotti, että EVM Object Format (EOF) olisi yksi ehdokas ohjaamaan seuraavaa päivitystä ilman, että se häiritsisi Verkle Trees -työtä pidemmällä aikavälillä, koska sen voisi toteuttaa pienempi tiimi. ja se oli eristyneempi muutos koodipohjaan.

"Mutta Verklen pitäisi olla pääpainopiste", hän sanoi.

EOF:ta pidettiin alun perin Shapellan kovahaarukassa, mutta sitä pidettiin liian suurena pariksi "matkustajaksi" pääasiallisen "kuljettajan" Proto-Dankin shardingin tai EIP-4844:n rinnalle.

Lue lisää: Ethereumin seuraava päivitys, joka keskittyy blobeihin 

Besu-asiakastiimin protokolla-insinööri Justin Florentine sanoo, että EOF ei ole "ei todellakaan matkustaja", mutta hän sanoi, että Besu oli jo edistynyt "paljon" ominaisuudessa ja siksi kannatti sen käyttöönottoa Pralectrassa.

Georgios Konstantopoulos, Rust Ethereum (Reth) -asiakasta rakentavan sijoitusyhtiö Paradigmin teknologiajohtaja ja tutkija, sanoi, että hänen tiiminsä on "OK EOF:n kanssa, koska se on [yhden miehen] työ ja [tarvitsee] yksittäisiä testauksia".

Mutta Ethereum-säätiön kehittäjä Marius van der Wijden jakoi mielipiteen, että "EOF ei tule olemaan pienessä haarukassa."

Ansgar Dietrichs Ethereum-säätiöstä tuki EOF:n sisällyttämistä Pralectraan viime huhtikuussa ja totesi torstaina, että Solidity-tiimi, joka ylläpitää EVM:n pääasiallista älykkäiden sopimusten ohjelmointikieltä, kannatti voimakkaasti.

Kukaan puheluun osallistunut ei ollut paikalla puolustamassa nimenomaisesti EOF:ää, mikä sai Nethermindin perustajan Tomasz Stanczakin huomauttamaan: "Jos kukaan ei puolusta EOF:ää tässä kutsussa, tämä tiivistää, miksi sitä ei ole vielä lähetetty."

Stanczak kutsui EIP-7002:ta eli "Execution layer triggerable exits" eniten kannatusta saaneeksi EIP:ksi Ethereum Magicians -foorumilla ja "erittäin tärkeäksi", koska se korjaa "suuren suunnitteluvirheen panostamalla [ja] ei voi tulla tarpeeksi aikaisin".

Toinen ydinkehittäjä Parithosh Jayanthi, joka tunnetaan lempinimellä "Potuz", sanoi, että jos hänen pitäisi valita yksi toimitettava ominaisuus, se olisi EIP-7002. Hänen mielestään EIP-7549:n "pitäisi kuitenkin ehdottomasti olla mukana".

Tämä ominaisuus, joka vaikuttaa vain konsensuskerrokseen, korjaa virheen Ethereumin suunnittelussa ja pyrkii vähentämään konsensussääntöjen tarkistamiseen tarvittavien pariliitosten keskimääräistä määrää. Pariliitos on operaatio, jota käytetään tietyissä elliptisiä käyriä sisältävissä salausalgoritmeissa.

Tällä hetkellä yhteisymmärrykseen pääsemiseksi on tarpeen todentaa vähintään 1366 7549 todistusta, mikä osoittaa validaattoreiden välistä sopimusta, mutta EIP-22:n jälkeen se supistuisi vain XNUMX:een.

"Se on triviaalia toteuttaa ja säästää paljon yhdistämisaikaa", Potus sanoi. "Se voi auttaa luotettavilla silloilla - ja zk-proversilla, zk-silloilla - sen pitäisi ehdottomasti olla missä tahansa haarassa, jonka teemme seuraavaksi."

Haun tavoitteena oli käynnistää keskustelu, ja konkreettisesta lähestymistavasta ja parannusehdotuksista päätetään myöhemmin. Ethereum-päivitykset ovat konsensuslähtöisiä; ei ole olemassa selkeää auktoriteettihierarkiaa tai äänestysmekanismia prioriteettien määrittämiseksi.

Edistyminen voi toisinaan vaikuttaa haastavalta tai kaoottiselta, toisin kuin kissojen paimentaminen, mutta se on hajautetun pedon luonne.

Älä missaa seuraavaa suurta tarinaa – liity ilmaiseen päivittäiseen uutiskirjeemme.