CertiK fundador Gu Ronghui participa en Davos: IA potencia la verificación formal, con miras a la salida a bolsa

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

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

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

Aviso legal: La información en esta página puede provenir de fuentes de terceros y es solo para referencia. No representa las opiniones ni puntos de vista de Gate y no constituye asesoramiento financiero, de inversión ni legal. El comercio de activos virtuales implica un alto riesgo. No te bases únicamente en la información presentada en esta página para tomar decisiones. Para más detalles, consulta el Aviso legal.
Comentar
0/400
Sin comentarios