Descarga inmediata tras la compraPDF sin DRM: léelo en cualquier dispositivoGarantía de Calidad y Atención 24/7Pago cifrado y 100% seguroEbooks gratis para probar antes de comprarDescarga inmediata tras la compraPDF sin DRM: léelo en cualquier dispositivoGarantía de Calidad y Atención 24/7Pago cifrado y 100% seguroEbooks gratis para probar antes de comprar

Audita contratos Solidity y evita hackeos millonarios

  • 1 min de lectura
  • Gratis
Vídeo de esta pieza: en producción. Mientras tanto, todo el contenido está aquí en texto.
Para empezar

Un solo error en tu código Solidity puede costar millones de dólares en segundos, y en la blockchain no hay botón de deshacer.

Dato clave

Miles de millones robados

Más de tres mil millones de dólares han sido drenados de protocolos Web3 debido únicamente a fallos lógicos evitables en contratos inteligentes escritos en Solidity durante los últimos años.

Concepto

¿Qué es la Reentrancy?

La reentrancy o reentrancia ocurre cuando un contrato externo llama a una función vulnerable antes de que el estado del contrato original sea actualizado, permitiendo vaciar fondos mediante llamadas recursivas.

Practica

Análisis estático con Slither

Utilizamos herramientas profesionales como Slither para detectar vulnerabilidades comunes y malas prácticas en nuestros archivos Solidity de forma automatizada.

terminal
$ slither . --print human-summary
INFO:Slither:Detector 1: Reentrancy in Token.withdraw()
INFO:Slither:Detector 2: Unchecked transfer in Vault.deposit()
Result: 2 high severity vulnerabilities found.
Paso a paso

Patrón Checks-Effects-Interactions

Para mitigar la reentrancia y otros fallos de control de flujo, debes seguir estrictamente este orden de ejecución en tus funciones críticas.

Marca cada paso al entenderlo · 0/3

Cuidado

Cuidado con el Front-Running

Las transacciones en la mempool son públicas antes de ser minadas. Los atacantes pueden ver tu operación de compra o arbitraje y pagar más gas para ejecutar la suya primero, robándote la oportunidad o manipulando precios.

Concepto

Auditoría de código profesional

Una auditoría de Solidity no es solo pasar un linter automatizado; requiere revisión manual línea por línea, modelado de amenazas y pruebas de fuzzing con herramientas como Echidna para garantizar la robustez del protocolo.

Repaso rápido

¿Te acuerdas? Toca para comprobarlo

Atajos: ← → para cambiar de pieza · / para buscar