CertiK创始人顾荣辉：AI与人类协同，是守护Web3安全的未来答案

在近期接受 CNBC 阿拉伯频道专访时，CertiK 联合创始人、哥伦比亚大学教授顾荣辉深入探讨了形式化验证、人工智能(AI)在区块链安全中的应用，以及新兴技术带来的风险等话题，分享了他对 Web3.0 安全未来的深刻见解。

顾荣辉指出，形式化验证是一种通过数学方法证明代码行为符合预期逻辑的技术，其严谨性远超传统安全审计方法。尽管实施过程复杂且对专业人才依赖度高，但该技术在安全性和可控性上的优势不可替代，已广泛应用于 ZK 项目及蚂蚁集团等传统金融机构的系统中。

在谈及 AI 技术时，顾荣辉表示，AI 正逐步成为提升区块链安全的关键力量，既可用于识别资金来源，也能在打击诈骗项目中发挥作用。在 CertiK 的实践中，「人机协同」的机制显著提升了风险识别效率，并为 Web3.0 行业构建起更具可持续性的信任基础。

此外，顾荣辉强调，安全不仅是竞争优势，更是共同责任。他指出，建立一个可信赖的去中心化系统，需要各方共同努力，从而构建一个透明、可靠的数字生态。CertiK 通过与各国监管机构合作，推动行业向有序合规发展，助力政策制定与执行。

随着区块链技术的发展以及 Web3.0 领域的扩张，安全形势愈发严峻。CertiK 希望通过分享在 Web3.0 安全领域的研究成果和经验，为推动 Web3.0 生态系统的发展和创新做出更多努力，与行业共同进步，打造更加安全的 Web3.0 生态系统，促进区块链安全技术的应用和推广。