Zcash 完成 Ironwood 形式驗證：2,700 定理證明新隱私池無假幣漏洞

<p>Zcash 研究團隊完成 Ironwood 新隱私池的形式驗證，以 Lean 程式語言撰寫超過 2,700 個 [&#8230;]</p> 〈<a href="https://www.blocktempo.com/zcash-ironwood-formal-verification-complete-2700-theorems-machine-checked-proof/">Zcash 完成 Ironwood 形式驗證：2,700 定理證明新隱私池無假幣漏洞</a>〉這篇文章最早發佈於動區BlockTempo《<a href="https://www.blocktempo.com">動區