TREE NEWS 报道， Aztec 联合创始人 Zac Williamson 介绍了该项目私有、完全去中心化的以太坊 Layer 2 的 V6 升级 Tierra，并谈及一套 24/7 运行的 AI 审计工具在 Aztec 密码学库中发现关键漏洞。对话还涉及对这些库进行形式化验证的原因，Williamson 认为私有协议有助于将朝鲜排除在外。
Aztec 联合创始人 Zac Williamson 谈 Tierra V6 升级与 AI 审计工具
相关币种行情
AI 解读
这次披露的重点不在升级本身，而在于 AI 审计工具在密码学库中找出关键漏洞——对以隐私和零知识证明为核心的 L2 而言，密码学实现一旦出错往往是系统性风险，自动化审计能否持续覆盖这类底层库，比版本号更值得关注。形式化验证被提上台面，说明团队在把安全假设从"人工审查"转向"可证明的正确性"，这会抬高同类隐私协议的技术门槛。地缘与合规叙事被一并带入，则暗示隐私协议正试图用"可排除特定行为者"来回应监管质疑。后续值得观察的是：AI 审计的发现能否形成可复用的行业实践，以及形式化验证从个别库扩展到协议层的节奏。
由 AI 生成，仅供参考。