以太坊隐私网络Aztec推出名为Tierra的升级，修复了上一版本中的一项关键漏洞，并加入形式化验证与AI驱动的测试框架。