Anthropic Mythos vs Sicurezza DeFi: Lo Stack di Audit È Rotto

Questa settimana, l'ecosistema DeFi ha assorbito oltre 750 milioni di dollari in perdite distribuite su un gruppo di attacchi a protocolli che, in superficie, sembravano la solita storia: controlli di accesso mal configurati, lacune di reentrancy, errori nella logica dei bridge. Ma i vettori d'attacco si stanno affilando, il tempo tra la scoperta e il drenaggio si sta comprimendo, e gli strumenti a disposizione degli attaccanti stanno per ricevere un aggiornamento serio.

Mythos di Anthropic, il loro sistema AI interno sviluppato per la ricerca automatizzata di vulnerabilità, non si limita a trovare bug più velocemente. Ragiona su interi codebase, concatena primitive di exploit e opera a una velocità rispetto alla quale le difese esistenti della DeFi non sono lente, sono strutturalmente irrilevanti. Non si tratta di un miglioramento marginale agli strumenti degli attaccanti. È un cambiamento di categoria.

La settimana da 750 milioni non è una coincidenza di tempistica. È un'anteprima di ciò che accade quando l'asimmetria offesa-difesa nella sicurezza DeFi si allarga invece di restringersi.

Perché lo Stack di Attrito della DeFi Non È Mai Stata Vera Sicurezza

Il modello di sicurezza dominante nella DeFi è teatro dell'attrito. Funziona così: rendere gli exploit abbastanza fastidiosi da scoraggiare la maggior parte degli attaccanti, e abbastanza costosi da permettere di individuare quelli che ci provano comunque prima che drenino tutto.

I meccanismi concreti sono:

• Multisig, richiede che M su N detentori di chiavi firmino, aggiungendo overhead di coordinamento
• Timelock, ritarda di 24-72 ore l'esecuzione di aggiornamenti e trasferimenti di grandi importi
• Audit, revisioni periodiche del codice da parte di società come Trail of Bits, Certik, OpenZeppelin

Questo funziona contro attaccanti opportunistici con competenze tecniche moderate. Non funziona contro un sistema AI in grado di leggere un codebase Solidity da 50.000 righe in pochi secondi, identificare interazioni di stato non ovvie tra contratti e generare una catena di exploit funzionante prima ancora che qualsiasi analista umano abbia completato la prima lettura.

Lo stack di attrito è stato progettato attorno all'economia degli attaccanti umani. Mythos cambia completamente la funzione di costo.

Cosa Fa Davvero Mythos alla Superficie di Attacco

Come descritto nell'anteprima tecnica di Mythos di Anthropic, il sistema è in grado di analizzare implementazioni TLS, individuare pattern di riuso dei nonce AES-GCM e tracciare catene di dipendenze attraverso stack software complessi: il tipo di analisi TLS e AES-GCM di Mythos che in precedenza richiedeva un crittografo senior e diverse settimane di lavoro.

Per la DeFi, questo si traduce in alcune specifiche superfici di minaccia:

1. Exploit chaining tra contratti, La maggior parte dei principali attacchi del 2024-2025 ha sfruttato le interazioni tra contratti, non vulnerabilità di singoli contratti. Un'AI della classe di Mythos è in grado di modellare queste interazioni in modo olistico. L'incidente di Kelp DAO che ho analizzato in precedenza, in cui una configurazione errata del DVN di LayerZero è costata $292M, è esattamente il tipo di interazione multi-sistema che Mythos è progettato per individuare.

2. Chaining di zero-day alla velocità delle macchine, Le vulnerabilità zero-day guidate dall'AI nel crypto non sono teoriche. La preoccupazione concreta è quella di un sistema AI che identifica tre problemi individualmente di bassa gravità e li combina in un percorso di exploit critico che nessun revisore umano avrebbe mai collegato.

3. Superficie di attacco degli oracle e dei bridge, La logica dei bridge è densa, poco specificata e coinvolge molteplici sistemi esterni. Questo è il punto in cui i revisori umani mancano costantemente qualcosa. Ed è anche il punto in cui i sistemi di ragionamento automatizzato hanno la maggiore leva.

Nulla di tutto ciò richiede che Mythos venga distribuito con intenti malevoli. Le stesse capacità disponibili ai ricercatori di Anthropic saranno disponibili, in qualche forma, a tutti entro 18-24 mesi.

Gli Audit dei Smart Contract DeFi Stanno Già Mostrando i Loro Limiti

Il settore degli audit non sta tenendo il passo. Un audit di primo livello tipico costa tra i $50.000 e i $300.000, richiede da 4 a 8 settimane e copre uno snapshot fisso del codebase. I protocolli rilasciano aggiornamenti continuamente. L'audit è spesso obsoleto prima ancora che l'inchiostro sia asciutto.

Peggio ancora, gli audit creano una falsa sicurezza. Come documenta l'analisi di Olympix sui motivi per cui gli audit degli smart contract falliscono, Euler Finance aveva superato degli audit. Ronin aveva superato degli audit. Nomad aveva superato degli audit. L'hack da 625 milioni di dollari al bridge Ronin nel 2022 è passato inosservato proprio perché gli auditor avevano esaminato i contratti in isolamento, senza considerare il processo di gestione delle chiavi dei validatori da cui dipendevano.

Dire "siamo stati verificati da un audit" nel 2026 avrà all'incirca lo stesso valore come segnale di sicurezza che dire "usiamo HTTPS" nel 2015. È igiene di base, non una postura difensiva.

L'obsolescenza degli audit degli smart contract DeFi non è in arrivo: è già una realtà per i protocolli che operano su larga scala, un fenomeno confermato dalla ricerca di Olympix sullo stato della sicurezza Web3, che mostra come la maggior parte degli exploit provenga da contratti già verificati. La domanda è se i team si adatteranno o continueranno ad acquistare la stessa copertura costosa e insufficiente.

Project Glasswing e i Framework di Rischio AI che Emergono in Risposta

Non tutti dormono. Project Glasswing, un'iniziativa di ricerca sulla sicurezza AI nativa del mondo crypto, sta lavorando a framework di monitoraggio continuo assistito dall'AI, progettati per operare alla velocità delle minacce generate dall'AI stessa. L'intuizione di fondo è corretta: se l'AI può individuare exploit in tempo reale, anche il livello di rilevamento e risposta deve operare in tempo reale.

Questo significa abbandonare gli audit periodici a favore di:

• Monitoraggio degli invarianti, controlli on-chain che segnalano quando lo stato del contratto viola le condizioni attese
• Verifica formale, prove matematiche di correttezza per la logica centrale del protocollo, non semplici revisioni informali
• Pipeline di fuzzing continuo, generazione automatizzata di test che viene eseguita a ogni commit, non solo al momento dell'audit

Alcuni protocolli sono già sulla buona strada. L'architettura hook di Uniswap v4 è stata progettata tenendo in mente la verifica formale. MakerDAO ha investito molto nella modellazione della sicurezza economica. Ma questi sono casi isolati. Il protocollo DeFi mediano nel 2025 continua a fare deploy con un singolo audit e un timelock di 48 ore, convinto di aver fatto il suo dovere.

La Matematica dei Timelock Non Funziona Più

Ecco il problema strutturale dei timelock nello specifico: presuppongono che un analista umano abbia il tempo di esaminare una transazione in sospeso, identificarla come malevola e coordinare una risposta prima che venga eseguita.

Con 48-72 ore, è plausibile. Un team di sicurezza competente riesce a mobilitarsi, valutare e rispondere.

Ora si immagini un attaccante che usa il concatenamento di exploit assistito da AI in DeFi per identificare una vulnerabilità, costruire un exploit, preparare una proposta di governance dall'apparenza legittima, e rivelare il suo payload malevolo solo attraverso un percorso di esecuzione condizionale che si attiva dopo il timelock. Il timelock non ha fallito, è fallita l'assunzione sulla velocità di analisi che lo sosteneva.

La superficie di attacco della governance è la prossima grande frontiera. Mi aspetto almeno un exploit significativo a livello di governance nel 2026 che esporrà esattamente questa lacuna.

Come Deve Essere Strutturato il Reale Stack Difensivo

La sicurezza basata sulla frizione deve cedere il passo alla sicurezza basata sulla correttezza. Il percorso pratico si articola su tre livelli:

Livello 1, verifica formale al nucleo del protocollo. Non tutto, ma la logica di settlement, gli invarianti contabili, i pattern di controllo degli accessi. Certora e Halmos sono pronti per la produzione. Non c'è giustificazione per un protocollo con 500 milioni di dollari di TVL che non li utilizza.

Livello 2, monitoraggio continuo assistito da AI. Strumenti come Forta Network, Hexagate e Hypernative stanno facendo un lavoro concreto. Intercettano comportamenti anomali on-chain prima che si completino. Questo è il livello di rilevamento che deve scalare per stare al passo con le minacce alla velocità dell'AI.

Layer 3, risposta agli incidenti che può muoversi più velocemente di un voto DAO. Meccanismi di pausa che si attivano al rilevamento automatico, non dopo una proposta di governance. Multisig di emergenza con playbook di risposta pre-autorizzati. La risposta rapida del team di Euler nel 2023, che ha recuperato 197 milioni di dollari tramite negoziazione, ha funzionato in parte perché c'era un responsabile chiaro in grado di agire velocemente. La maggior parte dei protocolli non ne ha uno.

L'infrastruttura di pagamento per agenti AI che ho trattato nel pezzo su x402 e le payment rail autonome è rilevante anche in questo contesto: poiché gli agenti AI eseguono transazioni in modo autonomo on-chain, la superficie d'attacco per exploit assistiti dall'AI scala con il volume delle transazioni, non solo con il numero di protocolli.

La Vera Domanda È Chi Si Adatta Per Primo

Mythos di Anthropic rappresenta un riconoscimento pubblico che i sistemi AI operano ora alla frontiera della ricerca sulle vulnerabilità. Le stesse capacità analitiche si diffonderanno. Succede sempre.

I protocolli DeFi che sopravviveranno ai prossimi due anni saranno quelli che trattano la sicurezza come un problema ingegneristico continuo, non come una casella di conformità da spuntare. Quelli che non lo faranno forniranno i casi di studio.

La settimana da 750 milioni di dollari non è lo scenario peggiore. È la base di riferimento attorno a cui ci stiamo normalizzando, prima che gli strumenti diventino più economici e accessibili. La finestra per ricostruire lo stack difensivo è aperta, ma non lo sarà per molto.

Fonti ricevute. Sono pronto a tradurre i contenuti in italiano. Inviami il testo da tradurre.