Theo Odaily , trong cuộc họp thường niên của Diễn đàn Kinh tế Thế giới (WEF) năm 2026, người sáng lập CertiK, Ronghui Gu, đã tiết lộ trong một cuộc phỏng vấn với CBS tại Davos rằng CertiK, với tư cách là công ty bảo mật Web3 lớn nhất thế giới, đang tích cực theo đuổi kế hoạch IPO và phấn đấu trở thành "công ty niêm yết đầu tiên trong lĩnh vực cơ sở hạ tầng Web3".
Trong cuộc phỏng vấn, Gu Ronghui cũng tiết lộ công nghệ cốt lõi của CertiK trong lĩnh vực bảo mật—công cụ Spoq, tích hợp độ sâu trí tuệ nhân tạo (AI). Bằng cách tích hợp AI với hệ thống xác thực hình thức, công cụ này cải thiện đáng kể mở rộng và hiệu quả thực thi của quá trình xác thực hình thức.
Theo các báo cáo, thành tựu tiên tiến của CertiK đã được xác nhận bởi các hội nghị học thuật hàng đầu thế giới như OSDI 2023 và ASPLOS 2026. Bằng cách chuyển đổi các nghiên cứu học thuật tiên tiến thành công cụ năng suất, CertiK đang cung cấp bảo mật cấp độ toán học cho các khách hàng tổ chức trên toàn thế giới.
