Durante la riunione annuale del World Economic Forum (WEF) del 2026, il fondatore di CertiK, Gu Ronghui, ha rivelato in un'intervista con CBS che l'azienda sta attivamente perseguendo piani per diventare pubblica, puntando a diventare il principale stock di infrastruttura Web3. Secondo Odaily, CertiK, riconosciuta come la più grande azienda di sicurezza Web3 al mondo, sta facendo significativi progressi nei suoi sforzi di quotazione.
Nell'intervista, Gu ha anche svelato la tecnologia di sicurezza fondamentale di CertiK, il motore Spoq, che integra profondamente l'IA. Unendo l'IA ai sistemi di verifica formale, questo motore migliora significativamente la scalabilità e l'efficienza di esecuzione della verifica formale.
I risultati innovativi di CertiK sono stati convalidati da prestigiose conferenze accademiche globali come OSDI 2023 e ASPLOS 2026. Trasformando la ricerca accademica di alto livello in strumenti di produttività, CertiK sta fornendo una garanzia di sicurezza a livello matematico ai clienti istituzionali in tutto il mondo.