区块链安全CertiK获币安Labs数百万美金投资

2018-10-09 11:40:55    来源:博链财经    

image

美国区块链安全创业公司Certik币安Labs(Binance Labs)数百万美金投资

Binance Labs CEO Ella Zhang表示:“Certik利用数学建模自动验证智能合约安全性,打破人工验证的局限性,解决了当今区块链生态系统中一个关键痛点。”

据了解,Certik由耶鲁大学和哥伦比亚大学教授于2017年创立,团队成员包括前谷歌员工和Facebook工程师等。

CertiK此前已与麻省理工学院,耶鲁大学,普林斯顿大学和宾夕法尼亚大学合作推出了DeepSpec技术。

此外,CertiK还创建了全球首个防黑客操作系统CertiKOS,该系统已经在美国获得专利,并开始落地应用于学术界、企业界。

评论(0 条评论)
游客

每日快讯

WechatIMG282jpeg

高端访谈