加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

智能合約開發必讀:這10個Solidity安全問題不容忽視_AAVE:BLID幣

Author:

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

編者按:本文來自登鏈社區,Odaily星球日報經授權轉載。在2018年,我們曾對智能合約安全狀況進行過初步研究,重點是Solidity編寫的智能合約。當時,我們根據公開的合約源代碼編寫了最常見的10個智能合約安全問題。兩年過去了該更新研究并評估智能合約安全性發展的如何了。值得關注的其他問題

盡管有一個安全問題排名很不錯,但它往往一些有趣的細節,因為某些細節與排名列表并不完全一致。在深入挖掘10大問題之前,必要闡述一下原始研究中一些值得關注的亮點問題:在2018年,最主要的兩個問題是外部合約拒絕服務和重入。但是現在這些問題有所緩解。可以從我們的研究博客中了解更多有關Reentrancy的信息:從安全角度出發審視智能合約。譯者注:實際上由于DeFi應用之間的組合應用,又導致了多起嚴重的重入攻擊事件。現在Solidityv0

Matter Labs 將 Uniswap V2 智能合約和前端遷移至 zkSync 2.0 測試網:10月13日消息,Matter Labs 宣布將 Uniswap V2 智能合約和前端遷移至功能完備的 zkSync 2.0 測試網上,該端口名為 UniSync,為在 zkSync 2.0 上第一個遷移的 Solidity DApp。另外,Matter Labs 表示,UniSync 不隸屬于 Uniswap Labs,將在即將推出的 zkSync 2.0 主網啟動 Uniswap 實例。[2021/10/13 20:25:02]

如上例所示,在乘法之前執行的除法,可能會有巨大的舍入誤差。5.依賴tx

中幣支持LEND智能合約置換為AAVE:根據Aave官方說明,Aave已經啟動通過智能合約將原LEND代幣按照100LEND:1AAVE的比例轉換為AAVE新代幣,新的AAVE持有人將可以根據持幣權重參與Aave protocol協議的治理。

根據中幣官方公告,中幣將支持LEND(Aave Protocol)智能合約置換為Aave Protocol(AAVE),置換后,用戶將持有AAVE,10月10日14:00暫停LEND充提,16:00停止LEND/USDT交易。同時將于10月11日14:00開啟AAVE/USDT交易,并開放AAVE充值、提現。更多詳情請關注中幣官方公告。[2020/10/9]

}可以在Solidity的文檔中找到TxOrigin攻擊的詳細說明。簡單的說,tx

動態 | Top100區塊鏈項目全職開發者數量穩定,智能合約、 Dapp開發者流失嚴重:數字資產管理機構Electric Capital近日發布區塊鏈開發者報告,從三個維度分析了開發者數量變動情況,結論稱主要流失的開發者是一月一次或兼職開發者,市值前100的項目開發者流失率遠低于市值100開外的項目,開發者流失最多的領域是智能合約和 Dapp 領域。注:該報告定義活躍開發者為有效代碼貢獻者,而非僅在Github 上提出合并請求的人。[2019/8/13]

在上面的示例中,當i的值為0時,下一個值為2^256-1,這使條件始終為true。開發人員應當盡量使用<、>、!=和==進行比較。7.不安全的類型推導

該問題在Solidity十大安全問題排行榜中上升了兩位,現在影響到的智能合約比之前多了17%以上。Solidity支持類型推導,但有一些奇怪的表現。例如,字面量0會被推斷為byte類型,而不是通常期望的整型。在下面的示例中,i的類型被推斷為uint8,因為這時能夠存儲i的值uint8就足夠。但如果elements數組包含256個以上的元素,則下面的代碼就會發生溢出:for(vari=0;i<elements

在這個例子中,攻擊者可能利用此行為來進行拒絕服務攻擊,從而阻止其他用戶接收以太幣。10.時間戳依賴

在2018年,時間戳依賴問題排名第五,重要的是要記住,智能合約在不同時刻多個節點上運行的。以太坊虛擬機不提供時鐘時間,并且通常用于獲取時間戳的now變量實際上是礦工可以操縱的環境變量。if(timeHasCome==block

由于礦工可以操縱當前的環境變量,因此只能在不等式>、<、>=和<=中使用其值。如果你的應用需要隨機性,可以參考RANDAO合約,該合約基于任何人都可以參與的去中心化自治組織,是所有參與者共同生成的隨機數。總結

比較2018年和2020年十大常見問題時,我們可以觀察到開發最佳實踐的一些進展,尤其是那些影響安全性的實踐。看到2018年排名前2位的問題:外部合約拒絕服務和重入,已經不再榜單了,這是一個積極的信號,但仍然需要采取措施來避免這類常見錯誤。請記住,智能合約在設計上是不可變的,這意味著一旦創建,就無法修補源代碼。這對安全性構成了巨大挑戰,開發人員應利用可用的安全測試工具來確保在部署之前對源代碼進行了充分的測試和審核。Solidity是一種非常新且仍在成熟的編程語言,Solidityv0.6.0引入了一些重大更改,并且預計在以后的版本中還會有更多更改。來源鏈接:securityboulevard.com

Tags:AAVEAVESOLIDLIDAave LENDarweave幣未來幾千美金SOLID價格BLID幣

fil幣價格今日行情
FATF年度「虛擬資產監管」報告:隱私幣困境、反恐融資法規和數據轉移規則_虛擬資產:FAT

編者按:本文來自碳鏈價值,作者:Noni,翻譯:白夜,Odaily星球日報經授權轉載。2020年6月24日,反洗錢金融行動特別工作組輪值主席、前央行條法司司長劉向民主持召開第三次也是最后一次全體.

1900/1/1 0:00:00
OKEx投研:行情延續性依然不佳,短期需重點留意這些節點_okex:USDT

BTC/USDT永續合約 各級別性質:日線-盤整,4小時-盤整,1小時-盤整截圖來自OKEXBTC/USDT永續合約1小時圖:對于行情從兩個角度來說.

1900/1/1 0:00:00
近期熱門小幣種跳水嚴重,當前最值得投資的幣種有哪些?_COM:BEDC

最近的一些小幣種很是火爆,有些雖然不是主流貨幣,卻是當前很火項目的代幣,在初始上線的時候成為了市場的熱點,受到了很多資本關注。在這個過程中,也伴隨著原本不足以支撐其實際價值的泡沫.

1900/1/1 0:00:00
穩定幣也能賺10倍?一個極具顛覆的穩定幣AMPL_穩定幣:bitstamp有外平臺嗎

編者按:本文來自小吒閑談,Odaily星球日報經授權轉載。今天說一說穩定幣AMPL,如果你沒聽過,還不知道它,那么接下來你一定會知道它。看它像zjp,又不像;看它像正經項目,又覺得它馬上會崩盤.

1900/1/1 0:00:00
跌出市值前10的EOS這些年到底經歷了什么_EOS:ada艾達幣怎么挖礦

編者按:本文來自Rossa私想匯,作者:Rossa,Odaily星球日報經授權轉載。一、豐滿的理想對于EOS,中國投資人都不會陌生,因為EOS曾經是明星項目.

1900/1/1 0:00:00
盤點:一年多過去了,市值前40的幣種都發生了什么變化?_EFI:Clever DeFi

編者按:本文來自威廉閑談,作者:陳威廉,Odaily星球日報經授權轉載。我在2019年2月份的時候,也就是差不多去年的過年前后發了一條微博,聊到了市值前40的項目.

1900/1/1 0:00:00
ads