AIR:Fairyproof Tech：從Layer 2大熱項目Arbitrum停機 看當前Layer 2審計應注意問題

以太坊的Layer 2（第二層）擴展技術是近來的熱門方向。

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

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

zkSync：非常接近Fair Onboarding Alpha階段，但首先需在zkSync 2.0主網上運行一次重置:2月14日消息，zkSync發推稱，目前已經非常接近Fair Onboarding Alpha階段，不過首先需要在zkSync 2.0主網上運行一次重置（regenesis），因為系統在此測試階段只對其核心團隊開放，用戶和項目不會受到影響。

Fair Onboarding Alpha允許開發者在封閉環境中測試其代碼，新的費用模型可以確保交易和區塊擴容考慮系統整體成本，改善證明生成性能并修復所有審計發現。[2023/2/14 12:06:26]

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

zkSync更新路線圖中Fair Onboarding Alpha和Full Launch Alpha里程碑時間至明年Q1至Q2:12月14日消息，基于ZKRollup的以太坊二層網絡zkSync宣布將推遲路線圖中Fair Onboarding Alpha和Full Launch Alpha里程碑的發布。zkSync表示，在10月達到BabyAlpha里程碑時，預計將在2022年第四季度達到Fair Onboarding Alpha，并在2023年第一季度達到Full Launch Alpha。為了給正在進行的安全審計騰出時間將推遲發布，預期其安全審計將在2023年1月之前完成，預計Fair Onboarding Alpha里程碑將推遲至2023年第一季度，Full Launch Alpha將推遲至2023年第二季度。所有產品的發布日期都將取決于網絡準備情況，Fair Onboarding Alpha中將完全開源。[2022/12/14 21:43:33]

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

Fair Launch Capital推出融資新機制：可無償提供加密項目初始審計和啟動成本:一個名為Fair Launch Capital（FLC）的新項目聲稱為創始人提供了一種為加密網絡融資的新途徑。根據其8月26日發布的一條推文，該項目將為創始人提供加密網絡和項目的資金。FLC表示其不是一個風險投資基金，并將提供“無附加條件的資助”來支付項目的初始審計和啟動成本。

FLC背后的核心團隊是加密投資者Gavin McDermott和來自IDEO CoLab Ventures的Joe Gerber，以及Coinbase前雇員Reuben Bramanathan。他們表示，其目標是為DeFi項目提供一種社區驅動的替代方案。據悉，IDEO CoLab Ventures投資了許多加密初創公司，包括區塊鏈加速器項目Startup Studio。

FLC稱將“使創始人能夠啟動新的加密網絡，這些網絡從一開始就由社區獲得、擁有和管理”，無預售、無預挖、無代幣分發。項目啟動后，社區將進行治理投票，決定是否將他們收到的資金轉交給下一個有意嘗試Fair Launch的創始人。FLC表示，其核心團隊很快就會選擇一個單獨的項目來進行新模型的第一次實驗。（Cointelegraph）[2020/8/27]

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

火幣Hadax站本期投票上幣結束，SEXC、YCC、FAIR位列前三:火幣Hadax站本期投票上幣結束，SEXC以358581122票數獲得本期投票的第一名，據了解，SHAREX基于區塊鏈去中心化、不可篡改的特點，為股權持有者提供零門檻、高效率、安全可靠的股權流通交易平臺，幫助股權持有者迅速將所持股權變現；YCC原鏈以265585366票數獲得本期投票排名的第二名，據了解，YCC原鏈是一種全新的區塊鏈網絡架構，一方面公鏈的性能可以超過萬筆每秒，另一方面公鏈和許可鏈可以實現信息互聯，價值互通；FAIR以207425602票數獲得本期投票排名的第三名，據了解，FAIR將區塊鏈技術中的“公開、公正、公平”特點與線上游戲相結合，將傳統游戲運營中的黑箱操作、數值算法不透明、玩家地位不對稱等問題完善地解決。[2018/5/21]

朱懷陽、孫澤宇宣布加入比特信仰Bitcoin Faith:據了解，朱懷陽、孫澤宇已宣布加入比特信仰Bitcoin Faith，將為社區帶來多方面的支持。比特幣將于區塊高度500,000分叉，新鏈取名為比特信仰（BTF），屆時每一個比特幣用戶都將獲得一個BTF。預計本次比特幣分叉時間為2017年12月19日凌晨4點左右。[2017/12/18]

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

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

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

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()中使用select default處理channel阻塞的情況。這樣當系統在處理超過maxTxDataSize限制的狀況重新向txQueue壓入交易時，使用select default進行處理。

Arbitrum提交的修復代碼如下：

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

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

關于Fairyproof Tech：

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

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

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

作者：

Fairyproof TechCEO 譚粵飛

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

Tags：FAIFAIRAIRALPHAFAIR價格fair幣創始人3AIRAlpha5

USDT