譯文出自:登鏈翻譯計劃
譯者:翻譯小組
校對: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費用不是隨意的。它們旨在反映組成以太坊的節點上每個操作所消耗的基本資源。
丹麥監管機構命令Saxo Bank停止加密貨幣交易:7月5日消息,丹麥金融監管機構命令Saxo Bank處置其持有的加密資產,并表示根據現行法規,銀行不得進行自營交易。丹麥金融監管局在一份聲明中表示,Saxo Bank擁有一個供客戶交易加密貨幣的平臺,自身也持有加密資產以對沖市場風險。聲明稱,此類交易不屬于丹麥金融機構的合法業務活動。[2023/7/5 22:19:19]
來自EIP的動機部分。
操作的價格和資源消耗之間的不平衡有幾個缺點:
可能被用于攻擊,通過用低Gas操作填充區塊,導致區塊處理時間過長。
價格過低的操作碼會歪曲區塊Gas限制,有時區塊完成得很快,但其他Gas使用量相似的區塊完成得很慢。
如果操作定價更均衡,我們可以最大限度地提高塊Gas限制,并有一個更穩定的處理時間。
SLOAD歷來價格偏低,EIP1884糾正了這一問題。
智能合約不能依賴Gas成本
如果Gas成本是可以變化的,那么智能合約就不能依賴于任何特定的Gas成本。
任何使用transfer()或send()的智能合約,都是通過轉發固定數量的Gas來而產生2300Gas成本的硬性依賴。
因此建議停止在代碼中使用transfer()和send(),而改用call()。
contractVulnerable{functionwithdraw(uint256amount)external{//Thisforwards2300gas,whichmaynotbeenoughiftherecipient//isacontractandgascostschange
FTX US:可能會于幾日后停止提供交易服務,請用戶關掉要平的倉位:11月11日消息,根據FTX US的置頂公告,FTXUS可能會于幾日后停止提供交易服務,請用戶關掉要平的倉位,提款將保持開放。[2022/11/11 12:47:00]
}contractFixed{functionwithdraw(uint256amount)external{//Thisforwardsallavailablegas
}
除了轉發固定的2300Gas之外,這兩個合約是等價的。
關于重入攻擊怎么辦?
重入攻擊,希望是你看到上述代碼后的第一反應。引入transfer()和send()的全部原因是為了解決TheDAO上臭名昭著的黑客事件的原因。當時的想法是,2300Gas足夠觸發一個日志條目,但不足以進行再重入的調用來修改存儲狀態。
不過請記住,Gas成本是會變化的,這意味著無論如何這都不是解決再重入攻擊的好辦法。19年初,君士坦丁堡分叉被推遲,就是因為gas成本的降低,導致以前重入攻擊安全的代碼不再安全。
如果我們不打算再使用transfer()和send(),我們就必須用更強大的方式來防止重入。幸運的是,這個問題有很好的解決辦法。
檢查-生效-交互模式
消除重入性bug最簡單的方法是使用檢查-生效-交互(checks-effects-interactions)。這是一個典型的重入bug的例子:
contractVulnerable{..
韓國NH Nonghyup銀行已要求加密貨幣交易所Bithumb和Coinone停止代幣的存取:NH Nonghyup銀行已要求加密貨幣交易所Bithumb和Coinone停止代幣的存取,直至建立旅行規則。旅行規則是國際反洗錢組織 (FATF) 對虛擬資產運營商施加的一項義務。
NH Nonghyup銀行解釋說,由于區塊鏈的性質,很難遵守《特定金融交易信息法》(Special Provisions Act)修正案所規定的旅行規則,因此他們想阻止代幣的移動,直到系統建成。Bithumb的一位官員說:這意味著停止代幣而不是韓元的存款和提款,以防止代幣在交易所之間直接流動。(韓聯社)[2021/8/3 1:32:10]
}
如果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()進行重入調用對攻擊者來說沒有收益。
動態 | 芯動礦機停止Grin G32礦機項目并取消預購訂單:1月17日消息,礦機生產商芯動礦機宣布停止Grin G32礦機項目,取消該礦機的預購訂單,稱由于Grin G32礦機的GPU定制芯片需要兼容CC32/ CC31協議,復雜度高、尺寸大,代工廠的設計支持部門無法完成良率評估,無法保證這樣大型GPU ASIC的一次成功而遲遲沒有投產,導致芯動礦機無法滿足預定在一月和二月給客戶出貨的要求。(鏈聞)[2020/1/17]
使用重入防護
另一種防止重入的方法是明確地檢查和拒絕這種調用。下面是一個簡單版的重入防護,大家可以看看思路:
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語言有出現這個情況嗎?
動態 | 幣安將于2019年09月01日停止部分API接口:幣安官方發布微博表示,Binance將于2019年09月01日07:59(香港時間)停止部分API接口,具體清單如下:GET api/v1/order、GET api/v1/openOrders、POST api/v1/order、DELETE api/v1/order、GET api/v1/allOrders、GET api/v1/account、GET api/v1/myTrades。[2019/8/16]
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.本文版權歸屬原作所有,僅代表作者本人觀點,不代表非小號的觀點或立場
上一篇:
盤點零知識證明代表性項目:如何影響和塑造區塊鏈生態系統?
IPFS/Filecoin是一個長期性的項目,需要時間的澆灌才可以變成一棵大樹。但這分毫不影響大家對Filecoin的希望。現如今,世界經濟正在發生巨大的變化,互聯網成為新基建的重要組成部分.
1900/1/1 0:00:00“起風了,那烏家就破產吧”。近日,國產電視劇《贅婿》頻頻喜提熱搜,男主寧毅利用“期貨”、“做多”、“對沖”等現代金融思維,使得對手烏家資金鏈斷掉,向男主寧毅低頭,看得觀眾直呼過癮.
1900/1/1 0:00:00自2020年3月比特幣突然跌破4000美元以來,比特幣一直在瘋狂上漲。截止目前比特幣交易價格在5萬大關以上,整整上漲了1150%.
1900/1/1 0:00:00行情分析: 以太坊方面,這兩天空間走的不是很大,但是下跌的陰線效果還是持續影響著整體情緒。單從日線技術結構上來看,K組合未形成明顯的上升趨勢,雖有反彈,但是也是屬于正常的修正范疇.
1900/1/1 0:00:00根據項目負責人魯本·雅普的說法,隱私權硬幣Firo背后的團隊已經確定了多個“可疑”的Lelantus交易.
1900/1/1 0:00:00尊敬的LBank用戶: LBank現公示從2月25日17:00至02月26日17:00交易量排名前三的中獎名單,具體情況如下:*?為保證活動公平,LBank嚴禁刷單、對敲等作弊行為.
1900/1/1 0:00:00