ITINERARIO · AVANZADO
De Solidity a la seguridad de contratos.
Almacenamiento, control de acceso, errores, gas y patrones de contrato.
Tests unitarios y de fork, fuzzing, invariantes y scripting de despliegue.
Componer con swaps, préstamos y oráculos sin romper sus supuestos.
Familias de vulnerabilidades, Slither, verificación formal y metodología de revisión.
El desarrollo del itinerario, los conceptos clave, la bibliografía con fuentes y el vídeo están disponibles en tu panel al iniciar sesión.