Peritatge d'exploits DeFi i hackejos de protocols
Reconstrueixo l'atac a un protocol o a un bridge transacció a transacció, identifico la causa arrel i segueixo els fons. És el que vaig fer com a coautor de l'anàlisi forense de l'exploit de KelpDAO.
Membre d'AEPEJU núm. 1556. Barcelona i tota Espanya.
Preu: pressupost a mida. Veure preus
Què és un peritatge d'exploit
És la reconstrucció tècnica i verificable de com es va atacar un protocol, explicada perquè l'entengui un jutge, una asseguradora o un consell d'administració.
No és un fil a les xarxes ni el post mortem del mateix equip: és un dictamen independent, signat sota jurament d'objectivitat, que separa el que consta a la cadena del que es dedueix.
Reconstrucció de l'atac, transacció a transacció
Parteixo de les transaccions de l'atacant i reconstrueixo la seqüència completa, amb cada pas enllaçat a un explorador públic.
- Preparació: finançament de les adreces de l'atacant i desplegament dels seus contractes.
- Execució: quina funció es va cridar, amb quins paràmetres i quin estat del protocol es va aprofitar.
- Extracció: com es van convertir els actius robats en altres de més líquids.
- Sortida: bridges, swaps, mixers i exchanges per on van passar els fons.
Causa arrel: codi, configuració o infraestructura
No tots els exploits són una fallada de codi, i distingir-ho canvia qui en respon.
Pot ser un error al contracte (reentrancy, aritmètica, control d'accés), una configuració insegura (oracles, verificadors, paràmetres de risc) o un compromís de la infraestructura que és fora de la cadena. A KelpDAO, el contracte va executar correctament un missatge que mai no s'hauria d'haver acceptat: la fallada era a la infraestructura que verificava els missatges cross-chain.
Cas real: l'exploit de KelpDAO
És l'anàlisi forense que vaig signar com a coautor a MigaLabs, i resumeix bé el mètode.
- Un compromís dels nodes RPC interns del verificador de LayerZero Labs, juntament amb un atac de denegació de servei als proveïdors externs, va fer que es certifiqués un missatge cross-chain que no existia.
- Aquest missatge va alliberar 116.500 rsETH, uns 294 milions de dòlars, del contracte de custòdia a Ethereum.
- L'atacant va dipositar aquest rsETH com a garantia a Aave v3 i Compound v3 i en va extreure 75.700 ETH en un dia i mig.
- Els fons es van blanquejar i van acabar convertits en 1.329 BTC natius a través de THORChain.
- Segons el seu comunicat públic, el Consell de Seguretat d'Arbitrum va congelar 30.766 ETH vinculats a l'atacant.
Què necessito per començar
Amb les adreces de l'atacant i les transaccions de l'atac ja es pot treballar; la resta accelera l'anàlisi.
- Les adreces de l'atacant i els hashes de les transaccions de l'exploit.
- Els contractes afectats i la seva documentació tècnica.
- El post mortem de l'equip, si n'hi ha, i les comunicacions públiques de l'incident.
- L'objectiu de l'informe: jutjat, asseguradora o negociació, perquè en canvia l'enfocament.
Informe per a jutjat, asseguradora o negociació
La mateixa anàlisi serveix per a diversos usos, i adapto l'informe a cadascun. També el lliuro en anglès per a protocols i despatxos internacionals.
- Demanda o querella contra l'atacant o contra tercers.
- Reclamació a una asseguradora de riscos cripto.
- Defensa del protocol davant d'usuaris afectats.
- Base tècnica per negociar una devolució amb l'atacant.
Preguntes freqüents
Dubtes habituals sobre aquest tipus de peritatge.
Pots comparèixer com a perit en un judici a Espanya?
Sí. Soc perit judicial informàtic, membre d'AEPEJU núm. 1556, i ratifico l'informe a la sala, de manera presencial o telemàtica.
Treballes per al protocol o per als afectats?
Per a qualsevol de les parts, però no per a les dues en el mateix assumpte. L'informe és objectiu en tots dos casos, com exigeix la llei.
Quina diferència hi ha amb el post mortem de l'equip?
El post mortem l'escriu la part afectada; el peritatge és independent, reproduïble i signat sota jurament, i està pensat per aportar-se com a prova.
Es poden congelar els fons robats en un exploit?
De vegades. Alguns emissors de tokens i algunes xarxes han bloquejat fons d'atacants, com va fer el Consell de Seguretat d'Arbitrum en el cas KelpDAO; l'informe identifica on són per demanar-ho a temps.
Analitzes exploits en L2 i bridges?
Sí. Treballo amb Ethereum i les seves L2 (Arbitrum, Optimism i Base) i amb els bridges entre elles, on es produeixen molts dels atacs més greus.
Fas l'informe en anglès?
Sí. El lliuro en castellà, català, anglès o francès.
Articles relacionats
Per entendre millor aquest tipus de cas.
- El exploit de KelpDAO explicado para abogadosQué pasó, cómo se siguieron los fondos hasta Bitcoin y qué enseña para casos reales.
/blog/kelpdao-exploit-explicado - Auditoría o peritaje de smart contractsPor qué una auditoría no es una prueba pericial y cuándo necesitas cada una.
/blog/auditoria-vs-peritaje-smart-contracts
També et pot interessar
Altres peritatges relacionats.
Explica'm el teu cas
Consulta gratuïta de 30 minuts i pressupost gratuït en 24 h laborables.