顾荣辉（Ronghui Gu），CertiK联合创始人兼CEO，知名计算机科学家与企业家。他在计算机科学领域拥有深厚的学术背景，拥有哥伦比亚大学计算机科学博士学位，并曾在多家顶级科技公司从事研究与工程工作。2018年，他与吴荣建、赵中（Zhong Shao，耶鲁大学计算机科学教授）共同创立了CertiK——一家专注于区块链安全审计与形式化验证的领先企业。CertiK致力于通过形式化验证技术和智能审计为区块链生态提供最高级别的安全保障，已成为全球最受认可的区块链安全公司之一。在他的领导下，CertiK累计审计了数千个区块链项目，涵盖DeFi、NFT、Layer 1/2等多个领域，服务对象包括众多顶级区块链协议与加密货币交易所。CertiK先后获得多家顶级风险投资机构的融资，估值超过数十亿美元，是区块链安全赛道的独角兽企业。
顾荣辉在哥伦比亚大学获得计算机科学博士学位，研究方向涉及分布式系统、程序语言与验证等领域，为其后续在形式化验证和区块链安全领域的发展奠定了坚实的理论基础。
在创立CertiK之前，顾荣辉曾在计算机科学前沿领域从事研究工作，积累了在程序验证、安全工程和分布式系统方面的丰富经验。
顾荣辉与吴荣建、耶鲁大学计算机科学教授赵中共同创立了CertiK，定位为区块链安全审计与形式化验证公司，旨在用形式化验证技术解决智能合约安全问题。
CertiK先后获得知名风投机构的投资，包括红杉资本中国、高盛等，融资规模不断扩大，团队从初创数十人扩展至数百人，业务覆盖全球多个地区。
安全是区块链和Web3行业的基石，没有安全就没有信任，没有信任就无法实现大规模采用。
形式化验证是从数学层面证明智能合约无漏洞的最可靠方法，是区块链安全审计的终极武器。
区块链安全不仅仅是一次审计，而是一个需要持续监控和实时响应的系统性工程。
随着Web3技术的发展，安全问题的复杂度呈指数级增长，传统的安全方法已经不足以应对，我们需要用更先进的技术手段来守护去中心化世界。
