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

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

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

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

Ver original
Aviso: As informações nesta página podem ser provenientes de terceiros e não representam as opiniões ou pontos de vista da Gate. O conteúdo exibido nesta página é apenas para referência e não constitui aconselhamento financeiro, de investimento ou jurídico. A Gate não garante a exatidão ou integridade das informações e não será responsável por quaisquer perdas decorrentes do uso dessas informações. Os investimentos em ativos virtuais apresentam altos riscos e estão sujeitos a uma volatilidade de preços significativa. Você pode perder todo o capital investido. Por favor, compreenda completamente os riscos envolvidos e tome decisões prudentes com base em sua própria situação financeira e tolerância ao risco. Para mais detalhes, consulte o Aviso Legal.
Comentário
0/400
Sem comentários