纽约时间2019年1月4日，软件安全公司 CertiK 与币安交易平台正式宣布了战略合作。

据悉，作为币安第一家战略安全合作伙伴，CertiK已经对币安交易平台自身的业务系统和代币进行了全面的安全审计，而且会在2019年对将要登录币安交易平台上的项目进行自动化安全验证，排查代币在上线前所可能存在的安全漏洞，确保平台的健康运营和广大用户的数字资产安全。

在区块链生态中，交易平台是数字货币流通和价值确定的场所，也是财富的汇聚中心。集成了多个角色功能，如获客 、交易、清算等。

截至2019年初，共有2096种数字货币在二级市场进行交易。但是，相比传统金融市场完善的系统安全网络保障和严格的法律监管，数字货币交易平台由于其薄弱的防护体系，极易成为黑客攻击的主要对象。在2018年区块链安全事件中，针对交易所的黑客攻击约占所有事件的34%，其次是智能合约，约占所有事件的20%。

自区块链2.0时代以来，智能合约在承担众多商业活动运作和执行中展现了广阔的前景。然而，由于智能合约拥有开源以及一旦部署很难修改的特性，非常容易遭受黑客的攻击。在目前公开曝光的区块链漏洞事件中，相当数量的漏洞来源于智能合约本身，所以在智能合约上线之前运用先进的安全审查技术筛查风险、保证广大用户的资产安全成了区块链安全领域的重中之重。

币安是全球最大也是最受欢迎的加密货币交易平台之一，拥有行业领先的全球布局和国际化的交易体验。根据CoinMarketCap的数据，币安24小时内交易量约为15亿美元。在自身快速发展和吸纳广大用户的同时，币安也将提升自身安全性、保护用户的数字资产列为了重要的发展方针。

美国软件安全公司CertiK于2017年成立于纽约及硅谷，为智能合约和区块链应用提供安全验证和生态安全解决方案，与币安交易平台的发展诉求有着紧密联系。2018年10月，CertiK获得币安孵化器Binance Labs数百万美元的投资。币安孵化器是币安交易所旗下重要的投资机构，也是币安生态中重要的一环，管理的资产达到10亿美元。币安孵化器对CertiK的投资是对创新型安全技术的认可，也预示了币安交易平台和CertiK达成战略合作的风向。

CertiK公司的形式化验证技术，简而言之，是用严谨的数学逻辑来推理演算，证明智能合约不存在漏洞。对于复杂软件，CertiK提出了基于抽象层的分解证明技术，将软件模块拆分，再转化为数学模型进行复合证明，大大提高了安全验证的弹性和效率。 CertiK的核心技术产品是由CertiKOS防黑客操作系统演变迭代而来，是耶鲁大学与哥伦比亚大学历时多年的研究成果，已被广泛应用于高安全需求的关键领域。

据悉，CertiK已经和区块链生态中众多的数字货币交易平台达成深度合作，并为150家以上客户提供了安全验证服务。截至目前已经保护了价值15亿美金的数字资产免受到黑客攻击，保持着“零事故率”的记录。此次与币安交易平台的战略合作标志着区块链行业在新的一年里对安全和规范领域的重视， 是一个新的里程碑。