双方将在平台安全性、代码及智能合约安全审计、形式化验证服务、信息与网络安全资讯、数据监控、异常分析及追踪、黑客攻击防范、反洗钱调查等方面展开深度合作，健全防御体系，共同维护区块链环境。

火星财经APP（微信：hxcj24h）一线报道，可可金融旗下CoCo交易所正式宣布与Beosin成都链安达成安全战略合作协议，进一步加强平台安全保障，提高用户交易环境的安全性和稳定性。

立项之初，CoCo交易所就已组建了强大的内部安全团队和测试团队。此次合作，CoCo交易所将会进一步借助Beosin成都链安的专业安全力量，以领先于全球的完备形式化验证技术及一整套安全解决方案，来助力CoCo交易所提高平台安全性，保障用户资产安全。通过本次合作，双方将在平台安全性、代码及智能合约安全审计、形式化验证服务、信息与网络安全资讯、数据监控、异常分析及追踪、黑客攻击防范、反洗钱调查等方面展开深度合作，健全防御体系，共同维护区块链环境。

可可金融由火星财经及共识实验室联合孵化，旗下CoCo交易所是一家会员制交易所。依托联合孵化方火星财经、共识实验室及合作节点，CoCo交易所在全球范围内遴选优质加密资产，通过社群节点和创新会员制与投资者建立合作共赢的亲密关系。据悉，CoCo交易所将于10月正式上线运营，目前已开放上币申请通道www.cococoin.com。

Beosin成都链安作为全球最早一批将形式化验证技术应用到区块链安全领域的公司，将以守护区块链生态安全为已任，不断探索满足区块链安全需求的服务和产品，持续提出创新理念及安全解决方案，现已建立了一整套覆盖“区块链安全开发——基于形式化验证的安全检测——运行时安全监控与防护”三位一体的全生态安全解决方案,并且为区块链领域提供智能合约安全审计、区块链底层链平台安全检测、交易所安全、钱包安全、DApp渗透测试、资金溯源追踪和反洗钱服务等全方位的安全服务体系。

随着可可金融及CoCo交易所业务的发展，双方还会持续加大在安全方面的合作。

来源：火星一线