圈内事
Binance Labs投资安全验证平台CertiK
回复:0  浏览:2242
  • 楼主yaoyao 
  • 2018-10-09 10:42
Binance Labs投资安全验证平台CertiK
 
据cryptoglobe消息,Binance Labs日前向CertiK投资了数百万美元,CertiK是一个智能合同安全验证平台,可以“从数学上证明”基于区快链的智能合同是否“无bug的”和“防黑客的”。
 
据CertiK官网消息,CertiK目前正致力于“开发一种分层级的验证方法,该方法可以将验证任务分解成更小的部分”,使证明智能合约是否存在BUG的计算密集型任务变得更易于管理。
【温馨提示】本文内容和图片为作者所有,本站只提供信息存储空间服务,如有涉嫌抄袭/侵权/违规内容请联系我们删除!