以太坊基金會宣佈在安全審計後解決 Pectra 系統合約的所有問題

支持以太坊區塊鏈發展的非營利組織， 愛心基金會 公佈了對 Pectra 系統合約進行外部安全審計的結果。審查發現了一些重要問題，所有問題都已解決。

Pectra 系統合約包括幾個以太坊改進提案 (EIP)，即 EIP-2935、EIP-7002 和 EIP-7251。審查的主要目的是評估合約是否存在潛在的安全風險，並確保其邏輯準確實現了各自 EIP 規範中概述的功能。

我們採用了多階段審計流程，每次後續審查都以先前一次審查的結果為基礎。其中包括來自 Blackthorn、Dedaub 和 Sigma Prime 的審計，涵蓋 EIP 2935、7002 和 7251，以及 PlainShift 審計。每一輪審核之後，都會對程式碼進行改進，然後進入下一階段。

此外，創投公司 a16z 使用 Halmos（一種正式驗證合約功能正確性的工具）進行了正式驗證。這個過程專注於確認字節碼是否與合約規範一致，而不是評估規範本身的安全性。這種方法允許審計人員和社區審查合約的規範，而不必關心字節碼實現的較低級別細節。

Pectra 在 Holesky 上線，Sepolia 測試網預計將於 5 月 XNUMX 日發布

Pectra 是即將對以太坊網路進行的升級，它由兩個元件組成：“Prague”，用於解決執行客戶端的更新；“Electra”，專注於改進共識層客戶端。此次升級是繼上一年 Dencun 升級之後的另一次升級。

佩克特拉 升級引入了各種變化，旨在增強以太坊的可擴展性、安全性和可用性。這些改進包括增強加密貨幣錢包和帳戶抽象的用戶體驗（EIP-7702）、將最大驗證器質押限額從 32 ETH 提高到 2,048 ETH（EIP-7251）、以及將最大 blob 數量增加一倍以提高匯總可擴展性（EIP-7691）。

本週早些時候，該升級已在 Holesky 測試網路上啟動。然而，執行層（EL）漏洞導致鏈分裂，從而導致只有少數鏈有效的情況，從而降低了網路的整體健康程度。這 下一階段 Pectra 將在 Sepolia 測試網上激活，預計時間為 5 月 XNUMX 日。 

如果兩個測試網都成功，以太坊團隊將繼續選擇主網啟動日期，預計在四月。