以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > BNB價格 > Info

靈蹤安全:從Layer 2大熱項目Arbitrum停機 看當前Layer 2審計應注意問題_以太坊

Author:

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

以太坊的Layer2擴展技術是近來的熱門方向。

所謂的Layer2擴展技術,簡單地理解就是將原本在以太坊主網上執行的交易放到主網之外的系統中執行,只有一些關鍵的交易才由這些系統最終提交到以太坊進行最終的驗證和裁決。這些主網之外的系統通常也稱為“鏈下系統”。

有了Layer2擴展技術以后,以太坊就可以卸下沉重的交易負擔,只負責執行業務邏輯中關鍵的步驟,而把大量高頻、瑣碎的業務放到Layer2擴展中執行。這相當于提高了以太坊對業務量的處理,提高了以太坊的性能。據理論估測,在Layer2擴展技術的支持下,以太坊整體的TPS能夠達到10萬TPS甚至更高。由于Layer2擴展最終還是要將關鍵的步驟放到以太坊上進行驗證,因此它的安全性始終掛靠在以太坊上。所以從安全的角度看,Layer2擴展技術又比現有的側鏈方案要高。因此Layer2擴展技術近來迎來了爆發。

靈蹤安全:Sushi Miso被攻擊的漏洞是一名Sushi雇傭的匿名開發者提交的:9月17日消息,Sushi的Miso項目遭到Supply Chain攻擊,一名Sushi 的匿名前端開發承包商使用GH handle AristoK3將惡意代碼注入Miso前端github倉庫,攻擊者在拍賣創建時插入自己的錢包地址以替換拍賣的錢包地址。

靈蹤安全建議: 開發者應檢查自己的前端應用是否有漏洞,并對前端代碼進行安全審計。[2021/9/17 23:32:08]

在近期大熱的Layer2擴展技術方案中Arbitrum就是熱門項目之一。截至寫稿時為止,它的鎖倉量已經達到14億美元。然而就在其氣勢一路高漲時,9月14日,Arbitrum卻因為內存泄露導致運作暫時停滯。

和公鏈項目類似,Arbitrum系統也是區塊鏈領域的底層平臺,它是用Go語言實現的。其代碼文件是packages/arb-rpc-node/batcher/sequencerBatcher.go。

靈蹤安全全程支持MDEX漏洞賞金計劃:據靈蹤安全官方消息,靈蹤安全的深度合作伙伴MDEX,為了生態穩健成長以及在成長的路上持續保障用戶的資產安全、交易安全,MDEX于今日正式開啟漏洞賞金計劃,嚴重漏洞最高獎勵60000USDT。靈蹤安全將以安全顧問的身份全程參與該計劃,為用戶資產、交易安全保駕護航。[2021/6/18 23:47:59]

根據靈蹤安全的漏洞檢測系統顯示:出現本次內存泄露問題的代碼在SequencerBatcher.SendTransaction()函數中。其具體代碼片段如下:

其中b.txQueue是個帶緩存的channel,代碼如下:

靈蹤安全已審計ChainSwap項目智能合約 暫未發現風險:據官方消息,靈蹤安全近期審計了ChainSwap項目的智能合約,所審計的TOKEN,Factory和LBP合約為該項目通證發行、跨鏈映射通證發行以及Uniswap上發布通證交易的LBP機制。經靈蹤安全審計(細節請參看審計報告)暫未發現風險。[2021/4/25 20:55:42]

當系統處理交易時,SendTransaction()函數會將交易打包成Batch進行批處理,而不是一筆一筆地發送。具體處理流程如下:

1.對一筆交易,首先將txQueueItem傳入b.txQueue的緩存channel中。

靈蹤安全CEO譚粵飛:智能合約安全有其特殊性:金色財經現場報道,4月10日,金色財經主辦的共為創新大會“DeFi的創新進階”專場于上海舉辦,會上靈蹤安全CEO譚粵飛演講表示,

2020年DeFi安全損失超過2億美金,這些安全事故大多來自對智能合約的攻擊,智能合約的安全事故較多,原因有三:第一個是智能合約本身,第二是區塊鏈技術特點,第三是社會因素。

首先智能合約一旦部署,不能被撤回。其次區塊鏈結構使項目方無法知曉攻擊者的社會身份以及交易不可逆。最后是智能合約應用的社會約束比較缺乏,例如缺乏對數字資產的保護,缺乏對區塊鏈應用的約束和規范。[2021/4/10 20:05:32]

b.txQueue<-txQueueItem{tx:startTx,resultChan:startResultChan}

2.然后從b.txQueue中讀取一個交易。

queueItem:=<-b.txQueue

3.判斷讀取的交易的字節數是否超過最大限制,如果超過最大限制。則將從txQueue中取出的交易又重新壓入txQueue中。

4.?這時因為txQueue的緩存大小是10,如果同時有大量的SendTransaction()調用,則當len(txQueue)大于10時就會造成將新交易推入txQueue時阻塞,導致SendTransaction()的goroutinue無法及時釋放,最終造成內存泄漏。

對這個問題,可以在SendTransaction()中使用selectdefault處理channel阻塞的情況。這樣當系統在處理超過maxTxDataSize限制的狀況重新向txQueue壓入交易時,使用selectdefault進行處理。

Arbitrum提交的修復代碼如下:

實際上這是一個處理高并發狀況的問題。這類問題此前在其它的區塊鏈中都出現過,業界對此也有相應的解決方案,因此它并不是一個新問題。理論上只要審計公司在審計過程中細心審查是可以發現這類問題的。

靈蹤安全認為Layer2擴展技術當下的火熱只是這一趨勢的開始,未來更多項目、更大的生態還在孕育和發展中。我們在底層公鏈技術的積累將讓我們用專業的技能和嚴謹的態度服務好這一前景廣闊的生態。?

關于靈蹤安全:

靈蹤安全科技有限公司是一家專注區塊鏈生態安全的公司。靈蹤安全科技主要通過“代碼風險檢測+邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月,團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。

團隊成員參與發起并提交了以太坊領域的多項標準草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569被以太坊團隊正式收入。

團隊參與了多項以太坊項目的發起及構建,包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目,并參與了多個項目的安全審計工作,在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。

作者:

靈蹤安全CEO譚粵飛

美國弗吉尼亞理工大學(VirginiaTech,Blacksburg,VA,USA)工業工程碩士(Master)。曾任美國硅谷半導體公司AIBTInc軟件工程師,負責底層控制系統的開發、設備制程的程序實現、算法的設計,并負責與臺積電的全面技術對接和交流。自2011至今,從事嵌入式,互聯網及區塊鏈技術的研究,深圳大學創業學院《區塊鏈概論》課程教師,中山大學區塊鏈與智能中心客座研究員,廣東省金融創新研究會常務理事?。個人擁有4項區塊鏈相關專利、3本出版著作。

Tags:以太坊區塊鏈LAYERCHA以太坊幣今日價格行情非小號區塊鏈的四大核心技術Relayer NetworkCHAM

BNB價格
Findora 開發者網絡成功實現 EVM 的完全兼容和跨鏈功能 正式進入 DeFi 生態_FIN

2021年9月22日-具有可編程隱私屬性的區塊鏈公鏈?Findora,其背后的開發者之一DiscreetLabs宣布,開發者現在可以通過Findora開發者網絡上的以太坊虛擬機部署智能合約.

1900/1/1 0:00:00
以太坊和它的殺手們(一):EOS和TRON_以太坊

以太坊,作為全球市值第二的加密貨幣,崛起于2017年牛市的ico浪潮,從此坐穩了加密貨幣市場老二的位置。這幾年間有無數的項目想對以太坊發起挑戰,都無一例外的慘遭失敗.

1900/1/1 0:00:00
虛擬貨幣整治全面升級 清退挖礦與禁止相關業務活動雙管齊下_比特幣

9月24日,國家發改委等11部門發布《關于整治虛擬貨幣“挖礦”活動的通知》,宣布虛擬貨幣“挖礦”活動將被正式列為淘汰類產業.

1900/1/1 0:00:00
NFT社交屬性更進一步:Twitter賬戶如何綁定并認證NFT頭像_NFT

Twitter上周宣布該公司正在進行NFT作品的認證功能,這意味著推特用戶將可以在其賬戶下綁定所擁有的NFT并認證所有權。并且用戶可以將通過認證的NFT作為其推特頭像.

1900/1/1 0:00:00
一文了解Solana杠桿挖礦協議生態_EFI

DeFi可以說是區塊鏈歷史上最偉大的創新之一,而流動性挖礦是DeFi火爆的導火索。得益于去中心化協議Compound,流動性挖礦在2020年夏天一鳴驚人.

1900/1/1 0:00:00
自動做市商(AMM)算法的數學原理及其未來發展_Curve

本文總共分為中篇闡述自動做市商算法、現狀及未來迭代的思考,本文為中篇。下篇請點擊 目錄 7.?Curve的StableSwap和交易公式8.?CurveV2的動態權重、可定制的價格錨定和平滑的價.

1900/1/1 0:00:00
ads