深入理解以太坊交易處理機制_區塊鏈

前言

區塊鏈是一個以"去中心化"、"去信任化"方式集體維護的分布式賬本，這里的"分布式"不僅體現在數據的分布式存儲，也體現在數據的分布式記錄，即由系統參與者共同維護，作為"賬本"的區塊鏈自然少不了記賬，而交易自然而然的成為了重中之重。知道創宇區塊鏈安全實驗室將從源代碼視角對以太坊交易池數據結構、交易費用設置、交易構建、交易入池、交易簽名、交易驗證等邏輯設計進行簡要淺析，并通過對以太坊交易安全機制設計來研究公鏈安全機制設計。基本概念

交易流程示意圖大致如下所示：

流程說明：首先由用戶通過網絡發起交易請求，并使用自己的私鑰對交易進行簽名，之后進行交易廣播，進而將交易添加到交易池中，礦工從交易池中獲取交易信息，然后將其進行打包并生成區塊，之后通過進行共識出塊，最后向全網廣播交易區塊。數據流向：交易池的數據來源：本地提交，第三方應用通過調用本地以太坊節點的RPC服務提交交易；遠程同步，通過廣播同步的形式，將其他以太坊節點的交易數據同步至本地節點。交易池的數據去向：由miner(礦工)獲取并驗證，用于挖礦，挖礦成功后寫進區塊被廣播，交易被寫入規范鏈后會從交易池中進行刪除，如果交易被寫進分叉則交易池中的交易不會減少，之后等待重新打包。數據結構

首先來看一下TxPoolConfig的配置信息：

默認配置如下：

TxPool數據結構如下所示：

基礎配置

在分析交易執行我們首先需要來看一些基本的配置，例如：交易手續費是有有最大的上限/下限、交易池配置、交易最大信息檢索數量等，在這里我們僅對一些關鍵的點進行查看：01交易手續費

02交易池配置

03交易檢索數量

初始化池

交易池的初始化通過NewTxPool來實現，具體代碼如下所示：

國務院辦公廳盧向東：區塊鏈等新技術與政府業務深入融合:10月12日，第三屆數字中國建設峰會數字政府分論壇在福州召開。國務院辦公廳電子政務辦公室主任盧向東表示，黨中央、國務院作出推進數字政府建設的重要決策部署，意義重大，影響深遠。目前推進數字政府建設已經具備良好的支撐條件。當前，5G網絡覆蓋范圍不斷拓展，云計算統籌優化基礎設施資源，物聯網、大數據、人工智能、區塊鏈等新技術與政府業務深入融合，新一代信息技術為數字政府建設提供了強有力的技術保障。（經濟參考報）[2020/10/15]

在這里首先調用sanitize函數對配置參數進行校驗，以規避設置不合理的gasprices。

之后使用默認配置初始化一個交易池(txpool):

之后初始化本地賬戶并將配置的本地賬戶地址加到交易池：

之后創建更加gasprices排序的交易：

具體實現代碼如下所示：

之后調用reset更新交易池：

reset具體實現如下：

之后啟動reorg循環，使其能夠處理日志加載期間生成的請求：

scheduleReorgLoop具體實現代碼如下所示，該函數主要用于reset和promoteExecutable的執行計劃。

聲音 | 中國科學院院士：深入貫徹落實密碼法 推動商用密碼標準制定與產業發展:中國科學院院士王小云針對深入貫徹落實密碼法、推動商用密碼標準制定與產業發展有以下幾點認識：1.密碼法準確界定了密碼的定義與內涵；2.加快推進商用密碼產業發展、頂層設計并完善商用密碼檢測認證體系；3.加大密碼核心關鍵技術的自主創新能力與標準制定，貢獻中國密碼的智慧與方案；4.加快雄安新區同步規劃與建設密碼防護體系；5.加快推進以密碼技術為支撐的區塊鏈技術研發以及試點工程，加快區塊鏈行業標準、國家標準以及國際標準制定進程；6.動密碼專業建設與學科發展，加大規模化密碼人才培養力度。（經濟參考報）[2019/11/21]

此時如果本地交易開啟那么從本地磁盤加載本地交易。

之后訂閱相關交易事件并開啟主循環：

主循環loop具體實現代碼如下，它是txPool的一個goroutine，也是主要的事件循環，它主要用于等待和響應外部區塊鏈事件以及各種報告和交易驅逐事件:

構建交易

交易有用戶發起，使得資產從一方轉移至另一方，即所謂的價值轉移，我們最直觀的交易構建就是通過錢包來進行轉賬，在這里我們直接以eth_sendTransaction這一個RPC為例進行分析交易的構建流程，eth_sendTransaction請求示例如下：

參數示例：from:DATA，20字節-發送交易的源地址to:DATA，20字節-交易的目標地址，當創建新合約時可選gas:QUANTITY-交易執行可用gas量，可選整數，默認值90000，未用gas將返還gasPrice:QUANTITY-gas價格，可選，默認值：待定(To-Be-Determined)value:QUANTITY-交易發送的金額，可選整數data:DATA-合約的編譯帶啊或被調用方法的簽名及編碼參數nonce:QUANTITY-nonce，可選，可以使用同一個nonce來實現掛起的交易的重寫

響應示例：

下面我們來跟蹤一下eth_sendTransaction這一個RPC的執行過程，在這里首先檢索賬戶是否存在，之后檢查Nonce是否為空，緊接著調用SingTx進行簽名操作，之后調用SubmitTransaction來提交交易：

聲音 | 法中委員會秘書長林碧溪：中法兩國深入區塊鏈及人工智能合作:據人民網消息，2018年第五屆中法團隊合作創新獎即將在巴黎揭幕，法中委員會秘書長林碧溪表示，今年提交的候選項目中，區塊鏈、人工智能、數字化工具的項目明顯增加，且涉及領域非常廣泛，覆蓋核電站老化預測的解決方案、區塊鏈學歷認證及智慧城市能源管理等領域。林碧溪指出，中法兩國創新合作的多樣性，體現在創新合作的跨領域特征中。當今世界技術革新非常迅速，從區塊鏈、人工智能到數字應用，都需要中法合作團隊及時掌握并適應形勢，才能致力于開發未來的新技術。[2018/11/30]

SignTx實現代碼如下所示，在這里會繼續調用SignTx進行簽名操作，這里不再深入，后續的"交易簽名"會進行纖細分析：

簽名之后返回SendTransaction中去調用SubmitTransaction來提交簽名，在這里會首先檢查交易費用是否足夠，之后調用SendTx來發送交易：

SendTx的具體實現如下，在這里會調用AddLocal來添加交易到交易池中去，這里不再深入后續會有"添加交易"這一個分析單元模塊：

之后檢查接受地址是否為空，如果為空則創建一個地址(一般在合約創建時出現)，之后打印一份完整的TX詳細信息的日志便于后續手動調查分析，之后返回交易的hash值：

交易入池

我們知道交易的來源有兩個方面：一個方面是本地提交的，另一個方面是遠程提交的，這兩個的具體實現代碼分別為AddLocals和AddRemotes，這兩個函數在添加交易到交易池時都是通過調用addTxs來實現的：

addTxs代碼如下所示：

首先會對交易進行過濾，檢查是否是一個已知的交易(即添加過或廣播過的)，之后調用send函數校驗通過secp256k1橢圓曲線從簽名(v,r,s)派生的地址，如果派生失敗或簽名不正確，則返回錯誤:

中國發展高層論壇將對區塊鏈技術進行深入討論:2018年中國發展高層論壇將于3月24至26日在北京舉行，中國發展研究基金會相關人士表示，中國發展高層論壇在今年迎來了第19屆。圍繞高質量發展、財稅體制改革、供給側結構性改革與金融政策、全面開放新格局、創新與未來等重大議題，中外方嘉賓將開展深入討論。此外，參會嘉賓還將對中國改革開放四十周年、全球不平等、新時代的中美關系、一帶一路、人工智能時代的產業轉型、鄉村振興與農業現代化、金融創新與區塊鏈革命等熱點議題進行深入交流。[2018/2/26]

之后將交易添加到交易池中去(注意:這里有事務鎖)

addTxsLocked的具體實現如下所示，它會將有效的交易進行排隊處理，同時調用pool.add函數將交易添加到交易隊列中去：

add函數的具體實現如下所示：

在這里會首先檢查當前的交易是否已經知曉(即被廣播過或者添加到池子里過)，如果已知曉則直接丟棄：

之后鑒別交易是本地提交還是遠程提交，并調用函數validateTx來驗證交易，如果驗證不通過則直接丟棄：

之后檢查交易池是否滿了，如果滿了則放棄交易隊列中定價過低的交易，GlobalSlots和GlobalQueue為pending和queue的最大容量：

之后判斷當前交易在pending隊列中是否存在nonce值相同的交易，如果存在則判斷當前交易所設置的gasprice是否超過設置的PriceBump百分比，超過則替換覆蓋已存在的交易，否則報錯返回替換交易Gasprice過低，并且把它扔到queue隊列中(enqueueTx):

之后調用enqueueTx將添加到交易隊列中去，同時檢查from賬戶是否為本地地址，如果是則添加到交易池本地地址中去：

Facebook創始人稱要深入的學習和了解加密貨幣技術:扎克伯格在Facebook發帖稱，2018年他的新挑戰是解決Facebook存在的一些問題，并且還要深入了解和學習加密技術和加密貨幣，并運用到Facebook的服務中去。[2018/1/5]

enqueueTx代碼如下所示，該函數主要將新的交易插入到交易隊列中去：

最后會到addTx函數中在這里會調用requestPromoteExecutables函數進行一次交易提升請求操作，它主要將交易從queue投放到pending中去:

交易簽名

交易簽名主要通過函數SignTx來實現，首先檢查錢包是否關閉，之后檢查錢包賬戶中是否包含發情交易請求的賬戶，之后調用SignTx進行簽名處理：

SignTx的具體實現代碼如下所示：

校驗過賬戶的有效性后我們可以通過SignTx來使用keystore進行簽名處理，在這里緊接著調用LatestSignerForChainID進行簽名：

之后再SignTx函數中使用私鑰進行簽名：

在sign中使用ECDSA(橢圓曲線加密算法)進行簽名，之后返回簽名的結果：

交易驗證

交易驗證時整個交易環節最重要的一環，對于用戶來說，交易驗證時保證用戶財產安全的重要手段，而對于整個以太坊來說，交易驗證時保證以太坊穩定運行和持續發展的重要方式，交易驗證主要出現在以下幾個場景中：用戶完成一筆交易的簽名時，需要將交易提交到區塊鏈網絡中，是交易能夠盡快確認，節點在提交交易之前需要先驗證交易，確認交易的合法性；節點收到其他節點廣播的交易時，節點需要先驗證交易是否合法，合法的交易才會加入節點的交易池；當一個挖礦節點成功計算出符合要求的哈希值后，節點會將交易池中的交易打包到區塊中，接地那在打包交易的時候需要驗證交易的合法性；節點收到其他節點同步到的區塊是，也需要驗證區塊中包含的交易。交易驗證由validateTx函數來完成，其邏輯代碼如下所示，在這里會檢查eip2718是否開啟以及交易的類型，之后檢查交易的size、交易轉賬的額度、交易的gas、交易簽名的正確性、確保交易遵循Nonce順序、交易人資產是否足夠、確保交易的gasprice幣基本的交易費用要高：

交易升級

交易升級主要是指將交易放入pending列表中去，該方法與add方法的不同之處在于add函數是將獲得到的新交易插入pending，而PromoteExecutables是將把給定的賬號地址列表中可以執行的交易從queue列表中插入pending中，并檢查失效的交易，然后發送交易池更新事件，其實現代碼如下所示：

在這里通過一個for循環來迭代所有的賬戶并升級交易，在這里首先將所有queue中nonce低于賬戶當前nonce的交易刪除：

之后將所有queue中消費大于賬戶所持余額或者gas大于最大gas限制的交易移除：

之后將所有可執行的交易從queue里面添加到pending里面，在這里會調用promoteTx方法將隊列中的交易(Txs)放入pending：

promoteTx實現代碼如下所示，該函數首先將交易插入到pending隊列中去，如果舊交易更好(交易Gasprice大于或等于原交易價值的110%為標準，具體跟pricebump設定有關系)則刪除當前這個交易，如果當前交易相較于舊的交易更好則刪除舊的交易，之后更新列表：

之后回到promoteExecutables函數中，如果非本地賬戶queue小于限制(AccountQueue)則進行移除操作：

最后記錄移除的條目并更新queuedGauge，如果隊列中此賬戶的交易為空則刪除此賬戶：

交易降級

交易降級是指當出現新的區塊時，已被打包的交易將從padding中降級到queue中，或者當另外一筆交易的Gasprice更高時則會從padding中降級到queue中，降級操作的關鍵實現函數為demoteUnexecutables，交易降級主要出現在以下三種情況中：分叉導致Account的Nonce值降低：假如原規范鏈A上交易序號m花費了20，且已經上鏈，而分叉后新規范鏈上交易序號m未上鏈，從而導致在規范鏈上記錄的賬戶的Nonce降低，這樣交易m就必須要回滾到交易池，放到queue中去；分叉后出現間隙：這種問題出現通常是因為交易余額問題導致的，假如原規范鏈上交易m花費100，分叉后該賬戶又發出一個交易m花費200，這就導致該賬戶余額本來可以支付原來規范鏈上的某筆交易，但在新的規范鏈上可能就不夠了，這個余額不足的交易如果是m+3，那么在m+2，m+4號交易之間就出現了空隙，這就導致從m+3開始往后所有的交易都要降級；分叉導致pending最前一個交易的nonce值與狀態的nonce值不等。demoteUnexecutables代碼如下所示，在這里首先通過遍歷pending列表來獲取每個addr的最新Nonce值，之后刪除Nonce小于之前查詢所得Nonce值的交易，之后返回賬戶余額已經不足以支付交易費用和一些暫時無效的交易，并將暫時無效的交易放到queue中，此時如果有間隙，則將后面的交易移動到queue列表中，如果經過上面的降級，如果pending里某個addr一個交易都沒有，就把該賬戶給刪除：

池子重置

我們可以通過reset來重置交易池，該方法具體代碼如下所示：

如果老區塊不為空且老區塊不是新區塊的父區塊，則檢查老區塊和新區塊之間的差值是否大于64，如果超過64則不進行重組，否則獲取舊頭和新頭的最新區塊，如果舊頭為null則檢查新頭的高度是否小于舊頭的高度，則打印日志并直接return，如果不滿足則繼續向下執行；如果舊頭不為null則開始進行重組，此時如果舊鏈的頭區塊大于新鏈的頭區塊高度時則舊鏈先后回退并回收所有回退的交易，如果新鏈的頭區塊大于舊鏈的頭區塊則新鏈后退并回收交易，當新鏈和舊鏈的到達同一高度時則同時回退直到找到共同的父節點，之后找出所有存儲在discard里面但是不在included里面的值，之后將這些交易重新插入到pool里面：

之后設置最新的世界狀態、設置新鏈頭區塊的狀態，然后把舊鏈回退的交易放入交易池：

文末小結

區塊鏈由區塊以鏈式結構相互鏈接而成，每一個區塊有區塊頭和區塊主體兩部分組成，其中區塊主體存儲交易記錄，故而"交易"成為了鏈上數據的關鍵所在，也是鏈上價值轉移的主要途徑，在公鏈體系中交易的構建流程、交易的驗證、交易的簽名、Gas費用的設計等環節都存在值得考慮的安全風險，例如：當交易費用(GasPrice)可為0時的零手續費惡意DOS攻擊、交易簽名偽造、雙花攻擊、交易簽名數據長度未校驗導致簽名時節點OOM等。本篇文章通過從源代碼角度對以太坊交易池數據結構、交易手續費設置、交易構建、交易簽名、交易入池、交易驗證、交易升級、交易降級、交易池重置等功能模塊的分析，探索了以太坊交易處理的流程以及安全設計，而公鏈安全體系的建設依舊是長路漫漫，有待進一步深入探索。參考鏈接：

https://blog.csdn.net/lj900911/article/details/84825739https://blog.csdn.net/pulong074

Tags：ENDGAS區塊鏈NCETrendsygas幣騙局區塊鏈域名是什么意思COOKIE FINANCE

PEPE幣