Mi a Taiko Shasta frissítése: Akár 22-szeres rollup költségcsökkentés minimalista architektúrával?

Taiko készül bevetni a Shasta frissítés, a rendszerösszesítő protokoll teljes újratervezése, amelynek célja a költségek jelentős csökkentése a rendszerarchitektúra egyszerűsítése mellett. A frissítés arra összpontosít, hogy átszervezzék a Taiko blokkjavaslatainak, -bizonyításainak és -véglegesítésének módját a rendszeren. Ethereum, azzal a kimondott céllal, hogy az alapú összesítéseket olcsóbbá, könnyebben auditálhatóvá és könnyebben kezelhetővé tegyék a biztonság vagy a decentralizáció veszélyeztetése nélkül.

A Shasta a meglévő protokolllogika nagy részét egy minimalista, három fő szerződés köré épülő dizájnnal helyettesíti. Taiko szerint a korai benchmarkok azt mutatják, hogy ez a megközelítés a görgetési javaslatok költségeit nagyjából 22-szeresére, a bizonyítási költségeket pedig körülbelül 8-szorosára csökkentheti az előző, Pacaya néven ismert verzióhoz képest. A frissítés a Taikót közelebb helyezi az Ethereum kutatóinak az 1. szakaszú görgetési érettségre vonatkozó definíciójához is.

Ez a cikk elmagyarázza, mi a Shasta frissítés, hogyan működik, és miért számítanak az architektúrabeli döntések az alapú összesítések állapota szempontjából.

Taiko és a Shasta mögött álló tervezési célok

A Taiko egy alapú összesítés, amelyet úgy terveztek, hogy az Ethereum biztonságát és élőségét közvetlenül az 1. rétegből örökölje. Az alapú összesítések abban különböznek a szekvenszer-alapú tervektől, hogy az Ethereum blokkgyártására támaszkodnak, nem pedig egy centralizált vagy félig centralizált szekvenszerre. A kompromisszum történelmileg a magasabb költségek és a lassabb megerősítési idők voltak.

A Shastát a Taiko éles futtatása utáni alapelvekből kiindulva tervezték. A csapat két fő célt tűzött ki: az egyszerűséget és a hatékonyságot. Harmadik vezérelvként a komplexitást a láncon kívülre helyezik, a modern zk bizonyító rendszerekre támaszkodva a kiterjedt, láncon belüli végrehajtás helyett.

A Shasta mögött álló alapvető feltételezés az, hogy az egyszerűbb protokollokat könnyebb logikailag megérteni, auditálni és hibák nélkül megvalósítani. Az Ethereumon végrehajtandó és ellenőrizendő logika mennyiségének csökkentésével a Taiko a javaslattevők és a tesztelők működési költségeinek csökkenését várja, ezáltal csökkentve a felhasználói díjakat.

Három szerződés egy bonyolult keretrendszer helyett

A Shasta középpontjában egy minimalista architektúra áll, amely három szerződésből áll: Inbox, Anchor és SignalService. A protokoll korábbi verziói nagyobb számú szerződésre, csomagolóanyagra és láncon belüli elszámolási mechanizmusra támaszkodtak. A Shasta eltávolítja ennek a struktúrának a nagy részét.

Bejövő

A Beérkezett üzenetek szerződése szolgál elsődleges összesítési szerződésként a következőn: Réteg 1Két függvényen keresztül érvényesíti az összesítés alapvető szabályait.

Fedezze fel az ígéretes projekteket...

Ígéretes projektek...

(Hirdetés)

A cikk folytatódik...

A Propose függvény blob adatokat fogad, feldolgozza a kényszerített beillesztéseket, amikor azok esedékesek, frissíti a magállapotot, és eseményeket bocsát ki a bizonyítók számára. Szándékosan elkerüli a komplex, láncon belüli ellenőrzéseket a protokoll szintű szabályok, például a gázkorlátok vagy az időbélyegek esetében. Ezeket az ellenőrzéseket a láncon kívül származtatja, és a bizonyítás generálása során érvényesíti.

A Prove függvény kezeli a kötvények feldolgozását, ha a bizonyíték késve érkezik be, meghívja a zk ellenőrzőt, és véglegesíti a láncot. A véglegesítés magában foglalja az 1. réteg állapotának szinkronizálását a kifizetések engedélyezéséhez, valamint a 2. réteg és az 1. réteg közötti üzenetküldést.

Egy kulcsfontosságú tervezési változás a szekvenciális bizonyításokra való áttérés. Ebben a modellben a blokkok szigorúan sorrendben kerülnek bizonyításra és véglegesítésre. Ez kiküszöböli a láncon belüli bizonyítási konfliktusészlelés szükségességét, és megszünteti a különálló aggregációs mechanizmusokat, amelyek korábban költségeket és bonyolultságot okoztak.

Horgony

Az Anchor szerződés minden 2. rétegbeli blokk első tranzakciójaként fut. Kizárólagos célja, hogy 1. rétegbeli állapotot injektáljon a 2. rétegbe. Ez lehetővé teszi a befizetéseket, az 1. rétegből 2. rétegbe irányuló üzenetküldést és a jövőbeni mechanizmusokat, például a megerősítés előtti kötelezettségvállalások csökkentését.

A Shasta eltávolítja a korábban a Horgonyra háruló további felelősségeket. Szerepkörének leszűkítésével a szerződés könnyebben auditálhatóvá és olcsóbban végrehajthatóvá válik.

Jelzésszolgáltatás

A SignalService kezeli a láncok közötti üzenetküldést és a tokenátvitelt az Ethereum és a Taiko között. A Shasta leegyszerűsíti ezt a szerződést az olyan összetett struktúrák eltávolításával, mint a HopProofok, miközben megőrzi a visszafelé kompatibilitást. A meglévő hidakat és szándékszolgáltatókat nem kell frissíteni a folyamatos működéshez.

Mért teljesítményjavulások

A Taiko közzétett belső referenciaértékeket, amelyek a Shasta utáni gázfogyasztás jelentős csökkenését mutatják.

A frissítés előtt az új blokkok javaslata a Taikón akár egymillió gázba is kerülhetett. A költség a kötegben lévő 2. rétegbeli blokkok számával arányosult, mivel minden blokk metaadatai a láncon kerültek közzétételre. Ez növelte a javaslattevő költségeit, és végső soron a felhasználói díjakat is.

A Shasta rendszerben a javaslattételi költségek körülbelül 45 000 gázra csökkennek, miután a kezdeti bemelegedési időszak befejeződik és a javaslati gyűrűpuffer megtelik. Ez a blokkjavaslatok gázfogyasztásának becslések szerint 22-szeres csökkenését jelenti.

A bizonyítási költségek is jelentősen csökkennek. A Pacaya alatt egy tétel előállítása nagyjából 500 000 gas-ba kerül. Ennek a költségnek körülbelül a fele a zk bizonyítási ellenőrzéséből származik, a fennmaradó részt pedig a végrehajtási logika emészti fel.

A Shasta esetében a végrehajtási költségek körülbelül harmincezer gázra csökkennek, és szinte állandóak maradnak, függetlenül attól, hogy hány tételt igazolnak. Ez kedvez az aggregációnak, lehetővé téve több tétel ellenőrzését közel azonos költséggel. Összességében ez nagyjából nyolcszorosára csökkenti a bizonyítás gázköltségeit.

Taiko kijelenti, hogy a végrehajtási költségek a köteg méretével együtt változatlanok maradnak, így a protokoll 5-15-ször hatékonyabb a javaslattevők számára, mint más népszerű zk összesítések hasonló körülmények között.

Miért változtatja meg az egyszerűség a költségszerkezetet

A Shasta legnagyobb hatékonyságnövekedése a kód eltávolításából származik, nem pedig az egyes függvények optimalizálásából. A szekvenciális bizonyítások kiküszöbölik a konfliktusok észlelésével és megoldásával kapcsolatos teljes alrendszereket. A protokoll szintű ellenőrzések láncon kívüli áthelyezése csökkenti a láncon belüli végrehajtási útvonalak számát. A burkolók és absztrakciók eltávolítása csökkenti a gázfelhasználást és csökkenti a hibák számára rendelkezésre álló felületet.

Biztonsági szempontból a kevesebb kódsor egyszerűbbé teszi az auditokat. Működési szempontból az egyszerűbb szerződések könnyebben karbantarthatók és frissíthetők.

Taiko azzal érvel, hogy az Ethereum-szintű biztonság nem igényel komplex, láncon belüli végrehajtást, ha a helyesség kriptográfiailag bizonyítható. A zk-bizonyítás fejlesztései csökkentették mind a bizonyítási késleltetést, mind a költségeket, így praktikussá vált a felelősség áthárítása az 1. rétegbeli végrehajtásról.

Az alapú összesítések állapota

Az Ethereum skálázására alapú összesítéseket javasoltak, miközben megőrzik alapvető tulajdonságait, beleértve a decentralizációt, a cenzúra ellenállását és a hiteles semlegességet. A szekvenszer-alapú megoldásokkal ellentétben az alapú összesítések nem támaszkodnak privilegizált szereplőre a tranzakciók megrendeléséhez.

Az alapú szekvenálás iránti érdeklődés 2024 vége és 2025 eleje felé fokozódott. Ez a lelkesedés később két állandó kritika miatt alábbhagyott.

Az első a sebesség volt. Előzetes megerősítések nélkül a felhasználóknak legalább egy 1. rétegbeli időpontot kellett várniuk a megerősítésre. Az előzetes megerősítések már bebizonyították, hogy ez a probléma megoldható. A teljes decentralizációjuk és az érvényesítők bevezetése továbbra is inkább megvalósítási kihívás, mint kutatási probléma.

A második kritika a gazdasági megvalósíthatóság volt. Az alapú összesítéseket túl drágának tartották. Az előzetes megerősítések csökkentették a költségeket azáltal, hogy ritkábban posztolnak ajánlattevők az 1. rétegbe, de a Shasta közvetlenül a fennmaradó hatékonysági problémákat célozza meg. Taiko szerint az új kialakítás lehetővé teszi, hogy az alapú összesítések olcsóbbak legyenek, mint a legtöbb zk összesítés. Megosztott infrastruktúrával olcsóbbak lehetnek, mint sok 2. rétegbeli rendszer hasonló használati szintek mellett.

Az 1. fázisú összesítés érettsége felé haladva

Az Ethereum kutatói gyakran szakaszokban írják le a gördülési érettséget. Az 1. szakasz általában azt jelenti, hogy a rendszer erős decentralizációs garanciákat, engedély nélküli részvételt és hiteles utat biztosít a teljes bizalom minimalizálásához.

A Shasta a protokoll egyszerűsítésével és az engedély nélküli előzetes megerősítések lehetővé tételével viszi előre a Taikót. A javaslattevők és a jóváhagyók költségeinek csökkentésével a frissítés lejjebb viszi a részvétel akadályait. Ez támogatja a decentralizációt azáltal, hogy gazdaságilag életképessé teszi több szereplő számára az infrastruktúra üzemeltetését.

Tesztelési és telepítési ütemterv

A Shasta fejlesztése már hónapok óta folyamatban van, és jelenleg belső fejlesztői hálózatokon fut. Az előzetes megerősítést nyújtó szolgáltatók tesztelik szoftverüket, hogy biztosítsák a kompatibilitást az új protokolltervvel.

A Taiko tervei szerint a Shasta a Hoodi teszthálózaton a következő hetekben fog üzembe helyezni. Ez a fázis lehetővé teszi a szélesebb körű tesztelést és a fejlesztők, valamint a felhasználók visszajelzéseit. A sikeres tesztelés után a csapat tervei szerint benyújtja a frissítést a Taiko DAO-nak jóváhagyásra. A mainnet aktiválása a közösségi irányítástól és a végső ellenőrzési eredményektől függ.

Miért számít ez a frissítés?

A Shasta nem vezet be új, a végfelhasználóknak szánt funkciókat. Ehelyett a protokoll alapjait strukturálja át. A frissítés azt bizonyítja, hogy jelentős költségcsökkentés érhető el az architektúra korlátozásával, nem pedig a további bonyolultsággal.

A három szerződésre való összpontosítással és a csekkek láncon kívüli áthelyezésével a Taiko csökkenti az üzemanyag-felhasználást, leegyszerűsíti az auditokat, és az alapú összesítéseket jobban összehangolja az Ethereum eredeti tervezési céljaival. Az eredmény egy könnyebben érthető és olcsóbban üzemeltethető protokoll, miközben ugyanazokat a biztonsági feltételezéseket tartja fenn.

Összegzés

A Shasta frissítés a Taiko összesítő protokolljának alapvető újratervezését jelenti. A rendszer három magszerződésre való csökkentésével, a szekvenciális bizonyítások bevezetésével és a komplexitás láncon kívüli elmozdításával a Taiko mérhető költségcsökkentést ér el a biztonság vagy a decentralizáció gyengítése nélkül. A javaslattételi költségek nagyjából 22-szeresére, a bizonyítási költségek pedig körülbelül 8-szorosára csökkennek, és a végrehajtási hatékonyság javul a többi zk összesítőhöz képest.

A teljesítménymutatókon túl a Shasta bemutatja, hogyan erősítheti a bizalmat a minimalista architektúra. Kevesebb szerződés, kevesebb láncon belüli logika és egyértelműbb felelősségi körök teszik a protokollt könnyebben auditálhatóvá és működtethetővé. Ahogy a Taiko a teszthálózati telepítés és a DAO-jóváhagyás felé halad, a Shasta konkrét példaként szolgál arra, hogy az alapú összesítések hogyan válhatnak gazdaságilag életképessé és hogyan illeszkedhetnek az Ethereum alapelveihez.

Forrás:

• Taiko bekezdésA Shasta fejlesztése