表现
对比
详情
本内容由 RD AI 生成，仅供参考
CertiK 是一家专注于区块链安全的公司，为 Web3 项目提供端到端的安全解决方案。其核心服务包括智能合约审计、形式化验证、渗透测试、漏洞赏金计划以及 Skynet 实时安全监控平台。CertiK 结合 AI 与人工专家审查，覆盖从代码开发到上线后的全周期安全防护，帮助项目方识别漏洞、提升可信度，并为投资者提供决策参考。
旗下组织
关注更新
关注列表
人物
关于CertiK
CertiK是一家区块链安全公司，核心业务包括智能合约审计、形式化验证、渗透测试、储备金证明、漏洞赏金计划以及反洗钱和风险情报服务。其旗舰产品Skynet平台为超过17,000个项目提供实时安全评分和监控，SkyInsights则为机构提供链上交易监控和合规工具。
CertiK的核心竞争力在于将形式化验证（用数学方法证明代码正确性）与AI驱动的审计相结合。2026年，它推出了AI Auditor，这是一种将实时安全情报嵌入开发流程的系统级架构，在真实世界事件上实现了88.6%的精确命中率，同时保持低噪音。其对AI编码智能体的开源集成将安全数据直接带入开发者工具。
CertiK解决的市场痛点是黑客攻击和漏洞利用的持续威胁。2026年上半年，加密货币损失总额达13.2亿美元，仅第二季度就损失8.075亿美元，环比增长59%。私钥管理和多签钱包仍是最关键的风险点，而代码漏洞占事件的大多数。CertiK的监控和审计服务帮助项目在攻击者利用漏洞之前发现漏洞。
近半年（2026年3月至9月），CertiK在内部测试后向公众发布了AI Auditor，通过智能体集成扩展了AI原生安全能力，并发布了2026年上半年安全报告，揭示行业趋势。报告指出，虽然总损失同比下降47%，但事件数量飙升至创纪录的207起，表明安全形势并未根本改善。
CertiK成立于2018年，以形式化验证与AI为核心，提供端到端区块链安全审计，并开发安全公链CertiK Chain。2025年发布Skynet朝鲜威胁报告：自2016年朝鲜黑客窃取约67.5亿美元，2025年占全球加密损失近60%，攻击转向"线下渗透"。2026上半年报告：Web3损失超13亿美元，钱包盗窃成最大攻击类型，攻击聚焦高价值个人与机构。CertiK发布巴西PSAV合规报告，推动第三方安全认证成为市场准入硬门槛；与KB国民银行完成韩元稳定币结算框架试点，覆盖发行、线下商户支付和跨境汇款。截至2026年，检测超11.5万漏洞，评估市值4830亿美元，监控9+15条链，并与国际刑警组织、欧洲刑警组织合作打击跨境犯罪。
近半年，CertiK在AI驱动安全领域取得重大进展。推出AI Auditor，一个基于多模型架构的智能审计系统，经35个真实安全事件测试，累计准确率达88.6%，并开源集成至AI编码代理，实现开发环境中的实时安全检测。同时发布CertiK Skills，将链上安全数据（如钱包风险、项目评分、代币分析）直接接入Claude、Codex等AI工具，降低安全分析门槛。在审计服务方面，推出Grey Box Chain Audit，通过模拟真实网络环境进行故障注入，覆盖共识、验证者、桥接等关键环节，并提供永久验证工具。战略上，CertiK正式进入日本市场，与当地合规交易所合作，强调机构级安全与全生命周期合规解决方案。未来重心包括：持续深化AI与安全自动化，推动安全左移；扩展全球监管合作，提供符合各地法规的合规工具；以及构建更开放的安全生态，如CertiK Hunt平台，连接研究者与项目方，结合人工与AI漏洞挖掘。
顾荣辉（Ronghui Gu）：联合创始人兼CEO。哥伦比亚大学计算机系副教授，耶鲁大学计算机博士、清华大学学士；CertiKOS与SeKVM主要设计者，获SOSP最佳论文奖。
康力（Kang Li）：CTO。曾任百度首席安全科学家/高级总监、佐治亚大学终身教授；Blue-Lotus等CTF战队创始导师，DARPA网络安全总决赛选手，耶鲁法学院硕士。
Jason Cao：COO，运营管理经验经LinkedIn确认。
Jason Jiang（蒋宇强）：首席商务官。逾15年工业、科技及消费领域销售管理经验；曾任Sensimo COO、Inno Optics创始人兼CEO、Greif中国区总经理及摩托罗拉管理岗。
CertiK 近期于2026年4月迎来新任通讯主管 Margarita K.。她在Web3与网络安全领域拥有丰富的传播经验，曾负责Immunefi、Mantle和Ocean Protocol等平台的市场与公关工作。她的加入将强化CertiK的品牌定位与战略传播，助力公司拓展安全服务。