Binance Labs领导CertiK投资,贡献“数百万”使区块链无错误

Binance Labs是世界上最大的加密货币交易所的孵化和投资部门Binance,在将该项目作为其首要投资之一后,已宣布其作为区块链和智能合约验证初创公司CertiK的主要投资者的地位。 。

在纽约CertiK的新闻发布会上宣布,10月8日,Binance Labs已经为这个项目的数学方法提供了“数百万”,以证明区块链生态系统具有抗黑客性和无错误性。投资集团首席执行官Ella Zhang表示:
“CertiK在数学上验证了智能合约的安全性 - 这是我们在区块链生态系统中面临的一个关键痛点 - 绕过手动检测的局限性。”

此举将为Binance对CertiK的承诺奠定基础,交易所的标志性创始人Changpeng'CZ'Zhao在9月的推文中悄悄称赞了该项目的AutoScan漏洞检测引擎:

很酷。 https://t.co/PtfjveezuZ
- CZ Binance(@cz_binance)2018年9月1日

CertiK团队显然是学术事务,似乎已经从常春藤联盟的大厅中抽出来进入明显错误的区块链世界。该项目引用了耶鲁大学和哥伦比亚大学的创始成员 - 据耶鲁大学的学者们说,他们在过去的几十年里一直在处理数学软件证明。

相关:耶鲁大学深入到加密货币市场

现在引用灾难性的漏洞,例如DAO的远古,360万以太网,硬分叉诱导智能合约攻击,CertiK建立了“世界上第一个防黑客,并发操作系统”的遗产,以数学方式声称唯一的解决方案证明区块链生态系统的所有组件中都没有错误,包括dApp和智能合约。

CertiK的首席运营官Daryl Hok对该项目的学术系列表示敬意,并强调该项投资将有助于CertiK将培根带回家。他说:
Daryl Hok表示:“我们非常高兴得到世界顶级交易所的支持。”随着学术界的研究开始,我们相信Binance Labs是加速我们独特技术对更广泛区块链影响的完美合作伙伴空间。”

0

发表评论

电子邮件地址不会被公开。 必填项已用*标注

微信扫一扫

微信扫一扫

微信扫一扫,分享到朋友圈

Binance Labs领导CertiK投资,贡献“数百万”使区块链无错误
返回顶部

显示

忘记密码?

显示

显示

获取验证码

Close