首发 | CertiK：控制了安全 也就控制了区块链的未来(2)

除官方网站certik.org以外，我们的新浪微博官方账号@CertiK及官方微信公众号【CertiK】也会第一时间同步预警消息，欢迎大家的关注和订阅！

PS：欢迎大家持续关注CertiK官方微信公众号及官方微博账号，五一假期将开启安全排行榜扭蛋有奖小活动?！

关于CertiK

CertiK 专注于区块链安全，总部位于纽约。CertiK 2017年由耶鲁大学计算机系主任邵中教授和哥伦比亚大学计算机系助理教授顾荣辉教授共同创建。旨在通过形式化验证技术为智能合约和区块链应用及协议提供代码安全解决方案，服务内容包括安全审计、链上实时监控防御、去中心化保险平台。

迄今为止，CertiK已进行了超过700次审计，审计了超过39.6万行代码，保护了超过300亿美元的资产免受损失。