Al igual que todo software, los contratos inteligentes en la blockchain están sujetos a serias vulnerabilidades de seguridad y errores de codificación. Sin embargo, el hecho de que los contratos inteligentes a menudo estén directamente a cargo de activos y no puedan ser modificados una vez que están en la blockchain, hace que el desarrollo y la ejecución seguros sean esenciales. Algunas plataformas de contratos inteligentes tienen sus propios lenguajes, por ejemplo, Solidity en Ethereum. Los errores y vulnerabilidades en el código fuente, así como los errores en las máquinas virtuales utilizadas por la red, son las principales razones detrás de los problemas de seguridad en los contratos inteligentes.
Los proyectos que utilizan aplicaciones de blockchain deben esperar cambios constantes en el panorama de seguridad. Nuevos errores, riesgos de seguridad y mejores prácticas seguirán surgiendo con el tiempo. Trail of Bits es una firma de seguridad de software que asesora en una variedad de industrias para algunas de las principales empresas, incluyendo en el espacio de blockchain. Son expertos en identificar riesgos de alto nivel y vulnerabilidades de implementación, y en proporcionar recomendaciones esenciales sobre mejores prácticas. Dan Guido, el CEO y cofundador, explica todo sobre la seguridad del software de una manera realmente detallada y técnica, pero fácil de digerir. También recomendamos que revises su excepcional blog lleno de recursos invaluables.
Temas discutidos en este episodio:
- El trasfondo de Dan y cómo llegó a crear Trail of Bits
- Lo que llevó a Dan al campo de blockchain
- Cómo ha cambiado el software de seguridad en los últimos 20 años
- Los desafíos únicos para la seguridad en blockchain y protocolos de contratos inteligentes
- Lenguajes de contratos inteligentes y seguridad
- Slither - La suite de herramientas de seguridad basada en Ethereum de Trail of Bits
- La opinión de Dan sobre el futuro de Solidity y Vyper como alternativa
- Lenguajes Formalmente Verificados
- Un caso de uso sobre cómo trabaja Trail of Bits
- Trabajando con contratos actualizables
- Composabilidad y seguridad
- ¿Son confiables los compiladores?
- Otros problemas de seguridad en el espacio de blockchain a medida que DeFi crece
- El futuro de la seguridad del software y el papel de la IA
Enlaces mencionados en este episodio:
- 246 Hallazgos de nuestras Auditorías de Contratos Inteligentes: Un Resumen Ejecutivo:
https://bit.ly/2CYivSR- BSides Lisboa 2016 - Conferencia Principal - La Revolución del Smart Fuzzer por Dan Guido:
https://bit.ly/2YKixG1Este episodio es presentado por Sebastien Couture y Friederike Ernst. Notas del programa y opciones de escucha:
https://epicenter.tv/346