核心观点 - 顾荣辉教授基于形式化验证的数学方法主导Web3安全行业生态 其创立的CertiK已成为全球最大Web3安全公司 估值达20亿美元 市场占有率超过60% [2][5][13] 创始人背景与特质 - 顾荣辉为清华学霸 耶鲁博士 现任哥伦比亚大学全职教授 对数学极度痴迷且天赋过人 高中获数学竞赛国家一等奖 [3] - 在耶鲁读博期间以形式化验证为科研方向 2016年与导师邵中教授共同研发出世界首个被完全形式化验证的操作系统内核CertiKOS 被谷歌红队评为"无懈可击" [5] - 以勤奋著称 经常工作至凌晨四五点 该特质已融入CertiK团队文化 团队成员常凌晨两点开会 [5][8] 技术核心与行业定位 - 形式化验证通过数学方法证明计算机代码和软件系统的安全可靠 虽初期不被学术界看好 但现已成为Web3安全领域核心技术 [4] - Web3安全保障被视为"技术上的王冠" 智能合约一个漏洞可能导致极大损失且不可逆转 [8] - 行业技术发展每三个月更新一次 波动变化极快 类似AI行业 [8] 公司发展里程碑 - 2017年12月创立CertiK 2022年估值达20亿美元 当时顾荣辉33岁 [5] - 已服务超5,000家企业 发现超过15万个安全漏洞 入选三星和Ledger安全名人堂 获苹果6次致谢 [13] - 完成红杉 高瓴等顶级机构多轮融资 审计报告全公开 以透明度独树一帜 [13] 管理方法论与价值观 - 采用优先级区分与接受试错的专注策略 将资源聚焦战略前瞻和P0级事故 次要问题逐步放手 [8] - 核心价值观为"做应该做的事" 即直面客户真实需求而非市场热捧的易实现事项 即使难以实现 [12] - 疫情期间通过线上瑜伽课 邮寄设备 多地年会等创新措施维持团队效率 实现跨时区远程管理 [12] 业务扩展与行业影响 - 从代码安全审计扩展至合规 反洗钱 团队验证等复杂场景 与Web3行业共同成长 [13] - 在2,000多家公司涌入的Web3安全赛道中成为唯一保持增长的头部企业 [13] - 守护对象包括Web3项目及小红书 携程 蚂蚁金服 美团等Web2企业 [13]