币圈界报道：

Aztec Tierra更新完成：关键漏洞修复与链上效率双提升

阿兹特克（Aztec）的Tierra版本更新已正式落地，有效解决了此前暴露的V5证明机制中的严重安全隐患，该问题曾对用户资产构成潜在威胁。此次迭代不仅通过引入形式化验证流程强化了协议可信性，还实现了以太坊消息传递延迟的大幅优化，处理周期被压缩至仅12秒。

协议安全性迈入新阶段，形式化验证成核心支撑

本次升级的核心在于采用形式化验证技术对关键逻辑进行数学级校验，从根源上杜绝了因代码逻辑缺陷引发的安全风险，使系统在复杂交互场景下的稳定性得到根本性保障。