作为Web3安全服务的最大提供商，CertiK的目标是成为首家公开上市的Web3基础设施公司。币安近期进行的历史性投资支持了这一上市路径，该国际交易平台由此成为CertiK迄今最大的投资者。
CertiK正专注于扩大机构客户服务，同时利用其合作关系和投资加速产品开发。企业级安全平台Skynet Enterprise是这一努力的核心，该平台旨在满足大型机构和监管机构在透明度、风险可见性和数据质量方面的要求。
鉴于Web3仍是一项相对新兴的技术，CertiK正与多家监管机构密切合作以部署Skynet Enterprise。通过链上监控技术，该平台提供仪表板和实时预警系统，使监管机构能够直接监控安全事件。通过提供关于实时风险变化和生态趋势的定制化洞察，CertiK正在助力构建更透明、可追溯且稳健的数字资产市场。
同时，CertiK正在发展其机构级审计服务，其核心方法是采用由独家Spoq引擎驱动的形式化验证——这是一个高度自动化的框架，旨在显著降低系统软件所需的验证工作量。该引擎运用AI技术提升形式化验证的可扩展性和执行效率，提供风险规避型机构客户所需的高级别数学安全性。此项技术已通过OSDI 2023和ASPLOS 2026的研究验证。
"随着我们持续扩展产品和技术，让CertiK上市是顺理成章的下一步。未来，我们将继续专注于增强监管机构、机构和用户对Web3生态系统所期待的信任、安全性与透明度。"CertiK联合创始人兼CEO顾荣辉表示。
截至目前，CertiK已保护超过6000亿美元资产，拥有超5000家企业客户，发现逾18万个漏洞，其名号与技术严谨性、安全性和可靠性紧密相连。这家估值超20亿美元、获得顶级投资者支持的企业，正凭借坚实基础和明确上市计划迈入新发展阶段。
作为Web3安全服务的最大供应商，CertiK采用最先进的形式化验证技术来保护和监控智能合约与区块链协议。公司由耶鲁大学和哥伦比亚大学学者于2017年12月创立，将学术界的尖端突破应用于商业领域，确保关键任务应用能够安全精准地扩展。
CertiK不仅是区块链安全领域的行业领导者，也是该领域信誉卓著且发展迅猛的企业之一。其客户包括币安、以太坊基金会、BNB Chain、Aptos、Ripple、Sandbox、Polygon和TON等行业领军项目。自创立以来，CertiK已获得红杉资本、Coatue、高盛、顺为资本和Insight Partners等12家知名机构的投资。
在日益动态的环境中，CertiK在2025年持续巩固其作为最大Web3安全服务提供商的地位。技术层面，公司推出为Aptos和BNB Chain等多链生态提供验证服务的SkyNode，提升网络速度、安全性和可靠性。同时基于独家安全信息发布系列Skynet安全报告，为市场提供及时的数据驱动洞察。通过斩获以太坊基金会zkEVM形式化验证竞赛两项资助，公司进一步证明了其技术实力。
除技术深度外，CertiK还提升了机构影响力。通过升级后的企业套件（含Skynet Enterprise和DLT解决方案），公司为受监管环境提供所需的风险可见性与合规准备。这些能力带来重要成果，包括获香港政府选定为重点企业合作伙伴，并与汇丰银行等机构及YZi Labs等生态伙伴持续合作。CertiK还活跃于Consensus、Proof of Talk、Token2049和伊斯坦布尔区块链周等国际盛会，巩固其在全球Web3对话中的前沿地位。
CertiK的全球扩张持续加速。作为全球化与本地化服务战略的一部分，公司在韩国和阿联酋设立地区办事处，加强与当地企业联系并支持区域特定项目。通过加入由WEMADE主导的韩元稳定币全球联盟（GAKS），CertiK为韩国发展中的稳定币生态贡献专业知识。
2025年，CertiK联合创始人兼CEO顾荣辉的思想领导力也显著提升。他在Unchained Summit和港大商学院等机构的主题演讲，展现了公司连接学术研究与实际应用的承诺。同时加强与监管机构和立法者的互动（包括与香港金融管理局的通信），推动数字资产框架构建。他还参与新加坡金融科技节和香港金融科技周等国际重要活动，就风险管理、合规及数字资产治理方向贡献CertiK的实践经验。
CertiK已成为技术严谨性、安全性与可靠性的代名词。这家估值超20亿美元的企业正凭借坚实基础和明确上市计划，在包括最大机构投资者YZi Labs在内的顶级投资者支持下，迈入扩张新阶段。
