Släppet av Dual Governance är runt hörnet och omröstningen om Aragonien börjar nu på onsdag.
För att se till att det dubbla styret är sunt och sunt granskades fyra nivåer:
• Specifikationer: mekanismdesign, förslagets livscykel, kritiska styrningstillstånd.
• Kod: kontrakt för signalering escrow, rage quit, tidlås, kommittéer.
• Parametrar: trösklar, fördröjningar, triggers.
• Distribution och röstning: mainnet-kontrakt matchar granskad kod, röstningsskript.
Se vem som är testad, granskad och certifierad med dubbel styrning:
Dual Governance är utformat för att skydda Lido DAO- och stETH-innehavare från styrningsattacker. Ändå är mekanismen så komplex att den kan bli en attackvektor i sig.
För att se till att så inte är fallet försökte flera lag bryta det (upprepade gånger).
Detta inkluderade Lido-bidragsgivare och några av de bästa säkerhetsteamen i utrymmet.
👇
Glasögon
Den tekniska specifikationen beskriver de viktigaste implementeringsdetaljerna för systemmekaniken.
Den har genomgått två designgranskningar från tredje part:
• @CertoraInc:
• @rv_inc:
Kod
Den slutliga kodversionen publiceras på GitHub:
Formell verifiering av:
1. @CertoraInc
2. @rv_inc
Granskad av:
1. @OpenZeppelin
2. @statemindio
Mer om varje 👇
@CertoraInc
Utförde formell verifiering och säkerhetsbedömning av systemet. Modellerade den fullständiga logiken, kodade nyckelinvarianter och stresstestade kritiska villkor för skadliga förslag, separat med betoning på de flashloan-aktiverade attackvektorerna.
🧾
@OpenZeppelin
Granskade implementeringen i två omgångar och identifierade logiska risker och implementeringsbrister. Utmanade antaganden och gränsfall, inklusive icke-uppenbara fellägen.
🧾
@statemindio
Gav ett nytt perspektiv och hjälpte till att validera systemets motståndskraft mot kantbeteende och potentiellt missbruk. Granskade både kärnmekaniken och interaktionerna mellan styrningskonturerna + utförde implementeringsverifiering.
🧾
@rv_inc
Körde djup formell analys av systemets beteende över tid. Kontrollerade säkerhets- och livlighetsgarantier, särskilt kring Veto Signalling, Rage Quit och timelock-övergångar.
🧾
Agentbaserad modellforskning av @CollectifDAO
Körde stresssimuleringar med hjälp av en offentlig modell för att bedöma hur olika aktörer kunde manipulera förslagsflödet eller stoppa utgångar.
🧾
33,02 tn
0
Innehållet på den här sidan tillhandahålls av tredje part. Om inte annat anges är OKX inte författare till den eller de artiklar som citeras och hämtar inte någon upphovsrätt till materialet. Innehållet tillhandahålls endast i informationssyfte och representerar inte OKX:s åsikter. Det är inte avsett att vara ett godkännande av något slag och bör inte betraktas som investeringsrådgivning eller en uppmaning att köpa eller sälja digitala tillgångar. I den mån generativ AI används för att tillhandahålla sammanfattningar eller annan information kan sådant AI-genererat innehåll vara felaktigt eller inkonsekvent. Läs den länkade artikeln för mer detaljer och information. OKX ansvarar inte för innehåll som finns på tredje parts webbplatser. Innehav av digitala tillgångar, inklusive stabila kryptovalutor och NFT:er, innebär en hög grad av risk och kan fluktuera kraftigt. Du bör noga överväga om handel med eller innehav av digitala tillgångar är lämpligt för dig mot bakgrund av din ekonomiska situation.