Fundamentos de seguridad y auditoría de contratos inteligentes de Ethereum

A medida que el valor bloqueado en las aplicaciones descentralizadas continúa creciendo, la capacidad de proteger los contratos inteligentes se ha convertido en una habilidad esencial para los desarrolladores y los investigadores de seguridad.Este curso proporciona un camino claro hacia el mundo de la seguridad de Ethereum, centrándose en cómo identificar, mitigar y prevenir vulnerabilidades costosas en el código. Al aprender la mentalidad de un auditor, podrá detectar errores lógicos y fallas técnicas antes de que se implementen en la cadena de bloques, y luego aplicar los conocimientos adquiridos para mejorar la seguridad de la cadena de bloques. Lo que aprenderás: - Comprender los conceptos de seguridad fundamentales y el modelo de ejecución de la máquina virtual Ethereum. - Identifique las vulnerabilidades comunes de los contratos inteligentes, como la reentrada, el front-running y los errores lógicos. - Aplique patrones de seguridad modernos, incluidos los conceptos básicos de verificación formal y las cadenas de herramientas de análisis estático automatizado. - Practicar metodologías de auditoría sistemática para garantizar una cobertura y confiabilidad integrales del código. - Implementar mecanismos robustos de control de acceso y respuesta de emergencia en Solidity. - Analizar exploits históricos para entender cómo los atacantes evitan las defensas tradicionales. El curso comienza con la terminología esencial y los desafíos de seguridad únicos del entorno de blockchain antes de pasar a flujos de trabajo de auditoría detallados y conjuntos de herramientas.Este programa escrito está diseñado para principiantes con una comprensión básica de la programación que desean especializarse en la seguridad de blockchain. Obtenga las habilidades necesarias para construir y verificar aplicaciones seguras de Ethereum a través de esta guía completa basada en texto.