Auditorías boutique.Asistidas por IA, verificadas por personas.

Cinco exploits reales se reproducen por turnos: cada contrato se escribe solo, el análisis marca el fallo y una nota explica cuánto costó y cómo se corrige.

• The DAO, 2016-06-17: 3,6 M de ETH drenados. splitDAO pagaba la recompensa con una llamada externa antes de poner el saldo a cero, así que el atacante volvía a entrar y dividía los mismos tokens una y otra vez. Poner el saldo a cero antes de cualquier llamada externa.
• Parity Multisig, 2017-11-06: 513.774 ETH congelados. La biblioteca compartida nunca se inicializó, así que cualquiera podía llamar a initWallet, convertirse en su dueño y destruirla con kill. Todas las wallets que delegaban en ella quedaron congeladas. Inicializar la biblioteca al desplegarla y no darle autodestrucción.
• Wormhole, 2022-02-02: 120.000 wETH, ~325 M$. verify_signatures leía la comprobación de firmas de una cuenta elegida por quien llamaba y nunca confirmaba que fuera el sysvar de instrucciones. Una falsa pasó como aprobación completa de los guardianes. Usar load_instruction_at_checked, que verifica la dirección del sysvar.
• Nomad Bridge, 2022-08-01: ~190 M$ drenados. Una actualización fijó la raíz de confianza en 0x00. Un mensaje sin prueba da 0x00, así que process aceptaba cualquier mensaje, y cientos de imitadores repitieron el primero. No confirmar nunca la raíz cero y rechazar los mensajes sin prueba.
• Euler Finance, 2023-03-13: ~197 M$ drenados. donateToReserves quemaba eTokens sin comprobar que el donante seguía siendo solvente. El atacante donó hasta caer en deuda incobrable y luego se liquidó a sí mismo con descuento. Comprobar la liquidez tras la donación, como en los demás retiros.