Selama pertemuan tahunan Forum Ekonomi Dunia (WEF) 2026, pendiri CertiK Gu Ronghui mengungkapkan dalam wawancara dengan CBS bahwa perusahaan ini secara aktif mengejar rencana untuk go public, dengan tujuan menjadi saham infrastruktur Web3 terkemuka. Menurut Odaily, CertiK, yang diakui sebagai perusahaan keamanan Web3 terbesar di dunia, sedang membuat kemajuan signifikan dalam upaya pencatatan sahamnya.
Dalam wawancara, Gu juga mengungkapkan teknologi keamanan inti CertiK, mesin Spoq, yang mengintegrasikan AI secara mendalam. Dengan menggabungkan AI dengan sistem verifikasi formal, mesin ini secara signifikan meningkatkan skalabilitas dan efisiensi eksekusi verifikasi formal.
Prestasi inovatif CertiK telah divalidasi oleh konferensi akademik global bergengsi seperti OSDI 2023 dan ASPLOS 2026. Dengan mengubah penelitian akademik kelas atas menjadi alat produktivitas, CertiK memberikan jaminan keamanan tingkat matematis kepada klien institusional di seluruh dunia.