During the 2026 World Economic Forum (WEF) Annual Meeting, CertiK Founder Ronghui Gu was interviewed by CBS in Davos. He revealed that as the world's largest Web3 security company, CertiK is actively advancing its IPO plans, striving to become the "first stock in Web3 infrastructure." This signal not only marks CertiK's own development entering a mature stage but is also seen by the industry as a significant indicator of the Web3 sector moving towards institutionalization and standardization.
"The market is still anticipating the listing of native Web3 enterprises, especially infrastructure companies like CertiK," Gu stated in the interview. "This will help the mainstream market better understand and adopt Web3 technology, and it also represents recognition from traditional enterprises and mainstream industries."
It is reported that CertiK's IPO plan has received support from strategic capital. Among them, YZi Labs (formerly Binance Labs) recently completed a milestone investment, establishing its position as CertiK's largest investor to date. The continuous injection of capital from such top-tier investors not only provides CertiK with ample momentum for expansion but also paves the way for its comprehensive penetration into the institutional market.
Web3 Infrastructure for Institutions
As more traditional financial institutions and large enterprises explore Web3, security, transparency, and risk visibility have become prerequisites for entering this field. Gu pointed out that Web3 is entering a new phase that requires "institutional-grade standards."
In this context, CertiK has focused on institutional needs and launched the enterprise-grade security platform Skynet Enterprise. This platform is designed to meet the demands of institutions and regulators for transparency, risk visibility, and data quality. Through real-time on-chain monitoring, alert systems, and analytical dashboards, it transforms complex on-chain activities into intuitive insights, helping to build a more resilient digital asset ecosystem. Currently, CertiK is working closely with multiple regulatory bodies to promote the platform's implementation, paving the way for Web3 industry compliance.
AI-Enhanced Formal Verification Security Framework
In the interview, Gu also emphasized the application of AI in Web3 security. Unlike basic automation tools, CertiK deeply integrates AI into its self-developed Spoq engine, significantly enhancing the scalability and execution efficiency of its core formal verification system through empowerment. This cutting-edge research has been validated at top academic conferences such as OSDI 2023 and ASPLOS 2026.
Relying on this system, CertiK can provide mathematical-grade security guarantees for institutional clients. This practice of translating academic rigor into production-ready tools highlights CertiK's core philosophy: security should be a matter of genuine technical depth, not just superficial "trust labels."
The Inevitable Path for Web3's Integration into the Global Financial System
Gu noted in the interview: "Many people hope to see CertiK's successful IPO because it is not only crucial for CertiK but also for the entire Web3 industry." In his view, moving towards the public market is not only a natural progression for corporate development but also an essential path for Web3 to integrate into the global financial system and win the trust of users worldwide.
In the global context of Davos, the signal sent by CertiK is increasingly clear: Web3 is moving away from fringe innovation and transitioning into a mature stage that can be regulated, adopted by institutions, and supervised by public markets.






