CertiK의 창립자 구룽후이는 2026년 다보스 세계경제포럼에서 기업공개(IPO) 계획을 발표하며 CertiK를 최초의 Web3 인프라 주식으로 자리매김하겠다는 목표를 밝혔다. 구는 단독 인터뷰에서 AI와 형식 검증을 통합해 확장성과 효율성을 높인 CertiK의 Spoq 엔진을 강조했다. 이 기술은 OSDI 2023과 ASPLOS 2026을 포함한 주요 학술대회에서 검증되었으며, 기관 고객에게 강력한 보안 보증을 제공한다.