相關文章:
Rust智能合約養成日記合約狀態數據定義與方法實現
Rust智能合約養成日記編寫Rust智能合約單元測試
Rust智能合約養成日記Rust智能合約部署,函數調用及Explorer的使用
Rust智能合約養成日記Rust智能合約整數溢出
Rust智能合約養成日記拒絕服務攻擊
拒絕服務攻擊又稱DoS(DenialofService)攻擊,該類型的攻擊將使得智能合約在一段時間內(甚至永久)無法被用戶正常使用。
目前已知的原因大致可分為如下兩類:
合約邏輯中存在的某些缺陷。如某一public函數,其實現沒有考慮到計算復雜度。用戶調用該函數時,實際所需消耗的Gas會超出NEAR公鏈創世區塊配置文件(genesis_config.json)中所定義的"max_total_prepaid_gas":300000000000000`(300TGas),導致交易失敗。
某些跨合約調用情形中,合約的執行依賴于其他外部合約的執行狀態。而外部合約的執行并非總是可靠,以至于本合約的執行可能被外部合約阻塞,無法照常運行。該類問題的發生可表現為合約用戶在合約中的資金被鎖定,以至于無法正常的充值或提現。
Trustless Media完成325萬美元種子輪融資,Alameda Research領投:金色財經消息,Web3媒體公司Trustless Media獲得Alameda Research領投的325萬美元種子輪融資,該輪融資還有Ava Labs和Red DAO參與。
Trustless與內容創作者和組織合作,幫助他們使用不可偽造的代幣或NFT將其電視節目代幣化。節目可以使用NFT模式,部分用于眾籌制作,持有者可以獲得觀看代幣門檻內容的權限,并可以通過鏈上投票參與制作。(Coindesk)[2022/7/27 2:41:45]
除了合約邏輯的缺陷,DoS現象發生的原因還可以歸因于人為因素:典型的如:合約的所有者丟失了自己的私鑰,以至于合約中部分only_owner可執行的特權函數無法被調用,使得合約中某些重要的系統狀態值無法及時的更新,這將有可能對項目造成較大的損失。
為方便讀者更加深刻地了解智能合約中的DoS攻擊漏洞,本文后續將結合具體DoS攻擊的例子展開描述與分析。本文代碼已上傳至BlockSec官方github,讀者可以自行下載https://github.com/blocksecteam/near_demo/tree/main/DoSDemo
1.循環遍歷一個可被外部調用更改的數據結構
Age of Rust:Steam不允許平臺具有現實價值的物品:金色財經報道,據區塊鏈游戲Age of Rust官方推特披露,Steam之所以會下降所有區塊鏈游戲是因為Steam認為這些游戲內物品具有價值,而他們不允許其平臺上具有現實價值的物品。Age of Rust表示盡管堅信NFT和區塊鏈游戲是未來趨勢,但尊重Steam的選擇。[2021/10/16 20:33:55]
以下是一個用于給合約中注冊用戶“分紅”的簡單智能合約,其狀態數據如下:
用戶可通過調用pubfnregister_account()函數進行注冊并初始化。
后續該合約的管理者將調用pubfndistribute_token函數來為系統中用戶進行"分紅"。“分紅”的方式為遍歷用戶數組self.registered,并通過跨合約調用向每一個用戶轉入指定額度amount的代幣以做獎勵。
加密貨幣支付解決方案Utrust與FinXP建立合作伙伴關系:加密貨幣支付解決方案Utrust與FinXP建立合作伙伴關系,旨在改善Utrust客戶和加密貨幣電子商務行業的體驗。FinXP將使Utrust通過在線平臺為商戶提供加密貨幣對法幣的結算。(Thepaypers)[2021/5/12 21:53:44]
然而該合約狀態數據(self.registered)的大小沒有限制,并且可以被惡意用戶所操控,使得該合約數據的大小變得過大。以至于DISTRIBUTOR用戶在調用該合約方法時,可能消耗的Gas費用過高,超出了GASLIMIT。
如下是該合約在實際NEARLocalnet中測試的結果
可以看到當系統中注冊的用戶較多時,實際在distribute_token執行的過程中,所設置的prepaid_gas將不足以滿足所有用戶的轉賬操作,以至于本次交易失敗。
加密托管公司Trustology將為機構投資者提供Eth2質押支持:金色財經報道,英國加密托管解決方案提供商Trustology今日宣布,計劃為機構投資者提供內置的Eth2質押支持。據悉,在Eth2升級后,擁有至少32枚ETH的任何用戶都可以進行質押并幫助保護網絡。[2020/7/24]
推薦的解決方案:
由于GasLimit的限制,合約方法在執行過程中不建議遍歷一個較大的數據結構(該數據結構的大小可被外部用戶操縱)。確需遍歷的,也需要限制該數據結構的大小,并保證當該數據結構的大小達到該最大值時,也不會觸及GasLimit的限制。
因此推薦采用withdrawal模式對上述合約進行改造。即要求合約方不主動地對所有的用戶逐一發放獎勵,而是先記賬,并設置一個withdraw函數,讓單一用戶通過該函數方法的調用,自行取回“分紅”獎勵。此時合約方也只需要維護逐一用戶已經取回的獎勵數額或者還能取回的獎勵數額即可。
2.跨合約之間的狀態依賴導致合約阻塞
合約在進行跨合約調用時,可能會對外部合約的狀態存在依賴,不恰當的依賴,會導致該合約阻塞,從而可能被發起DoS攻擊
下面考慮一種利用智能合約進行“競價”的場景:
動態 | 幣安Trust Wallet2019年新計劃:將很快添加ZCash、Monero等匿名幣:據cryptoglobe消息,幣安Trust Wallet開發團隊發布了2019年的計劃,主要內容有:錢包致力于支持前20種加密貨幣,例如Tezos,Zilliqa和EOS,優先考慮匿名幣,如ZCoin,ZCash和Monero,甚至即將發行的Grin和Beam;另外,錢包正與多家制造商密切合作,不僅要將硬件錢包與信任結合起來,還要制定行業標準,使未來增加硬件錢包更加容易。[2019/1/27]
用戶可以通過調用“競價合約”中的pubfnregister_account函數方法注冊賬戶,為參與后續的競價做準備
用戶還可以通過如下接口函數查詢當前系統中目前為止出價最高的用戶ID,及其所出的價格。
用戶還可以通過如下接口函數查詢當前系統中目前為止出價最高的用戶ID,及其所出的價格。
當競價合約收到token時,會通過ft_on_transfer函數調用到如下bid函數。
在該出價函數中,函數的執行邏輯將首先檢查本次用戶的出價是否高于之前出價最高用戶的出價值。如果滿足該條件,將執行self.refund_exe()從“競價合約”中退回之前出價最高用戶的出價代幣。隨后更新目前為止出價最高的用戶ID及其所出的價格。
實際的情況是,根據該合約的邏輯定義:必須要退回之前出價最高用戶的出價代幣,才能將目前為止出價最高的用戶ID進行更替。
在該出價函數中,函數的執行邏輯將首先檢查本次用戶的出價是否高于之前出價最高用戶的出價值。如果滿足該條件,將執行self.refund_exe()從“競價合約”中退回之前出價最高用戶的出價代幣。隨后更新目前為止出價最高的用戶ID及其所出的價格。
實際的情況是,根據該合約的邏輯定義:必須要退回之前出價最高用戶的出價代幣,才能將目前為止出價最高的用戶ID進行更替。
此時測試模擬了“競價系統”的參與的用戶:user0、user1和user2
他們分別擁有10000個初始代幣。user0首先在“競價系統”中出價1000,此時查詢可知current_leader:user0.test.nearhighest_bid:1000。隨后user0立即將剩余的9000個代幣轉給了user2,并銷毀了代幣賬戶。
此后,當user1出價2000時,系統將打算退回user0之前的出價值。但由于此時user0的賬戶已不存在,系統將提示"CannotRefund",始終無法成功完成后續的交易更新狀態。
此時第二位出價者想出價2000:
解決方法:
如果合約的狀態的轉化需要依賴于外部合約的調用處理,則需要考慮外部合約調用可能失敗的情形,防止合約的執行邏輯被阻塞而拒絕服務,即我們需要實現合理的錯誤處理手段。在本例子中,我們可以將無法退回的代幣寄存于合約新增的lost_found用戶組中,當后續用戶滿足條件refund條件時,再由用戶本身來進一步取回代幣(同樣可以實現withdraw函數)。
3.Owner私鑰丟失
去中性化智能合約項目中往往也存在部分中心化的現象:如存在合約的owner。部分合約函數的執行被設置為僅owner可以執行,用以對合約中某些關鍵系統變量值的進行設置更改。我們可以將此類函數稱之為only_owner類型函數。
例如前文在“分紅”合約中所定義的pubfndistribute_token,該函數即為only_owner函數。當合約的owner無法履行職能(私鑰丟失)時,資金將一直被鎖定在合約之中,無法分發給其他用戶。另有大多數的情況下,only_owner函數還可以用來暫停或者重啟合約中的所有交易,可見owner正常履行其職能的重要性。
解決方法:
為避免上述owner個人“失能”情形的發生,我們可增設多位合約的owner共同治理合約,甚至可采用多簽請求的方式來替換原有的合約權限控制方案,以此實現合約的去中心化治理效果。有關智能合約中多簽請求功能的設計實現,將在后續的《智能合約養成日記》中展開詳細的描述。
Tags:USTNERTRUSERtrustwallet沒有usdtGreen Life Energytrustwallet怎么購買Observer
介紹 擁有民主化的科學不是很好嗎?當然是!然而,許多人會說這是一個烏托邦的愿景,而不太可能成真.
1900/1/1 0:00:00缺口是指資產價格在快速變動過程中,由于一段價格區間內沒有產生任何交易而產生的一種價格跳空現象,顯示在K線圖上,就是一個真空區域,這片真空區域就被稱為“缺口”,或者“跳空”.
1900/1/1 0:00:001.0 2022年,一個忙碌開始 2.0 合作伙伴:WMT上線kucoin、ZB、AstroSwap、MinswapWMT和chainlink宣布了技術合作.
1900/1/1 0:00:00CertiK在KYC過程中發現,SAFUU協議創始人與CleverDeFi及TagzExchange高風險項目相關.
1900/1/1 0:00:00DAO會是下一次工業革命嗎? 基礎設施/金融 法律 可持續發展 教育領域 行動主義 IRL(現實生活) 風險投資 藝術 科學 時尚 在我們寫下《DAO改變世界的15種方式》后的8個月里.
1900/1/1 0:00:00技術進展 3月份的技術發展主要集中在支持管理工具上,包括節點委托質押系統、MinerConsole頁面和節點管理頁面。同時,RangersScan也在進行功能升級.
1900/1/1 0:00:00