買以太坊 買以太坊
Ctrl+D 買以太坊
ads

區塊鏈:歐易程序員1024獻禮:鏈上安全手冊_BABYOKX

Author:

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

安全功能組成,例如密碼學、軟件中介合同和身份控制。該技術通過啟用分布式方式來驗證訪問、驗證交易記錄和維護隱私,從而提供顯著水平的數據保護和完整性。

然而,盡管有這些安全性增強,區塊鏈市場仍然充斥著安全問題。基于區塊鏈的攻擊來自外部參與者以及內部人員。其中許多黑客使用了常見的策略,例如網絡釣魚、社會工程、攻擊傳輸中的數據或針對編碼錯誤。新技術伴隨著新的開發工具和方法,區塊鏈也不例外。一種新的網絡威脅正在出現,涉及區塊鏈網絡獨有的策略。其中包括:51%的攻擊、加密劫持、閃電貸攻擊、rugpull等

人為風險

人為風險是除技術外的一類因素,端點漏洞也是惡意行為者的入口點,例如設備、應用程序、錢包或第三方供應商級別的漏洞。員工和供應商人員也是目標。并非所有的區塊鏈都是平等的,在市場討論中經常被忽視的是,區塊鏈架構存在很大差異,尤其是在涉及不同結構和組件如何引入安全權衡時。隨著區塊鏈的組件、算法和用途不斷發展,攻擊策略和威脅緩解技術也將不斷發展。

缺乏監管

缺乏監管,智能合約不能替代合規性——它們不具有法律約束力。從洗錢到假冒,從隱私到詐騙,不明確的監管環境會減緩采用速度,并使網絡犯罪分子猖獗。

邏輯漏洞

邏輯漏洞是指由于程序邏輯不嚴導致一些邏輯分支處理錯誤造成的漏洞。

在實際開發中,因為開發者水平不一沒有安全意識,而且業務發展迅速內部測試沒有及時到位,所以常常會出現類似的漏洞。

代碼漏洞

歐易OKX Blockdream Ventures戰略投資Gamepad.co:據官方消息,歐易OKX Blockdream Ventures宣布戰略投資元宇宙項目、游戲及公會的孵化平臺GamePad。

對于此次合作,歐易OKX Blockdream Ventures創始人Dora表示,“我們很高興參與Gamepad 的本輪投資,共同探索GameFi的成長和發展。Gamepad聚合了眾多GameFi項目,為項目方提供服務,鏈接C端用戶,提高游戲玩家留存率,這些將為合作項目創造很大價值。”

Gamepad.co 是加密游戲、公會和元宇宙的下一代去中心化加速器,它集孵化、?launchpad、nft平臺等多種功能,以支持項目和社區的長期發展,本輪融資將推動其進入下一階段。[2022/3/7 13:42:31]

這是指代碼中的一個缺陷,它會產生損害安全性的潛在風險。此漏洞將允許黑客通過附加端點來提取數據、篡改合約或更糟的是擦除所有內容,從而利用代碼。

風險分級

致命:存在致命風險及隱患,需要立即解決

高風險:存在高危風險及隱患,將引發相同問題,必須解決

中風險:存在中度風險及隱患,可能導致潛在風險,最終仍然需要解決

低風險:存在低風險及隱患,指各類處理不當或會引發警告信息的細節,這類問題可暫時擱置

建議:存在可優化的部分,這類問題可以擱置,但建議最終解決

分級標準

定級主要依據漏洞的危害程度、利用難度,輔以其他因素綜合判定,其中:危害程度主要根據機密性影響(C)、完整性影響(I)、可用性影響(A)三個維度定義;利用難度主要根據攻擊向量(AV)、攻擊復雜度(AC)、認證(Au)三個維度定義。

歐易OKEx更名為歐易OKX:據官方消息,1月18日,數字資產交易平臺歐易OKEx宣布更名為歐易OKX。官方公告稱,歐易OKX不再只是一個簡單的Crypto交易平臺,而是正在發展為Crypto Ecosystem的基礎設施提供商。因此我們決定把OKEx更名為OKX,同時網站的域名由okex.com改為okx.com。

歐易OKX表示,秉承著“把Crypto帶給全球億萬用戶”的理想,我們信心十足,目標堅定,動力充沛。未來歐易OKX將以全新的品牌出現,持續推出更多激動人心的產品,把OKB作為OKX平臺與用戶連接的橋梁,把OKT作為OEC的基礎Token。[2022/1/18 8:56:39]

風險種類個數

重入攻擊

注入攻擊

權限繞過

Mempool搶跑

回滾

條件競爭

循環耗盡gas費

閃電貸高影響

經濟模型不合理

可預見的隨機數

投票權管理混亂

數據隱私泄露

鏈上時間使用不當

fallback函數編碼不當

鑒權不當

opcode使用不當

內聯匯編使用不當

構造函數不規范

返回值不規范

event不規范

關鍵字使用不規范

歐易OKEx DeFi播報:DeFi總市值828.50億美元,歐易OKEx平臺HEGIC漲幅最大:據歐易OKEx統計,DeFi項目當前總市值為828.50億美元,總鎖倉量為980.80億美元;

行情方面,今日DeFi代幣普漲;歐易OKEx平臺DeFi幣種漲幅前三位分別是HEGIC、WGRT、SNX;

截至18:00,OKEx平臺熱門DeFi幣種如下:[2021/5/18 22:15:40]

未遵循ERC標準

條件判斷不規范

流動性枯竭風險

中心化風險

邏輯變更風險

整數溢出

函數可見性不當

變量初始化不當

合約間調用不當

變量不規范

重放攻擊

隨機存儲位置寫入

蜜罐邏輯

哈希碰撞

使用不推薦的方法

未遵循基本編碼原則

第三方依賴風險

領獎邏輯不當

編碼不規范

應急機制缺失

代碼邏輯問題

計算精度丟失

無意義的合約

已棄用的合約

精度不匹配

代理使用不規范

資產安全

外部函數調用不當

歐易OKEx將于今日15時開放XTZ充提:據官方公告,歐易OKEx已完成XTZ節點升級,將于2021年5月18日15:00開放XTZ的充提。[2021/5/18 22:14:31]

多次初始化風險

未判斷返回值

賬戶缺少簽名者檢查

缺少賬戶可寫檢查

程序邏輯缺陷

Hash算法使用不當

WriteFile權限過高

業務邏輯存在為題

過時的外部依賴

循環耗盡gas

條件判斷不規范

中心化風險

未遵循基本的編碼原則

業務邏輯存在問題

每個種類風險的描述

循環耗盡gas:在以太坊區塊鏈中,不能將交易設置為永久運行。交易可以運行直到達到gas限制。一旦發生這種情況,交易將出錯,并且將返回“outofgas”錯誤。

條件判斷不規范:智能合約代碼中進行條件判斷不規范,缺失必要檢查。

中心化風險:智能合約部分函數接口權限由單一私鑰控制,具有中心化風險。

未遵循基本的編碼原則:沒有遵循基本的編碼原則,如變量命名錯誤等。

業務邏輯存在的問題:業務邏輯考慮不完善,比如退款情況考慮不周。

案例1

北京時間2022年8月2日凌晨,NomadBridge遭受攻擊,導致價值約1.9億美元的損失。

歐易OKEx已開放SHIB交易,日內漲幅15.38%:5月8日,歐易OKEx官方公告宣布上線Shiba Inu (SHIB),13:40開啟SHIB/USDT市場交易,并且將于5月10日18:00開放提現。 據歐易OKEx行情顯示,SHIB日內漲幅15.68%,現報價0.000006USDT

據悉,歐易OKEx聯合SHIB與DOGE社區發起“SHIB PK DOGE,犬王爭霸賽活動”。在5月8日-5月15日活動期間,平臺用戶充值或交易SHIB、DOGE來參與競猜投票,就有機會抽取稀缺卡牌,瓜分1枚BTC并贏取10部iPhone12。

公開資料顯示,Shiba Inu是去中心化自發社區建設的實驗,也是第一個在去中心化交易所ShibaSwap上線并作為激勵的代幣。[2021/5/8 21:37:39]

OKLink鏈上衛士追蹤顯示,NomadBridge攻擊事件共涉及1251個ETH地址,涉及14個幣種,涉案金額約1.9億美金;其中包含12個ENS地址,ENS地址涉案金額超6980萬美金,約占總金額的38%;在利用漏洞獲利后,直接進行交易的地址數達739個,占比近60%。但值得注意的是并不是所有地址都是惡意攻擊,已知已有白帽駭客公開表態愿意歸還資金,OKLink已對剩余的地址進行了監控,后期若發生異動,會通過微博、推特向用戶同步。

案例分析

對Replica合約的process函數進行分析,在require(acceptableRoot(messages),“!proven”);這個判斷條件中,messages的值需要經過acceptableRoot函數的邏輯檢驗,返回值為true才能繼續往下執行。

注意到acceptableRoot函數中,傳入的_root參數,在confirmAt大于0且小于等于block.timestamp的情況下,就會返回true。

那么該漏洞的核心就在對confirmAt這個mapping賦值的過程。從initialize函數輸入參數可以看到,_committedRoot使用了0x00。一般情況使用0值做初始化參數沒有問題,但是在Nomad的這個場景下,就導致了任意message都能通過檢測的安全漏洞。

鏈上衛士分析師建議在initialize函數中也進行嚴格的安全檢查和判斷。

BNBChian跨鏈橋BSCTokenHub遭遇攻擊。黑客利用跨鏈橋漏洞分兩次共獲取200萬枚BNB,價值約5.66億美元。

案例分析

BSCTokenHub是BNB信標鏈和BNB鏈之間的跨鏈橋。BNB鏈使用預編譯合約0x65驗證BNB信標鏈提交的IAVL的Proof,但BNB鏈對提交的Proof邊界情況處理不足,它僅考慮了Proof只有一個Leaf的場景,對多個Leaves的處理邏輯不夠嚴謹。黑客構造了一個包含多Leaves的Proof數據,繞過BNBChain上的校驗,從而在BNB鏈造成了BNB增發。

貨幣或區塊鏈交互的智能合約代碼的綜合過程。執行此過程是為了發現代碼中的錯誤、問題和安全漏洞,以便糾正和修復它們。它可以保護代碼免受未來潛在錯誤的影響。

OKLinkAudit采用靜態掃碼和人工驗證相結合的審計方式,從根源處檢查項目,確保項目安全。審計團隊還擁有嚴格的漏洞評級標準,對每個漏洞設置三個級別的評分,分別是基礎評分、時間評分和環境評分,確保審計結果的準確、專業。當然,專家團隊也會提供針對性的修改建議,提升項目的安全性、隱私性及可用性。目前參與審計的項目涵蓋公鏈、DeFi、L2、穩定幣、錢包、NFT等多個板塊。

2021年,因黑客攻擊、漏洞利用和欺詐造成的損失達到13億美元。

2022年第一季度,攻擊型安全事件造成的損失高達約12億美元,比去年同期的1.3億美元增長了約9倍。它也高于2021年任何一個季度的損失金額。

在被攻擊的項目中,70%由第三方審計機構審計。然而,在剩下的30%未經審計的項目中,因攻擊而遭受的損失占總損失額的60%以上。

Slither

Slither是第一個開源的針對Solidity語言的靜態分析框架。Slither速度非常快,準確性也非常高,它能夠在不需要用戶交互的情況下,在幾秒鐘之內找到真正的漏洞。該工具高度可配置,并且提供了多種API來幫助研究人員審計和分析Solidity代碼。

Slither在檢測智能合約漏洞時,其功能優于其他靜態分析工具,在速度、檢測準確性方面都有著先天優勢。Slither包含了一整套針對Solidity的專用靜態分析工具,它可以用來檢測可重用性、構造函數和方法訪問等編碼中的常見錯誤。

Mythril

Mythril是以太坊的官方合約漏洞檢測工具,可以檢測大量的智能合約安全問題,如整數溢出,任意地址寫入,時間戳依賴等14種漏洞檢測工具。可以發現常規漏洞,但是無法發現一個合約的業務邏輯問題,主要思想是利用符號執行去探索所有可能的不安全的路徑。

Mythril集成了符號執行、控制流檢查、污點分析等技術,并支持自定義漏洞檢測邏輯來對智能合約進行分析,同時,Mythril由于可以通過多次符號執行來模擬現實區塊鏈和智能合約被多次調用的情況,但是對于某些漏洞如重入、拒絕服務攻擊的誤報率比較高,也無法檢測出一些常規邏輯錯誤。并且由于Mythril由于存在著多次符號執行,要探索的路徑數量更多,也帶來了較大的時間和空間開銷。

風險判斷及檢測工具

1.TokenScanner

TokenScanner是OKLinkAudit第一個對外推出的產品,目前有B端API產品,以及C端頁面產品,也在和一些區塊鏈錢包團隊接洽幫助進行進行整套安全加固方案的建設。

目前API產品里面支持了9條EVM鏈的風險代幣檢測能力:POLY,OP,ARB,FTM,AVAX,OKC,TRON,頁面上支持了ETH和BSC,其他鏈正在開發中,年底之前頁面上會支持全部9條鏈的風險檢測項,通過代幣檢測能力,我們檢測了3,534,306代幣,通過我們的風險掃描,確定了106,474個風險代幣。

2.ArgusEye

結合OKLink的底層大數據能力與標簽能力,針對這些數據信息我們對風險事件中的事發地址和上下游地址進行破解與規律性總結,搭建了一套可疑地址和風險交易的實時發現、跟蹤分析及響應處置的機制。也會針對可能的安全事件做安全播報

DEX中的流動性,以及鏈上代幣持有者信息,我們擁有4部分檢測能力。

2.基于OKLink大數據能力,我們自研一套代幣打分規則對代幣進行打分,10分以下是極高風險代幣包括有貔貅盤代幣和rugpull代幣,是高危預警建議用戶不要購買,10-40是高風險,建議用戶也不要持有該代幣,40-80是中風險,80-100是低風險,用戶可以自行斟酌購買。

3.代幣分類器,對于特殊實現標準的代幣通過分類器進行展示,類似于ERC677和777與某些DEX協議不兼容,可能會導致用戶無法正常買入賣出,以及有rebase機制的代幣,代幣流通量會跟隨幣價動態變化,也就可能會導致用戶發現自己錢包里面的代幣突然減少了或是增多了。我們從用戶視角出發設置的代幣分類器幫助小白用戶快速理解代幣潛在風險。

Tags:KEXokexokx區塊鏈okex交易所幣價okex幣交易所BABYOKX區塊鏈存證多少錢

幣贏交易所
ZOD:渣打銀行支持的Zodia Custody為機構提供加密所有權證明技術_DIA

10月25日消息,由渣打銀行和NorthernTrust支持的加密貨幣存儲產品ZodiaCustody發布了一個身份工具集,可以幫助機構輕松證明托管錢包中加密貨幣的所有權.

1900/1/1 0:00:00
COIN:Hotcoin關於恢復KTO充提業務的公告_Unique.Photo

尊敬的用戶:KTO錢包維護已完成,Hotcoin現已恢復KTO的充值、提現業務。對您造成的不便深表歉意!感謝您對Hotcoin的支持與信任!HotcoinGlobal2022年10月26日Hot.

1900/1/1 0:00:00
LOC:在 Axie價值2.15億美元的代幣解鎖后,AXS 面臨壓力_Allocate Dividend

總部位于越南的專注于技術的游戲開發公司SkyMavis最初于2018年3月發布了AxieInfinty.

1900/1/1 0:00:00
CLE:想退出DeFi轉投美國公債?孫宇晨將USDC轉到Circle_NFTCircle

波場創辦人孫宇晨出任huo幣顧問后,近來動作頻頻,鏈上數據更顯示,一個孫宇晨地址自5月以來,已將23.6億枚USDC轉移至Circle,但孫宇晨否認是在套現.

1900/1/1 0:00:00
WEB:Weekly Brief:存儲技術正在滲透,動態數據處理與存儲_NFTLegends

存儲技術正在滲透:動態數據處理與存儲各類Web3應用的爆發,正在大幅提升了去中心化存儲的需求。Web3強調數據、社交、身份等方向,并構建了通用存儲層和通用結構層,去中心化存儲如何融入及滲透到各種.

1900/1/1 0:00:00
ENS:一覽Lens生態近30個項目:有哪些項目值得重點關注?_PRO

原文作者:Karen,ForesightNewsWeb3社交賽道漸露鋒芒,基于去中心化社交圖譜協議LensProtocol之上的社交應用和工具也如雨后春筍般出現.

1900/1/1 0:00:00
ads