Fundador da CertiK, Gu Ronghui, participa no Fórum de Davos: IA capacita a verificação formal, com foco na meta de IPO

GateNews

Odaily星球日报讯 2026 年世界经济论坛(WEF)年会期间,CertiK 创始人顾荣辉在达沃斯接受 CBS 专访时透露,作为全球最大的 Web3 安全公司,CertiK 正在积极推进上市计划,力争成为“Web3 基础设施第一股”。

专访中,顾荣辉还揭秘了 CertiK 在安全技术层面的核心技术——深度集成 AI 的 Spoq 引擎。通过 AI 与形式化验证体系融合,该引擎大幅提升了形式化验证的可扩展性与执行效率。

据悉,CertiK 的这一前沿成果已相继获得 OSDI 2023 和 ASPLOS 2026 等全球顶尖学术会议的验证。通过将顶尖学术研究转化为生产力工具,CertiK 正为全球机构级客户提供数学级安全保障。

Isenção de responsabilidade: as informações nesta página podem ter origem em fontes terceiras e servem apenas como referência. Não representam as opiniões da Gate e não constituem orientação financeira, de investimentos ou jurídica. A negociação de ativos virtuais envolve alto risco. Não tome decisões baseando-se apenas nas informações desta página. Para mais detalhes, consulte a Isenção de responsabilidade.
Comentário
0/400
Sem comentários