CertiK sáng lập viên Ngụy Vinh Huy xuất hiện tại Davos: AI thúc đẩy xác minh hình thức, hướng tới mục tiêu niêm yết

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

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

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

Xem bản gốc
Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể đến từ bên thứ ba và không đại diện cho quan điểm hoặc ý kiến của Gate. Nội dung hiển thị trên trang này chỉ mang tính chất tham khảo và không cấu thành bất kỳ lời khuyên tài chính, đầu tư hoặc pháp lý nào. Gate không đảm bảo tính chính xác hoặc đầy đủ của thông tin và sẽ không chịu trách nhiệm cho bất kỳ tổn thất nào phát sinh từ việc sử dụng thông tin này. Đầu tư vào tài sản ảo tiềm ẩn rủi ro cao và chịu biến động giá đáng kể. Bạn có thể mất toàn bộ vốn đầu tư. Vui lòng hiểu rõ các rủi ro liên quan và đưa ra quyết định thận trọng dựa trên tình hình tài chính và khả năng chấp nhận rủi ro của riêng bạn. Để biết thêm chi tiết, vui lòng tham khảo Tuyên bố miễn trừ trách nhiệm.
Bình luận
0/400
Không có bình luận