CNBC专访CertiK联创顾荣辉：AI与形式化验证将重塑区块链信任机制
-
最新报道：区块链网 消息，5 月 20 日（UTC+8），近日，CertiK 联合创始人、哥伦比亚大学教授顾荣辉接受全球知名财经媒体 CNBC 阿拉伯频道专访，围绕形式化验证的行业应用、AI 在区块链安全中的角色，以及新兴技术风险等议题，分享了其对 Web 3.0 安全未来的深刻洞察。顾荣辉指出，形式化验证的核心在于以数学方式证明代码行为符合预期逻辑，其严谨程度远超传统安全审计方法。尽管实现过程复杂、对专业人才依赖度高，但该技术在安全性和可控性上的优势不可替代，已广泛应用于 ZK 项目及蚂蚁集团等传统金融机构的系统中。在谈及 AI 技术时，顾荣辉表示，AI 正逐步成为提升区块链安全的关键力量，既可用于识别资金来源，也能在打击诈骗项目中发挥作用。在 CertiK 的实践中，「人机协同」的机制显著提升了风险识别效率，并为 Web 3.0 行业构建起更具可持续性的信任基础。（来源：CertiK）
下一篇
区块链网午间分析：索拉纳SOL价格行情预测
- 最近4小时K线显示价格相比2025-05-19 16:00:00较大幅上涨，比2025-05-19 04:00:00有所回升，比2025-05-18 12:00:00有所下降，小阳...
24小时热点
热点专题
407297