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
Isenção de responsabilidade: As informações contidas nesta página podem ser provenientes de terceiros e não representam os pontos de vista ou opiniões da Gate. O conteúdo apresentado nesta página é apenas para referência e não constitui qualquer aconselhamento financeiro, de investimento ou jurídico. A Gate não garante a exatidão ou o carácter exaustivo das informações e não poderá ser responsabilizada por quaisquer perdas resultantes da utilização destas informações. Os investimentos em ativos virtuais implicam riscos elevados e estão sujeitos a uma volatilidade de preços significativa. Pode perder todo o seu capital investido. Compreenda plenamente os riscos relevantes e tome decisões prudentes com base na sua própria situação financeira e tolerância ao risco. Para mais informações, consulte a Isenção de responsabilidade.
Comentar
0/400
Nenhum comentário
Negocie cripto em qualquer lugar e a qualquer hora
qrCode
Digitalizar para transferir a aplicação Gate
Novidades
Português (Portugal)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)