智能合约验证平台CertiK获币安实验室数百万美元投资

　　近日，币安实验室（Binance Labs）向CertiK投资数百万美元。据了解，CertiK此前已获得5轮战略融资，融资方包括Binance Labs、比特大陆、光速中国、经纬中国、分布式资本。

　　币安是世界上最大的加密货币交易所之一，除交易所之外，还有币安实验室、币安发布平台和币安资讯三个重要业务布局。其中的币安实验室是区块链技术的孵化器，也是近期币安发展的中心。

　　公开资料显示，CertiK为初创型企业，是一家智能合约及区块链应用服务商，旨在通过正式的验证流程帮助确保智能合约和区块链平台的安全。

　　据BCSEC统计，自2011 年到2018 年7 月，全球范围内因区块链安全事件造成的损失近30 亿美元。随着区块链项目逐渐增多，数字资产安全成为了亟待解决的问题。

　　智能合约上微小的漏洞都会成为黑客攻击的潜在威胁，CertiK联合创始人VilhelmSj?berg表示，智能合约被曝出漏洞主要有两点原因：一是智能合约无法篡改，一经部署后发现bug难以修复；二是攻击智能合约漏洞获得的价值回报（Token）高，会遭到黑客紧盯。

　　基于此，CertiK颠覆了传统测试智能合约漏洞的方法，采用形式化的验证(formal verification)，将智能合约转化为数学模型，通过逻辑上的推理演算来验证模型，从而证明智能合约的安全性，并通过将数学证据应用于网络来确定黑客是否可以破坏系统。

　　Binance Labs首席执行官Ella Zhang表示，CertiK的平台解决了区块链领域至少一个突出的需求，解释如下：“CertiK在数学上验证了智能合约的安全性，这是我们在区块链生态系统中面临的一个关键痛点，绕过了人工检测的局限性。”

　　团队方面，CertiK工程师均来自Google、Facebook、Freewheel。联合创始人邵中，拥有20余年安全领域的经验，目前是耶鲁大学计算机科学系的Thomas L. Kempner教授和系主任。联合创始人顾荣辉是CertiKOS的主要设计者和开发者，现任哥伦比亚大学计算机科学系的助理教授。首席科学家Vilhelm Sj?berg主要研究兴趣是软件验证，编程语言，类型系统和逻辑。