以太坊坎昆升級(jí)前，項(xiàng)目開(kāi)發(fā)者必看的幾項(xiàng)安全檢查
長(zhǎng)話短說(shuō)：坎昆升級(jí)臨近，本次升級(jí)主要包含六個(gè) EIP 提出的執(zhí)行層變更，EIP-1153、EIP-4788、EIP-4844、EIP-5656、EIP-6780 和 EIP-7516 。EIP-4844 是本次升級(jí)的主角，旨在提升以太坊的可擴(kuò)展性，為L(zhǎng)2降低交易成本、提升交易速度?？怖ド?jí)已分別于 1 月 17 日、 1 月 30 日、 2 月 7 日在以太坊 Goerli、Sepolia 和 Holesky 測(cè)試網(wǎng)完成升級(jí)，并計(jì)劃在 3 月 13 日在以太坊主網(wǎng)上激活。在升級(jí)前，Salus 整理了此次升級(jí)的重要安全注意事項(xiàng)，供開(kāi)發(fā)者自行檢查。
EIP 提案回顧
EIP-1153
EIP-1153 引入了臨時(shí)存儲(chǔ)操作碼，這些操作碼用于操作狀態(tài)，其行為與存儲(chǔ)幾乎相同，但每筆交易結(jié)束后臨時(shí)存儲(chǔ)將被丟棄。這意味著，臨時(shí)存儲(chǔ)不會(huì)從存儲(chǔ)中反序列化值，也不會(huì)序列化值到存儲(chǔ)，因此，由于不需要磁盤訪問(wèn)，臨時(shí)存儲(chǔ)成本更低。通過(guò)兩個(gè)新的操作碼 TLOAD 和 TSTORE（其中“T”代表“臨時(shí)”），智能合約可以訪問(wèn)臨時(shí)存儲(chǔ)。這項(xiàng)提議旨在為 Ethereum 的交易執(zhí)行中的多個(gè)嵌套執(zhí)行框架之間的通信提供一個(gè)專用且高效的解決方案。
EIP-4788
EIP-4788 旨在將信標(biāo)鏈區(qū)塊的哈希樹(shù)根暴露于 EVM 中，以允許在智能合約內(nèi)部訪問(wèn)這些根。這樣做可以無(wú)需信任地訪問(wèn)共識(shí)層狀態(tài)，支持 staking pools、restaking 結(jié)構(gòu)、智能合約橋、MEV 緩解等多種用例。該提案通過(guò)一個(gè)智能合約存儲(chǔ)這些根，并使用環(huán)形緩沖區(qū)來(lái)限制存儲(chǔ)消耗，確保每個(gè)執(zhí)行區(qū)塊只需常量空間即可表示這些信息。
EIP-4844
EIP-4844 介紹了一種新的事務(wù)格式，稱為"分片 Blob 事務(wù)"，旨在以簡(jiǎn)單、向前兼容的方式擴(kuò)展以太坊的數(shù)據(jù)可用性。這項(xiàng)提案通過(guò)引入包含大量數(shù)據(jù)的"blob-carrying transactions"，這些數(shù)據(jù)不能被 EVM 執(zhí)行訪問(wèn)，但可以訪問(wèn)其承諾。這種格式與將來(lái)全分片使用的格式完全兼容，為滾動(dòng)式擴(kuò)容提供了臨時(shí)但顯著的緩解。
EIP-5656
EIP-5656 引入了一種新的 EVM 指令 MCOPY，用于高效復(fù)制內(nèi)存區(qū)域。這項(xiàng)提案旨在降低在 EVM 上執(zhí)行內(nèi)存復(fù)制操作的開(kāi)銷，通過(guò) MCOPY 指令直接實(shí)現(xiàn)內(nèi)存之間的數(shù)據(jù)復(fù)制。MCOPY 允許源地址和目標(biāo)地址重疊，其設(shè)計(jì)考慮到了向后兼容性，并旨在提升包括數(shù)據(jù)結(jié)構(gòu)構(gòu)建、內(nèi)存對(duì)象的高效訪問(wèn)和復(fù)制在內(nèi)的多種場(chǎng)景的執(zhí)行效率。
EIP-6780
EIP-6780 修改了 SELFDESTRUCT 操作碼的功能。在這個(gè)提案中，SELFDESTRUCT 只會(huì)在與合約創(chuàng)建相同的交易中刪除賬戶和傳輸所有以太幣，除此之外，執(zhí)行 SELFDESTRUCT 時(shí)，合約將不會(huì)被刪除，只是將所有以太幣轉(zhuǎn)移到指定目標(biāo)。這一改變是為了適應(yīng)未來(lái) Verkle 樹(shù)的使用，旨在簡(jiǎn)化 EVM 實(shí)現(xiàn)，減少狀態(tài)變化的復(fù)雜性，同時(shí)保留 SELFDESTRUCT 的部分常用場(chǎng)景。
EIP-7516
EIP-7516 引入了一個(gè)新的 EVM 指令 BLOBBASEFEE，用于返回當(dāng)前區(qū)塊執(zhí)行中的 blob 基礎(chǔ)費(fèi)用值。這個(gè)指令與 EIP-3198 中的 BASEFEE 操作碼相似，不同之處在于它返回的是根據(jù) EIP-4844 定義的 blob 基礎(chǔ)費(fèi)用。這個(gè)功能使得合約可以編程地考慮 blob 數(shù)據(jù)的氣體價(jià)格，例如，允許 rollup 合約無(wú)需信任地計(jì)算 blob 數(shù)據(jù)使用成本，或者基于此實(shí)現(xiàn) blob 氣體期貨，以平滑 blob 數(shù)據(jù)成本。
官方披露的安全考量
EIP-1153
智能合約開(kāi)發(fā)人員應(yīng)在使用前了解瞬態(tài)存儲(chǔ)變量的生命周期。由于臨時(shí)存儲(chǔ)會(huì)在交易結(jié)束時(shí)自動(dòng)清除，因此智能合約開(kāi)發(fā)人員可能會(huì)試圖避免在調(diào)用過(guò)程中清除插槽以節(jié)省 Gas。然而，這可能會(huì)阻止在同一事務(wù)中與合約進(jìn)行進(jìn)一步的交互（例如，在重入鎖的情況下）或?qū)е缕渌e(cuò)誤，因此智能合約開(kāi)發(fā)人員應(yīng)小心，僅在臨時(shí)存儲(chǔ)槽被保留時(shí)保留非零值。旨在供同一事務(wù)中的未來(lái)調(diào)用使用。SSTORE 否則，這些操作碼的行為與和完全相同 SLOAD，因此所有常見(jiàn)的安全注意事項(xiàng)都適用，特別是在重入風(fēng)險(xiǎn)方面。
智能合約開(kāi)發(fā)人員也可能會(huì)嘗試使用瞬態(tài)存儲(chǔ)作為內(nèi)存映射的替代方案。他們應(yīng)該意識(shí)到，當(dāng)調(diào)用返回或恢復(fù)時(shí)，臨時(shí)存儲(chǔ)不會(huì)像內(nèi)存一樣被丟棄，并且應(yīng)該在這些用例中優(yōu)先選擇內(nèi)存，以免在同一事務(wù)中的重入時(shí)產(chǎn)生意外的行為。內(nèi)存上的瞬態(tài)存儲(chǔ)成本必然很高，這應(yīng)該已經(jīng)阻止了這種使用模式。內(nèi)存中映射的大多數(shù)用法可以通過(guò)按鍵排序的條目列表來(lái)更好地實(shí)現(xiàn)，并且智能合約中很少需要內(nèi)存中映射（即作者知道生產(chǎn)中沒(méi)有已知的用例）。
EIP-4844
此 EIP 使每個(gè)信標(biāo)塊的帶寬要求最多增加約 0.75 MB。這比當(dāng)今區(qū)塊的理論最大大?。?0 M Gas / 每個(gè) calldata 字節(jié) 16 Gas = 1.875 M 字節(jié)）大 40% ，因此它不會(huì)大幅增加最壞情況下的帶寬。合并后，區(qū)塊時(shí)間是靜態(tài)的，而不是不可預(yù)測(cè)的泊松分布，為大區(qū)塊的傳播提供了保證的時(shí)間段。
即使調(diào)用數(shù)據(jù)有限，此 EIP 的持續(xù)負(fù)載也比可降低調(diào)用數(shù)據(jù)成本的替代方案低得多，因?yàn)椴恍枰獙?Blob 存儲(chǔ)與執(zhí)行負(fù)載一樣長(zhǎng)的時(shí)間。這使得實(shí)現(xiàn)這些 blob 必須保留至少一段時(shí)間的策略成為可能。選擇的具體值是 MIN_EPOCHS_FOR_BLOB_SIDECARS_REQUESTS 紀(jì)元，約為 18 天，與建議的（但尚未實(shí)施）執(zhí)行有效負(fù)載歷史的一年輪換時(shí)間相比，延遲要短得多。
EIP-5656
客戶端應(yīng)注意其實(shí)現(xiàn)不使用中間緩沖區(qū)（例如 C stdlibmemmove 函數(shù)不使用中間緩沖區(qū)），因?yàn)檫@是潛在的拒絕服務(wù) (DoS) 向量。大多數(shù)用于移動(dòng)字節(jié)的語(yǔ)言內(nèi)置函數(shù)/標(biāo)準(zhǔn)庫(kù)函數(shù)在這里都具有正確的性能特征。
除此之外，對(duì)拒絕服務(wù) (DoS) 和內(nèi)存耗盡攻擊的分析與其他接觸內(nèi)存的操作碼相同，因?yàn)閮?nèi)存擴(kuò)展遵循相同的定價(jià)規(guī)則。
EIP-6780
以下應(yīng)用程序 SELFDESTRUCT 將被破壞，并且以這種方式使用它的應(yīng)用程序不再安全：
WhereCREATE 2 用于在同一位置重新部署合約，以使合約可升級(jí)。不再支持此功能，應(yīng)改用 ERC-2535 或其他類型的代理合約。
如果合約依賴于通過(guò)以 SELFDESTRUCT 合約作為受益人燃燒以太幣，則合約不是在同一交易中創(chuàng)建的。
智能合約相關(guān)風(fēng)險(xiǎn)
EIP 1153
設(shè)想使用操作碼 TLOAD 和 TSTORE 的兩種場(chǎng)景：
被調(diào)用合約使用該操作碼
發(fā)起調(diào)用合約使用該操作碼
風(fēng)險(xiǎn) 1 ：
相比于傳統(tǒng)的 SSTORE 和 SLOAD ，新增的瞬態(tài)存儲(chǔ)主要改變了數(shù)據(jù)的存儲(chǔ)期限，tstore 存儲(chǔ)的數(shù)據(jù)通過(guò) tload 進(jìn)行讀取，在一筆交易執(zhí)行結(jié)束后該數(shù)據(jù)將會(huì)被釋放，而不是同 sstore 一樣寫入合約被永久性的記錄。開(kāi)發(fā)者在使用該操作碼時(shí)應(yīng)該認(rèn)清該操作碼的特性，以免錯(cuò)誤的使用導(dǎo)致數(shù)據(jù)不能正確的寫入到合約中而造成損失。另外，tstore 的數(shù)據(jù)屬于私有變量，僅合約本身可以訪問(wèn)。如果想要外部使用該數(shù)據(jù)只能通過(guò)參數(shù)的形式進(jìn)行傳遞或暫存到一個(gè) public stroage 變量中。
風(fēng)險(xiǎn) 2 ：
另一個(gè)潛在風(fēng)險(xiǎn)是，如果智能合約開(kāi)發(fā)人員不正確管理瞬態(tài)存儲(chǔ)變量的生命周期，可能導(dǎo)致數(shù)據(jù)在不應(yīng)該的時(shí)間被清除或錯(cuò)誤地保留。如果合約期望在事務(wù)的后續(xù)調(diào)用中使用存儲(chǔ)在瞬態(tài)存儲(chǔ)中的數(shù)據(jù)，但未能適當(dāng)?shù)毓芾磉@些數(shù)據(jù)的生命周期，可能會(huì)在不同調(diào)用之間錯(cuò)誤地共享或丟失數(shù)據(jù)，從而導(dǎo)致邏輯錯(cuò)誤或安全漏洞?？紤]到類似于 Token 項(xiàng)目的 balance 或者 allowance 數(shù)據(jù)未能正確的存儲(chǔ)將會(huì)導(dǎo)致合約邏輯的錯(cuò)誤，造成損失?；蛟趯?duì) owner 地址進(jìn)行設(shè)置時(shí)使用了該操作碼將會(huì)導(dǎo)致特權(quán)地址不能正確的被記錄從而丟失對(duì)合約重要參數(shù)的修改。
考慮一個(gè)智能合約，該合約使用瞬態(tài)存儲(chǔ)來(lái)臨時(shí)記錄一個(gè)加密貨幣交易平臺(tái)上的交易價(jià)格。該合約在每筆交易完成時(shí)更新價(jià)格，并允許用戶在短時(shí)間內(nèi)查詢最新價(jià)格。然而，如果合約設(shè)計(jì)沒(méi)有考慮到瞬態(tài)存儲(chǔ)在交易結(jié)束時(shí)被自動(dòng)清除的特性，那么在一筆交易結(jié)束后到下一筆交易開(kāi)始之前的這段時(shí)間內(nèi)，用戶可能會(huì)得到一個(gè)錯(cuò)誤或過(guò)時(shí)的價(jià)格。這不僅可能導(dǎo)致用戶做出基于錯(cuò)誤信息的決策，還可能被惡意利用，影響平臺(tái)的信譽(yù)和用戶的資產(chǎn)安全。
EIP-6780
該提案改變了之前 selfdestruct 操作碼的行為，不銷毀合約，僅轉(zhuǎn)移 token，僅與自毀同一交易中創(chuàng)建的合約才會(huì)被銷毀。這個(gè) EIP 的影響相對(duì)較大。
用 create 2 在同一地址重新部署合約，以使合合約升級(jí)。不再支持此功能，應(yīng)改用 ERC-2535 或其他類型的代理合約。（這可能會(huì)影響到使用 create 2 實(shí)現(xiàn)可升級(jí)合約的鏈上合約的安全性）
智能合約中的 SELFDESTRUCT 操作允許合約銷毀，并將合約余額發(fā)送給指定的目標(biāo)地址。在這種情況下，合約使用 SELFDESTRUCT 銷毀以太幣，并將銷毀的以太幣發(fā)送給了合約。但是該合約僅能是在同一筆交易中創(chuàng)建的合約（同一筆交易中由本合約或其他合約創(chuàng)建的合約）。否則將僅轉(zhuǎn)賬以太而不銷毀合約（例如自毀且受益者為自毀合約，這將會(huì)不產(chǎn)生任何改變）。這將會(huì)影響一切依賴于 selfdestruct 進(jìn)行提款或其他操作的合約。
一種類似于 1inch CHI Token 的 Gas Token 的工作原理：保持一個(gè)偏移量，始終在此偏移量處執(zhí)行 CREATE 2 或 SELFDESTRUCT。在此更新之后，如果當(dāng)前偏移量的合約尚未正確自毀，則之后的 CREATE 2 將不能成功的部署合約。
該提案實(shí)施并不能導(dǎo)致直接對(duì)合約進(jìn)行攻擊，但會(huì)損害原有已部署的依賴 selfdestruct 操作的合約的正常邏輯（僅依賴自毀進(jìn)行資金轉(zhuǎn)移的合約不受到影響，如果后續(xù)操作必須要求自毀的合約被刪除，則受到影響），導(dǎo)致合約非預(yù)期工作，僅對(duì)合約以及用戶而言，可能導(dǎo)致合約的罷工，損失資金等危害(例如原本利用 create 2 在原地址部署新合約，自毀原合約進(jìn)行升級(jí)的合約，不再能夠成功部署)。長(zhǎng)遠(yuǎn)來(lái)看，修改某項(xiàng)操作碼的功能可能會(huì)帶來(lái)中心化的問(wèn)題。
例如現(xiàn)有一個(gè)金庫(kù)合約 vault 進(jìn)行更新：
create 2 臨時(shí)存儲(chǔ)合約用來(lái)臨時(shí)儲(chǔ)備 vault 的資金
自毀 vault 合約，資金轉(zhuǎn)賬到臨時(shí)合約（僅轉(zhuǎn)移了資金而沒(méi)有銷毀合約）
在原地址 create 2 新的 vault 合約（失敗，因?yàn)樵?nbsp;vault 合約沒(méi)有被銷毀）
自毀臨時(shí)合約將資金還給 vault（資金損失，vault 合約沒(méi)有被創(chuàng)建）
擴(kuò)展閱讀
坎昆升級(jí)將進(jìn)一步增強(qiáng)以太坊的競(jìng)爭(zhēng)優(yōu)勢(shì)。但此次升級(jí)對(duì)核心智能合約層的改動(dòng)帶來(lái)了風(fēng)險(xiǎn)，這會(huì)影響現(xiàn)有的 DApps 的安全運(yùn)行。在進(jìn)行智能合約開(kāi)發(fā)的過(guò)程中，這些改變以及可能引發(fā)的風(fēng)險(xiǎn)同樣需要被高度關(guān)注。您可以與Salus聯(lián)系獲得風(fēng)險(xiǎn)檢查或?qū)徲?jì)支持，也可以通過(guò)進(jìn)一步閱讀相關(guān)內(nèi)容以了解變化。
Cancun Network Upgrade Specification
你可能感興趣的文章
-
以太坊坎昆升級(jí)后需數(shù)個(gè)月審計(jì)！閃電記賬系統(tǒng)
Uniswap基金會(huì)宣布，隨著坎昆升級(jí)確認(rèn)在3月啟動(dòng)，v4版本將暫定在最快在今年第三季上線以太坊主網(wǎng)，而在3月坎昆升級(jí)后，v4仍將歷經(jīng)數(shù)月的的全面代碼審計(jì)過(guò)程,更多詳細(xì)資訊請(qǐng)…
2024-02-17 -
以太坊坎昆升級(jí)最后測(cè)試網(wǎng)Holesky今晚啟動(dòng)！Dencun三月上線主網(wǎng)
最后一個(gè)在以太坊主網(wǎng)之前升級(jí)的公共以太坊測(cè)試網(wǎng)Holesky將在今（7）日北京時(shí)間大約晚間7:30啟動(dòng)，成功啟動(dòng)后，以太坊核心團(tuán)隊(duì)也會(huì)確認(rèn)主網(wǎng)上線日期，目前預(yù)計(jì)落在三月初到…
2024-02-08 -
以太坊坎昆升級(jí)在Sepolia測(cè)試網(wǎng)啟動(dòng)！以太坊叩關(guān)2400美元
以太坊的重大升級(jí)Dencun繼17日于Goerli測(cè)試網(wǎng)成功上線后，今晨Sepolia測(cè)試網(wǎng)也順利完成了該升級(jí)，為下周（2/7）Holesky測(cè)試網(wǎng)的升級(jí)鋪路,更多詳細(xì)資訊請(qǐng)看下面正文…
2024-02-01 -
以太坊Sepolia和Holesky測(cè)試網(wǎng)2月初啟動(dòng)坎昆升級(jí)！主網(wǎng)最快2月底
以太坊基金會(huì)今日宣布，繼1月17日Goerli測(cè)試網(wǎng)完成Dencun升級(jí)后，Sepolia和Holesky測(cè)試網(wǎng)將如期在1月30日和2月7日激活坎昆升級(jí)，如這兩個(gè)測(cè)試網(wǎng)后續(xù)升級(jí)皆順利，下一個(gè)就輪…
2024-01-26 -
以太坊坎昆升級(jí)，利好了哪些項(xiàng)目？
此次升級(jí)最大的目的就是對(duì)以太坊主鏈進(jìn)行擴(kuò)容，增強(qiáng)以太坊網(wǎng)絡(luò)的可擴(kuò)展性、安全性和可用性，提高主鏈的 TPS 和降低 Gas 費(fèi)，那么，坎昆升級(jí)，利好了哪些項(xiàng)目？下面一起來(lái)看…
2024-01-25 -
以太坊Dencun坎昆升級(jí)出狀況！上線Goerli測(cè)試網(wǎng)發(fā)生兩大問(wèn)題
以太坊的Dencun升級(jí)如期于今日在Goerli測(cè)試網(wǎng)上啟動(dòng)，但遇到了一些挑戰(zhàn)。核心開(kāi)發(fā)者Tim Beiko指出，雖然升級(jí)已實(shí)施，但參與的驗(yàn)證者數(shù)量不多，且出現(xiàn)了分叉（Chain Split）…
2024-01-18 -
以太坊坎昆升級(jí)勢(shì)在必行！V神認(rèn)同部分產(chǎn)品使用Validiums而非Rollups
以太坊創(chuàng)辦人Vitalik Buterin剛剛于推特上回復(fù)社群意見(jiàn)，明確表達(dá)自身對(duì)于Validium的定義…
2024-01-17 -
以太坊坎昆升級(jí)日期已定 測(cè)試網(wǎng)1月17日激活
以太坊在去年4月中旬完成上海升級(jí)之后，驗(yàn)證者得以將質(zhì)押已久的ETH從信標(biāo)鏈中提出，以太坊開(kāi)發(fā)者隨即籌備下一次的重大升級(jí)——坎昆升級(jí)(Dencun升級(jí)),更多詳細(xì)資訊請(qǐng)看下面…
2024-01-05 -
以太坊預(yù)計(jì)2024年1月坎昆升級(jí)！Layer2板塊OP、ARB、IMX急漲
以太坊坎昆升級(jí)出現(xiàn)新進(jìn)展，據(jù)7日召開(kāi)的以太坊執(zhí)行層核心開(kāi)發(fā)者會(huì)議（ACDE）記錄，開(kāi)發(fā)者已做好了測(cè)試網(wǎng)的分叉升級(jí)準(zhǔn)備，Goerli測(cè)試網(wǎng)預(yù)計(jì)將在明年1月啟動(dòng)坎昆升級(jí)，受此消…
2023-12-09 -
以太坊坎昆升級(jí)因測(cè)試網(wǎng)共識(shí)問(wèn)題再延2024年！原定2023年底
以太坊繼上海升級(jí)后，將迎來(lái)重要的坎昆升級(jí)，今年6月時(shí)，以太坊核心開(kāi)發(fā)者原先預(yù)期，坎昆升級(jí)將在今年底前啟動(dòng)，不過(guò)以太坊客戶端開(kāi)發(fā)者周四表示，坎昆升級(jí)不會(huì)在2023年底…
2023-10-27
