Dual Governance -julkaisu on nurkan takana ja Aragonian äänestys alkaa tänä keskiviikkona.
Sen varmistamiseksi, että kaksoishallinto on järkevää ja vakaata, tarkastettiin neljä tasoa:
• Tekniset tiedot: mekanismin suunnittelu, ehdotuksen elinkaari, kriittiset hallintotilat.
• Koodi: sopimukset escrow-, rage quit-, aikalukko- ja komiteasopimuksista.
• Parametrit: kynnysarvot, viiveet, laukaisimet.
• Käyttöönotto ja äänestys: pääverkkosopimukset vastaavat tarkastettua koodia, äänestysskriptiä.
Katso, ketkä ovat testattuja, auditoituja ja sertifioituja Dual Governance:
Dual Governance on suunniteltu suojaamaan Lido DAO:n ja stETH:n haltijoita hallintohyökkäyksiltä. Mekanismi on kuitenkin niin monimutkainen, että siitä voi tulla itse hyökkäysvektori.
Varmistaakseen, että näin ei ole, useat joukkueet yrittivät rikkoa sen (toistuvasti).
Näihin kuului Lidon avustajia ja joitain alan parhaista tietoturvatiimeistä.
👇
Silmälasit
Teknisessä eritelmässä hahmotellaan järjestelmämekaniikan keskeiset toteutusyksityiskohdat.
Se on käynyt läpi kaksi kolmannen osapuolen suunnittelutarkastusta:
• @CertoraInc:
• @rv_inc:
Koodi
Lopullinen koodiversio julkaistaan GitHubissa:
Virallinen tarkastus:
1. @CertoraInc
2. @rv_inc
Tarkastanut:
1. @OpenZeppelin
2. @statemindio
Lisää kustakin 👇
@CertoraInc
Suoritti järjestelmän muodollisen tarkastuksen ja turvallisuusarvioinnin. Mallinsi koko logiikan, koodasi avaininvariantit ja stressitestasi haitallisten ehdotusten kriittiset olosuhteet korostaen erikseen flashloan-yhteensopivia hyökkäysvektoreita.
🧾
@OpenZeppelin
Tarkasteli toteutusta kahdella kierroksella ja tunnisti logiikkariskit ja toteutusvirheet. Kyseenalaiset oletukset ja reunatapaukset, mukaan lukien ei-ilmeiset vikatilat.
🧾
@statemindio
Toi tuoreen näkökulman ja auttoi vahvistamaan järjestelmän sietokykyä reunakäyttäytymistä ja mahdollista väärinkäyttöä vastaan. Tarkastettu sekä ydinmekaniikka että hallinnon ääriviivojen välinen vuorovaikutus + suoritettu käyttöönoton todentaminen.
🧾
@rv_inc
Suoritti syvällisen muodollisen analyysin järjestelmän käyttäytymisestä ajan mittaan. Tarkistettu turvallisuus- ja elävyystakuut, erityisesti veto-ilmoituksen, Rage Quitin ja aikalukon siirtymien suhteen.
🧾
Agenttipohjainen mallitutkimus @CollectifDAO
Suoritti stressisimulaatioita julkisella mallilla arvioidakseen, kuinka eri toimijat voisivat manipuloida ehdotusten kulkua tai pysäyttää poistumisia.
🧾
42,97 t.
0
Tällä sivulla näytettävä sisältö on kolmansien osapuolten tarjoamaa. Ellei toisin mainita, OKX ei ole lainatun artikkelin / lainattujen artikkelien kirjoittaja, eikä OKX väitä olevansa materiaalin tekijänoikeuksien haltija. Sisältö on tarkoitettu vain tiedoksi, eikä se edusta OKX:n näkemyksiä. Sitä ei ole tarkoitettu minkäänlaiseksi suositukseksi, eikä sitä tule pitää sijoitusneuvontana tai kehotuksena ostaa tai myydä digitaalisia varoja. Siltä osin kuin yhteenvetojen tai muiden tietojen tuottamiseen käytetään generatiivista tekoälyä, tällainen tekoälyn tuottama sisältö voi olla epätarkkaa tai epäjohdonmukaista. Lue aiheesta lisätietoa linkitetystä artikkelista. OKX ei ole vastuussa kolmansien osapuolten sivustojen sisällöstä. Digitaalisten varojen, kuten vakaakolikoiden ja NFT:iden, omistukseen liittyy suuri riski, ja niiden arvo voi vaihdella merkittävästi. Sinun tulee huolellisesti harkita, sopiiko digitaalisten varojen treidaus tai omistus sinulle taloudellisessa tilanteessasi.