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

起风财经Eve2018-10-09 资本
公开资料显示,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主要研究兴趣是软件验证,编程语言,类型系统和逻辑。

       市场方面,目前保护数字资产安全有形式化验证技术、私钥技术等,主要运用形式化验证技术的公司有Securify.ch、Runtime Verification、Tezos、The Matrix、成都链安科技等。
【本文为起风财经原创,网页转载须在文首注明来源起风财经及作者名字。微信转载可发邮件至editor@qifengle.com联系授权,并在文首注明来源起风财经(微信公众号ID:QFCJ2018)及作者名字。如不遵守,起风财经将向其追究法律责任。
免责声明:本网站所有文章仅作为资讯传播使用,既不代表任何观点导向,也不构成任何投资建议。】
起风财经,价值区块链布道者

猜你喜欢

原创排行
  • 周排行|
  • 月排行