6個簡單的步驟來保護你的以太坊智能合約安全
以太坊使用"智能合約",或建立在區塊鏈技術上的可編程軟件程序,為去中心化的應用程序、不可偽造的代幣和去中心化的自治組織提供動力。以太坊智能合約提供的豐富功能使web3開發者能夠創建復雜的基于區塊鏈的應用程序。
然而,智能合約的不穩定性增加了漏洞、bug和錯誤,隨著加密貨幣市值達到數萬億美元,黑帽黑客正在尋找智能合約中可以利用的弱點。
在這篇文章中,我們將介紹智能合約安全的最佳做法,故障保護措施,以及用于加強智能合約安全的智能合約分析工具。
以太坊智能合約簡介
以太坊智能合約是用Solidity編寫的,這是一種類似于C++和Javascript的語言。以太坊智能合約在以太坊區塊鏈上運行,其執行由以太坊虛擬機管理--這是一臺執行以太坊智能合約的虛擬超級計算機,并分布在世界各地的多個節點上。
以太坊智能合約的架構可能與其他合約不同。智能合約可以是功能有限的簡單合約,也可以是具有多層次功能的復雜合約。
比特幣愛好者已經為加拿大卡車司機籌集了超過3.06個比特幣:金色財經報道,Bitcoin Magazine發推稱,自GoFundMe暫停活動以來,比特幣愛好者已經為加拿大卡車司機籌集了超過3.06個比特幣。[2022/2/6 9:33:52]
智能合約的4個好處
無論他們的預期設計如何,智能合約都提供了相同的好處。
1.不變性
智能合約不能被輕易修改,這使得它們可以抵抗未經批準的改動。一旦合同被驗證并在區塊鏈上存活,要改變或升級智能合同的代碼需要很大的努力。
2.信任
根據設計,智能合約在滿足預定條件時自動執行一組指令。這發生在沒有外部控制的情況下,所以參與的用戶可以信任代碼在沒有人類中介的情況下工作。兩個人可以在不信任對方的情況下進行交易,因為他們知道智能合約將充當一個公平的仲裁者。
3.成本效益
智能合約與法律文書的結合,可以簡化個人之間的交易,消除對中間人的需求。由于沒有中間人的補償,各方可以在執行和實施協議上花費更少。
4.速度
每個智能合約都在條件性編程上運行。當合同的邏輯規則得到滿足時,這些程序化的行動立即發生。因此,交易可以比傳統系統更快發生。
EIP-1559性能測試:22小時共處理6426個區塊,平均每個區塊4100萬Gas:以太坊客戶端Hyperledger Besu的區塊鏈協議工程師Abdelhamid Bakhta發布了EIP-1559性能測試更新,經過22小時無間斷測試,共處理6426個區塊,平均每個區塊4100萬Gas,共執行了1200萬筆交易,平均每區塊2139個交易,95%的區塊至少價值1500萬Gas。[2021/2/26 17:55:46]
保護以太坊智能合約的6種行之有效的方法
在區塊鏈上運行的智能合約將為世界各地的用戶改變治理、金融、物聯網和許多其他行業。然而,由于開發人員必須考慮所有的安全挑戰,智能合約的安全漏洞必須得到認真對待。
以下是web3開發者在以太坊和EVM兼容的區塊鏈上構建dapp時必須采用的一些基本智能合約安全最佳實踐。
1.嚴格執行智能合約審計
在2022年,在沒有安全審計的情況下部署智能合約應該是一種犯罪。即便如此,許多開發者仍在推出未經審計的智能合約。來自Certik的DeFi安全狀況報告顯示,大多數被利用的智能合約沒有得到安全審計。
可以理解的是,聘請智能合約審計師的費用并不便宜。但正確的安全檢查可以為你在接下來的日子里節省更多。在DeFi,數百萬人在利用拙劣代碼的弱點進行的黑客攻擊中損失。
閃電網絡節點數量已達16596個:金色財經報道,據1ML.com數據,目前,支撐網絡的節點數量達到16596個,相較30天前數據,環比上漲5.45%;通道數量為37814,相較30天前數據,環比上漲5%;閃電網絡承載能力目前為1071.87BTC,約合5228.98萬美元。[2021/2/14 19:45:30]
一個好的區塊鏈安全審計師遵循一個成熟的審計過程,以發現智能合約代碼中的缺陷,并發現在開發過程中未被注意到的錯誤。此外,他們可以在部署前對智能合約的修復和優化給出有用的建議。
2.測試你的代碼
測試、測試、再測試你的代碼,以發現錯誤和其他漏洞。
嚴格的測試也許是確保智能合約在部署到主網后按預期執行的最簡單和最有效的方法。
將智能合約部署在測試網絡上,觀察它是否有任何異常。這樣,你就可以知道協議是否按照它應該的方式運行。
推薦用于測試Ethereum智能合約的測試網包括:
Rinkeby
Kovan
Ropsten
Truffle
需要測試網ETH嗎?使用Alchemy的免費RinkebyETH龍頭,開始測試你的合約。
數據:過去三個月至少36個DeFi項目總計獲1億美元資助:12月4日消息,過去三個月里,已確認至少36個DeFi項目得到了資助。總共約有1億美元被分配給了這些項目,平均交易規模約為300萬美元。而在這些投資中,最主要的趨勢之一(占到所有投資交易的25%)是為那些不是建立在以太坊協議之上的DeFi應用程序提供資金,或者是為其他協議提供可互操作性的跨鏈項目。(The Block)[2020/12/4 14:02:21]
運行單元測試來隔離單個代碼片段
單元測試也是提高合約安全性的一個好主意。單元測試著眼于你的代碼的單一部分,所以如果發生故障,你可以知道什么地方出錯了。
在將每個新功能整合到智能合約之前,最好為其運行單元測試。記住,智能合約在本質上是不可改變的,如果以后出現漏洞,就不可能對代碼進行修補。
3.與同僚一起審查代碼
如果你在一個團隊中工作,確保每個成員都進行獨立的代碼審計并提供詳細的反饋。單獨的開發人員可能希望在整個開發過程中找到一個值得信賴的同事來同行審查他們的智能合約代碼,以提高安全性。
4.降低軟件的復雜度
軟件安全的最終規則是保持代碼簡單。代碼中的復雜性越高,變量就越多,從而增加了失敗的機會。
泰國證交所向ERX發放許可證,國內合規加密交易所增至6個:泰國證券交易委員會已向ERX交易平臺發放許可證,允許其作為數字資產交易平臺運營,從而使該國的合規加密交易所數量增至6個,合規加密平臺數量增至13個。據悉,其他5個合規交易所分別是:Bitkub、BX、火幣、Zipmex和Satang Pro。(IBTimes)[2020/7/29]
正如荷蘭計算機科學家EdsgerW.Dijkstra所說。"簡單是可靠性的先決條件"。
這并不意味著你應該避免構建功能豐富的智能合約,然而,你應該在一開始就從簡單的架構開始,并隨著時間的推移使用干凈的代碼和熟悉的模式慢慢擴展功能。
5.實施故障安全保護
編寫Ethereum智能合約時的一條經驗法則是"為失敗做準備"。無論你測試多少次,你都不可能涵蓋所有可能影響智能合約的錯誤。因此,為你的Ethereum智能合約設計一個故障安全機制是必要的。
故障安全模式對于限制惡意攻擊的損害是很有用的。它們被設計為一旦檢測到異常的智能合約活動就會觸發。
智能合約故障安全保護的4個例子
兼容EVM的智能合約的故障安全保護的例子包括。
1.短路器
當發現錯誤和漏洞時,"短路器"可以用來阻止功能的執行。對于短路器,你有兩個選擇來激活它們。
給予受信任的管理員以觸發斷路器的權限
對短路機制進行編程,使其在滿足預設條件后運行。
因為智能合約是自動化的,當錯誤發生時,短路器會限制操作。
2.速度緩沖器
減速器是一種減緩惡意行為的防故障機制,盡管它不會阻止攻擊,但減速器給管理員足夠的時間來立即采取糾正措施。
加速器的一個主要例子來自于2016年臭名昭著的DAO黑客攻擊。該程序確保在27天后才有可能從DAO中提取資金,這使得資金一直在智能合約中,直到開發者能夠取回它們。
3.速率限制
速率限制可以控制特定時間范圍內調用函數的頻率,提供了一個權宜之計,以防止重復調用函數以耗盡鎖定的資金、發行大量ETH代幣或執行多次提款的漏洞。
此外,合同層面的速率限制可以用來限制在一個時間間隔內發行代幣的數量。
鑒于不良行為者在短時間內發行大量代幣的漏洞數量,速率限制是加強智能合約安全的良好預防措施。
4.余額限制
余額限制通過限制單個智能合約中可鎖定的ETH總量來降低智能合約風險。
余額限制將監測智能合約中持有的資金余額。一旦達到閾值,該機制會觸發自動拒絕后續付款。
如果你正在推出一個新的智能合約,在你對合約的安全性有信心之前,余額限制可能是一個很好的預防性安全措施。
6.設計安全的訪問控制機制
訪問控制機制決定了誰可以管理和改變合約的某些元素,它是你的Ethereum智能合約架構的一個關鍵路徑。
如果錯誤的人得到所有權或管理權限,他們可以重新編程合同,執行惡意交易。
為了防止錯誤的人獲得管理權限,確保敏感功能需要多級授權才能訪問。
Web3開發者應該知道的4個智能合約安全工具
智能合約的安全性是很嚴肅的。這里有一些分析工具,可以幫助你保護你的智能合約,防止被利用,bug,和漏洞。
1.Octopus
Octopus是一個高功能的分析工具,用于分析智能合約的字節碼,深入了解內部行為。它與建立在流行區塊鏈上的智能合約兼容,如NEO、比特幣,當然還有以太坊。
2.Oyente
Oyente是一個自動化的智能合約審計工具,用于識別常見的智能合約安全漏洞。它包括一個驗證器、資源管理器、CoreAnalysis工具和CGF構建器。每個組件都執行一個關鍵功能;例如,資源管理器運行智能合約,CoreAnalysis檢測所產生的輸出中的任何問題。
3.Mythril
Mythril是一個由ConSensys建立的智能合約安全工具,對測試以太坊虛擬機字節碼很有用。它使用污點分析、SMT解算和符號執行的組合來發現智能合約代碼中的漏洞。
4.Securify
Securify是一個由Ethereum基金會支持的智能合約漏洞掃描器。這個流行的以太坊智能合約掃描器可以檢測到多達37個智能合約漏洞,并實現了針對上下文的靜態分析,以獲得更準確的安全報告。
用智能合約安全的最佳實踐保護你的下一個項目
當正確實施時,智能合約技術可以被調整以支持各種使用情況。然而,智能合約是代碼,由人類編寫,有時并不完美。
作為一個智能合約的開發者,你在編寫代碼時必須遵循安全的最佳實踐,包括運行詳細的安全分析,利用多種安全分析工具和資源,獲得同行評審,簡化代碼結構,并實施故障安全機制。
Tags:以太坊區塊鏈ETH以太坊幣是什么幣區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢ETH錢包地址ETH挖礦app下載Etherael指什么寓意
根據Coinglass的數據,2023年5月見證了比特幣(BTC)的大幅下滑,下跌7.2%,成為自2022年11月以來表現最差的一個月.
1900/1/1 0:00:00概括 加密貨幣分析師KevinSvenson預計Chainlink(LINK)將出現顯著增長。根據Svenson的說法,MACD指標對LINK發出看漲信號.
1900/1/1 0:00:00其實有好多程序員不知道怎么有高工作效率,在我看來保持高工作效率,主要有以下4個方面,希望在工作中能夠給大家多多少少的幫助.
1900/1/1 0:00:00大家好,這里是鏈客區塊鏈技術問答社區,今天講一講區塊鏈怎么應用的話題~想要說明區塊鏈怎么應用,就要先從區塊鏈的特性來入手.
1900/1/1 0:00:00大家好,我這里是鏈客區塊鏈技術問答社區,今天來為大家講一講區塊鏈到底是不是騙局,并且分析一下是不是具有弊端.
1900/1/1 0:00:00熊市讓人清醒,隨著世界的崩盤,Twitter上的喧囂會讓人感覺更加膚淺。我們都在尋找感覺真實可信的對話.
1900/1/1 0:00:00