CertiK在1月23日与Finbold分享的一份公告中表示，公司正计划上市，力争成为首家公开交易的CertiK公司。Web3基础设施公司。

Web3 安全服务提供商的上市计划因最近的一笔投资而得到加强。币安这使得 CertiK 成为该交易所迄今为止最大的投资者。

重点关注机构安全平台和形式化验证

CertiK 表示，它正在通过 Skynet Enterprise 扩展其企业级产品，Skynet Enterprise 是一个安全平台，旨在满足大型机构和监管机构的透明度、风险可见性和数据质量要求。

该公司补充说，它正在与多个监管机构合作部署该平台，该平台使用链上监控来提供实时警报和对安全事件及生态系统风险的可见性。

除了平台建设之外，CertiK 表示，公司正通过其专有的 Spoq 引擎驱动的形式化验证来推进审计服务。Spoq 引擎被描述为一个高度自动化的框架，旨在减少系统软件的验证工作量。CertiK 称，该引擎已在 OSDI 2023 和 ASPLOS 2026 会议上发表的研究成果中得到验证，并集成了人工智能技术以提高可扩展性和执行效率。

“随着我们不断扩展产品和技术，将 CertiK 上市是顺理成章的下一步。展望未来，我们将继续专注于增强监管机构、机构和用户对 Web3 生态系统所期望的信任度、安全性和透明度。”CertiK联合创始人兼首席执行官顾荣辉表示。

多年来，CertiK 已与超过 5000 家企业客户合作，保护了超过 6000 亿美元的资产，并迄今为止检测到了超过 18 万个漏洞。该公司目前的估值超过 20 亿美元，并获得了包括 YZi Labs 在内的多家投资者的支持，YZi Labs 是其最大的机构投资者。

题图来自 Shutterstock。