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