GAS:深入理解以太坊交易處理機制_UGAS幣

前言

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

基本概念

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

流程說明：

首先由用戶通過網絡發起交易請求，并使用自己的私鑰對交易進行簽名，之后進行交易廣播，進而將交易添加到交易池中，礦工從交易池中獲取交易信息，然后將其進行打包并生成區塊，之后通過進行共識出塊，最后向全網廣播交易區塊。數據流向：

交易池的數據來源：本地提交，第三方應用通過調用本地以太坊節點的RPC服務提交交易；遠程同步，通過廣播同步的形式，將其他以太坊節點的交易數據同步至本地節點。

交易池的數據去向：由miner(礦工)獲取并驗證，用于挖礦，挖礦成功后寫進區塊被廣播，交易被寫入規范鏈后會從交易池中進行刪除，如果交易被寫進分叉則交易池中的交易不會減少，之后等待重新打包。

數據結構

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

默認配置如下：

TxPool數據結構如下所示：

基礎配置

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

G20會議：鼓勵繼續深入分析央行數字貨幣在促進跨境支付方面的潛在作用:10月31日， 二十國集團領導人第十六次峰會于10月30日至31日在意大利首都羅馬以線上線下相結合方式舉行。峰會通過了《二十國集團領導人羅馬峰會宣言》。摘要如下：

我們歡迎金融穩定理事會從金融穩定角度總結新冠肺炎疫情教訓的最終報告以及下步建議。我們鼓勵繼續深入分析央行數字貨幣在促進跨境支付方面的潛在作用及其對國際貨幣體系更廣泛的影響。（經濟日報）[2021/11/1 6:24:01]

01交易手續費

02交易池配置

初始化池

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

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

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

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

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

具體實現代碼如下所示：

之后調用reset更新交易池：

reset具體實現如下：

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

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

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

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

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

姚前：區塊鏈技術值得數據跨境流動及其監管各方深入研究:《中國金融》2020年第22期，中國證監會科技監管局局長姚前刊文《數據跨境流動的制度建設與技術支撐》表示，支付標記化技術將個人數據的“匿名化”交由可信第三方負責，而區塊鏈技術則創造了用戶完全自主可控的數據隱私保護新思路。用戶的私鑰可以本地生成，通過公鑰計算發布有效的賬戶地址，從而隔斷賬戶地址和賬戶持有人真實身份的關聯。通過控制私鑰，用戶可以在區塊鏈上自主完成交易，雖然在區塊鏈網絡上能夠看到每一筆交易的細節，但無法對應到現實世界中的具體某個人。區塊鏈技術從根本上打破中心化模式下數據控制者對數據的天然壟斷，賦予用戶真正的數據隱私保護權。區塊鏈技術還可與先進密碼學技術結合，發展出各類隱私保護方案。比如，利用基于環簽名、群簽名等密碼學方案保護簽名方身份；采用高效的同態加密方案實現密文的多方處理，隱藏用戶交易金額等敏感信息；采用零知識證明方案，使交易數據能被審查和驗證，但又不能被真實探知。區塊鏈技術這一自主可控的隱私保護新思路，值得數據跨境流動及其監管各方深入研究。[2020/11/24 21:56:04]

錢包來進行轉賬，在這里我們直接以eth_sendTransaction這一個RPC為例進行分析交易的構建流程，eth_sendTransaction請求示例如下：

參數示例：

from:DATA，20字節-發送交易的源地址

to:DATA，20字節-交易的目標地址，當創建新合約時可選

gas:QUANTITY-交易執行可用gas量，可選整數，默認值90000，未用gas將返還

gasPrice:QUANTITY-gas價格，可選，默認值：待定(To-Be-Determined)

報告：區塊鏈等技術深入應用為在線娛樂帶來發展機遇:7月30日，中國音像與數字出版協會游戲出版工作委員會和中國游戲產業研究院聯合發布《2020年1-6月中國游戲產業報告》，報告稱，5G、云計算、虛擬化技術、編碼技術、人工智能、區塊鏈、數據中心等一系列互聯網新技術的深入應用，將為在線娛樂和云端經濟帶來新的發展機遇。這些新技術將加快云游戲及 AR、VR等多終端游戲的發展和升級迭代，能有效提升用戶體驗。（界面）[2020/7/30]

value:QUANTITY-交易發送的金額，可選整數

data:DATA-合約的編譯帶啊或被調用方法的簽名及編碼參數

nonce:QUANTITY-nonce，可選，可以使用同一個nonce來實現掛起的交易的重寫

響應示例：

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

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

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

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

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

動態 | 國網陜西電力深入研究比特幣反竊電案例 提升員工查處效率:據中國電力網消息，12月13日，陜西省廳與國網陜西省電力公司舉行簽字儀式，正式出臺《陜西省警電部門防范和打擊涉電違法犯罪合作機制》。據悉，國網陜西電力研究反竊電新設備、新技術，對竊電設備和案例開展分析和現場檢測。該公司深入學習分析典型比特幣反竊電案例，掌握比特幣案例中的新型竊電類型、查處方法等；結合應用反竊電監測終端、智能化反竊電現場作業和取證設備，提升基層員工的技術水平和查處效率。[2019/12/21]

交易入池

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

addTxs代碼如下所示：

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

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

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

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

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

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

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

聲音 | 陳思劼：區塊鏈等技術不斷深入應用，推動產業發生深刻變革:12月13日下午，第一財經2019杰出商界領軍者高峰論壇在上海舉行。上海第一財經傳媒有限公司總經理陳思劼在會上致辭。陳思劼表示：新一輪的科技革命正在悄然到來，眾多產業被新科技激發活力，比如人工智能、大數據、區塊鏈和云計算等技術，在行業不斷深入應用，推動產業發生深刻變革。新技術的發展在新經濟時代勢不可擋，企業的創新升級勢在必行。[2019/12/13]

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

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

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，這就導致該賬戶余額本來可以支付原來規范鏈上的某筆交易，但在新的規范鏈上可能就不夠了，這個余額不足的交易如果是m3，那么在m2，m4號交易之間就出現了空隙，這就導致從m3開始往后所有的交易都要降級；

分叉導致pending最前一個交易的nonce值與狀態的nonce值不等。

demoteUnexecutables代碼如下所示，在這里首先通過遍歷pending列表來獲取每個addr的最新Nonce值，之后刪除Nonce小于之前查詢所得Nonce值的交易，之后返回賬戶余額已經不足以支付交易費用和一些暫時無效的交易，并將暫時無效的交易放到queue中，此時如果有間隙，則將后面的交易移動到queue列表中，如果經過上面的降級，如果pending里某個addr一個交易都沒有，就把該賬戶給刪除：

池子重置

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

如果老區塊不為空且老區塊不是新區塊的父區塊，則檢查老區塊和新區塊之間的差值是否大于64，如果超過64則不進行重組，否則獲取舊頭和新頭的最新區塊，如果舊頭為null則檢查新頭的高度是否小于舊頭的高度，則打印日志并直接return，如果不滿足則繼續向下執行；

如果舊頭不為null則開始進行重組，此時如果舊鏈的頭區塊大于新鏈的頭區塊高度時則舊鏈先后回退并回收所有回退的交易，如果新鏈的頭區塊大于舊鏈的頭區塊則新鏈后退并回收交易，當新鏈和舊鏈的到達同一高度時則同時回退直到找到共同的父節點，之后找出所有存儲在discard里面但是不在included里面的值，之后將這些交易重新插入到pool里面：

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

本篇文章通過從源代碼角度對以太坊交易池數據結構、交易手續費設置、交易構建、交易簽名、交易入池、交易驗證、交易升級、交易降級、交易池重置等功能模塊的分析，探索了以太坊交易處理的流程以及安全設計，而公鏈安全體系的建設依舊是長路漫漫，有待進一步深入探索。

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

https://blog.csdn.net/pulong074

Tags：END區塊鏈NCEGASTokenDesk區塊鏈游戲幣拍賣Cross Chain FinanceUGAS幣

抹茶交易所