ChainCatcher 消息，Zcash 开发团队宣布计划通过即将推出的新隐私池 Ironwood 引入形式化验证，以数学证明方式消除“无法检测的增发漏洞”风险。此前消息，Orchard 屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用，但由于理论上无法通过链上历史确认是否曾发生隐蔽增发，因此社区决定推出全新的 Ironwood 屏蔽池，并对其协议进行全面形式化验证。
B安/欧意/大门交易所永久入口：点击进入加密货币的世界
OK交易所是全球排名前三的数字货币交易平台，非常符合国人操作，买卖比特币就上OK交易平台