成都链安与交易所 BitMart 达成战略合作，提供智能合约安全审计等服务

区块链安全公司成都链安 Beosin 宣布交易所与 BitMart 达成安全战略合作协议，提高 BitMart 平台安全性，保障用户资产安全，双方表示将在智能合约安全审计、信息与网络安全资讯、数据监控、异常分析及追踪、黑客攻击、反洗钱调查等方面展开深度合作。BitMart 于 2017 年成立，2018 年 3 月 15 日正式运营，称目前每日交易量约在 52 亿人民币，用户注册量逾 85 万。Beosin 成都链安称建立了覆盖区块链安全开发、基于形式化验证的安全检测、运行时安全监控与防护的全生态安全解决方案，包括智能合约安全审计、链平台安全检测、交易所安全服务等，并表示搭建了一站式区块链安全服务平台，包括智能合约开发工具（Beosin-IDE）、基于形式化验证的一键式智能合约安全检测平台 (Beosin-VaaS) 等安全产品。此外，成都链安表示已累计发现各公链生态漏洞近百份，为千余份智能合约和几十个链平台项目提供了安全审计服务，并与普华永道、微众银行、ONT、NEO、Qtum、布比区块链、R3V 等区块链企业建立了长期战略合作关系。