智能合约验证平台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、成都链安科技等。免责声明:本网站所有文章仅作为资讯传播使用,既不代表任何观点导向,也不构成任何投资建议。】

猜你喜欢
迅雷链开放平台研发负责人张慧勇:和互联网相比,区块链有四大安全问题
张慧勇认为,安全性问题对区块链系统带来的冲击会非常大,比如之前以太坊的漏洞导致以太坊硬分叉,还有些项目直接归零。Bancor算法能否解决加密货币流动性问题?
从人们需求的角度来看,大多数的需求会集中在头部,而分布在尾部的需求是零散的小量的需求,这部分少量的需求会在需求曲线上面形成一条长长的“尾巴”,将这些少量需求累加起来就会形成一个比头部需求还大的市场——长尾效应谁是区块链专利大王?
“傻子都知道,专利是一种护城河,而且它能给你带来现金流。”
原创排行
- 周排行|
- 月排行
- 周排行|
- 月排行
more最新活动
-
新个税法来临后的薪税规划
北京市 2019年01月17日 报名已结束
-
创派对 · 管理的力量(第二期·杭州·12.13)--管理者不可错过的沙龙!
杭州市 2018年12月13日 报名已结束