Zcash称Ironwood证明可排除隐形伪造漏洞

BiRun消息，Zcash研究人员发布超过2700条机器验证定理，旨在排除Ironwood中不可检测的伪造漏洞。该项目通过形式化验证手段证明关键代码安全性，声称可在数学层面杜绝隐形铸币错误的发生，增强协议可靠性。