The goal of CertiK, the biggest provider of Web3 security services, is to become the first publicly listed Web3 infrastructure firm. A recent historic investment from Binance, which became the international exchange CertiK’s biggest investor to yet, supports this path toward a public listing.
CertiK is concentrating on increasing services for institutional customers while using its relationships and investments to expedite product development. Skynet Enterprise, CertiK’s enterprise-grade security platform designed to satisfy the demands of big institutions and regulators in terms of transparency, risk visibility, and data quality, is at the heart of this endeavor.
In order to deploy Skynet Enterprise, CertiK is collaborating closely with many regulatory agencies, acknowledging that Web3 is still a relatively new technology. Through the use of on-chain monitoring technology, Skynet Enterprise offers dashboards and real-time warning systems that let regulators keep an eye on security events directly. CertiK is contributing to the development of a more transparent, traceable, and robust digital asset market by providing these customized insights on real-time risk changes and ecosystem trends.
At the same time, CertiK is developing its institutional-grade auditing services, the fundamental approach of which is the use of Formal Verification driven by the exclusive Spoq engine, a highly automated framework intended to significantly lower the proof effort needed for system software. This engine uses AI technology to enhance the scalability and execution efficiency of formal verification, providing the high level of mathematical security that risk-averse institutional customers need. It has been validated by research at OSDI 2023 and ASPLOS 2026.
“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.
With over $600 billion in assets safeguarded, over 5,000 business customers, and over 180,000 vulnerabilities found so far, CertiK has established itself as a name associated with technical rigor, security, and dependability. With a solid foundation and a clear plan to go public, CertiK, which is valued at over $2 billion and supported by elite investors, is now moving into the next phase of its development.
The biggest supplier of Web3 security services, CertiK uses the best formal verification technology available to safeguard and keep an eye on smart contracts and blockchain protocols. Established in December 2017 by academics from Yale University and Columbia University, CertiK brings state-of-the-art breakthroughs from academia to business, allowing mission-critical applications to grow safely and accurately.
CertiK is an industry leader in blockchain security and one of the most reputable and rapidly expanding businesses in the space. To date, CertiK has safeguarded over $600 billion in digital assets, worked with over 5,000 business customers, and found over 180,000 vulnerabilities in blockchain technology. Leading initiatives in the sector including Binance, Ethereum Foundation, BNB Chain, Aptos, Ripple, Sandbox, Polygon, and TON are among its clientele.
With a value of over $2 billion, CertiK has obtained investments from 12 prestigious firms since its founding, including Sequoia, Coatue, Goldman Sachs, Shunwei Capital, and Insight Partners.
In an environment that is becoming more and more dynamic, CertiK solidified its position as the biggest Web3 security service provider throughout 2025. On the technological side, CertiK unveiled SkyNode, which serves as a validator for many blockchain ecosystems, such as Aptos and BNB Chain, improving network speed, security, and dependability. In order to provide the market timely and data-driven insights, CertiK also published a series of Skynet Security Reports using its proprietary security information. By taking home two grants from the Ethereum Foundation’s zkEVM formal verification competition, the business further proved its technological prowess.
CertiK has increased its institutional impact in addition to its technological depth. The firm now offers the risk visibility and compliance preparedness necessary for regulated settings by using its improved enterprise suite, which includes Skynet Enterprise and the DLT Solution.
These skills have resulted in significant achievements, such being chosen by the Hong Kong government as a Key Enterprise Partner and continuing to collaborate with organizations like HSBC and ecosystem partners like YZi Labs. Additionally, CertiK increased its attendance at significant international gatherings including Consensus, Proof of Talk, Token2049, and Istanbul Blockchain Week, solidifying its place at the forefront of the global Web3 conversation.
CertiK’s international growth kept picking up speed. In order to strengthen ties with local businesses and assist market-specific projects, the firm opened regional offices in Korea and the United Arab Emirates as part of a global and local service strategy. CertiK contributed its knowledge to the developing stablecoin ecosystem in Korea by joining the Global Alliance for KRW Stablecoin (GAKS), which is headed by WEMADE.
Ronghui Gu, the CEO and co-founder of CertiK, also shown an increase in thought leadership in 2025. His keynote addresses and lectures at organizations including Unchained Summit and HKU Business School demonstrated the company’s dedication to connecting academic research with practical applications. Concurrently, he strengthened his interactions with regulatory agencies and legislators, including correspondence with the Hong Kong Monetary Authority, in order to facilitate the creation of frameworks for digital assets.
Additionally, he took part in significant international FinTech events such as Singapore Fintech Festival and Hong Kong FinTech Week, offering CertiK’s experience to continuing discussions on risk management, compliance, and the direction of digital asset governance.
CertiK has established itself as a name associated with technical rigor, security, and dependability. With a solid foundation and a clear plan to go public, the firm, valued at over $2 billion, is now moving into the next phase of its expansion with the support of elite investors, including YZi Labs, its biggest institutional investor.
