比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > MANA > Info

代碼分析 | 以太坊硬編碼常數如何解決“重入攻擊”風險?_ALL

Author:

Time:1900/1/1 0:00:00

原文作者:JordanEarls

譯者:徐錦程

免責聲明:該文僅為技術人員個人觀點,不代表Qtum基金會立場

當我在寫另一篇不相關的文章的時候,接觸了以太坊生態里建立的假設。本篇文章我將會講述為什么以太坊假設是有缺陷的以及給出相應的解決方案。首先,我們需要知道以太坊假設是什么。假設的內容是為了向以太坊智能合約發送ETH,同時為了避免重入攻擊,調用智能合約的gaslimit應該不多于2300。

魔力數和STATICALL

每一個使用transfer函數發送款項的現代智能合約中,都有一個硬編碼的常數——2300。例如在這個簡單的例子中:

contractTester{

function()external{

addresspayablepaymentAddress=0x5A0b54D5dc17e0AadC383d2db43B0a0D3E029c4c;paymentAddress.transfer(5);

}

}

Transfer位轉譯成EVM字節碼后如下:

CALL2300,address,....

這個數字為何如此重要?這樣決定是有原因的。

這曾經是防止一類被歸為“重入”的智能合約漏洞最有效率的方式。重入的概念是,一個智能合約調用另一個智能合約,最終再一次調用了原來的智能合約。重入是在臭名昭著的theDAO黑客事件中被利用的主要漏洞。當時提出的解決方案不是通過改變以太坊協議來允許合約阻止這種行為,而是最終通過改變Solidity讓向智能合約發送ETH的默認行為使用非常少量的gas,這樣重入問題就無法再被利用。當然,也有一個副作用,這個改變讓收錢的智能合約只能在日志里記錄一個事件,而不能改變狀態或者做任何別的事。

前DRW交易員被指控竊取專有量化代碼:金色財經報道,前DRW交易員Avi Mahajan在紐約聯邦法院被DRW首席定量研究員David Sweet控制的實體起訴。根據訴訟稱,Avi Mahajan于5月份將部分Cogneato代碼復制到一個遠程站點,然后在7月份面對此事時撒了謊。根據訴訟稱,Mahajan因該事件被DRW解雇,David Sweet請求法院阻止Mahajan披露、使用或擁有他涉嫌復制的代碼以及任何衍生作品,該訴訟還要求賠償超過250萬美元。

據悉,DRW是一家總部位于芝加哥的自營交易公司,由Don Wilson于1992年創立,以其衍生品交易而聞名。它也是華爾街早期進入加密貨幣市場的公司之一,其Cumberland分部現在是最大的加密貨幣交易商之一。[2023/9/6 13:20:34]

但最近以太坊引入了STATICCALL,作為防止重入問題的靈丹妙藥。它真的是靈丹妙藥么?回答是——不全是。

首先,我們試著強制Solidity在我們的測試合約的fallback函數中使用STATICCALL:

pragmasolidity^0.5.9;

contractTester{

function()externalview{

}

functionfoo()externalview{

}

}

然后編譯器用以下報錯獎勵了我們的冒險精神:

browser/test.sol:4:5:TypeError:Fallbackfunctionmustbepayableornon-payable,butis"view".

波場基金會:社區治理不能超越私有財產神圣性 呼吁和平解決問題撤回代碼且不再凍結資產:3月8日,波場基金會發文《“Steem接管”背后的真相》稱,TRON從來沒想過接管任何區塊鏈,且尊重權力下放和社區治理。但是社區治理不能超越私有財產的神圣性,而私有財產是區塊鏈和加密貨幣的基礎。當Steemit被收購,TRON期待與社區一起工作并交流意見,以此使得STEEM變得更強大。但不幸的是,一些見證人凍結了Steemit合法擁有的6500萬STEEM。對此,波場基金會表示,這些見證人不僅沒有權利這樣做,而且還打破了私有財產神圣不可侵犯的規則。如果出現分歧,應該彼此討論和交流或者通過選票競爭,但不能僅僅凍結資產。當我們控制網絡時,我們唯一要做的就是收回我們的資金。一旦100%確定基金和交易所資產是安全的,我們愿意將所有證人和控制權交還給社區。[2020/3/8]

function()externalview{

^(Relevantsourcepartstartshereandspansacrossmultiplelines).

而且,有趣的是,并沒有明確的“non-payable“關鍵字來明確地標識一個函數為non-payable。讓我們從fallback函數里去除view關鍵字,檢查這個ABI:

[

{

"constant":true,

"inputs":,

"name":"foo",

"outputs":,

"payable":false,

"stateMutability":"view",

"type":"function"

動態 | Loom團隊發布免費課程 可學習Libra代碼庫基礎知識:據CoinDesk報道,Loom團隊正在發布一個新的免費CryptoZombies課程,旨在使任何人都可以學習使用Facebook已發布的Libra代碼庫的基礎知識。[2019/8/27]

},

{

"payable":false,

"stateMutability":"nonpayable",

"type":"fallback"

}

]

所以,Solidity決定一個fallback函數的stateMutability只能是non-payable或者payable,不允許是“view”。

但我們假裝Solidity不那么糟糕,而是允許這么做。然后你就可以讓Solidity使用STATICCALL向一個合約的fallback轉錢,一切正常了嗎?還是不行。STATICCALL的設計很有些特殊。當然,你可以在邏輯中使用fallback函數,但是STATICCALL的設計用意是允許外部合約調用而沒有副作用,只返回計算結果的數據。Fallback函數實際上沒有返回數據的概念,雖然如果你下降到調用者和被調用者的匯編層面來看這可以實現。所以,STATICCALL在這個場景下沒什么用,除非你在做什么很少見的操作。但是如果你要做些不常見的事情,為什么不寫一個常規的函數調用而要用fallback函數呢?好吧,我有些跑題。

STATICCALL強調的是沒有副作用。這意味著你沒法做以下操作:

更改狀態

調用另一個會更改狀態的合約

金色相對論 |?Blockstream繆永權:閃電網絡不需要大眾的共識來進行代碼修改:在本期金色相對論之“閃電網絡:Hello,TPS”上,金色財經合伙人佟揚對話Blockstream首席戰略官繆永權,針對目前閃電網絡是否已經足夠安全的問題,繆永權表示,多一層代碼其實是多一層安全。就和互聯網一樣,比特幣的開發也是一層一層來的。互聯網擁有5層:物理層、鏈路層、網絡層、傳輸層和應用層。你能看到的這段話其實是在應用層上。在比特幣的第1層里,礦工進行挖礦,交易一般在10分鐘內得到確認。比特幣的第2層上則有閃電網絡以及側鏈,例如Liquid網絡。在第1層上開發必須小心謹慎地進行,因為稍有不慎就有可能毀掉整個網絡。像比特幣這么大規模的網絡,如果在第1層上出問題,則后果不堪設想。而在第2層上,我們可以更快地進行創新和升級。如果第2層上出了什么問題影響也沒這么大,因為第1層還是完整的。閃電網絡的設計非常巧妙,并且包含了故障保險,即使代碼出現問題,也只會帶來較小的故障,而不會有資產損失的風險。更好更安全的設計也能夠很快地進行安裝,因為不需要大眾的共識來進行代碼修改。[2019/3/7]

創建合約

自我銷毀一個合約

在日志里記錄事件

給別的合約發送ETH,或者更改一個合約的余額

因為一個合約被STATICCALL而收到ETH

你能預計到不能更改狀態,因為正是從這個角度直接阻止了重入錯誤的發生。雖然,我沒預料到在日志里記錄事件也被禁止了。在日志里記錄事件對智能合約來說沒有可見的實際副作用。一旦一個事件被記錄在日志里,一個外部的智能合約就無法看到這個狀態被記錄了。這完全是個空輸出。你向虛空中發送了數據,但是再也不能收到那些數據,甚至不能觀察到那些數據被發送過。這個副作用只有在區塊鏈外的世界里才可見。事件通常被用來通知外部界面進入區塊鏈,就像說“這兒發生了你可能會感興趣的事情”。

ITC萬物鏈主鏈代碼開源,測試網絡即將上線:近日,ITC萬物鏈團隊宣布,ITC萬物鏈項目基于DAG的主鏈代碼已經開源,測試網絡即將上線。據悉,ITC官方Twitter亦同步推出做任務贏ITC的社區獎勵活動,將會以10000個ITC作為獎項。[2018/2/4]

所以,假設以技術純粹性的名義,STATICCALL非常嚴格地執行了“無副作用”這條規則。無副作用里的副作用包括了只有外部可見的副作用。另外的效果當然是ETH不能在STATICCALL里進行轉移。這有效地打破了它作為解決重入問題競爭者的局面。通常來說,當調用fallback函數時,你或者犯了錯,或者想要給一個合約發送ETH。當一個合約收到ETH時,它通常會在日志里記錄一個事件來告訴外部程序”嘿,我收到了一筆錢,你可能想要對此做點什么,給那個用戶發個信息之類的”。在有神奇的2300gaslimit時,沒法給另一個合約發送部分ETH,也不能更改合約內的狀態,比如更新一下”預計余額“變量之類的。STATICCALL的唯一用處是從你不想送出ETH的合約的廣義函數那里阻止重入攻擊。

這意味著,唯一有效阻止重入攻擊,又能發送ETH、允許創造事件的方式仍然是以前的方法,使用神奇的gaslimit常數——2300。這為什么會是個大問題?這并不是在說硬編碼數字在計算機科學里被認為是不好的,而是說硬編碼數字實際上使一些合約會在需要以太坊周圍的生態環境做一些改變時變得無法運行。

動態區塊鏈里的常量

這個reddit帖子[1]提供了一些有用的細節,指出了以太坊之前在一次升級中增加了CALL指令和一些其他指令的最小花費。這類顧慮在未來所有gasprice調整的時候大都依然適用。NickJohnson指出“有明確gaslimit的調用非常少有“。在這句話提出的時候,Solidity會在做與transfer相等的操作時把所有能用的gas都轉移到一個合約里,于是就留下了利用重入類操作進行攻擊的可能性。Solidity在theDAO攻擊發生后引入了2300的gaslimit,為了阻止發生類似事件。現在,公平地說,在默認情況下調用外部合約函數時,Solidity仍然會默認把所有gas都發送過去。而且文檔里關于這個操作的隱患有無數警告。神奇的2300gaslimit常數僅僅強化了那個reddit帖子里指出的問題。

比如說,想象一個合約有一個payable的fallback函數,這個函數使用了一些在部署的時候便宜到能在2300gaslimit內執行的opcode。但是,為了應對一次攻擊或者什么之前沒發現的問題,后來這些opcode的價格大幅提高了。這個合約就會變得沒法使用,沒法從那些沒明確地將gaslimit提高到高于2300的合約那里接受ETH。更糟糕的是,明確地提高gaslimit會讓那些發起調用的合約暴露在被重入攻擊的危險中。所以,這個合約很可能就必須被棄用了。根據它接收ETH的實際邏輯,它很可能像被擋在了墻里一樣,里面的錢也沒法提取出來。

這個2300gaslimit假設不僅僅對向后兼容性有害。它也傷害了以太坊協議內的潛在的未來創新。例如,EIP-1293[2],SSTORE的凈gas計量,是一個創新的協議改進,將會降低包括存儲在內的許多智能合約行為的成本。它能使存儲的gas花費能反映出區塊鏈上的實際花費,這意味著當在一次執行中第二次寫入一個存儲鍵值的時候,將會花費更少gas。這符合常理,因為從區塊鏈的角度來看,第二次狀態修改幾乎沒有代價,而第一次狀態修改就幾乎給區塊鏈支付了足夠的費用。這個提案曾經被包括進了君士坦丁堡分叉,但在最后時刻被移除了[3],因為發現這會給大量現存的智能合約帶來危險隱患[4]。這個判斷是對的,這個改進會減少狀態存儲成本,進而帶來重入類的攻擊隱患,即使只有非常保守的2300點gaslimit。這件事件中諷刺的一點是,提案的設計實際上會減少智能合約重入保護的gas成本,而且這也是它的主要應用場景。

現在,為了EIP-1283的重入問題而提出的解決方案是EIP-1706[5]。這個提案中的改變可以總結為:凈gas值測量帶來的費用減少將不會在當前執行的gaslimit低于2300時執行。所以,現在這個神奇常量在以太坊共識協議里變得更加根深蒂固。這將會有效地迫使任何未來的EVM語言在合約調用時也使用硬編碼的2300gaslimit來防止重入攻擊的危險。

這個神奇的假設基本上斷絕了存儲變得更便宜的可能性,更不用提以太坊將來要修復擴展性問題以及任何別的問題。即使有一天發明一種神奇方法能將所有存儲移到鏈下,使存儲基本免費,存儲的實際gas花費仍然不能低于2300,否則就會暴露在重入攻擊的危險中。

可能的解決方案

我說了很多,但這確實是個很難的問題是吧?我們正在討論區塊鏈,有關區塊鏈的所有技術都很難。這也是個事實,但同時,我也更傾向不認同以太坊團隊在改進共識協議時刻意強調的技術純粹性。實際上,我覺得EIP-1706因為硬編碼問題不會被以太坊主網接受,它不夠純粹。我個人預測EIP-1283會被無限期延期,可能最終會加入到以太坊2.0里面。

我會怎么解決重入問題?有兩個可能的方案。

第一個比較簡單:再加個opcode,但是加一個有用的。我的提議是加入這個opcode:

MAGICCALLWITHOUTREENTRANCYEXPLOITS

這確實是個需要讀很久的簡明的名字。但是嚴肅的說,這個opcode的作用于CALL基本一樣,除了以下改變:

允許SSTORE,就像STATICCALL那樣

其他任何事情都被允許

老實說我不怎么喜歡這個解決方案。我更喜歡解決本質問題,允許重入任何智能合約。理想情況下,可以存在一個非常簡單的opcode,就像這個:

KILLMEIFREENTRANT

這會在當前合約已經在調用棧里時停止執行。這個功能只需要一個老道的開發者工作一晚上就能完成,然后再需要一個白天做安全性測試。這會允許在防止重入攻擊時不會涉及到存儲,并且能用如下的簡單代碼非常低費地實現ifcallstack.exists(currentAddress)thenthrow但是說回來,我覺得這樣一個不夠“純粹”的opcode永遠不會被考慮采納進以太坊。

還有更純粹的替代性方案,比如把所有的調用棧暴露給智能合約。如果知道了調用棧里都有什么,就能簡單地寫一個Solidity函數來在棧里迭代,檢查是否它自己的地址被包含在它里面,來證明現有的執行時在重入。而且當然,如果不在預料之中,合約就會拋出異常來阻止任何不想要的或者預料之外的行為。這也會允許在智能合約里加入其他特性。例如,想象你舉辦了一場智能合約能夠參與的眾籌。但是,你用黑名單拉黑了一些跟恐怖分子有關的智能合約。恐怖分子能簡單地部署一個“過路“智能合約,然后讓被黑名單阻擋的智能合約調用”過路“合約,最后就能調用你的眾籌合約。如果有調用棧的信息,這種行為就能被發現。現在在以太坊里,完全無法在鏈上用智能合約邏輯檢測這一點。

現在以太坊上阻止重入攻擊的設計幾乎都本身存在安全風險。

通常在合約執行的時候,一個變量會被設置成1,表明正在執行。當執行完成后,這個變量會重置成0。這樣,如果你在過程中執行一個合約調用,如果外部合約想要重新進入現有合約,這個合約會看到變量被設置成了1,然后中止執行。然而,如果有些邏輯問題導致執行結束了變量沒被重置回0會怎樣?基本來說,這個智能合約就被隔離了,沒法再被操作,因為它一直認為它正在被攻擊。

重入是以太坊生態內的頭號,也是被討論得最多的問題,同時也被一些網站列為在創建智能合約時應該小心的第一號安全問題。這是導致了theDAO攻擊和一些其他的攻擊與異常的元兇。這也是智能合約開發者最難正確處理的最難問題之一,所有大多數智能合約就簡單地從根源上杜絕了這個可能。對我來說,以太坊還沒有實施什么直接的方法來阻止重入十分不可思議。相反,依靠限制很多的STATICCALL機制或者神奇的2300gaslimit常數似乎優先級更高。在我心中,這值得有一個一流的解決方案,而非一個建立在假設之上的丑陋修改。

Tags:ALLGASSTA以太坊trustwallet沒有usdtPegasusStarSharks SEA免費挖以太坊幣的aPP

MANA
10月8日CRO/USDT上線大幣網(Dcoin)公告_COI

親愛的Dcoin用戶: Dcoin將于10月8日15:00上線CRO/USDTCRO目前開設交易對CRO/BTC,新增CRO/USDT(去交易).

1900/1/1 0:00:00
【財路專訪】 江南董晉:如何從負2萬到2000萬?_FTX

專訪時間:10月3日20:00 專訪記者:財路官方 本期嘉賓:江南董晉 財路是垂直于區塊鏈領域,以財路節點作為運營核心,社區、海螺、共識公鏈三大產品作為引擎驅動的區塊鏈共識孵化生態.

1900/1/1 0:00:00
法拉第平臺幣FF手續費每周銷毀(第四期)銷毀公示_TPS

親愛的社區成員:法拉第交易所2019年9月30日——2019年10月6日平臺幣FF/USDT交易對交易量為210,846,519.2144,根據白皮書中的手續費銷毀原則.

1900/1/1 0:00:00
比特幣中國攜六大業務板塊,劍指全球市場_數字資產

摘要: 當前比特幣中國囊括比特幣中國云、投資業務、海外業務、資產管理、公鏈服務、研究院六大業務板塊,全線出擊持續打造全球業務生態 正文: 近期.

1900/1/1 0:00:00
比原鏈新征程 | 長鋏:未來一年全力推進跨鏈DeFi場景的落地_HAI

10月9日晚7點,在ChainNode舉行的主題為“MOV:比原鏈新征程”以及管理團隊的更新升級的AMA中,比原鏈創始人長鋏表示,比原鏈的規劃分為三個階段,第一階段:2017年-2018年.

1900/1/1 0:00:00
關于“GALAXY ”銀河計劃第一期項目EST申購結果及價格公示_APE

親愛的用戶: 您好! 感謝您對ZG.COM的GALAXY銀河計劃第1期項目EST的關注,目前所有認購結果已計算完畢,EST已發放完畢.

1900/1/1 0:00:00
ads