以太坊加速zkEVM安全性研究，迎接十二月的截止期限

以太坊已經在zkEVM的速度競賽中獲勝，但安全性仍然是一個未解的問題。由以太坊基金會支持的研究競賽顯示，目前在一個加密元件上，已證明的結果之間仍存在52.14位元的差距。該網絡的目標是在十二月初之前實現其zkEVM的可證明安全性達到128位元。

簡而言之

• 以太坊目標在十二月之前實現可證明的128位元zkEVM安全性。
• 一項基準測試顯示仍存在52.14位元的未解區間。
• 目前zkEVM的證明仍然是傳統驗證系統的補充。

以太坊早已為zkEVM直接進入其主層做了準備。最初的工作集中在性能上。到2025年底，團隊已成功將證明一個以太坊區塊所需的時間從約16分鐘縮短到幾秒鐘。幾個zkVM已經能在目標硬體上在十秒內生成99%的區塊證明。

速度已經不再是唯一的考量。以太坊基金會現在要求可證明的128位元安全性。團隊還必須生成最大300KB的最終證明，並準確記錄他們不同證明系統如何協同運作。

下一個重要的截止日期在十二月初。在此之前，研究人員還需要改進幾個加密元件。其中一個目前正受到關注。

52.14位元的差距仍然存在 {#h-un-ecart-de-52-14-bits-reste-ouvert}

網站better.codes舉辦了一個競賽，研究人員可以嘗試改進或攻擊一個名為koalaIRS12的參數。儀表板目前顯示兩個數字。安全性下限達到63.99位元，而上限降至116.13位元。在這兩者之間：仍有52.14位元未解決。

這些數值並不意味著以太坊今天僅以63.99位元的安全性運行。基準測試測量的是在證明系統研究中使用的特定加密配置，而不是整個網絡。

這一精確性很重要，因為以太坊希望將零知識證明作為其架構中更重要的一部分。這場競賽是雙向的。一些研究人員試圖通過提供新的數學證明來提高安全性下限，而另一些則尋找攻擊方法以降低上限。

截至8月21日，已有來自七位研究人員的九個結果被接受。目標是逐步縮小這兩者之間的空間。完整的zkEVM將需要更多的工作。還需要檢查不同的組件、證明的遞歸以及數學模型與實際使用的代碼之間的對應關係。十二月即將來臨。

當前的以太坊網絡尚未依賴這些證明 {#h-le-reseau-ethereum-actuel-ne-depend-pas-encore-de-ces-preuves}

緊迫的時間表並不意味著今天以太坊的交易面臨漏洞。相關的zkEVM尚未取代正常的共識運作。在當前階段，它們的證明可以伴隨主網的測試。傳統的執行客戶端仍然在驗證者確認區塊之前重新計算交易。

因此，以太坊仍然保持其正常運作。如果有一天zk證明變得足夠可靠以取代部分重新執行，情況將會改變。正因為如此，以太坊基金會對128位元的要求如此強調。

在層1接受的錯誤證明可能會比應用中的錯誤更嚴重。理論上，它可能允許驗證網絡的錯誤狀態。該協議已經在這方面加強了工作。七月，以太坊特別部署了AI代理，自動尋找關鍵漏洞。現在，zkEVM遵循相同的原則。快速證明，以太坊已經知道如何做到。剩下的就是在不留疑慮的情況下進行證明。

本內容僅供參考，不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性，存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。