Contents (4)
·
证明能伪造,事后查不出:Aztec 补了三个月的洞
Aztec 上线 Alpha V6「Tierra」,速度翻倍、补掉 V5 证明系统的伪造漏洞。但官方承认无法判断漏洞是否被利用——隐私链关掉了可观测性,连自己出事都查不出来。
11 月 3 日,Aztec 上线 Alpha V6,代号 Tierra。通稿的关键词是”更快”:隐私交易证明时间砍半,原生设备约 1 秒出证明;从以太坊到 Aztec 的消息,从平均 2 分钟缩到最快 12 秒。顺便换了新品牌。
但这次升级真正的重量,不在速度上。
一个能盖真章的假证明
8 月 7 日 Aztec 披露过一份公告:7 月 27 日,核心贡献者通过内部 AI 辅助审计,在 V5 的证明系统里发现严重漏洞——攻击者能构造一份”可以通过验证”的证明,提交一笔网络本该拒绝的交易。一旦被接受,这笔交易就产生规则之外的状态变化。
翻成大白话:门卫只看章,不看人,而印章可以伪造。
V5 是 7 月 21 日上线的。这套被叫作”主网”的东西,跑起来第六天,就被自己人发现底子漏了。
最难受的是那句”无法判断”
公告里有一句话我看了两遍:贡献者无法确定这个漏洞此前是否被利用过。因为出问题的系统缺少必要信息,区分不了”正常被接受的交易”和”从这条坏路径进来的交易”;历史链上活动也无法证明是否发生过利用。
这才是隐私链真正的软肋。你为了让人看不见,把可观测性一起关掉了;出事的时候,你不但看不见别人,也看不见自己。普通链出事还能翻交易、追资金流、看哪笔越界,Aztec 这边连”有没有事”都给不出答案。
为什么修了三个多月
发言人说,Aztec 是去中心化网络,严重漏洞必须整个网络升级才能修,没有哪个中心化运营方能自己按开关。事实也是如此:3000 多个验证者,没有中心化 sequencer,10 月 26 日代币持有人投票后才切到新版。
这就是可信中立的账单。平时它是卖点:没人能审查你,没人能看你的余额,没人能替你改规则。出事时它变成另一句话:没人能立刻止血。
我的看法
Tierra 不是空手来的:证明系统做了形式化验证,速度翻倍,还加了一套 AI 驱动的安全测试。技术上是实打实的进步。但”六天上线、三个多月修补”这个比例值得记一下。Aztec 自己的文档把这条链写成”处于早期、未经审计阶段的主网”——这句话比任何宣传语都诚实。
对其它 zk 项目来说,这里有份该抄的作业:零知识的卖点一直是”不暴露数据也能验证正确性”,可这次翻车的恰恰是验证器本身。审计报告能证明你检查过,形式化验证才能证明它是对的。前者是过程,后者才是结论。
免责声明:以上内容仅供娱乐交流,不构成任何投资建议。DYOR。
Repost this post?
Share with your followers.
Reply