Il CEO di OpenZeppelin dichiara che il DeFi non è sicuro: il modello di audit è appena morto
Manuel Aráoz, co-fondatore di OpenZeppelin, ha dichiarato la settimana scorsa a un pubblico che il DeFi non è più sicuro perché l'intelligenza artificiale è diventata sovrumana nell'individuare i bug degli smart contract. La società che ha fondato scrive le librerie di sicurezza che una fetta enorme di Ethereum importa per impostazione predefinita. Quando il CEO di OpenZeppelin dichiara il DeFi non sicuro, il dibattito sul modello di audit è chiuso.
Ho osservato i report di audit arrivare per quattro anni a LCX. I migliori sono densi, circoscritti e onesti riguardo al loro perimetro. Sono anche cristallizzati nel tempo. Il protocollo che hai auditato martedì non è il protocollo in esecuzione venerdì, dopo che la governance ha inviato una modifica alla configurazione, una dipendenza ha aggiornato una versione o un nuovo oracolo è stato collegato. Il punto di Aráoz, riportato da CoinDesk, è che il lato attaccante di quell'asimmetria ha appena ricevuto un potenziamento di un ordine di grandezza.
Nel frattempo, oltre 1,1 miliardi di dollari sono stati sottratti dai protocolli DeFi negli ultimi dodici mesi. Quel numero non è un problema di caccia ai bug. È un problema di progettazione del sistema.
Perché il fatto che il CEO di OpenZeppelin dichiari il DeFi non sicuro è rilevante
Aráoz non è un estraneo che lancia critiche gratuite al settore. Ha contribuito a costruirne gli standard.
I pattern ERC-20, ERC-721 e AccessControl che quasi ogni protocollo serio utilizza risalgono alle librerie di OpenZeppelin. Quando quel fondatore afferma che il modello di sicurezza è rotto, ha un peso che, diciamo, un thread casuale su Twitter non ha. Il framing di Manuel Aráoz sull'hacking sovrumano dell'IA ha avuto risonanza perché chi lo afferma ha pagato di persona il conto del vecchio modello.
Un breve elenco di ciò che l'ammissione concede di fatto:
- Gli audit puntuali non riescono a tenere il passo con la velocità con cui gli agenti AI scoprono nuovi vettori di attacco.
- Gli incentivi economici sul lato degli attaccanti crescono ora in proporzione alla capacità dei modelli, non al numero di revisori umani.
- Anche codebase controllate da società di prim'ordine hanno rilasciato bug sfruttabili nel 2025 e nel 2026.
Il modello di audit DeFi è obsoleto nel 2026, non nel 2030
Il modello "audit come PDF" era già sotto pressione. L'AI ha reso visibile quella pressione.
Un audit Solidity tradizionale consiste in una o quattro settimane di revisione umana, un report e un contratto a tariffa fissa. Il risultato è una fotografia. L'attaccante dispone ora di un agente instancabile che può fare fuzzing, riprodurre lo stato della mainnet e confrontare pattern con migliaia di exploit passati senza pause caffè. È l'asimmetria che Aráoz descrive quando dice che l'AI sta diventando sovrumana nella sicurezza offensiva.
Un esempio concreto recente: la configurazione errata del DVN di LayerZero che è costata 292 milioni di dollari a Kelp DAO non era un bug Solidity. Era una deriva di configurazione tra uno stato verificato e uno stato in esecuzione. Nessun audit su PDF intercetta questo il venerdì pomeriggio quando il team operativo applica una modifica.
Il modo più chiaro per dirlo: un audit ti dice che il codice era probabilmente sicuro nel giorno in cui è stato esaminato. Non ti dice che il sistema è sicuro adesso.
Cosa cambia davvero uno scanner AI per vulnerabilità negli smart contract
Anche il lato difensivo si sta muovendo, solo più lentamente di quello offensivo. Questo divario è il problema centrale.
Il pattern utile che vedo in produzione assomiglia meno a "sostituire il revisore" e più a "dare a ogni protocollo un avversario continuo":
- Agenti AI che eseguono nuovamente il fuzzing del bytecode distribuito dopo ogni azione di governance, non solo al momento del deploy.
- Monitor di invarianti che osservano lo stato live e attivano circuit breaker quando la matematica deriva, non quando un essere umano se ne accorge su Discord.
- Piattaforme di bug bounty collegate ad agenti autonomi che inviano e tracciano le segnalazioni 24 ore su 24, 7 giorni su 7.
Forta, la Cantina di Spearbit e il Defender di OpenZeppelin si muovono in questa direzione da un paio d'anni. Il cambiamento che Aráoz sta segnalando è che questo non è più il livello premium. È il punto di partenza.
Sicurezza continua per i protocolli DeFi, non controlli annuali
L'analogia che continuo a riproporre è quella medica. Un audit pre-listing è una visita di controllo. La sicurezza continua è un monitor cardiaco.
Nella finanza regolamentata, il revisore firma una volta all'anno, ma il SIEM, il WAF e il sistema di sorveglianza degli scambi girano ogni secondo. La DeFi ha adottato la parte annuale e saltato quella del monitoraggio in tempo reale, poi si è mostrata sorpresa quando più di un miliardo di dollari è uscito dalla porta. La lezione di vent'anni di cloud security è che il monitoraggio supera l'audit per ogni dollaro speso dopo il primo.
Alcune trasformazioni concrete su cui scommetterei:
- Le società di audit si riposizionano come vendor di monitoraggio continuo con SLA, non come erogatori di report.
- Gli assicuratori prezzano i protocolli in base alla telemetria di sicurezza in tempo reale, non all'ultimo PDF.
- I framework di governance che richiedono un trigger di re-audit per qualsiasi modifica ai parametri oltre una certa soglia.
Niente di tutto questo è esotico. Il Web2 lo ha risolto un decennio fa. La DeFi ha semplicemente la versione più difficile, perché il codice è il caveau della banca.
Cosa dovrebbero fare concretamente i protocolli questo trimestre
Se gestisci un protocollo DeFi e stai leggendo questo, i compiti a casa non sono ambigui:
- Smetti di trattare il PDF dell'audit come l'artefatto di sicurezza. Trattalo come un input di una pipeline.
- Collega i monitor alle invarianti che ti interessano: rapporti di collateralizzazione, deviazioni degli oracoli, modifiche ai ruoli admin, rapporti di ingresso/uscita dai bridge.
- Attiva un kill switch che hai effettivamente testato. Una funzione di pausa che non è mai stata attivata in un'esercitazione è pura decorazione.
- Esegui fuzzing basato su AI sui tuoi contratti in produzione con cadenza ricorrente. Non una volta. Per sempre.
Le aziende che si adatteranno assomiglieranno più a Datadog che a una società di revisione Big Four. Quelle che non lo faranno saranno il prossimo titolo da 200 milioni di dollari.
La lettura più profonda del commento di Aráoz è che il settore della sicurezza ha finalmente detto ad alta voce quello che si taceva: lo stack degli attaccanti si è sviluppato più rapidamente dello stack dei difensori per due anni, e il divario è ora abbastanza ampio da spingere coloro che hanno costruito lo stack dei difensori ad ammetterlo.