根據 ChainCatcher 報導，Zcash 開發團隊宣布計劃在其即將推出的 Ironwood 隱私池中引入形式化驗證，以消除無法偵測的通膨漏洞風險。Orchard 隱私池先前存在一個漏洞，目前已修補且無被利用的證據，但由於該漏洞理論上無法在鏈上進行驗證，社群決定開發一個新的 Ironwood 隱私池，並對其協議進行全面的形式化驗證。
免責聲明：本頁面資訊可能來自第三方來源，僅供參考，不代表 Gate 的立場或觀點，亦不構成任何財務、投資或法律建議。虛擬資產交易具有高風險，請勿僅依賴本頁資訊作出決策。詳情請參閱
免責聲明。
