În timpul întâlnirii anuale a Forumului Economic Mondial (WEF) din 2026, fondatorul CertiK, Gu Ronghui, a dezvăluit într-un interviu cu CBS că compania urmărește activ planurile de a deveni publică, având ca obiectiv să devină acțiunea de infrastructură Web3 de frunte. Potrivit Odaily, CertiK, recunoscută ca fiind cea mai mare firmă de securitate Web3 din lume, face progrese semnificative în eforturile sale de listare.
În interviu, Gu a dezvăluit, de asemenea, tehnologia de securitate de bază a CertiK, motorul Spoq, care integrează profund AI. Prin combinarea AI cu sistemele de verificare formală, acest motor îmbunătățește semnificativ scalabilitatea și eficiența execuției verificării formale.
Realizările inovatoare ale CertiK au fost validate de conferințe academice globale prestigioase, cum ar fi OSDI 2023 și ASPLOS 2026. Prin transformarea cercetării academice de vârf în instrumente de productivitate, CertiK oferă asigurare de securitate la nivel matematic clienților instituționali din întreaga lume.