Forbes China Interviews Ronghui Gu, CertiK Co-founder & CEO, on Pioneering Web3 Security with Mathematical Rigor

This Forbes China-style profile highlights Professor Ronghui Gu’s academic background and the founding and development of CertiK, emphasizing the company’s use of formal verification, rapid growth to a $2 billion valuation, major products (e.g., Skynet, Team Verification), large client base, and core values such as transparency and “doing what should be done.”