新聞 
幣種資訊 
關於我們 
Vitalik Buterin認為，zkEVM已在速度競賽中「取得決定性勝利」，並表示開發優先事項應轉向安全性。
MarsBit於15日報導，Vitalik在X發文祝賀ZKsync的Airbender團隊達成里程碑。他表示，接下來應正式驗證算術電路與Ethereum規格是否等效、為證明者成本占區塊總Gas量的比例設定上限，並確認證明系統本身的安全性。
zkEVM是一種利用零知識證明驗證Ethereum虛擬機（EVM）執行結果的技術。它無須從頭重新執行交易，即可透過證明確認計算結果，因此可用於提升擴展性。不過，證明有效本身並不代表計算過程符合Ethereum規格。Ethereum基金會的zkEVM安全概覽也將證明電路是否能約束符合規格的狀態轉移，以及模擬器是否準確，列為安全考量。
Vitalik提出的課題顯示，效能與安全驗證需要分開檢視。速度競賽有所突破，並不等於證明電路或系統的安全性已獲確認。
留言 0