Zcash Ironwood升级已激活 以形式化验证取代Orchard

BiRun 消息，Zcash的Ironwood升级已正式上线，采用经过形式化验证的新协议取代此前存在漏洞的Orchard池。本次升级旨在通过数学化的安全性证明取代过往的信任假设，修复此前发现的协议缺陷，进一步强化Zcash屏蔽交易的整体安全性。