RecodeX 重构消息，Zcash研究人员发布超过2700个机器验证定理，排除Ironwood协议中不可检测的伪造漏洞。