Zcash表示Ironwood证明规则排除了无法检测的伪造漏洞

Zcash研究人员发表了超过2700条经过机器检查的定理，旨在排除Ironwood中无法检测的伪造漏洞。