ContractWard: Modelos automatizados de detección de vulnerabilidades para contratos inteligentes de Ethereum | Synapse