Lansarea guvernării duale este după colț și votul din Aragon începe miercuri.
Pentru a ne asigura că Dual Governance este sănătoasă și solidă, au fost auditate patru niveluri:
• Specificații: proiectarea mecanismului, ciclul de viață al propunerii, stări critice de guvernanță.
• Cod: contracte de semnalizare escrow, rage quit, timelocks, comitete.
• Parametri: praguri, întârzieri, declanșatoare.
• Implementare și vot: contractele mainnet se potrivesc cu codul auditat, scriptul de vot.
Vedeți cine a testat, auditat și certificat Dual Governance:
Dual Governance este conceput pentru a proteja deținătorii de Lido DAO și stETH de atacurile de guvernanță. Cu toate acestea, mecanismul este atât de complex încât ar putea deveni el însuși un vector de atac.
Pentru a se asigura că nu este cazul, mai multe echipe au încercat să-l spargă (în mod repetat).
Printre aceștia s-au numărat colaboratori Lido și unele dintre cele mai bune echipe de securitate din spațiu.
👇
Specificatii
Specificația tehnică prezintă detaliile cheie de implementare a mecanicii sistemului.
A fost supus a două revizuiri de design de la terți:
• @CertoraInc:
• @rv_inc:
Cod
Versiunea finală a codului este publicată pe GitHub:
Verificarea oficială prin:
1. @CertoraInc
2. @rv_inc
Auditat de:
1. @OpenZeppelin
2. @statemindio
Mai multe despre fiecare 👇
@CertoraInc
A efectuat verificarea formală și evaluarea securității sistemului. A modelat logica completă, a codificat invarianții cheie și a testat condițiile critice pentru propuneri rău intenționate, subliniind separat vectorii de atac activați de flashloan.
🧾
@OpenZeppelin
A revizuit implementarea în două runde, identificând riscurile logice și defectele de implementare. Ipoteze contestate și cazuri limită, inclusiv moduri de eșec neevidente.
🧾
@statemindio
A adus o perspectivă nouă și a ajutat la validarea rezistenței sistemului împotriva comportamentului de margine și a potențialelor abuzuri. A auditat atât mecanica de bază, cât și interacțiunile dintre contururile de guvernanță + a efectuat verificarea implementării.
🧾
@rv_inc
A efectuat o analiză formală profundă a comportamentului sistemului de-a lungul timpului. A verificat garanțiile de siguranță și viață, în special în ceea ce privește semnalizarea veto, renunțarea furiei și tranzițiile de blocare temporală.
🧾
Cercetarea modelului bazat pe agenți de @CollectifDAO
A rulat simulări de stres folosind un model public pentru a evalua modul în care diferiți actori ar putea manipula fluxul de propuneri sau bloca ieșirile.
🧾
32,76 K
0
Conținutul de pe această pagină este furnizat de terți. Dacă nu se menționează altfel, OKX nu este autorul articolului citat și nu revendică niciun drept intelectual pentru materiale. Conținutul este furnizat doar pentru informare și nu reprezintă opinia OKX. Nu este furnizat pentru a fi o susținere de nicio natură și nu trebuie să fie considerat un sfat de investiție sau o solicitare de a cumpăra sau vinde active digitale. În măsura în care AI-ul de generare este utilizat pentru a furniza rezumate sau alte informații, astfel de conținut generat de AI poate să fie inexact sau neconsecvent. Citiți articolul asociat pentru mai multe detalii și informații. OKX nu răspunde pentru conținutul găzduit pe pagini terțe. Deținerile de active digitale, inclusiv criptomonedele stabile și NFT-urile, prezintă un grad ridicat de risc și pot fluctua semnificativ. Trebuie să analizați cu atenție dacă tranzacționarea sau deținerea de active digitale este adecvată pentru dumneavoastră prin prisma situației dumneavoastră financiare.