比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

以Transaction的生命周期為線索剖析Libra核心組件_ION

Author:

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

Libra涉及的東西比較多,我們從三條線介紹Libra的設計與實現:

通過分析Node啟動并加入到Libra網絡的過程,介紹Network組件的設計與實現;

圍繞Transaction的生命周期,分析其接收交易、打包區塊、運行上鏈的過程,介紹Libra的Mempool、Executor以及Storage、VM等核心組件;

圍繞LibraBFT,介紹Consensus組件以及區塊達成共識的過程。

前面我們講述了Libra的第一條主線——Node啟動以及加入網絡的過程,詳細介紹了Network組件的設計與實現。這里,我們將要講述Libra的第二條主線——Transaction的生命周期,再圍繞Transaction的生命周期,逐個講述Libra各個核心組件的一些設計與實現。在講述生命周期之前,我們先了解一下賬號模型以及Transaction與Move合約的關系。

實際上區塊鏈可以簡單的理解為:使用Transaction為載體,按大部分人認可的順序記錄每個Address的變更過程。為了達到這個目的,區塊鏈發展至今抽象出兩種賬號模型:以BTC為代表的UTXO模型和以ETH為代表的Account模型。這兩種模型各有優劣,簡單對比一下:

UTXO的英文是Unspent Transaction Output,直譯就是未消費的交易輸出,一個Address的當前狀態就是一個UTXO列表。UTXO模型下,消費(構造Transaction)的時候拿出一個或者多個UTXO當作當前Transaction的Input,然后生成多個UTXO,Input和Output的總額是相等的。在未來的某個時刻,這些Output又被當做其他Transaction的Input。是不是跟紙鈔有些像?而Account模型中,每個Address通常包含一個的總額和SequenceNumber計數器。每次消費(構造Transaction)的時候會從當前Address的總額中減去消費額,在另一個Address中加上相應的消費額,同時通過SequenceNumber遞增的方式,保證當前Address構造的出來的所有Transaction有先后順序,從而保障賬號的狀態正確。

北京:加快北京人工智能公共算力中心、北京數字經濟算力中心等項目建設:金色財經報道,5月30日,北京市政府辦公廳正式發布《北京市促進通用人工智能創新發展的若干措施》。其中提出,提升算力資源統籌供給能力。實施算力伙伴計劃,與云廠商加強合作,提供多元化優質普惠算力。加快北京人工智能公共算力中心、北京數字經濟算力中心等項目建設,形成規模化先進算力供給能力。實現異構算力環境統一管理、統一運營,提高環京地區算力一體化調度能力。[2023/5/30 11:48:20]

Libra使用的Account模型來表達賬本數據,所以Transaction有嚴格的先后順序。這點在后面我們還會提到。

前面我們了解了賬號模型,為了便于理解,以支付的場景做了類比。給我們的感覺就是,Transaction的作用就是對一個數字進行加減運算,例如Alice給Bob轉了一筆賬。那就不能應用于更多、更復雜的場景嗎?比如游戲。區塊鏈起步的時候,表達能力相對比較簡單,隨著區塊鏈的推廣,大家的需求越來越豐富,最初的設計難以滿足。我們希望能通過一門語言,在鏈上表達我們的需求,所以虛擬機、智能合約以及合約語言順勢產生了。這是一個很廣闊的話題。Libra推出了Move語言作為合約語言,這里我們不展開講。那么Transaction、鏈、Move到底是什么關系呢?

我們假設上圖是某個時刻,鏈上所存儲的賬號數據,其中Alice有一個Move定義的合約,code被存儲在她的賬號下。上圖的第①步中,Bob構建一個Transaction,在Transaction中指定運行Alice賬號下對應的合約的一個方法,并從自己的賬號下取出該合約方法能理解的數據作為方法的參數,然后對Transaction進行簽名并廣播出去。圖中第②步,礦工收到Bob的Transaction,打包到Block中,然后執行Bob的Transaction,并且將結果寫到Bob的賬號下面。整個過程中,大概的理解就是,Move定義了一段邏輯,Transaction設置了運行邏輯用到的數據,鏈記錄了邏輯運行之后的最終狀態。

神魚:中心化Staking機構需復審下私鑰保管及有權限人員狀態,制定緊急事件預案:金色財經報道,Cobo聯合創始人兼CEO神魚發推表示,伴隨著上海升級的臨近,對于機構,尤其是提供中心化staking的機構,需要reviewer下私鑰保管方式及相關有權限的人員狀態,檢查下服務器日志,監控后續提現狀態,制定緊急事件預案。[2023/4/9 13:52:56]

前面我們講了兩個背景知識,接下來,我們對Transaction的生命周期做一個整體的認識:

這張圖也是Libra的技術白皮書中的一張圖,跟前面介紹Libra核心組件那張圖有些像,但是箭頭上多了一些數字。這張圖實際上是表示一個Transaction從生成到打包,從執行到上鏈的完整的生命周期。下面我們依次介紹一下每個數字大概代表的意思:

我們對Transaction的生命周期有了一個直觀的認識,接下來,我們深入每一個組件內部,了解更多的設計和實現細節。

從交易被用戶提交開始,首先到AC服務。

在講述第一條主線的時候,我們提到了AC是一個GRPC服務,相當于是Node的一個網關。Node包含多個GRPC服務和很多的RPC接口,然而只有跟用戶打交道的兩類接口,才有必要暴露出去給wallet或者cli調用:

提交Transaction的接口

用戶狀態相關的接口

所以AC沒有太多的邏輯,只是對Node內部部分GRPC接口的一個封裝,以暴露給用戶使用。另外AC還有一個作用是對提交過來的Transaction做簡單的過濾。

Trystack.io宣布完成270萬美元融資,Madrona等參投:9月9日消息,面向Z世代年輕用戶的加密應用 Trystack.io 宣布完成270萬美元新一輪融資,Madrona、The Venture Collective、Santa Clara Ventures 以及金融領域里的幾位天使人和高管參投。Trystack.io 與 Coinbase 和 Robinhood 等應用程序的不同之處在于,其應用允許年輕用戶訪問 UTMA(統一移交未成年人法),并且為提供合法加密訪問權限,未來達到法定年齡后,資產將直接轉移到這些青少年用戶的名下。

據悉,該平臺將首先提供七種加密貨幣,分別是BTC、ETH、ADA、SOL、USDC、LTC和MATIC,目前已發布適用于iOS和Android的移動端版本。(Crypto reporter)[2022/9/9 13:18:48]

交易通過AC被提交到了Mempool服務。

在講述第一條主線的時候,我們知道Mempool是用來存儲未上鏈的Transaction。我們先來看一看Mempool的整體設計:

Mempool主要包含兩個模塊:

Mempool Service:是一個Grpc服務,用來接收從AC提交過來的Transaction

Share Mempool:主要有兩個作用,一個是通過Mempool協議(在第一條主線的時候有提到)在不同的Mempool節點之間同步Transaction,另外是存儲和處理Transaction

美債市場預測美聯儲明年將降息50個基點 利率料在年初見頂:6月30日消息,債券市場周三轉向預測美聯儲將在2023年某個時候降息50個基點,越來越多交易員押注美國經濟衰退將使美聯儲暫停大幅加息腳步。市場對通脹的預期與汽油價格一起急劇下跌,股市的痛苦引發了對美國國債的興趣,收益率全線承壓。與明年美聯儲會期掛鉤的利率掉期顯示,交易員預計到明年12月利率將接近3.11%,比預估在3月份達到的3.62%頂部下降了逾50基點。美國國債收益率全線下跌5-7個基點。5年期通脹保值債券的盈虧平衡利率下跌多達14個基點,至2.61%。(金十)[2022/6/30 1:40:21]

我們對Mempool有了一個整體的認識,但是還有些疑問,Mempool究竟對Transaction做了什么處理呢?什么情況下Transaction會被打包?Transaction又是什么時候被廣播給其他Mempool?接下來我們就解答一下這些疑問。

Transaction提交到Mempool之后,首先會根據來源將其標記為不同的狀態:

Unready:用戶主動提交到Mempool Service的交易狀態

NonQualified:其他節點同步過來的交易狀態

這些Transaction會按一定的順序排序,等待被標記成Ready狀態。前面我們提到了Libra采用Account模型,通過SequenceNumber將用戶發起的Transaction按順序關聯起來,當Mempool發現某個Transaction前面的所有其他Transaction都被上鏈了或者都是Ready狀態了,那么這個Transaction就可以被標記為Ready狀態了,也就意味著這個Transaction具備打包進區塊的條件了。如果當前被設置成Ready狀態的Transaction是從Unready狀態轉變過來的(也就是用戶通過AC提交到當前Mempool),那么該Transaction會被轉發給其他的Mempool。

韓國當局將推動區塊鏈平臺基本法的制定:6月13日消息,韓國執政黨國民力量政策委員會委員長成一鐘在今日舉行的“恢復虛擬資產市場公平和投資者保護”會議上表示,將推動區塊鏈平臺基本法的制定,其中包括保護投資者以防止Luna事件再次發生的措施。

成一鐘表示,我們會制定一部名為《區塊鏈平臺基本法》的立法,以支持第四次工業革命。上屆政府說虛擬資產既不是貨幣也不是資產,但虛擬資產已經進入了我們的日常生活,占據了巨大的比例和類別。

據悉,出席該會議的有韓國國民力量虛擬資產委員會,韓國金融服務委員會、韓國金融監管局、金融情報局以及韓國5大加密交易所。(Edaily)[2022/6/13 4:21:48]

上圖是Transaction在Mempool中大致的狀態轉化過程,而Transaction大概的排序規則是:gas_price>expiration_time>address>sequence_number

前面介紹了Mempool的狀態轉化,用戶提交的Transaction處于Ready狀態,等待被打包到區塊中。考慮到Consensus的復雜性,以及當前主線主要是介紹Transaction的生命周期,這里只簡單的介紹一下上鏈流程(多節點達成共識的過程將在第3條主線中詳細介紹),大概如下:

其中compute->execute以及commit->store會在后面講,vote將在第3條主線詳細講,這里暫時只需要注意兩個地方:

Consensus組件主動去Mempool中pull一批Ready狀態的Transaction,并打包到Block

Block被選舉并提交之后,Consensus組件會主動去刪除Mempool中被提交的Transaction

由于Executor只是運行VM的一個入口,這里把Executor和VM合并到一起介紹。前面Consensus組件的流程中,Block被Build之后會被提交到Executor中comput,再進入VM中execute,這就是執行Transaction。也就是compute->execute過程,有些細節需要注意:

其中淺顏色由Executor發起,深顏色是在VM中執行的Move合約。Consensus組件將新的Block提交到Executor組件之后,Executor會為Block提供運行環境,初始化VM,依次在VM中運行Block的Coinbase和其他用戶Transaction。所以VM會最先執行Coinbase交易,也就運行LibraAccount合約中的block prologue。然后再按順序依次執行Block中打包的Transaction,最后將執行之后的狀態返回給Consensus組件。

在介紹Consensus組件的時候,我們提到了Block會被commit,數據最終會被寫入Storage服務。也就是commit->store流程,這時候用戶提交的Transaction已經被大家認可。關于Storage服務,我們可能會有兩個疑問:

Storage服務包含哪些模塊?

Storage最終存儲了哪些數據?

Storage是一個GRPC服務,存儲了所有鏈上的數據,用戶的賬本狀態等信息就是從Storage獲取的。Libra選擇了RocksDB作為底層存儲的數據庫,SchemaDB基于RocksDB封裝了對數據統一的CRUD操作以及Key-Value的系列化與反序列化方式。LibraDB是圍繞Libra的賬本數據和特點,定義了一系列數據結構,并針對這些數據結構進行數據庫的操作。將所有的這些操作,封裝成Storage服務,提供給Executor、AC等組件使用。

前面講述Storage服務包含的模塊,我們了解到LibraDB圍繞Libra賬本的特點定義了一些數據結構,Libra賬本有什么特點?那么包含哪些核心數據結構呢?

賬本特點Libra采用Account,需要存儲全局的用戶狀態,當前狀態的所有歷史交易以及交易的順序。也就是說,Storage需要存儲的主要數據:用戶狀態、交易及交易順序。跟其他公鏈不同的是,一般的公鏈通過記錄Block順序(Block內的交易也是有序的),來達到記錄所有交易和交易的順序的目的。而Libra直接存儲交易,采用Merkle Accumulator來記錄交易的順序。

核心數據結構Libra為了存儲用戶狀態、交易及交易順序,分別使用了Sparse Merkle Tree和Merkle Accumulator。

SparseMerkleTree使用256比特存儲用戶狀態,理論上總共可以有2的256次方個賬號。上圖是4比特SparseMerkleTree的例子,每個橙色的葉子節點代表了一個用戶;正方形的方塊是占位符,表明該分支下沒有賬號,減少賬號的存儲;

MerkleAccumulator存儲交易以及交易的順序。上圖中,每個深顏色的葉子節點表示一個Transaction;正方形的方塊是占位符。新上鏈的交易會按順序一個一個被加入到后面。

上面提到了Storage的兩個核心數據結構,整個Storage都在圍繞他們進行存儲和優化,更多細節不再展開。

以上是Transaction整個生命周期的過程,依次經過AC、Mempool、Consensus、Executor、VM的處理,最終存儲到Storage。然后我們深入到每一個組件或者服務,既介紹了他們的一些設計和實現,也了解了Transaction被處理的核心細節。

Tags:IONCTISACACTMuseionData Transaction TokenASACfactr幣最新價格

以太坊最新價格
大咖解讀:SEC委員“Token安全港提案”的影響與價值_KEN

2020年2月6日,美國證券交易委員會(下文稱SEC)委員Hester Peirce在芝加哥舉辦的國際區塊鏈大會上發表題為《Running On Empty: A Proposal To Fil.

1900/1/1 0:00:00
金色觀察 | G20“注視”下的加密貨幣市場:監管風暴來襲_FAT

上周末(2月22-23日),G20財長峰會于沙特利雅得召開,二十國財長和央行行長就諸多熱點問題進行討論.

1900/1/1 0:00:00
金色深度丨淺析84項“數字人民幣”專利_數字人

金色財經 區塊鏈2月17日訊  中國人民銀行(PBOC)已經申請了84向與其數字貨幣計劃有關的專利,這些專利揭示了有關央行數字貨幣的計劃.

1900/1/1 0:00:00
金色觀察 | 川普最大對手出招 美加密貨幣監管明朗化?_數字貨幣

2020年是美國大選年。川普尋求連任,他將迎戰其最大對手、真正的億萬富豪、彭博新聞社創始人、前紐約市市長、民主黨總統候選人邁克爾·布隆伯格.

1900/1/1 0:00:00
加密貨幣應用:加密貨幣如何改變旅游業?_FTX

如果政府腐敗影響到國家貨幣的穩定,那么公民自然會轉向黃金或BTC等其他資產來進行儲蓄投資。這種方式能在一個原本不穩定的市場中給他們提供一種財務控制感。感受到加密貨幣影響的不僅僅是投資.

1900/1/1 0:00:00
DeFi演化的四個階段_DAI

(有房舍和農夫的景色,梵高)前言:DeFi從誕生到現在,不過短短兩年多時間,演化很快,并迅速成為整個區塊鏈行業最具有吸引力的敘事.

1900/1/1 0:00:00
ads