曾获DARPA采用、融资近3000万美元，这个中国团队正在为区块链行业建立安全标准

你相信天底下有保证绝无漏洞的代码吗？你相信有一种方式可以保证让人写出这样无漏洞的代码吗？这件事听起来似乎太不真实，但一个由来自耶鲁和哥大背景的中国团队 CertiK，正在尝试推出这样的安全验证服务，要为黑客事件频发的区块链行业，建立起安全标准。 CertiK 是由耶鲁大学计算机系主任邵中与哥伦比亚大学计算机系教授顾荣辉联合创立，2017 年底正式成立于纽约及硅谷，核心技术为运用形式化验证（formal verification），为智能合约和区块链应用提供安全验证和生态安全解决方案。 图｜CertiK 联合创始人顾荣辉（来源：DeepTech） 2018 年全球区块链领域安全事件暴增 5～8 倍 目前，区块链堪称是风险最高、最容易发生黑客攻击、且行业安全意识又最低的领 ………………………………