Zcash稱Ironwood証明可排除隱形偽造漏洞

BiRun消息，Zcash研究人員發布超過2700條機器驗証定理，旨在排除Ironwood中不可檢測的偽造漏洞。該項目通過形式化驗証手段証明關鍵代碼安全性，聲稱可在數學層面杜絕隱形鑄幣錯誤的發生，增強協議可靠性。