以太坊:6個簡單的步驟來保護你的以太坊智能合約安全

6個簡單的步驟來保護你的以太坊智能合約安全

以太坊使用"智能合約"，或建立在區塊鏈技術上的可編程軟件程序，為去中心化的應用程序、不可偽造的代幣和去中心化的自治組織提供動力。以太坊智能合約提供的豐富功能使web3開發者能夠創建復雜的基于區塊鏈的應用程序。

然而，智能合約的不穩定性增加了漏洞、bug和錯誤，隨著加密貨幣市值達到數萬億美元，黑帽黑客正在尋找智能合約中可以利用的弱點。

在這篇文章中，我們將介紹智能合約安全的最佳做法，故障保護措施，以及用于加強智能合約安全的智能合約分析工具。

以太坊智能合約簡介

以太坊智能合約是用Solidity編寫的，這是一種類似于C++和Javascript的語言。以太坊智能合約在以太坊區塊鏈上運行，其執行由以太坊虛擬機管理--這是一臺執行以太坊智能合約的虛擬超級計算機，并分布在世界各地的多個節點上。

以太坊智能合約的架構可能與其他合約不同。智能合約可以是功能有限的簡單合約，也可以是具有多層次功能的復雜合約。

BLUR過去一周交易56268筆，活躍地址達24696個:2月28日消息，數據顯示，NFT市場Blur代幣BLUR過去一周交易筆數為56,268筆，新增地址數9,933 ，活躍地址數為24,696個。當前持幣地址數達到44,904個。[2023/2/28 12:33:29]

智能合約的4個好處

無論他們的預期設計如何，智能合約都提供了相同的好處。

1.不變性

智能合約不能被輕易修改，這使得它們可以抵抗未經批準的改動。一旦合同被驗證并在區塊鏈上存活，要改變或升級智能合同的代碼需要很大的努力。

2.信任

根據設計，智能合約在滿足預定條件時自動執行一組指令。這發生在沒有外部控制的情況下，所以參與的用戶可以信任代碼在沒有人類中介的情況下工作。兩個人可以在不信任對方的情況下進行交易，因為他們知道智能合約將充當一個公平的仲裁者。

3.成本效益

智能合約與法律文書的結合，可以簡化個人之間的交易，消除對中間人的需求。由于沒有中間人的補償，各方可以在執行和實施協議上花費更少。

4.速度

每個智能合約都在條件性編程上運行。當合同的邏輯規則得到滿足時，這些程序化的行動立即發生。因此，交易可以比傳統系統更快發生。

灰度昨日增持1617個LTC、996個BCH:據OKLink數據顯示，灰度昨日增持1617個LTC、996個BCH，其他幣種無增持；GBTC、ETHE溢價率為-5.50%、-5.15%。[2021/3/16 18:48:14]

保護以太坊智能合約的6種行之有效的方法

在區塊鏈上運行的智能合約將為世界各地的用戶改變治理、金融、物聯網和許多其他行業。然而，由于開發人員必須考慮所有的安全挑戰，智能合約的安全漏洞必須得到認真對待。

以下是web3開發者在以太坊和EVM兼容的區塊鏈上構建dapp時必須采用的一些基本智能合約安全最佳實踐。

1.嚴格執行智能合約審計

在2022年，在沒有安全審計的情況下部署智能合約應該是一種犯罪。即便如此，許多開發者仍在推出未經審計的智能合約。來自Certik的DeFi安全狀況報告顯示，大多數被利用的智能合約沒有得到安全審計。

可以理解的是，聘請智能合約審計師的費用并不便宜。但正確的安全檢查可以為你在接下來的日子里節省更多。在DeFi，數百萬人在利用拙劣代碼的弱點進行的黑客攻擊中損失。

一個好的區塊鏈安全審計師遵循一個成熟的審計過程，以發現智能合約代碼中的缺陷，并發現在開發過程中未被注意到的錯誤。此外，他們可以在部署前對智能合約的修復和優化給出有用的建議。

觀點：以太坊社交量接近6個月低點 即將進入積累階段:由于ETH價格走勢和加密貨幣使用的放緩，與以太幣相關的社交媒體帖子數量大幅下滑。區塊鏈分析公司Santiment報告說，截至10月3日，以太坊的社交量（social volume）接近6個月來的最低點。雖然這在邏輯上可能導致一些人認為這意味著ETH將要繼續走低，但Santiment指出，這可能表明ETH即將進入一個關鍵的積累階段。這一積累階段可能會在價格走高之前，因為較低社交活動可能暗示投資者的投降，以及流入資金的回報即將逆轉。（bitcoinist）[2020/10/5]

2.測試你的代碼

測試、測試、再測試你的代碼，以發現錯誤和其他漏洞。

嚴格的測試也許是確保智能合約在部署到主網后按預期執行的最簡單和最有效的方法。

將智能合約部署在測試網絡上，觀察它是否有任何異常。這樣，你就可以知道協議是否按照它應該的方式運行。

推薦用于測試Ethereum智能合約的測試網包括：

Rinkeby

Kovan

Ropsten

Truffle

需要測試網ETH嗎？使用Alchemy的免費RinkebyETH龍頭，開始測試你的合約。

哈希時代董事長：比特幣減半后至少還需6個月才會出現價格暴漲:哈希時代董事長王波認為，5月比特幣減半后礦工收入相應減半，而新一輪價格暴漲至少還需要大約6個月，礦機貸的推出有望幫助礦工度過這一段等待時間。王波稱，雖然目前幣價有所上漲，可能會彌補礦工的虧損，不過參考前兩次減半就可以發現，減半后至少還需要6個月的時間才會出現價格的暴漲。礦工要想獲得最大收益，就必須要有足夠的資本等待比特幣價格的上漲，然后才能再次盈利。盡管可能還需要等待一段時間，但牛市最終會到來。（華夏時報）[2020/7/30]

運行單元測試來隔離單個代碼片段

單元測試也是提高合約安全性的一個好主意。單元測試著眼于你的代碼的單一部分，所以如果發生故障，你可以知道什么地方出錯了。

在將每個新功能整合到智能合約之前，最好為其運行單元測試。記住，智能合約在本質上是不可改變的，如果以后出現漏洞，就不可能對代碼進行修補。

3.與同僚一起審查代碼

如果你在一個團隊中工作，確保每個成員都進行獨立的代碼審計并提供詳細的反饋。單獨的開發人員可能希望在整個開發過程中找到一個值得信賴的同事來同行審查他們的智能合約代碼，以提高安全性。

動態 | 上周CME比特幣期貨未平倉量創6個月新低:根據Skew數據，CME BTC期貨未平倉合約數量上周觸及6個月以上的低點。自年中大幅飆升以來，未平倉合約數量在過去幾個月里一直在下降，然而，最近的低點可能間接表明，比特幣可能不會出現另一次大規模崩盤。12月3日，未平倉合約成交量約為1.09億美元，每日成交量約為6500萬美元。未平倉量和成交量的下降也表明投資者退出該領域，表明采用陷入停滯。

此外，根據coinmetrics.io的數據，盡管總興趣有所下降，但持有0個以上BTC的比特幣地址總數達到2839萬個，創下歷史新高（ATH），超過了此前ATH的2838萬個地址。[2019/12/10]

4.降低軟件的復雜度

軟件安全的最終規則是保持代碼簡單。代碼中的復雜性越高，變量就越多，從而增加了失敗的機會。

正如荷蘭計算機科學家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指什么寓意

比特幣價格實時行情