CertiK Founder Gu Ronghui Appears at Davos: AI Empowers Formal Verification, Aiming for a Public Listing

GateNews

2026-01-23 08:30:42

Odaily Planet Daily News: During the 2026 World Economic Forum (WEF) Annual Meeting, CertiK founder Gu Ronghui revealed in an exclusive CBS interview in Davos that, as the world’s largest Web3 security company, CertiK is actively advancing its IPO plans in an effort to become the “first Web3 infrastructure stock.”

In the interview, Gu Ronghui also disclosed the core technology of CertiK’s security technical layer—the deeply integrated AI Spoq engine. By combining AI with formal verification systems, this engine significantly enhances the scalability and execution efficiency of formal verification.

It is reported that this cutting-edge achievement by CertiK has been validated at top global academic conferences such as OSDI 2023 and ASPLOS 2026. By transforming leading academic research into productivity tools, CertiK is providing mathematically secure guarantees for global institutional clients.

View Original

Disclaimer: The information on this page may come from third parties and does not represent the views or opinions of Gate. The content displayed on this page is for reference only and does not constitute any financial, investment, or legal advice. Gate does not guarantee the accuracy or completeness of the information and shall not be liable for any losses arising from the use of this information. Virtual asset investments carry high risks and are subject to significant price volatility. You may lose all of your invested principal. Please fully understand the relevant risks and make prudent decisions based on your own financial situation and risk tolerance. For details, please refer to Disclaimer.

Comment

0/400

No comments