CertiK（shentu）于2018年由哥伦比亚大学计算机系顾荣辉教授与耶鲁计算机系系主任邵中教授共同创立。作为区块链安全领域的先驱，CertiK利用目前最先进的形式化验证技术以及AI审计技术，扫描及监控区块链协议和智能合约的安全性，并不断推出以Skynet（天网）为代表的SaaS产品，为加密世界的企业和用户提供最高等级的安全解决方案。 CertiK（shentu）致力于让人们更加信任区块链，通过利用突破性的技术（包括形式化验证、深度规范技术、自动验证引擎等）来证明区块链项目底层系统的安全性，并开发了一套强大的技术和工具，以确保区块链项目在生命周期的每个阶段（从初始开发到实际应用）都保持安全性和准确性。 此外，CertiK（shentu）还创建了一个审图盾系统，类似于保险，因为虽然CertiK（shentu）提供的安全审计和防御措施可以大大消除代码故障和被恶意攻击的风险，但仍有小概率风险会发生，因此审图盾提供了一个去中心化的社区资金池，当项目方将保险资金投入审图盾池时，将获得CTK的奖励，万一发生风险，CTK也将从相关资金池中支付给遭受损失的项目方，这种保险替代方案提供了更多的...