At the 2026 World Economic Forum in Davos, CertiK's founder Gu Ronghui announced the company's ambition to go public as the leading Web3 infrastructure firm. CertiK is advancing its core security technology through the Spoq engine, which integrates AI with formal verification to greatly enhance scalability and efficiency. This breakthrough, recognized at top academic conferences, positions CertiK to provide mathematical-level security assurance to institutional Web3 clients worldwide.

#AI