深潮 TechFlow 消息,2 月 28 日,據以太坊基金會博客消息,以太坊 Pectra 系統合約的外部安全審計已完成,所有被發現的相關或重要問題均已得到解決。該審計涵蓋了多個以太坊改進提案(EIP-2935、EIP-7002 和 EIP-7251),主要評估合約的潛在攻擊向量並確保合約邏輯準確實現了預期功能。
審計採用多階段方法,包括 Blackthorn、Dedaub、PlainShift 和 Sigma Prime 四家機構的審計,每輪審計後都進行了代碼改進。
添加收藏
分享社交媒體
深潮 TechFlow 消息,2 月 28 日,據以太坊基金會博客消息,以太坊 Pectra 系統合約的外部安全審計已完成,所有被發現的相關或重要問題均已得到解決。該審計涵蓋了多個以太坊改進提案(EIP-2935、EIP-7002 和 EIP-7251),主要評估合約的潛在攻擊向量並確保合約邏輯準確實現了預期功能。
審計採用多階段方法,包括 Blackthorn、Dedaub、PlainShift 和 Sigma Prime 四家機構的審計,每輪審計後都進行了代碼改進。
據以太坊基金會博客消息,以太坊 Pectra 系統合約的外部安全審計已完成,所有被發現的相關或重要問題均已得到解決。該審計涵蓋了多個以太坊改進提案(EIP-2935、EIP-7002 和 EIP-7251),主要評估合約的潛在攻擊向量並確保合約邏輯準確實現了預期功能。審計採用多階段方法,包括 Blackthorn、Dedaub、PlainShift 和 Sigma Prime 四家機構的審計,每輪審計後都進行了代碼改進。此外,a16z 還使用 Halmos 工具對這些合約進行了形式化驗證,重點驗證字節碼是否與規範一致。