譯文出自:登鏈翻譯計劃
譯者:Tiny熊
從技術角度對不同的以太坊智能合約升級模式和策略進行了調查,并提供了一套有關升級管理和治理的良好實踐和建議。
什么是智能合約升級?
對于以太坊開發人員來說,智能合約升級并不是一個新概念。最早的升級模式之一可以追溯到2016年5月的NickJohnson的gist,是在4年前的時間,幾乎覆蓋了整個以太坊的歷程。
從那時起,智能合約升級工作進行了很多的探索、出現了各種不用的實現方式。升級既可以用作在出現漏洞時進行修復,也可以用作逐步添加新功能來迭代系統開發。
但是,由于智能合約升級帶來的技術復雜性以及它們可能對真正的權力下放構成威脅,因此圍繞智能合約升級也存在很多爭議。在這篇文章中,我們將討論這兩個問題。我們將介紹不同的升級實現,并回顧一些成功的示例,并討論每個示例的優缺點。然后,我們將回顧一些用于治理和管理的良好實踐,以減輕向系統添加升級選項的中心化風險。
讓我們首先定義智能合約升級的含義:
什么是智能合約升級?智能合約升級是一種在保留存儲和余額的同時,而又可以任意更改在地址中執行代碼的操作。
但是在我們深入進行升級之前,我們將介紹一些無需實施全面升級即可更改系統的策略,這些策略可以作為升級的簡單補充。
請坐穩了,這將是一個很長的文章。
印度提議IMF和FSB撰寫聯合文件,幫助制定“全面”加密政策:金色財經報道,繼2月24日至25日在班加羅爾舉行的首次為期兩天的G20財長和央行行長會議之后,印度政府于周六發布了“G20主席總結和成果文件”。加密監管是討論的主題之一。
在G20會議關于加密貨幣監管的小組討論中,印度提議國際貨幣基金組織(IMF)和金融穩定委員會(FSB)合作撰寫一份關于加密資產的技術文件。總結文件指出:“IMF和FSB將于2023年9月聯合提交一份綜合文件,整合加密資產的宏觀經濟和監管視角。”
該文件補充說,FSB將“完成其關于全球穩定幣監管、監督和高級別建議,以及在2023年7月之前就加密資產市場和活動的監管、監督提出高級別建議。”
此外,國際清算銀行(BIS)將“提交一份關于與加密資產相關的分析和概念問題以及可能的風險緩解策略的報告。”
印度財政部的聲明進一步指出,印度的目標是擴大G20關于加密資產的討論范圍,不僅包括金融完整性問題,還包括宏觀經濟影響以及加密貨幣在整個經濟中的廣泛采用。[2023/2/26 12:30:19]
升級替代方案
有許多策略可用于修改系統而無需完全升級。一個簡單的解決方案是通過遷移來更改系統:部署一組新合約,將必要狀態從舊合約復制到新合約(有時可以無信任地完成),根據社區共識,讓社區開始與新合約進行交互。
本節中列出的升級策略可用于以可預測的方式修改系統,這與升級不同。修改系統這是根據已有的規則來進行管理,在更改時系統的行為更加可預測。讓我們研究其中一些策略。
IMF:加密貨幣法規應該是全面協調一致的:12月13日消息,國際貨幣基金組織(IMF)最近發布了一些關于如何有效監管全球加密貨幣領域的建議。IMF表示,加密資產正在擾亂現有的金融體系,因此應該在全球范圍內以全面和一致的方式進行監管。IMF強調不協調的監管措施可能會“促進潛在的破壞穩定的資本流動”,因為大多數加密貨幣公司都是跨境經營。對此,IMF列出了監管機構必須包括的三個核心要求:首先,幾個關鍵功能的加密貨幣服務提供商應該得到許可或授權,包括數字資產的轉移、存儲、結算和保管。頒發許可證的標準也應明確規定,并指定相關機構。其次,這些要求應適合這些加密資產的主要使用情況。例如,投資產品應該有類似于證券經紀人的要求,應該由證券監管機構監督。支付產品應該有類似于銀行的要求,應該由中央銀行監管。第三,不同國家的政府應該授權受監管的金融機構提供清晰和全面的加密貨幣風險和參與的細節。[2021/12/13 7:35:23]
參數的配置
簡單地調整合約中的一組參數,可修改范圍非常有限,以至于我懷疑是否將其包含在此列表中。一個很好的例子是MakerDAO的穩定費率,這是在合約中可設置的數值,它會改變系統的行為。該值經常更改,并且由于其含義很清楚,因此可以放心地執行操作。
但是,重要的是要了解系統對這些參數中設置的極值的反應。任意高昂的費用或零費用都可能導致系統停止運行,甚至使攻擊者能夠竊取所有資金。在合約中硬編碼合理范圍的參數值通常是一個好主意,并以此作為保障措施。
火幣全球站商務副總裁Ciara Sun:火幣生態全面發展,未來將推出期權合約產品:7月7日,火幣全球站商務副總裁Ciara Sun在波場大航海時代4.0全球線上發布會中,進行了主題演講。Ciara Sun表示:火幣不僅僅是一家交易所,更是去中心化數字經濟的領導力量。在成立七年的時間里,已經為170多個國家和地區的數百萬用戶提供服務,從未出現過重大安全事件。
目前火幣現貨交易所和衍生品交易在流動性、交易量、市場深度、合規性和安全性方面均位居市場之首。在生態建設方面,火幣礦池已成為全球第八大礦池;火幣錢包加入ConsenSys ETH2.0試點計劃,成為首批合作伙伴,并將在未來率先提供 ETH2.0 抵押服務。Ciara Sun還表示,火幣從7月1日開始進行期權Beta測試,未來將推出期權合約產品。[2020/7/10]
合約注冊表
由多個合約組成的系統可能依賴合約注冊中心。每當合約A需要與B進行交互時,它首先會查詢注冊表以獲得B的地址。通過對注冊表的修改,管理員可以將B替換為替代實現B',從而改變其行為。AAVE的早期版本使用了這種模式。
但是,此機制在切換到B'時不會保留B的狀態,如果需要手動遷移,則可能會出現問題。此模式的某些版本通過將邏輯和存儲合約解耦來緩解這種情況:狀態保持在不變的存儲合約中,并且只能根據需要更改的業務邏輯合約。我們將在本文后面部分深入探討邏輯和存儲合約分離。
這種模式的另一個缺點是,它也為外部客戶端帶來了額外的復雜性,這些外部客戶端在與系統交互之前也需要調用注冊表。可以通過添加具有不可變接口的外部包裝接口來減輕這種情況,該包裝接口負責管理注冊表查找。
合約帝實盤接入BHEX永續 實現數據合約全面對接:據合約帝官方消息,北京時間3月2日,合約帝平臺宣布正式完成BHEX永續合約實盤賬戶的數據對接工作,用戶可以使用合約帝App在自己的賬號中接入BHEX永續合約賬戶的實盤API,同時在合約帝平臺上參與收益展示、數據分析、行情解讀共享等社交活動。[2020/3/2]
策略模式
策略模式是更改合約中部分特定功能函數的代碼的簡便方法。替代在調用合約中實現函數來執行特定功能,而是通過調用單獨的合約來處理該任務,通過切換該合約的實現,可以有效地在不同的“策略”之間進行切換。
Compound就是一個很好的例子,它具有不同的RateModel實現計算利率及其CToken合約可以在它們之間切換。由于已知更改僅限于系統的特定部分,這可以輕松地推出修復程序或在費率計算上改進gas消耗。當然,一個惡意利率模型實現可以設置為始終還原和停止系統,或為特定帳戶提供任意高的利率。盡管如此,限制系統更改的范圍仍使對這些更改的推理更加容易。
可插拔模塊
策略模式的一個更復雜的變體是可插拔模塊,其中每個模塊都可以向合約添加新函數。在此模型中,主合約提供了一組核心不變的函數,并允許注冊新模塊。這些模塊為核心合約增加了可調用的新函數。這種模式在錢包中最為常見,例如GnosisSafe或InstaDapp。用戶可以選擇將新模塊添加到自己的電子錢包中,然后每次調用錢包合約時都要求從特定模塊執行特定函數。
動態 | 螞蟻金服、阿里云與財通證券建立全面戰略合作,將正式啟動區塊鏈等項目:9月25日,在杭州云棲大會開幕的當天,財通證券宣布聯合螞蟻金服、阿里云,正式建立金融科技全面戰略合作伙伴關系,打造一流數字生態券商。隨著全面戰略合作伙伴關系的確立,上述三方將正式啟動阿里飛天云、安全、大數據、智能雙錄和區塊鏈等項目,推進金融科技在證券行業的應用,實現數字化驅動業務發展、互聯網化推動運營變革、智能化業務應用等目標。(上海證券報)[2019/9/26]
請記住,此模式要求核心合約沒有漏洞。無法通過在此方案中添加新模塊來修補管理模塊本身上的任何漏洞。此外,根據實現方式的不同,新模塊可能有權通過使用委托調用方式(DELEGATECALL,下面會進一步解釋)代表核心合約運行任何代碼,因此也應仔細檢查它們。
升級模式
在前面不太簡短的介紹之后,是時候進入實際的合約升級模式了。這些模式中的大多數都依賴于EVM原語(DELEGATECALL操作碼),因此讓我們從其工作原理的簡要概述開始。
委托調用
在常規的CALL-消息調用中,合約A向B發送payload數據。合約B響應此payload數據執行其代碼,可能會從其自己的存儲中讀取或寫入數據,然后將響應返回給A。當B執行其代碼時,它可以訪問有關調用本身的信息,例如msg
}
由于代理在實現中使用了委托調用,因此就好像它自己在運行實現的代碼一樣。實現代碼可以修改自己的存儲和余額,并保留了調用的原始msg
functionupgrade(addressnewImplementation)external{require(msg
}
此版本通常還包含函數用來將代理的所有權轉賬到其他地址。Compound將這種模式與額外的twist一起使用:新的實現合約需要能_接受_轉賬,以防止意外升級到無效合約。
這種模式的好處是,與升級相關的所有邏輯都包含在代理中,并且實現合約不需要任何特殊邏輯即可充當委派目標(除實現合約限制和初始化程序中列出的一些例外)。但是,這種實現模式容易受到函數選擇器沖突導致的漏洞的攻擊。
選擇器沖突和透明代理
以太坊中的所有函數調用都由有效載荷payload前4個字節來標識,稱為“函數選擇器”。選擇器是根據函數名稱及其簽名的哈希值計算得出的。然而,4字節不具有很多熵,這意味著兩個函數之間可能會發生沖突:具有不同名稱的兩個不同函數最終可能具有相同的選擇器。如果你偶然發現這種情況,Solidity編譯器將足夠聰明,可以讓你知道,并且拒絕編譯具有兩個不同函數名稱,但具有相同4字節標識符的合約。
//這個合約無法通過編譯,兩個函數具有相同的函數選擇器contractFoo{functioncollate_propagate_storage(bytes16)external{}functionburn(uint256)external{}}
但是,對于實現合約而言,完全有可能具有與代理的升級函數具有相同的4字節標識符的函數。這可能會導致嘗試調用實現合約時,管理員無意中將代理升級到隨機地址。這個帖子由PatricioPalladino解釋了該漏洞,然后MartinAbbatemarco說明如何將其用于做惡.
這個問題可以通過開發用于可升級智能合約的適當工具解決,也可以通過代理本身解決。特別是,如果將代理設置為僅管理員能調用升級管理函數,而所有其他用戶只能調用實現合約的函數,則不可能發生沖突。
//Samplecode,donotuseinproduction!contractTransparentAdminUpgradeableProxy{addressimplementation;addressadmin;fallback()externalpayable{require(msg
functionupgrade(addressnewImplementation)external{if(msg
}
該模式被稱為“透明代理合約”(請勿與EIP1538混淆),在這篇文章中有很好的解釋。這是OpenZeppelin升級(以前稱為ZeppelinOS)現在使用的模式。它通常與ProxyAdmin合約結合使用,以允許管理員EOA與管理代理合約進行互動(管理員只能管理代理合約交互)。
讓通過一個例子看看是怎么工作的。假定代理具有owner()函數和upgradeTo()函數,該函數將調用委派給具有owner()和transfer()函數的ERC20合約。下表涵蓋了所有導致的情況:
msg
}abstractcontractUUPSProxiable{addressimplementation;addressadmin;functionupgrade(addressnewImplementation)external{require(msg
}
這種方法有幾個好處。首先,通過在實現合約上定義所有函數,它可以依靠Solidity編譯器檢查任何函數選擇器沖突。此外,代理的大小要小得多,從而使部署更便宜。在每次調用中,從存儲中需要讀取的內容更少,降低了開銷。
這種模式有一個主要缺點:如果將代理升級到沒有可升級函數的實現上,那就永久鎖定在該實現上,無法再更改它。一些開發人員更喜歡保持可升級邏輯不變,以防止出現這些問題,而這樣做的最佳方式是放在代理合約本身。
代理存儲沖突和非結構化存儲
在所有代理模式變體中,代理合約都需要至少一個狀態變量來保存實現合約地址。默認情況下,Solidity存儲變量在智能合約存儲中的順序是:聲明的第一個變量移至插槽0,第二個變量移至插槽1,依此類推(映射和動態大小數組是此規則的例外)。這意味著,在以下代理合約中,實現合約地址將保存到存儲插槽零。
//Samplecode,donotuseinproduction!contractProxy{addressimplementation;}
現在,如果我們將該代理與以下看似無害的實現合約結合使用,會發生什么?
//Samplecode,donotuseinproduction!contractBox{addresspublicvalue;functionsetValue(addressnewValue)public{value=newValue;}}
遵循Solidity存儲布局規則,通過代理對Box
}
盡管有效,但它有一個缺點,即要求所有委托目標合約都添加此額外的虛擬變量。這限制了可重用性,因為普通合約不能用作實現合約。這也容易出錯,因為很容易忘記在合約中添加該額外變量。
我是廣告
本文來源于非小號媒體平臺:
登鏈社區
現已在非小號資訊平臺發布105篇作品,
非小號開放平臺歡迎幣圈作者入駐
入駐指南:
/apply_guide/
本文網址:
/news/9562977.html
免責聲明:
1.資訊內容不構成投資建議,投資者應獨立決策并自行承擔風險
2.本文版權歸屬原作所有,僅代表作者本人觀點,不代表非小號的觀點或立場
上一篇:
幣安為何推出第三條鏈?這對BNB意味著什么?
尊敬的用戶: 各位期盼已久的DBLend借貸平臺終于迎來正式上線,為感謝所有用戶這段日子以來的支持與陪伴,也借著2021年新的一年的曙光.
1900/1/1 0:00:00我寫這篇文章的目的 在十月的FTX月報中,Z?@SplitCapital提出了一個令人信服的案例,說明了為什么2017年的幣本位衍生品不再是其價格發現背后的主要推動力.
1900/1/1 0:00:00Filecoin網絡的使命是為人類信息打造分布式的、高效且強大的基礎。Filecoin網絡將通過激勵其經濟的持續增長及發展,以實現這一使命.
1900/1/1 0:00:00公告編號2020122601各位關心ZBG的投資者們和項目方:ZBG現已正式上線FIL/USDT正向永續合約.
1900/1/1 0:00:00一、 Bitstamp將于明年1月8日暫停所有美國客戶的XRP交易及存款。 二、 12月25日,去中心化云計算區塊鏈網絡aelf官方發文宣布,第一個側鏈“共享側鏈”已成功部署在aelf主網上,并.
1900/1/1 0:00:00買入并持有,非常簡單,但其實是非常煎熬的,除非你完全不看它。在這個過程中,你買的幣上漲會忍不住想賣,因為怕它跌下來.
1900/1/1 0:00:00