Zcash 研究人员发布了 2,700 多个机器检查定理，旨在排除 Ironwood 中无法检测到的伪造错误。

Zcash 研究人员已经完成了对 Ironwood 的正式验证，发布了机器检查的证明，证明该网络的新屏蔽池在其规定的加密假设下不包含无法检测到的伪造错误。

周二，Tachyon 项目表示，该证明是用精益编程语言编写的，包含 2,700 多个定理，三个研究人员和密码学家团队花了一个多月的时间才完成。这项工作建立了一种称为余额完整性的安全属性，旨在确保屏蔽池不能支付比公开输入的更多的价值。

研究人员表示，该证明涵盖了该财产所需的组件，包括 Ironwood 的零知识证明系统、电路规则和账本级会计。它不涵盖 Ironwood 的单独隐私保证。

Ironwood 是通过 Zcash 的 NU6.3 升级引入的，以响应其 Orchard 屏蔽池中发现的漏洞，该漏洞理论上可能导致无法检测的 ZEC 伪造。 Zcash 开发人员表示，他们没有发现任何证据表明该漏洞已被利用。新矿池旨在恢复人们对 Zcash 供应完整性的信心。

从果园转移的资金必须通过一个称为十字转门的公共会计检查站，该检查站旨在防止任何假设的多余硬币进入艾恩伍德。随着资金离开果园，这一过程还可以提供越来越多的证据来证明旧资金池是否被利用。