譯文出自:登鏈翻譯計劃
譯者:翻譯小組
校對:Tiny熊
由于EIP1884已經在伊斯坦布爾硬分叉實施,EIP1884增加了SLOAD操作的Gas成本,因此_破壞了一些現有的智能合約_。
這些合約將被破壞,因為它們的fallback函數以前消耗的Gas不到2300,而現在會消耗更多。為什么2300Gas這么重要?這是合約的fallback函數通過Solidity的transfer()或send()方法調用時可使用的Gas量。
剛才是簡化的描述,2300是Gas”津貼“,如果是非零的以太幣量轉賬,則Gas”津貼“明確傳遞給CALL。Solidity的transfer()將Gas參數設置為0,如果以太幣的轉賬量為非零。在加上gas”津貼“后,一共是2300。如果是零以太幣轉賬,Solidity明確地將Gas參數設置為2300,因此在兩種情況下都會是2300Gas。
自推出以來,transfer()通常被安全界推薦,因為它有助于防范重入攻擊。在Gas成本不會改變的假設下,這一指導意見是有意義的,但事實證明這一假設是不正確的。我們現在建議避免使用transfer()和send()。
Gas成本可以改變
EVM支持的每個操作碼都有相關的Gas成本。例如,SLOAD,從存儲中讀取一個字,在EIP1884中gas由200修改為800。
Gas費用不是隨意的。它們旨在反映組成以太坊的節點上每個操作所消耗的基本資源。
與Alameda有關聯的美國法明頓州立銀行停止加密行業服務:1月20日消息,美國法明頓州立銀行(Farmington State Bank)周四宣布將回歸其作為社區銀行的最初使命,并停止針對加密資產或大麻等行業開發銀行服務的創新驅動型商業模式。該銀行將停止使用“Moonstone Bank”的名稱,轉而以“法明頓州立銀行”的名義開展業務。(CoinDesk)
據此前紐約時報報道,FTX與美國法明頓州立銀行的關系引發質疑。法明頓州立銀行此前已更名為Moonstone Bank。去年三月Alameda Research對其母公司FBH投資1150萬美元并獲得該行股份,當前該行擁有一家分行和8400萬美元的存款,其中7100萬美元存在四個賬戶中。據悉,法明頓州立銀行母公司FBH董事長是Jean Chalopin,他也是Deltec Bank董事長,而USDT發行方Tether的儲備金就存儲在Deltec Bank。[2023/1/20 11:22:22]
來自EIP的動機部分。
操作的價格和資源消耗之間的不平衡有幾個缺點:
可能被用于攻擊,通過用低Gas操作填充區塊,導致區塊處理時間過長。
價格過低的操作碼會歪曲區塊Gas限制,有時區塊完成得很快,但其他Gas使用量相似的區塊完成得很慢。
如果操作定價更均衡,我們可以最大限度地提高塊Gas限制,并有一個更穩定的處理時間。
SLOAD歷來價格偏低,EIP1884糾正了這一問題。
智能合約不能依賴Gas成本
Web3基礎設施提供商Ankr將停止以太坊驗證節點托管服務:9月2日消息,Web3節點基礎設施提供商Ankr宣布將完全停止以太坊驗證節點托管服務。過渡將分兩個階段進行:9月1日開始將逐步減少每個在Ankr Hosting中運行的ETH2驗證節點的密鑰數量,使用戶有時間把當前正在運行的節點連接到另一個驗證網絡;從9月6日開始所有密鑰都將被撤銷,屆時用戶將不再驗證區塊。
Ankr表示,運行ETH2驗證節點的用戶可通過自動退回和手動申領兩種方式收回質押和獎勵資金,具體取決于存入的資產是ANKR還是ETH。Ankr確保所有提供者都將收到他們獲得的獎勵和初始存款。[2022/9/2 13:05:10]
如果Gas成本是可以變化的,那么智能合約就不能依賴于任何特定的Gas成本。
任何使用transfer()或send()的智能合約,都是通過轉發固定數量的Gas來而產生2300Gas成本的硬性依賴。
因此建議停止在代碼中使用transfer()和send(),而改用call()。
contractVulnerable{functionwithdraw(uint256amount)external{//Thisforwards2300gas,whichmaynotbeenoughiftherecipient//isacontractandgascostschange
}contractFixed{functionwithdraw(uint256amount)external{//Thisforwardsallavailablegas
鏈游Untamed Isles因資金耗盡已停止開發:8月22日消息,鏈游Untamed Isles宣布因資金耗盡且儲備現金也為空已停止開發,目前暫時處于擱置狀態。Untamed Isles 項目于 2021 年 8 月 27 日在 Kickcstarter眾籌平臺上啟動,其頁面顯示項目中斷時間為2022年8月12日,而現金儲備空缺意味著該項目的早期投資者均無法拿回自己的回報。不過,Untamed Isles特別澄清沒有拿眾籌資金進行任何加密貨幣投資,所有資金都用于游戲開發,工作室創始人目前正在尋找挽救核心工作室和游戲的方法。(soyacincau)[2022/8/22 12:40:24]
}
除了轉發固定的2300Gas之外,這兩個合約是等價的。
關于重入攻擊怎么辦?
重入攻擊,希望是你看到上述代碼后的第一反應。引入transfer()和send()的全部原因是為了解決TheDAO上臭名昭著的黑客事件的原因。當時的想法是,2300Gas足夠觸發一個日志條目,但不足以進行再重入的調用來修改存儲狀態。
不過請記住,Gas成本是會變化的,這意味著無論如何這都不是解決再重入攻擊的好辦法。19年初,君士坦丁堡分叉被推遲,就是因為gas成本的降低,導致以前重入攻擊安全的代碼不再安全。
如果我們不打算再使用transfer()和send(),我們就必須用更強大的方式來防止重入。幸運的是,這個問題有很好的解決辦法。
檢查-生效-交互模式
消除重入性bug最簡單的方法是使用檢查-生效-交互(checks-effects-interactions)。這是一個典型的重入bug的例子:
克里姆林宮發言人:如果基輔符合俄羅斯的條件,可以“隨時”停止行動:3月7日消息,克里姆林宮發言人表示,俄羅斯將完成烏克蘭的非軍事化。如果基輔符合俄羅斯的條件,可以“隨時”停止行動。烏克蘭必須修改憲法,拒絕加入任何聯盟,且必須承認克里米亞屬于俄羅斯,“盧甘斯克人民共和國”和“頓涅茨克人民共和國”是獨立國家。克里姆林宮發言人表示,其必須在制裁問題上采取更多措施。(金十)[2022/3/7 13:42:45]
contractVulnerable{..
}
如果msg.sender是一個智能合約,它在第6行有機會在第7行發生之前再次調用withdraw()。在那第二次調用中,balanceOf還是原來的金額,所以會再次轉賬。這可以根據需要重復多次,以耗盡智能合約。
檢查-生效-交互模式的想法是確保你所有的交互都發生在最后。上述代碼的典型修復方法如下:
1contractFixed{2...34functionwithdraw()external{5uint256amount=balanceOf;6balanceOf=0;7(boolsuccess,)=msg.sender.call.value(amount)("");8require(success,"Transferfailed.");9}10}
請注意,在這段代碼中,余額在轉賬之前就被清零了,所以試圖對withdraw()進行重入調用對攻擊者來說沒有收益。
使用重入防護
另一種防止重入的方法是明確地檢查和拒絕這種調用。下面是一個簡單版的重入防護,大家可以看看思路:
德克薩斯州證券委員會要求TradeMining停止運營:金色財經報道,德克薩斯州證券委員會(TSSB)今日命令華盛頓居民Devon Tyler Shigaki及其公司TradeMining,Inc立即停止運營,并指控Shigaki正在經營一項與加密貨幣交易軟件相關的欺詐性投資。[2020/10/1]
1contractGuarded{2...34boollocked=false;56functionwithdraw()external{7require(!locked,"Reentrantcalldetected!");8locked=true;9...10locked=false;11}12}
在這段代碼中,如果嘗試重入調用,第7行的require將拒絕它,因為lock仍然被設置為true。
在OpenZeppelin的ReentrancyGuard合約中可以找到一個更復雜、更節省gas的版本。如果你繼承了ReentrancyGuard,你只需要用nonReentrant來修飾函數,防止重入。
請注意,這個方法只應該用于保護重入,如果你明確地將其應用于所有正確的函數。由于需要在儲存中保持一個值,它也會增加Gas成本。
Vyper語言有出現這個情況嗎?
Vyper的send()函數與Solidity的transfer()一樣使用硬編碼Gas”津貼“,所以也要避免使用。你可以使用raw_call代替。
Vyper內置了一個@nonreentrant()修飾器,其工作原理類似于OpenZeppelin的ReentrancyGuard。
總結
在Gas成本不變的假設下,推薦transfer()是有道理的。
但Gas成本不是不變的。智能合約應該有力地應對這一事實。
Solidity的transfer()和send()使用一個硬編碼的Gas成本。
這些方法應避免使用。使用.call.value(...)("")代替。
這就存在著重入的風險。一定要使用現有的一種強大的方法來防止重入漏洞。
Vyper的send()也有同樣的問題。
本翻譯由CellNetwork贊助支持。
來源:https://consensys.net/diligence/blog/2019/09/stop-using-soliditys-transfer-now/
參考資料
登鏈翻譯計劃:https://github.com/lbc-team/Pioneer
翻譯小組:https://learnblockchain.cn/people/412
Tiny熊:https://learnblockchain.cn/people/15
EIP1884:https://learnblockchain.cn/docs/eips/eip-1884.html
伊斯坦布爾硬分叉:https://learnblockchain.cn/2019/11/21/istanbul-update
EIP1884:https://learnblockchain.cn/docs/eips/eip-1884.html
破壞了一些現有的智能合約:https://docs.google.com/presentation/d/1IiRYSjwle02zQUmWId06Bss8GrxGyw6nQAiZdCRFEPk/edit
fallback函數:https://learnblockchain.cn/docs/solidity/contracts.html#fallback
Solidity的transfer()或send()方法:https://solidity.readthedocs.io/en/v0.5.11/units-and-global-variables.html#members-of-address-types
動機部分:https://eips.ethereum.org/EIPS/eip-1884#motivation
重入攻擊:https://learnblockchain.cn/docs/solidity/security-considerations.html#re-entance
TheDAO:https://learnblockchain.cn/2019/04/07/dao
君士坦丁堡分叉被推遲:https://blog.ethereum.org/2019/01/15/security-alert-ethereum-constantinople-postponement/
檢查-生效-交互(checks-effects-interactions):https://learnblockchain.cn/docs/solidity/security-considerations.html#checks-effects-interactions
OpenZeppelin的ReentrancyGuard:https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/ReentrancyGuard.sol
Vyper的send()函數:https://vyper.readthedocs.io/en/v0.1.0-beta.12/built-in-functions.html#send
raw_call:https://vyper.readthedocs.io/en/v0.1.0-beta.10/built-in-functions.html#raw-call
@nonreentrant()修飾器:https://vyper.readthedocs.io/en/v0.1.0-beta.12/structure-of-a-contract.html#decorators
CellNetwork:https://www.cellnetwork.io/?utm_souce=learnblockchain
免責聲明:作為區塊鏈信息平臺,本站所發布文章僅代表作者個人觀點,與鏈聞ChainNews立場無關。文章內的信息、意見等均僅供參考,并非作為或被視為實際投資建議。
本文來源于非小號媒體平臺:
登鏈社區
現已在非小號資訊平臺發布105篇作品,
非小號開放平臺歡迎幣圈作者入駐
入駐指南:
/apply_guide/
本文網址:
/news/9729855.html
免責聲明:
1.資訊內容不構成投資建議,投資者應獨立決策并自行承擔風險
2.本文版權歸屬原作所有,僅代表作者本人觀點,不代表非小號的觀點或立場
上一篇:
盤點零知識證明代表性項目:如何影響和塑造區塊鏈生態系統?
尊敬的虎符用戶, 虎符將于2021年03月01日20:05(UTC8)重磅上線A5T/USDT交易對。充值開啟時間3月3日20:00(UTC8),提現開啟時間將以公告形式另行通知.
1900/1/1 0:00:00編者按:本文來自?加密谷Live,作者:ChrisDixon,翻譯:Edward,Odaily星球日報經授權轉載.
1900/1/1 0:00:00尊敬的用戶: BiKi平臺即將首發上線Unique.Photo(FOTO),并開放FOTO/USDT交易對.
1900/1/1 0:00:00Tether的簽發者 “盡管我們認為這是一次令人震驚的失敗嘗試,但我們還是認真對待。我們已經向執法部門報告了偽造的通訊和相關的贖金要求。一如既往,我們將全力支持執法部門對這種勒索方案進行調查.
1900/1/1 0:00:00波卡生態鏈上治理基礎設施DoraFactory完成第二輪融資,FundamentalLabs,SignumCapital,CMSHoldings,HypersphereVentures.
1900/1/1 0:00:00我們正在經歷互聯網最為鼎盛的時期,然而這種空前繁榮并不能代表行業已經到達了頂點,數字貨幣、數字孿生體、數字經濟、數字化轉型,互聯網未來的縱深度不斷地擴大.
1900/1/1 0:00:00