据 ChainCatcher 报道，Zcash 开发团队宣布计划在其即将推出的 Ironwood 隐私池中引入形式化验证，以消除不可检测的通胀漏洞风险。此前包含漏洞的 Orchard 屏蔽池已得到修补，且无证据表明遭到利用，但由于该漏洞理论上无法在链上验证，社区决定开发新的 Ironwood 屏蔽池，并对其协议进行全面形式化验证。
免责声明：本页面信息可能来自第三方，仅供参考，不代表 Gate 的观点或意见，亦不构成任何财务、投资或法律建议。数字资产交易风险较高，请勿仅依赖本页面信息作出决策。具体内容详见
声明。
