RecodeX 重构消息，Grayscale称Zcash Ironwood网络升级上线，引入形式化验证的新隐私池并加强供应验证。