
铅笔道获悉,比特大陆已经完成了对形式化验证平台CertiK的战略投资。
比特大陆合伙人表示:“作为难以改动的经济活动规则,智能合约也需要外部审计,Certik正是代码审计的一种尝试。”
据悉,CertiK致力于通过用深度规范技术(DeepSpec)重塑人们对智能合约和区块链安全的信任,让形式化安全验证取代传统测试、代码审计,用数学的方法证明智能合约代码模型与设计模型相匹配,从而确保区块链安全并增加区块链项目价值,践行安全检验公司的社会责任。
编辑 | 张茹雅
优质项目“融资首发绿色通道”:创业者请加微信y815051039,务必注明项目名称;或发送BP至 xueting@pencilnews.cn。
如需转载文章请联系铅笔道微信客服号铅笔道小铅笔(微信号:qianbidao2018)获取授权资质,否则我们将依法追究相关责任。
热门评论
目前还没有评论~