Засновник CertiK Гу Жунхуї виступив у Давосі: штучний інтелект у формалізованому верифікації, орієнтація на ціль виходу на біржу

Odaily星球日报訊 2026 年世界經濟論壇(WEF)年會期間,CertiK 創始人顧榮輝在達沃斯接受 CBS 專訪時透露,作為全球最大的 Web3 安全公司,CertiK 正在積極推進上市計劃,力爭成為“Web3 基礎設施第一股”。

專訪中,顧榮輝還揭秘了 CertiK 在安全技術層面的核心技術——深度集成 AI 的 Spoq 引擎。通過 AI 與形式化驗證體系融合,該引擎大幅提升了形式化驗證的可擴展性與執行效率。

據悉,CertiK 的這一前沿成果已相繼獲得 OSDI 2023 和 ASPLOS 2026 等全球頂尖學術會議的驗證。通過將頂尖學術研究轉化為生產力工具,CertiK 正為全球機構級客戶提供數學級安全保障。

Переглянути оригінал
Застереження: Інформація на цій сторінці може походити від третіх осіб і не відображає погляди або думки Gate. Вміст, що відображається на цій сторінці, є лише довідковим і не є фінансовою, інвестиційною або юридичною порадою. Gate не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до Застереження.
Прокоментувати
0/400
Немає коментарів