关于 CertiK

构建信任基础设施 服务于数字经济

安全与合规从一开始就内置其中，并贯穿数字资产的整个生命周期。

品牌影片

信任之旅，携手前行。

我们的故事

互联网传递信息。数字资产传递价值。

但信息网络与价值网络之间存在根本差异。

信息被破坏时往往可以恢复；价值被侵害时，损失可能无法挽回。

随着数字资产成为全球经济的一部分，安全与合规必须超越一次性检查，覆盖整个生命周期。

CertiK 正通过形式化验证、AI 驱动的安全、持续风险监控与全球合规能力，为这一新经济构建信任基础设施。

CertiK 也倡导提升安全实践的透明度，包括公开完整的审计报告。透明是信任的基石。

我们的方向

成为数字经济的全球风险管理与信任平台，让价值能够安全、可靠地规模化流动。

起源

建立在形式化验证研究之上。

  • CertiK 为何存在

    CertiK 成立于 2017 年，坚信安全与合规必须从一开始就内置于数字资产系统之中。

    因此，CertiK 将形式化验证、安全审计、持续监控、风险情报与合规能力整合在统一的风险管理框架之中。

    我们的目标不只是发现漏洞，而是降低数字资产全生命周期的风险敞口，推动机构从被动修补走向主动、持续的风险管理。

  • 技术根基

    CertiK 源自耶鲁大学与哥伦比亚大学教授在形式化验证领域取得的突破。

    形式化验证能够严格证明软件按照规范运行。它长期应用于航空航天与芯片设计领域，CertiK 是最早将其大规模应用于数字资产的公司之一。

    自 2017 年以来，CertiK 已建成业内规模最大的 Web3 安全知识库之一。这些安全数据、研究与实战经验，为下一代 AI 驱动的安全系统奠定了基础。

在全球 Web3 安全市场持续保持领先份额。

发现的漏洞
0+
发布的研究与分析
0+
服务的客户
0+
评估的数字资产
$0B+
覆盖的国家和地区
0+

监管贡献

为各司法辖区的数字资产政策贡献力量。

0+ 个司法辖区咨询

数字经济的发展不仅需要技术创新，还需要监管信任、机构参与和行业协作。

因此，CertiK 与全球各地的监管机构、金融机构、生态建设者和开发者社区紧密合作。

  • 新加坡金融管理局 技术顾问委员会
  • 香港特区 Web3 发展专责小组 政策贡献
  • 阿布扎比全球市场 稳定币政策对话
  • 日本金融厅 技术合作
  • 釜山数字资产交易所 安全合作
  • 美国国会议员 行业对话
  • 吉尔吉斯共和国国家银行 谅解备忘录
  • 2026 年联合国全球反欺诈峰会 反欺诈承诺

行业认可

安全与合规资质

  • SOC 2® Type II 合规
  • ISO 27001 认证

过往实绩

信任，以实践为证。

看看客户怎么说

获得顶级投资机构支持，被交易所与机构所信赖，并得到那些由我们的研究人员协助保护其系统的企业的公开致谢。

CertiK 品牌指南

标识、视觉素材与规范使用指南。

查看品牌指南 下载标识素材包
CertiK

我们的团队

由研究人员、工程师和安全专家组成的全球团队。

我们正在招聘 （在新标签页中打开） 员工验证 （在新标签页中打开）

领导团队

商务团队

  • Danni Liu Business Development Director
  • Xuesong Ma Sr. BD Manager
  • Mikhail Yerganjiev Sr. BD Manager
  • Nurtilek Taalaibekov Head of EU BD
  • Angus Lee Business Development Director
  • John Kiew Business Development Manager
  • Magnus Chung Business Development Manager
  • Joe Suzuki Business Development Manager
  • Chenglong Ji BD Representative
  • Lakshya Kanyakubja BD Representative
  • Pedro Araujo BD Manager

常见问题

关于 CertiK 的常见问题。

  • CertiK 成立于 2017 年，总部位于纽约，是规模最大的 Web3 安全服务提供商。基于耶鲁大学与哥伦比亚大学教授在形式化验证技术上取得的突破，CertiK 致力于为数字资产提供最全面的安全保护。

    多年来，CertiK 已成长为全球监管机构、金融机构与 Web3 创新企业信赖的风险管理伙伴，并致力于构建数字经济的信任基础设施。

  • CertiK 帮助客户识别、管理并缓解数字资产全生命周期的风险，将安全与风险管理从被动修补转向主动治理。

    CertiK 的核心产品包括：Skynet，面向数字资产研究、代币上线风险评估与持续监控的风险决策平台；CertiK Compliance，支持牌照申请、反洗钱与日常合规运营；CertiK Supervision，帮助监管机构持续监控持牌机构、数字资产及相关风险。CertiK 还提供用于 Web3 代码安全自动分析的 AI Auditor、用于形式化证明关键代码属性的 CertiK Prover，以及漏洞赏金平台与安全研究员网络 CertiK Hunt。

    这些产品还辅以专家服务，包括智能合约审计、公链审计、渗透测试、专家形式化验证、储备金证明、验证节点服务以及咨询顾问服务。

    这些能力共同使 CertiK 能够应对数字资产生命周期各阶段的风险：从代码开发与上线前安全验证，到持续资产监控、反洗钱与合规运营、监管监督以及基础设施的长期安全。

  • 形式化验证是 CertiK 技术根基的核心。基于耶鲁大学与哥伦比亚大学的形式化验证研究，CertiK 通过工程化自动化，将数学上可证明的安全性落地到真实的生产级代码中，覆盖智能合约、协议层与零知识证明等复杂系统。

    CertiK 的形式化验证能力已部署于 zkWasm、TON 及基于 Move 的项目等多个领先 Web3 生态。在 Web3 之外，这些技术也应用于蚂蚁集团 HyperEnclave TEE、Asterinas 操作系统和 SGX TRTS SDK 等基础设施。

    与此同时，CertiK 通过将 AI 融入自研的 CertiK Prover 引擎，提升了形式化验证的效率。这一技术突破发表于计算机科学顶级学术会议 OSDI 2023 与 ASPLOS 2026，并获得 ASPLOS 2026 最佳论文荣誉提名。

  • CertiK 由哥伦比亚大学顾荣辉教授与耶鲁大学邵中教授共同创立，两位计算机科学教授的研究涵盖形式化验证、网络安全、操作系统与可认证软件。

    顾荣辉教授是 CertiK 联合创始人兼首席执行官，哥伦比亚大学计算机科学副教授。他是 CertiKOS 的主要设计者与开发者，担任新加坡金融管理局（MAS）国际技术顾问，并曾任香港推动 Web3 发展专责小组的首届成员。

    邵中教授是耶鲁大学 Thomas L. Kempner 讲席教授。他与耶鲁 FLINT 团队共同开发了 CertiKOS，这是全球首个抗黑客攻击的并发操作系统。

  • CertiK 服务超过 5,500 家企业与机构客户，服务覆盖全球 150 多个国家和地区。公司已评估超过 6,000 亿美元的数字资产，发现超过 119,000 个安全漏洞。

    根据 2024 年统计数据，CertiK 约占全球市场份额的 65%。

  • 自成立以来，CertiK 已获得包括币安、红杉、高瓴、高盛与软银愿景基金在内的 12 家顶级基金投资，估值超过 20 亿美元。

  • CertiK 已与超过 5,500 家企业客户合作，包括币安、蚂蚁集团以及欧洲和新加坡的多家领先银行。CertiK 还与监管机构密切合作，积极参与美国、香港、新加坡、阿联酋、韩国、巴西、英国和欧盟等多个司法辖区的数字资产政策制定。

  • CertiK 通过 AI 驱动的智能合约安全分析产品 AI Auditor，将安全前移到开发生命周期的更早阶段。AI Auditor 将安全情报直接嵌入开发工作流，帮助团队在部署前发现漏洞，并以高信号、低噪声强化审计验证。

    AI Auditor 并不依赖单一模型或静态训练数据，而是将多个 AI 扫描器与智能体，同来自真实攻击事件、审计发现和新兴攻击模式的持续演进的安全情报相结合。其多阶段验证流程交叉核验结果、过滤重复与误报，帮助团队聚焦最关键的问题。系统还能根据不同代码库与风险特征调整扫描范围与分析深度。

    AI Auditor 旨在补充而非取代专家安全审计。通过更早暴露漏洞，并将原始发现转化为按优先级排序、可执行的结果，它让安全团队与审计人员能把专业能力集中在影响最大的地方。

  • CertiK Reports 是 CertiK 基于多年实战经验推出的安全研究与情报出版物。CertiK 已发现超过 119,000 个代码漏洞，并将这些经验转化为 700 多篇技术研究与漏洞分析。

    • Hack3D 报告. 来自 CertiK 的安全研究与事件数据。季度与年度 Hack3D 报告追踪 Web3 领域的攻击、漏洞与损失。
    • Intel3D 报告. 来自 CertiK Skynet 的 Web3 安全情报，报道数字资产领域的欺诈、威胁、生态风险与新兴安全趋势。
    • CertiK 博客. 面向机构化 Web3 时代的安全研究、监管洞察与数据支撑的分析，将真实信号转化为可执行的情报。
    • 安全仪表盘. 持续更新的数据仪表盘，呈现 Web3 安全事件、损失、攻击类型与不断演变的威胁趋势。

    代表性出版物包括《CertiK Hack3D：2026 上半年报告》与《CertiK Intel3D：2026 上半年扳手攻击报告》。CertiK 报告的发现与数据已被福布斯、彭博等全球主流媒体以及 CoinDesk、Cointelegraph 等主要加密媒体引用和报道。

  • CertiK 的服务覆盖全球 150 多个国家和地区。在美国、亚太地区、巴西、韩国、土耳其、阿联酋和欧洲等重点市场，CertiK 已设立本地化团队。

  • CertiK 为支撑其服务的平台维持 SOC 2 Type II 与 ISO 27001 资质，体现了对信息安全与运营控制的承诺。CertiK 还具备 ADGM、FSC、MiCA、MAS 等主要数字资产监管框架方面的专业能力，帮助机构客户紧跟不断演变的监管要求。

  • CertiK 的合规解决方案主要服务于金融机构、数字资产企业、虚拟资产服务提供商（VASP）以及监管机构。

    面向机构客户，CertiK Compliance 整合了交易对手与资产评级、牌照准备度评估、威胁情报、反洗钱筛查、资金追踪与合规报告，帮助客户在进入受监管市场前识别合规缺口，并在运营全程持续监控安全与合规风险。平台的监控能力覆盖 20 多条区块链，依托超过 4 亿个地址标签，已识别超过 3,000 起安全事件。

    面向监管机构，CertiK Supervision 提供覆盖整个司法辖区的数字资产风险视图，实现对 VASP、代币、钱包与交易的统一监控，并从链上活动、反洗钱与制裁风险、网络安全等维度评估受监管实体。系统还能将风险预警转化为调查案件与可直接用于检查的报告，规则、风险阈值、风险类别与报告要求均可按不同监管框架配置。平台目前监控超过 200 家持牌 VASP 与 17,000 多种代币。

    CertiK 还为稳定币、RWA 及其他基于区块链的应用等机构数字资产场景提供安全咨询与风险管理支持。

  • CertiK 成立于 2017 年 12 月，是规模最大的 Web3 安全服务提供商，也是全球监管机构、金融机构与 Web3 创新企业信赖的风险管理伙伴。

    自 2020 年以来，CertiK 已检测超过 119,000 个代码漏洞，评估超过 6,000 亿美元的数字资产，并将这些经验转化为 700 多篇技术研究论文与漏洞分析。

    根据 2024 年统计数据，CertiK 约占全球市场份额的 65%。

    CertiK 成为首家为支撑其服务的平台获得 SOC 2 Type I 与 Type II 鉴证的 Web3 安全公司，该平台同时持有 ISO 27001 认证。

    2024 年，CertiK 因发现关键漏洞，在两个月内获得苹果、阿里巴巴、字节跳动、小红书等 12 家全球科技巨头的公开致谢。

    CertiK 工程师因杰出的安全贡献获得认可：一位于 2025 年入选 Ledger 名人堂，另有多位入选 2023 年三星移动安全名人堂。

    2025 年，CertiK 在以太坊基金会组织的 zkEVM 形式化验证竞赛中获得两项研究资助。

    2026 年，CertiK 在 Google EdgeTPU 中发现两个安全漏洞：CVE-2026-0150 与 CVE-2026-0153。两项漏洞均已获 Google 确认，并收录于 2026 年 6 月安全公告。

  • 构建数字经济的信任基础设施。

告诉我们你在构建什么。