Recordatorio de que la seguridad de los contratos inteligentes es extremadamente difícil