Revizuirea Compatibilității Upgrade-ului Protocolului Robinhood Evidențiază Riscuri Critice de Securitate

Un audit tehnic cuprinzător al protocolului DeFi Robinhood, care gestionează aproximativ 15,5 miliarde de dolari în Total Value Locked (TVL) pe Ethereum L1 și multiple soluții L2, a descoperit riscuri critice de securitate legate de cadrul său de upgradeabilitate. Revizuirea s-a concentrat pe domenii critice, inclusiv modelele de upgrade bazate pe proxy ale protocolului (UUPS + Transparent Proxy), layout-ul de stocare, bridge-urile cross-chain și mecanismele de guvernanță. Constatările indică faptul că modificările viitoare de cod ar putea fi introduse nesigur, ducând potențial la coruperea stării, expunerea activelor sau crearea de noi vectori de atac, subliniind natura de țintă de mare valoare a platformei.

Vulnerabilitățile tehnice cheie identificate includ probleme de severitate ridicată, cum ar fi multiple contracte care partajează sloturi de stocare cu spații ne-rezervate, ducând la coliziuni potențiale și coruperea datelor în timpul upgrade-urilor. Mecanismul de guvernanță, deși utilizează un timelock, are o defecțiune critică în care contractul timelock însuși este upgradeabil, permițând unui actor malițios să scurteze întârzierea și să execute upgrade-uri neautorizate. Mai mult, contractele bridge cross-chain sunt susceptibile la atacuri de tip replay din cauza lipsei separării domeniului în hashing-ul calldata extern, iar unele funcții de administrator sunt insuficient protejate prin verificări simple 'onlyOwner' în loc de roluri robuste controlate de DAO.

Aceste constatări culminează într-un scor de risc general ridicat de 7,8 din 10, în principal datorită combinației dintre TVL-ul substanțial al protocolului, vulnerabilitățile din guvernanța sa upgradeabilă și măsurile de siguranță insuficiente pentru gestionarea stocării. Vectorii de atac identificați, inclusiv coliziunile de sloturi de stocare, manipularea guvernanței prin timelock-ul upgradeabil și exploatările bridge-urilor cross-chain, subliniază nevoia urgentă de remediere pentru a preveni potențiala deposedare de active sau blocarea sistemului. Lipsa testării cuprinzătoare, în special simulările de migrare a stării bazate pe fork pentru L2 roll-ups, exacerbează și mai mult aceste riscuri.