Zcash Ironwood昇級已激活 以形式化驗証取代Orchard

BiRun 消息，Zcash的Ironwood昇級已正式上綫，採用經過形式化驗証的新協議取代此前存在漏洞的Orchard池。本次昇級旨在通過數學化的安全性証明取代過往的信任假設，脩復此前發現的協議缺陷，進一步強化Zcash屏蔽交易的整體安全性。