CertiK

CertiK以形式化验证为核心技术，将智能合约转化为数学模型进行逻辑推演，结合AI算法与链上监控工具（如Skynet天网系统）实时检测漏洞并预警风险。其服务覆盖智能合约审计、渗透测试、链上资金追踪及安全培训，客户包括全球头部交易所、DeFi协议及政府机构。公司深度参与行业标准化建设，主导重大安全事件调查（如Merlin黑客攻击案件），推动Web3安全生态的透明化与可信化。

核心特点

• ​形式化验证技术：基于分层分解与数学证明，验证代码与设计的一致性，实现“无漏洞”安全目标；
• ​全生命周期安全服务：覆盖项目开发、部署到运营的全流程，提供审计、监控（Skynet）、漏洞赏金及定制化解决方案；
• ​AI与链上数据整合：通过机器学习分析交易模式，实时识别混币器、跨链桥等复杂攻击路径；
• ​权威行业影响力：发布年度安全报告（如《加密货币犯罪趋势》），主导Consensus等行业峰会，推动监管框架完善。

业务模式

• ​安全审计服务：按项目代码复杂度收费，提供智能合约与区块链协议审计报告；
• ​订阅制SaaS工具：Skynet（实时监控）、SkyInsights（数据分析）等产品按年收取订阅费；
• ​企业级定制方案：为金融机构设计反洗钱流程，提供渗透测试与合规培训；
• ​生态投资与孵化：通过CertiK Ventures基金投资Web3潜力项目，整合安全技术与生态资源。

创始人及公司背景

联合创始人顾荣辉​（哥伦比亚大学计算机教授）与邵中​（耶鲁大学计算机系主任）为形式化验证领域权威，其团队研发的CertiKOS系统被美国军方采用。公司成立初期获Lightspeed、IDG等投资，2022年估值达数十亿美元，投资方包括红杉、软银、高瓴等。团队汇聚清华、耶鲁等顶尖学府的技术专家及前谷歌、微软高管，主导Ronin Network、Wormhole等重大安全事件调查。2023年，CertiK被加密货币交易所Bullish收购，但保持独立运营。