合約實現中的事與愿違——實現與設計不符_比特幣

針對區塊鏈安全問題，成都鏈安科技團隊每一周都將出智能合約安全漏洞解析連載，希望能幫助程序員寫出更加安全牢固的合約，防患于未然。

引子：出塵花品愛池荷，零落秋風可奈何——《病中詠秋荷》清·蔡桓

本期話題

邏輯判斷失誤事與愿違，功能實現不周弄巧成拙

智能合約作為區塊鏈技術革命的核心，乘著以太坊興起的潮流，發展至今已經兩年有余。智能合約的理念最早可以追溯到1995年，幾乎與互聯網同時出現。廣受贊譽的密碼學家尼克薩博最早提出了這個術語，他也是為比特幣打下基礎的學者之一。隨著比特幣的出現和應用，讓智能合約的理念有了實現的機會。

從原理上來說，智能合約的執行依靠的是條件的觸發，也就是類似于程序中的if-then語句。也就是說，智能合約對于其中合同條款的執行取決于預先編譯好的邏輯判斷，進而與真實世界的資產進行交互。本期，我們歸納總結了一些在從設計到實現的過程中出現安全漏洞。

Gate.io已上線KAVA永續合約實盤交易（USDT結算）:據官方公告，Gate.io已上線KAVA/USDT永續合約實盤交易（USDT結算），支持1-20倍做多和做空操作，杠桿率可以在下單時自行選擇。Gate.io永續合約是全球最活躍的區塊鏈資產合約市場之一，日交易量高達8億美金，結算類型分為“BTC結算永續合約”和“USDT結算永續合約”兩種。Gate.io提示：請用戶務必在完全了解風險并能承擔風險的情況下參與，Gate.io平臺不對投資行為承擔擔保、賠償等責任。[2021/1/22 16:46:18]

智能合約愈發復雜

我們都知道，一個智能合約包含兩部分：代碼邏輯和數據。

相比于比特幣的腳本語言，智能合約發展的一個終極目標就是“圖靈完備”，簡單來說，就是無論怎樣復雜的交易邏輯或功能都可以實現。

Gate.io已上線THETA和 ZIL永續合約實盤交易:據官方公告，Gate.io已上線THETA/USDT和ZIL/USDT永續合約實盤交易，支持1-20倍做多和做空操作，杠桿率可以在下單時自行選擇。Gate.io永續合約是全球最活躍的區塊鏈資產合約市場之一，日交易量高達8億美金，結算類型分為“BTC結算永續合約”和“USDT結算永續合約”兩種。

Gate.io提示：請用戶務必在完全了解風險并能承擔風險的情況下參與，Gate.io平臺不對投資行為承擔擔保、賠償等責任。[2020/12/28 15:54:46]

智能合約的開發經過一段時間的沉淀，已經由最初簡單的轉賬、付款等功能需求，向越來越多的交易功能和邏輯進化，比如凍結、暫停、中止、授權。根據復雜性理論，越復雜的系統越容易有出錯的可能。因此，越是功能強大的智能合約，其邏輯就越是復雜，也越容易出現邏輯上的漏洞。

火幣合約將于12月11日18:00上線BTC等5大幣種永續合約實時結算功能:火幣官方剛剛發布公告稱，火幣合約平臺將于2020年12月11日18:00上線BTC/USDT、ETH/USDT、LTC/USDT、LINK/USDT和XRP/USDT永續合約在全倉和逐倉模式下實時結算功能。暫定試行至新加坡時間2021年6月30日。[2020/12/11 14:56:12]

開發合約也會言多必失？

打個比方來說，邏輯更加復雜的代碼相當于更龐大的城池，在容納更多人口的同時，需要防守的地方也更多。有些精心設計而又容易忽視防范的地方，比如錯綜復雜的下水道系統，正是容易讓整個城池淪陷的重大隱患。

同樣，在智能合約中，開發者為自己的合約設計的特殊功能意在穩固代幣的市值或者項目的壽命，而正是在這些邏輯和功能中，一個細微的失誤，比如>、<、+、-這些符號的錯誤就可能導致整個邏輯與預想出現嚴重的偏差，留下致命的隱患。

58COIN交易所與跟單王Pro達成戰略合作關系 合約實盤全面接入:據官方消息，58COIN交易所與智慧跟單平臺跟單王Pro達成戰略合作關系。跟單王Pro現已全面完成58COIN USDT合約、季度合約實盤賬戶的數據接入，其他合約后續將陸續接入，投資者可通過跟單王Pro接入58COIN合約賬戶實盤API，并能智能化跟單心儀分析師，及時獲取鏈上異動、爆倉單提醒、交易所凈流入等。這是58COIN交易所首次公開的戰略級合作。

跟單王Pro全球CEO Edmond表示：“我們在研發階段就向58拋出了橄欖枝，整個接洽過程持續了近兩個月，58非常注重風控，愿意面向我們開放包括USDT合約在內的全線合約產品，非常難得，接下來我們還會展開更多實質性的合作” 。[2020/8/17]

代碼實現失誤漏洞總結

我們將代碼實現過程中產生的失誤分為兩種：

VETH智能合約遭攻擊系合約實現問題:據PeckShield態勢感知平臺數據顯示，06月30日下午17時46分，VETH智能合約遭到黑客攻擊，被盜919,299個VETH，價值90萬美元。PeckShied安全人員迅速介入后定位發現，這起黑客攻擊事件不同于Balancer的攻擊方式，黑客主要利用未檢查權限的changeExcluded()函數，通過transferFrom()將合約地址本身的VETH余額卷走。[2020/7/1]

1.邏輯判斷錯誤

Solidity的if或者require等條件判斷表達式對合約代碼執行做出限制，開發者如果在編寫合約時寫出了錯誤的判斷條件，將會造成比較大的邏輯錯誤，影響合約正常使用。

a)transferFlaw

在transferFrom()函數中，當對allowance值做校驗的時，誤將校驗邏輯寫反，從而使得合約代碼的邏輯判斷錯誤。有可能造成溢出或者任何人都能轉出任何賬戶的余額。

我們來看一個案例

if(allowed>=value)returnfalse;此處校驗邏輯寫反了，導致只要授權值allowed小于轉出額度，那么都能轉賬成功，利用這個漏洞，可以不經授權就可以轉出他人賬戶中的代幣。

l漏洞修復

推薦使用require(allowed>=value);語句對授權額度進行判斷

b)pauseTransfer-anyone

以如下案例合約為例

onlyFromWallet中的判斷條件將==寫反了，寫成了!=，使得除了walletAddress以外，所有賬戶都可以調用enableTokenTransfer()和disableTokenTransfer()函數，這兩個函數可以開啟或者關閉合約的轉賬、授權以及燒幣功能，進而影響合約的正常使用。

l漏洞修復

使用正確的require判斷語句：

c)allowAnyone

分析如下案例合約

在transferFrom函數中，轉賬前未對allowed進行校驗，轉賬后對allow的計算也未使用SafeMath，使得任何賬戶都可可以不經授權就能夠轉出他人賬戶中的代幣，并且，如果轉賬額度_value大于allowed，allowed-=_value將發生溢出。

l漏洞修復

i.在轉賬前增加對allowed的檢查，require(allowed>=_value);;

ii.使用SafeMath對allow進行運算，

allowed=allowed.sub(_value);

d)approve-with-balance-verify

部分合約在函數approve()中，增加對被授權賬戶余額的校驗，要求授權的_amount小于或等于當前余額。

一方面，對余額的校驗并不能保證被授權賬戶一定可以轉出這個數量的金額:

i.在approve之后，token的所有者自己通過transfer函數，把token轉走，導致余額小于allowance。

ii.approve給多個人，其中一個人進行transferFrom操作后，可能導致余額小于之前給其他人approve過的值。

另一方面這個校驗可能導致外部合約無法正常調用，必須由Token項目方提前轉入一筆數額巨大的Token至中間賬戶才能繼續執行。

例如下面這個合約

l漏洞修復

去掉balances的校驗:

2.功能實現與設計不符

我們來詳細分析如下案例合約：

上述兩個函數重寫了ERC20標準中的transfer和transferFrom函數，添加了對凍結賬戶的檢查。

在transfer中，如果msg.sender被凍結，那么其不能進行代幣交易。

但是，我們注意到，在transferFrom中，并沒有對代幣轉出地址的檢查。

如此一來，一個被凍結的地址可以通過授權第三方，然后通過第三方地址向目標地址發送代幣，違背了設計中對凍結地址的限制。

l漏洞修復

在合約正式上鏈前，項目方應對合約進行充分的測試，確保其實現完全符合設計。

我本將心向明月，奈何明月照溝渠

以上的安全漏洞都是開發人員在實現某些功能需求時，出現低級錯誤或者只追求完成功能需求導致的。相信在漏洞被曝光或者被攻擊者利用時，開發者的內心也是崩潰的，感覺枉費了一番苦功夫。在沒有相關測試、審計團隊的協助下，對于此類實現與設計不符的漏洞可能真的束手無策，尤其是關于合約邏輯的檢測，可能需要用到形式化驗證運用數學建模的方法對于合約進行描述之后才能查遺補漏。但是，汲取他人教訓并且用于提高應該是每個先驅者在探索新領域時具備的素質，一個人可能會走的更快，而一群人，會走得更遠。

Tags：比特幣balance區塊鏈比特幣中國官網聯系方式40億比特幣能提現嗎比特幣最新價格行情走勢balance幣是什么幣區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢

火幣網下載官方app