新聞 
幣種資訊 
關於我們 
大零幣(ZEC)公開超過2700項機器驗證證明，鎖定新匿名資金池Ironwood的「平衡完整性」，希望補強隱私交易架構下的供應量信任。
根據Cointelegraph 28日（當地時間）報導，開發組織Project Tachyon表示，來自三個研究團隊的研究員與密碼學家投入一個多月完成相關工作，證明以定理證明語言Lean撰寫。
這次驗證的核心是「平衡完整性」。意思是匿名資金池不能送出超過公開流入價值的資金。由於隱私幣會隱藏交易金額與參與者，一旦供應量被不當放大，外部不容易立即察覺。
研究團隊說明，這批證明涵蓋Ironwood的零知識證明系統、電路規則，以及帳本單位會計等相關組件。不過，驗證是在「明確列出的密碼學假設」下成立，Ironwood本身的隱私保障不在這次驗證範圍內。
Ironwood是透過大零幣NU6.3升級導入。本報此前報導，大零幣已在區塊高度342萬8143啟動Ironwood升級，並封存既有Orchard資金池。Orchard池先前被指出存在理論上可能鑄造無法被偵測ZEC的漏洞。
大零幣開發團隊表示，尚未確認該缺陷曾遭實際利用。不過，在隱私架構中，一旦供應量信任受到動搖，就可能擴大成整個網路的信任問題。這也是大零幣選擇轉向新匿名資金池，而非維持原有結構的背景。
從Orchard轉入Ironwood的資金，必須通過名為turnstile的公開會計閘門。這項機制會公開驗證從舊池流出的資金量，目的在於防止超過已驗證金額的資金進入新池。
形式驗證是用數學方式確認程式碼是否依照預定規格運作。一般稽核偏向檢查程式與設計，形式驗證則著重在設定範圍內，以機器證明不存在例外。不過，如果作為前提的密碼學假設或實際實作過程出問題，證明的意義也可能改變。
評論：這次公開驗證有助於回應市場對供應完整性的疑慮，但它不是對所有風險的全面保證。投資人仍會觀察資金從Orchard移轉到Ironwood的實際過程。
市場反應目前仍偏謹慎。ZEC先前在漏洞修補後仍下跌近40%。這次證明公開能在多大程度上降低供應疑慮，預計將在Orchard資金移轉期間受到檢驗。
留言 0