
ConsenSys Diligence
ConsenSys Diligence是以太坊生态核心安全审计服务商,隶属于区块链巨头ConsenSys,提供智能合约安全审计、自动化漏洞检测及形式化验证,服务对象包括Aave、Uniswap等头部DeFi协议,致力于构建去中心化应用的安全防线。
CertiK以形式化验证为核心技术,将智能合约转化为数学模型进行逻辑推演,结合AI算法与链上监控工具(如Skynet天网系统)实时检测漏洞并预警风险。其服务覆盖智能合约审计、渗透测试、链上资金追踪及安全培训,客户包括全球头部交易所、DeFi协议及政府机构。公司深度参与行业标准化建设,主导重大安全事件调查(如Merlin黑客攻击案件),推动Web3安全生态的透明化与可信化。
联合创始人顾荣辉(哥伦比亚大学计算机教授)与邵中(耶鲁大学计算机系主任)为形式化验证领域权威,其团队研发的CertiKOS系统被美国军方采用。公司成立初期获Lightspeed、IDG等投资,2022年估值达数十亿美元,投资方包括红杉、软银、高瓴等。团队汇聚清华、耶鲁等顶尖学府的技术专家及前谷歌、微软高管,主导Ronin Network、Wormhole等重大安全事件调查。2023年,CertiK被加密货币交易所Bullish收购,但保持独立运营。