据官方消息，今日MXC平台与Beosin成都链安达成重要合作，成都链安将为MXC提供区块链安全服务，双方将在智能合约安全性审计，交易平台安全、安全威胁情报、资金安全保护、项目态势感知和安全风控、安全咨询和顾问、数字资产追溯和反洗钱等方面形成合作关系，共同促进行业生态安全建设。成都链安是全球最早专门从事区块链安全的公司，也是全球最早一批将形式化验证技术应用到区块链安全领域的公司。已经建立了“区块链安全开发、形式化安全验证到运行时安全监控与防护”三位一体的全生态安全产品生态,包括智能合约开发工具、基于形式化验证的一键式智能合约安全检测平台、态势感知平台、防火墙、链上资产溯源追踪系统和安全舆情系统等。