比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > TRX > Info

區塊鏈:必備九條措施 保障智能合約安全性_AND

Author:

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

以太坊開發者需要知道的四項安全性原則,以及一些基本權衡。

盡管區塊鏈行業的發展日趨成熟,但是智能合約的開發仍是一個相對較新的領域。因此,為了應對新的漏洞和安全危機,以及滿足開發新的最佳實踐的需要,我們應該不斷完善安全性方面的問題。學習最佳實踐只是智能合約開發者在安全性方面踏出的第一步。

智能合約編程需要一種不同于傳統的工程思維。智能合約失敗的代價很高,更新迭代需要較大工程量,這使得它在某些方面更類似于硬件編程或金融服務編程,而不是web或者移動端開發。因此,僅僅防御已知的風險是遠遠不夠的,還需要掌握新的開發理念。

準備應急措施

任何重要的合約都會出現故障。因此,開發者必須做好充足的準備,以便及時應對漏洞。

數據:Starknet鎖倉額近7日增加78.17%:8月15日消息,L2BEAT數據顯示,Starknet鎖倉額近2億美元,近7日增加78.17%。[2023/8/15 21:24:13]

出現故障時暫停合約?(“斷路器”)。

管理風險資金的數量?(限制流量,最大化利用率)。

準備有效的升級路徑以修復和改進bug。

防患未然

最好是在完整的產品發布之前發現bug。

全面測試合約,并在發現新的攻擊向量時添加相應測試。

alpha測試網版本發布之后,提供bug賞金。

分階段推出,每個階段更新功能并添加新測試。

保持智能合約的簡潔性

分析師:比特幣與美國傳統股市指數的相關系數的90天移動平均線已降至幾乎為零:金色財經報道,分析師稱,比特幣與美國傳統股市指數(標準普爾500指數和納斯達克指數)的相關系數的90天移動平均線已降至幾乎為零。這種情況意味著僅僅依賴傳統市場情緒和宏觀經濟事件的加密貨幣交易者可能會面臨自己的預測存在差異。[2023/7/10 10:12:43]

復雜性會提高出現故障的概率。

確保合約邏輯簡單。

模塊化代碼以使合約和函數保持較小。

請盡可能使用既有工具或代碼?(例如不要使用自己的隨機數生成器)。

在保證清晰度的前提下再考慮性能。

只在系統中需要去中心化的部分使用區塊鏈技術。

DecentralandLAND系列NFT近24小時交易額增長率為247.59%:金色財經報道,據NFTGo最新數據顯示,DecentralandLAND系列NFT過去24小時的交易額為32,890.68美元,增長率為247.59%。截至發稿時,NFTGo數據顯示地板價為0.57ETH,24小時漲幅為46.15%。[2022/8/25 12:48:05]

保持更新

跟進新的安全性措施。

檢查智能合約,以最快的速度定位新漏洞。

盡快升級到任何工具或庫的最新版本。

采用可能有效的保障安全性的新技術。

了解EVM的特性

盡管開發者對以太坊編程較熟悉,但仍需要注意一些陷阱。

數據:998枚BTC從Gemini轉移到Coinbase:金色財經報道,據WhaleAlert數據顯示,998枚BTC從Gemini轉移到Coinbase。[2022/8/25 12:46:42]

要特別小心外部合約調用,該過程可能會執行惡意代碼并改變控制流(controlflow)。

要明白,開發者的公共函數是公開的,可能會被惡意調用,調用順序也可能是任意的。任何人都可以查看智能合同中的隱私數據。

注意gas成本和區塊gas限制。

注意,區塊鏈上的時間戳是不精確的:礦工可以在幾秒內影響交易執行的時間。

隨機性是區塊鏈上一個重要的特性,大多數產生隨機數的方法在區塊鏈上是具有博弈性的。

基本權衡因素

在評估智能合約系統的結構和安全性時,需要考慮多種基本的權衡。對于所有智能合約系統的普遍建議是,在這些權衡之間找到平衡點。

從軟件工程的角度來看,理想的智能合約系統是模塊化的,即重用代碼而不是復制代碼,以及支持可升級的組件。而從安全架構的角度來看,理想的智能合約系統可能同樣會使用這種模式,尤其是面對更為復雜的智能合約系統。

然而,當安全性和軟件工程最佳實踐出現不一致時,也會有一些例外情況發生。而在每種情況下,可通過選擇合約系統上的最佳性能組合來達到平衡,例如:

固定版本vs.可升級

整塊化vs.模塊化

復制vs.重用

固定版本vs.可升級

當多個資源?(包括此資源)?強調自身的延伸性時?(比如可中斷的、可升級的或可修改的模式),那么就需要在延伸性和安全性之間找到一個平衡點。

延伸性增加了復雜性和潛在的受攻擊性。如果智能合約系統在預先規定的有限時間內能夠完成的功能非常有限,那么這時簡潔性比復雜性要有效得多,例如,無治理的限時代幣發售合約系統。

整塊化vs.模塊化

獨立的整塊化合約允許信息在本地識別和讀取。雖然整塊化合約一般不被重視,但對于數據和流的極端本地化存在爭議,例如代碼審計的效率優化。

與本文考慮的其他因素一樣,在簡單的短期合約中,安全性最佳實踐趨向于與軟件工程最佳實踐相悖;而在更復雜的永久合約系統中,兩者趨于相一致。

復制vs.重用

從軟件工程的角度來看,智能合約系統希望能夠在需要時最大化重用功能。在Solidity語言中,有許多重用合約代碼的方法。實現代碼重用的最安全的方式通常是:使用自己之前經過驗證和部署的合約。

如果之前部署的合約無法使用,開發者通常就需要依靠復制功能了。OpenZeppelin的Solidity庫嘗試提供一些模式,使得安全代碼可以在無需復制的情況下被重用。任何合約安全分析都必須將目標智能合約系統中還沒有與風險資金建立相當信任級別的重用代碼包含在內。

現如今,在以太坊上創建應用軟件無疑是最令軟件工程師激動的前沿領域,但這需要持續不斷的威脅建模?(threatmodeling)、安全審計,還需要做好周全計劃以應對故障發生。

原文鏈接:https://media.consensys.net/the-smart-contract-security-mindset-a09f5f8f5f4f

來源|?ConsenSysMedia

Tags:區塊鏈NFTANDCON區塊鏈證據保全怎么操作MNFT價格CANDLE幣APECON幣

TRX
ETH:ETH,BCH多頭強勢,后市怎么看?_SHI

方向不對,努力白費,分析沒有輸贏,因為真相只有一個!我們只是全面的分析了整個市場,和博弈的各方心理而已從早上8點截至20點.

1900/1/1 0:00:00
LVM:三少解幣:8.2比特幣價格小幅上漲,技術指標警告潛在回調風險_加密貨幣

各位幣友們,大家好,我是三少!據比推數據,市值最高的加密貨幣比特幣周五小幅上漲突破11100美元,以太坊等其他主要加密貨幣也有不同程度的上漲.

1900/1/1 0:00:00
LAT:一文讀懂隱私計算、安全多方計算、可驗證計算_PlatON

這是一場知識密度極高的頭腦盛宴。近日,PlatON聯合無涯社區舉辦了《一切皆可計算在商業網絡與開發者一起遨游》的線上直播活動.

1900/1/1 0:00:00
比特幣:紫盈說幣:8.3比特幣/以太坊午間行情分析,龍頭以太坊依舊強勢_以太坊幣最高價格是多少錢

紫盈說幣:8.3比特幣/以太坊午間行情分析,龍頭以太坊依舊強勢,后市繼續看漲前言:技術是生存之本,授人以魚不如授人以漁,投資的本身就是一種對自身的修煉。不斷的修煉,才能晉升為成功者的行列.

1900/1/1 0:00:00
比特幣:《北京仲裁》:從比特幣的法律性質談比特幣糾紛的裁決思路_數字貨幣

本文原載于《北京仲裁》2020年第1輯,總第111輯,本期責任編輯劉念瓊。 摘要 目前,各類爭議解決機構關于比特幣類糾紛裁決存在較大差異,反映了實踐中爭議解決機構對比特幣在我國現行監管體制下的法.

1900/1/1 0:00:00
數字資產:谷燕西:從計劃上市的Coinbase看未來的數字資產交易所_比特幣

美國的加密數字貨幣交易服務交易平臺Coinbase現在正在美國申請上市。Coinbase成立了8年,在全球范圍內其加密數字貨幣的交易量是排名第三.

1900/1/1 0:00:00
ads