停止使用 Solidity 的 transfer()_GAS

譯文出自：登鏈翻譯計劃

譯者：翻譯小組

校對：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費用不是隨意的。它們旨在反映組成以太坊的節點上每個操作所消耗的基本資源。

動態 | 比特幣現金網絡停止生產區塊5小時:據Bitcoinist消息，比特幣現金(BCH)今天經歷了嚴重的采礦異常，網絡在5個小時內沒有產生一個塊。截至今日8:00(UTC)，比特幣現金網絡已恢復正常的出塊生產。該事件在區塊高度620025處發生，下一個區塊高度620026花費了五個多小時才出現。分析指出，此次區塊異常揭示了比特幣現金的低使用率。[2020/1/30]

來自EIP的動機部分。

操作的價格和資源消耗之間的不平衡有幾個缺點：

可能被用于攻擊，通過用低Gas操作填充區塊，導致區塊處理時間過長。

價格過低的操作碼會歪曲區塊Gas限制，有時區塊完成得很快，但其他Gas使用量相似的區塊完成得很慢。

如果操作定價更均衡，我們可以最大限度地提高塊Gas限制，并有一個更穩定的處理時間。

SLOAD歷來價格偏低，EIP1884糾正了這一問題。

智能合約不能依賴Gas成本

如果Gas成本是可以變化的，那么智能合約就不能依賴于任何特定的Gas成本。

任何使用transfer()或send()的智能合約，都是通過轉發固定數量的Gas來而產生2300Gas成本的硬性依賴。

因此建議停止在代碼中使用transfer()和send()，而改用call()。

contractVulnerable{functionwithdraw(uint256amount)external{//Thisforwards2300gas,whichmaynotbeenoughiftherecipient//isacontractandgascostschange

動態 | 德州證券委員會對兩家欺詐性加密貨幣公司發出停止令:美國德州證券委員會的執法部門正在進行第二輪對可疑加??密貨幣投資產品的調查。周一，德州官員對PK Crypto Investment和Crypto Miner Limited（又名Cyp Miner）采取了緊急執法行動。停止令詳細說明了可疑的加密貨幣欺詐活動，涉嫌吹捧利潤而忽略了重大風險。州證券委員會報告稱，這種騙局涉及各種誘騙消費者的策略，例如捏造公司記錄、地址、注冊和出售證券的許可，挪用其他業務的相似圖片以及對財務報表進行欺詐性陳述。該州證券委員會已針對涉嫌參與非法和欺詐性加密貨幣計劃的79個組織采取了共25項執法行動。（dailyhodl）[2019/10/17]

}contractFixed{functionwithdraw(uint256amount)external{//Thisforwardsallavailablegas

}

除了轉發固定的2300Gas之外，這兩個合約是等價的。

關于重入攻擊怎么辦？

重入攻擊，希望是你看到上述代碼后的第一反應。引入transfer()和send()的全部原因是為了解決TheDAO上臭名昭著的黑客事件的原因。當時的想法是，2300Gas足夠觸發一個日志條目，但不足以進行再重入的調用來修改存儲狀態。

不過請記住，Gas成本是會變化的，這意味著無論如何這都不是解決再重入攻擊的好辦法。19年初，君士坦丁堡分叉被推遲，就是因為gas成本的降低，導致以前重入攻擊安全的代碼不再安全。

公告 | Bithumb暫時停止EOS提款服務:據Bithumb公告顯示，由于EOS主網不穩定導致某些交易未記錄，將暫時停止EOS提款服務。[2018/9/11]

如果我們不打算再使用transfer()和send()，我們就必須用更強大的方式來防止重入。幸運的是，這個問題有很好的解決辦法。

檢查-生效-交互模式

消除重入性bug最簡單的方法是使用檢查-生效-交互(checks-effects-interactions)。這是一個典型的重入bug的例子：

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()進行重入調用對攻擊者來說沒有收益。

動態 | Bitfi錢包停止漏洞賞金計劃:據ccn消息，殺軟件創始人約翰·邁克菲與?Bitfi?團隊共同推出開源?Bitfi?錢包將不再宣稱“不可破解”，并停止漏洞賞金計劃。Bitfi曾高調宣稱其錢包是世界上第一個堅不可摧的硬件錢包，然后卻在不到一周的時間被攻破，為此Bitfi在社交媒體上受到了嚴重的質疑，這個決定旨在挽回其聲譽。Bitfi現在表示將聘請經驗豐富的安全經理來確認安全研究人員發現的漏洞。[2018/8/31]

使用重入防護

另一種防止重入的方法是明確地檢查和拒絕這種調用。下面是一個簡單版的重入防護，大家可以看看思路：

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語言有出現這個情況嗎？

支付處理器Stripe宣布將在4月停止接受比特幣:支付處理器Stripe的產品經理Tom Karlo周二在一篇博客文章中寫道，Stripe將在未來三個月內從比特幣轉型，將于2018年4月23日完全停止接受比特幣支付。據悉，Stripe于2015年啟動了比特幣交易，然而由于交易時間過長，交易失敗率上升以及費用不斷增加，比特幣在Stripe的商戶和用戶中變得越來越不受歡迎。但是雖然Stripe將不再接受比特幣付款，Stripe仍然對加密貨幣的整體前景持樂觀態度。Karlo在博客中寫道，他相信未來該平臺或許會接受其他加密貨幣的付款。[2018/1/24]

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.本文版權歸屬原作所有，僅代表作者本人觀點，不代表非小號的觀點或立場

上一篇：

盤點零知識證明代表性項目：如何影響和塑造區塊鏈生態系統？

Tags：GASTRARANTPSGastroAdvisorNanTradeRankingBallhttps://etherscan.io

Ethereum