如何評估“分叉版EVM”的安全風險？_區塊鏈:區塊鏈工程專業學什么女生

本文來自 Coinbase，原文作者：Ethen Pociask & Eric Meng & Nadir Akhtar & Gabriela Melendez Quan & Tom Ryan，由 Odaily 星球日報譯者 Katie 辜編譯。

為了加強對交易 ERC-20 和其他基于智能合約的資產的客戶的安全和托管保證，Coinbase 區塊鏈安全團隊調查了定義這些資產行為的程序層：以太坊虛擬機（EVM）。在評估修改自身網絡的 EVM 的項目時，Coinbase 的區塊鏈安全團隊會審查關鍵的 EVM 更改，以確定修改后的 EVM 是否能夠提供與原始 EVM 實施相同的安全和托管保證。

截至 2023 年 5 月，以太坊虛擬機（EVM）奪得最熱門智能合約執行平臺“榜一大哥”頭銜。根據 DefiLlama 的數據，總鎖倉價值（TVL）排名前 10 位的鏈中有 9 個支持 EVM 智能合約。因此，深入了解 EVM 對于支持整個區塊鏈生態系統中的智能合約至關重要。

路透社：SBF欺詐指控回避了關于美國法律如何看待加密貨幣的爭論:1月9日消息，Sam Bankman-Fried可能會發現很難辯訴應該撤銷針對他的欺詐指控，因為美國法律如何對待加密貨幣存在不確定性，就像涉及數字資產的刑事案件中其他被告一樣完成了。法律專家表示，這是因為曼哈頓聯邦檢察官對現已破產的加密貨幣交易所 FTX 創始人的指控在很大程度上回避了正在進行的關于加密貨幣是否應作為證券或商品進行監管的辯論。但據專家稱，這種不確定性與針對SBF的大部分指控無關。雖然他面臨一項串謀證券欺詐的指控，但該指控稱他誤導了FTX的股票投資者，并未涉及交易所交易資產的性質。[2023/1/9 11:02:36]

EVM 是一種虛擬機，用于在以太坊網絡上去中心化執行智能合約。許多兼容 EVM 的區塊鏈在其協議軟件中直接利用不同語言的熱門 Ethereum 執行客戶端的標準實施方案，如 go-ethereum（Golang）和 besu（Java）。

也就是說，分叉和修改 EVM 實際上在區塊鏈生態系統中非常常見，甚至在主要協議中也是如此。例如，為 Coinbase 的 Base L2 區塊鏈提供“動力”的 Optimism Bedrock Stack 使用了一個名為 op-geth 的 go-ethereum 執行客戶端的分叉版本，該版本運行的 EVM 與熱門的以太坊執行客戶端兼容。然而，這并不意味著以太坊上的 EVM 與 Optimism 上的 EVM 行為完全相同：op-geth EVM 在某些情況下的行為略有不同（即 DIFFICULTY 返回隨機值是由序列器確定的）。

觀點：無論與SEC的訴訟結果如何 對Ripple而言都不是致命打擊:1月27日消息，針對美國SEC對Ripple發起的訴訟，律師Jeremy Hogan表示，如果訴訟最終對Ripple有利，在訴訟結束時，XRP價格將上漲2至3倍將只是一個“保守估計”。無論訴訟得出什么結論，對Ripple來說都不是致命的打擊。如果訴訟結果不佳，導致Ripple關閉，XRP可能會歸零，但這種情況不太可能發生。因為Ripple是一個技術公司，不太依賴實物資產運營。最糟糕的情況可能是其商業模式遭破壞，最終可能退出美國市場。Jeremy Hogan稱，SEC訴訟最可能的結果將是雙方達成和解。SEC可能會對Ripple包括其2013-2014年度（甚至2015年）的業務處以巨額罰款，以及對托管XRP銷售業務進行某種控制或限制。（AMBCrypto）[2021/1/27 21:48:59]

雖然這聽起來很可怕，但對于 EVM 的采用來說，一般情況下是有益的。雖然標準 EVM 實施方案針對以太坊基礎協議進行了高度優化，但分叉的 EVM 通常會針對自己的新協議進行擴展。因此，合約在某些 EVM 兼容鏈上的執行方式可能與在以太坊上的執行方式不同，EVM 智能合約行為的安全假設在不同協議之間也可能存在很大差異。

為此，Coinbase 開發了一個Web3安全框架，用于評估一些分叉 EVM 實施方案中的安全影響。我們稱之為 Coinbase 的分叉 EVM 框架，下面將對其進行詳細的解釋。

波卡社區正在討論如何限制驗證者大幅更改傭金:剛剛，Web3基金會技術教育主管Bill Laboon發推提醒用戶小心騙局。Web3基金會、Polkadot官方以及Parity都沒有贈送DOT和KSM代幣。與此同時，Bill Laboon還公布波卡項目進展。內容顯示：1.目前驗證者可以隨意更改傭金比例。目前社區正在討論如何限制傭金變動以避免傭金大幅變動，例如在獲得足夠多的提名者后，將傭金由0%改為100%。2.財政部已經開始討論Elara 0.2提案。Elara 0.2是Patract Labs是為以Substrate為基礎的鏈提供的基礎設施。[2020/10/29]

有了這個分叉 EVM 安全框架，Coinbase 能夠有效地：

了解我們的以太坊代幣框架的安全假設的無效性，使我們能夠安全地啟用新的 EVM 兼容區塊鏈，以便在我們的去中心化交易所支持 ERC-20/ERC-721 代幣；

為智能合約審計師提供關于分叉 EVM 的智能合約漏洞情況的分析，特別是跨網絡中的微小差異；

確保在 Coinbase 的 Base L2區塊鏈上安全使用和執行 EVM 智能合約。

為了解以太坊虛擬機中的安全風險是如何存在的，首先要知道標準 EVM 實施方案為我們提供了哪些保障。我們將標準 EVM 定義為以太坊執行規范中描述的以太坊驗證器執行客戶端一致使用的 EVM。到目前為止，最常用的客戶端是 go ethereum（即 geth）。

聲音 | 光大證券彭文生：Libra的發展關鍵要看監管機構如何在支持創新和監管之間的平衡:近日，光大集團研究院副院長、光大證券全球首席經濟學家彭文生表示，和比特幣等代幣相比，Libra尚未問世引來如此高的關注度，一是數字經濟下科技巨頭平臺公司和貨幣的網絡規模優勢有協同效應；二是Libra作為一攬子貨幣的衍生品，屬于數字貨幣中的穩定幣。而比特幣等代幣僅僅是數字資產，其未來價值取決于使用者對其的“信仰”，故其價格波動幅度會比較大。他還指出，未來Libra要成為貨幣，在起步階段，支付手段可能是突破口；但發展到一定規模后，儲值工具的作用更重要，是推動Libra能成為一種真正貨幣的主要力量。Libra現在是0，按常理起步會較慢，但不能低估其社區網絡帶來的規模效應。不過Libra的發展關鍵還要看監管機構如何在支持創新和監管之間的平衡。[2019/7/30]

我們將安全性總結為兩個安全標準，它們代表了任何分叉 EVM 實施方案有資格獲得 Coinbase 支持的最低要求。

我們的分叉 EVM 框架在評估是否符合總體安全標準（即合約不變性和安全執行環境）時，主要關注以下審計要求。需要注意的是，以下風險成分并不是分叉 EVM 審計的全部范圍。

動態 | 社科院法學所刊文《對“去中心化”的區塊鏈如何監管》:中國社科院法學所趙磊在《經濟參考報》發表題為《對“去中心化”的區塊鏈如何監管》的文章。文章指出，對區塊鏈技術的監管，應該分為兩個層面：一是結合區塊鏈技術的具體應用場景，分行業進行監管；另一是針對區塊鏈，制定專門的技術標準，以實現區塊鏈技術的規范、統一。而判斷某種商業活動或者社會管理活動是否可以應用區塊鏈，至少應該從以下兩方面進行衡量：一方面是區塊鏈技術只能在虛擬空間中應用；另一方面是區塊鏈技術無論在何種場景中應用，必須符合其去中心化、共識機制與分布式記賬等技術特征。[2019/1/10]

修改 EVM 操作碼的定義和編碼會導致合約執行方式的重大差異。例如，假設一些分叉的 EVM 實施（EVM'）將算術 ADD 操作碼定義邏輯（x 1 + x 2 ）改為減去兩個值（x 1 - x 2 ）。

結果，偏離的 EVM '在執行上與標準 EVM 不相等且不兼容。修改操作碼的后果可能是有益的行為，比如防止算術操作碼中的整數溢出和下溢，也可能是更危險的行為，比如導致本地資產無限鑄造的自毀行為。

EVM 使用預編譯合約來定義復雜的功能（如加密函數），使用更方便和性能更強的語言，如 Golang，而不是使用不太容易訪問的 EVM 字節碼。

從根本上說，這些是通過節點軟件中表示的預定鏈地址來訪問的編程功能。以太坊黃皮書（截至 2023 年 5 月）中定義了 9 個預編譯器，對這 9 個預編譯器所做的任何更改或引入新的預編譯器都需要進行審計。

讓我們再舉一個具體的例子——BNB 智能鏈漏洞。BNB 智能鏈使用 go-ethereum 的一個偏離的實施方案來運行節點。為此，引入了兩個新的預編譯合約（tmHeaderValidate，iavlMerkleProofValidate），利用第三方軟件（即 Cosmos SDK）來執行輕客戶端區塊驗證和 Merkle 證明驗證。問題是，Cosmos SDK 軟件在其 IAWL 樹表示法中有一個實施錯誤，允許加密無效的證明通過驗證。換句話說，任何人都可以憑空產生資金。攻擊者能夠利用嵌套在 iavlMerkleProofValidate 預編譯器中的這個實施漏洞，從幣安跨鏈橋中抽走數億美元。

這個利用漏洞的例子是為了展示預編譯器安全性的必要性，以及為偏離的 EVM 實施引入新的預編譯合約所帶來的潛在風險。

引入額外的預編譯器可能帶來的致命風險包括：

允許一方單方面修改任何已部署合約的狀態；

這包括所有存儲修改（插入、更新、刪除）；

使用不受信任、未經驗證或未經審計的第三方依賴項；

提供對不確定節點內值的訪問。

盡管將編譯器和 EVM 視為完全獨立的實體，但值得注意的是，Solidity 編譯器確實對前三個預編譯合約（ecrecover、sha 256 和&ripemd）的行為做出了嚴格的假設，這些合約通過 Solidity 語言中的本機語言關鍵字函數表示。在后臺，Solidity 編譯器實際上將這些關鍵字處理成字節碼，字節碼執行合約間靜態調用操作。下圖進一步說明了這種合約間的溝通方式。

修改標準預編譯器會帶來的安全風險包括：

允許中心化的交易對手單方面修改任何已部署合約的狀態；

Solidity 編譯器預編譯位置假設不一致；

提供對不確定節點內值的訪問；

使用不受信任、未經驗證或未經審計的第三方依賴項。

修改 EVM 基本組成部分所帶來的關鍵風險包括：

不約束解釋器堆棧，使其無限大；

對內存模型進行大小修改或改變，可能導致非確定性的執行；

繞過訪問控制，允許任意的對手方單方面訪問所有鏈狀態；

使用不受信任、未經驗證或未經審計的第三方依賴關系。

我們的目標是建立一個基于區塊鏈技術的開放金融系統，為此，我們鼓勵開發各種 EVM 實施方案。然而，為了讓兼容 EVM 的區塊鏈得到 Coinbase 的全面支持，它必須滿足標準 EVM 實施的基本要求。本文希望提高人們對偏離 EVM 相關風險的認識，并鼓勵資產發行人在偏離 EVM 時優先開發安全組件，提高整個 Web3 生態系統的安全意識。

Odaily星球日報

媒體專欄

閱讀更多

區塊律動BlockBeats

Foresight News

曼昆區塊鏈法律

GWEI Research

吳說區塊鏈

西柚yoga

ETH中文

金色早8點

金色財經 子木

ABCDE

0xAyA

Tags：NBSBSP區塊鏈BASEnbs幣未來價格BSP價格區塊鏈工程專業學什么女生coinbase官網

Uniswap