联盟成立与合作背景 - 韩国游戏巨头娱美德与全球最大Web3安全公司CertiK合作，正式启动全球韩元稳定币联盟（GAKS）[1] - 除CertiK外，Chainalysis、SentBe等全球领先企业同步加入GAKS，共同推动韩元稳定币生态在全球范围的发展[1] - GAKS旨在全面提升StableNet的技术实力，并加速全球生态体系建设[1] 合作具体内容与职责 - CertiK将为娱美德提供区块链浏览器支持，以提升其基础设施的透明度与可靠性[1] - CertiK为StableNet提供全面安全审计服务，StableNet是韩国首个覆盖韩元稳定币全生命周期的专用主网基础设施[1] - CertiK继续为娱美德提供节点验证服务，优化链上监控能力并提供主网技术支持[1] - 双方将围绕主网技术支持、稳定币核心基础设施（含安全与合规）等关键领域，构建长期合作框架[2] 战略目标与愿景 - 娱美德旨在搭建从稳定币底层技术到真实使用场景的全流程服务体系，构建一套无可替代的顶级韩元稳定币基础设施[2] - 合作旨在共同推动韩元稳定币在支付、交易、跨境应用等场景的落地，携手打造成熟、安全、高效的数字资产生态[2] - 娱美德通过WEMIX Web3平台构建支持数字资产流通和价值转化的链游生态，积极推动游戏与区块链技术融合[1] 市场定位与过往合作 - CertiK始终将韩国视为其最重要的国际市场之一，与WEMIX等韩国核心生态保持长期合作关系[2] - CertiK于今年9月亮相韩国区块链周，发布了韩国市场安全报告，并表示将会扩充在地团队，持续支持韩国生态发展[2] - CertiK与娱美德此前已开展多次合作，见证了WEMIX生态从游戏扩展到链上金融基础设施的发展[2]

核心观点 - 顾荣辉教授基于形式化验证的数学方法主导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]