CertiK said in an announcement shared with Finbold on January 23 that it is targeting a public listing as part of its ambition to become the first publicly traded Web3 infrastructure company. The Web3 security services provider’s plans for a public listing were reinforced by a recent investment from Binance , making the exchange CertiK’s largest investor so far. Focus on institutional security platforms and formal verification CertiK said it is expanding its enterprise offering through Skynet Enterprise, a security platform designed to meet the transparency, risk visibility, and data quality requirements of large institutions and regulators. The company added it is collaborating with multiple regulatory bodies to deploy the platform, which uses on-chain monitoring to deliver real-time alerts and visibility into security events and ecosystem risks. Alongside its platform efforts, CertiK said it is advancing its auditing services through formal verification powered by its proprietary Spoq engine, which it described as a highly automated framework intended to reduce proof effort for system software. CertiK said the engine has been validated by research presented at OSDI 2023 and ASPLOS 2026 and integrates AI to improve scalability and execution efficiency. “Taking CertiK public is a natural next step as we continue scaling our products and technology. Going forward, we remain focused on strengthening the trust, security, and transparency that regulators, institutions, and users expect from the Web3 ecosystem,” said Ronghui Gu, Co-Founder and CEO of CertiK. Over the years, CertiK has worked with more than 5,000 enterprise clients, secured over $600 billion in assets, and detected more than 180,000 vulnerabilities to date. The company is valued at more than $2 billion now and is backed by multiple investors, including YZi Labs as its largest institutional investor. Featured image via Shutterstock. The post CertiK outlines plan to pursue public listing following Binance investment appeared first on Finbold .