铅笔道获悉，比特大陆已经完成了对形式化验证平台CertiK的战略投资。

比特大陆合伙人表示：“作为难以改动的经济活动规则，智能合约也需要外部审计，Certik正是代码审计的一种尝试。”

据悉，CertiK致力于通过用深度规范技术（DeepSpec）重塑人们对智能合约和区块链安全的信任，让形式化安全验证取代传统测试、代码审计，用数学的方法证明智能合约代码模型与设计模型相匹配，从而确保区块链安全并增加区块链项目价值，践行安全检验公司的社会责任。

编辑 | 张茹雅

优质项目“融资首发绿色通道”：创业者请加微信y815051039，务必注明项目名称；或发送BP至 xueting@pencilnews.cn。

如需转载文章请联系铅笔道微信客服号铅笔道小铅笔（微信号：qianbidao2018）获取授权资质，否则我们将依法追究相关责任。