RecodeX 重构消息，Zcash研究人员发布机器验证的Ironwood证明，包含2700多个定理，旨在保障供应完整性。