買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > MEXC > Info

區塊鏈:解讀MOVE語言:MOVE生態項目都有哪些亮點_Aptos

Author:

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

在基于Move語言的基礎區塊鏈有著不一樣的系統邏輯和潛力——突出表現為并行性和更靈活的共識協議。Aptos的并行處理能夠提升擴展性,并行處理的流程充分體現了Move基礎鏈的靈活性,進一步地,存儲和執行GAS費分開計算的方式會進一步解放網絡資源的潛力。SUI對單寫者事務進行簡單快速處理和異步共識協議在系統效率提升方面也很有特色。本文從并行處理和共識協議創新兩個角度來分析典型的Move生態的特點,如Aptos和SUI這樣的基礎區塊鏈。

Aptos利用Block-STM(Software Transactional Memory)引擎實現并行處理,帶來性能的明顯提升。Block-STM其工作理念類似以太坊二層網絡的Optimistic Rollup(樂觀匯總),交易在區塊內是預先排序的,先假設交易之間是沒有依賴關系,樂觀地執行并行交易。執行后驗證所有交易結果,如果發現一個交易訪問了由先前交易修改的內存位置,則該交易無效——因為很明顯兩個交易是相關的。刷新交易的結果,然后重新執行交易。重復該過程,直到區塊中的所有交易都被執行。Block-STM的特點是支持比較復雜的事物,適合多種應用負載工況。

Aptos區塊鏈執行過程中是分階段、獨立、批量化運行的,這給GAS費的市場定價帶來更多優化、細化的潛在空間,于是產生了存儲和執行成本分開的GAS費模型。Aptos網絡GAS費計算的主要原則是:操作的成本應該與對CPU、內存、網絡、存儲等資源消耗直接相關。這個模型將區塊鏈合約執行的流程充分細化,從執行任務的金融價值、數據量、算力資源消耗等角度充分考慮到合約執行的市場價值。

Aptos的共識協議本質上是最終同步的平行執行引擎,將相互依賴的執行層和共識層解耦,從而實現擴展。在交易傳播過程中,交易被每個驗證者分組為批次,而在共識過程中,批次再次被合并為區塊——這其中與協議無關的交易流程可以不必通過一般區塊鏈的節點驗證過程極大提升了效率。將這些非協議相關的任務從共識階段解耦出來,進行排序將消耗極小的算力資源(僅限區塊元數據和證明,如前區塊哈希值、梅克爾樹數據、時間戳等),從而實現交易高吞吐量和最小化延遲。通過消除共識和執行之間的相互依賴性,可以實現更高的吞吐量和延遲。

SUI的單寫者事務和異步共識協議帶來效率的提升。鏈上存在著很多簡單交易需求,如用戶只是想將資產發送給收件人,這種簡單交易通常只與發件人相關。SUI的單寫者(Single-Writer)應用正是將那些單獨、簡單的交易放在客戶端本地運行,降低了驗證節點的共識壓力,提升了系統的擴展性。簡單的“單寫者”發送的交易確定是獨立的,與其他用戶無關,因此完全可以將計算委托為發送者,而不必浪費驗證者算力,這樣計算即可在驗證者本地進行。SUI通過使用“因果順序(causal ordering)”對交易的共識做了篩選,與大部分區塊鏈共識協議不同,SUI并不會對所有交易進行排序,或者說,有些交易并不需要SUI的全網共識——如上面提到的單寫者發起的簡單事務,SUI只需要對交易進行因果排序。因此SUI可以利用單寫者本地的算力,且可以同時執行多種任務。

動態 | BitSG幣星唐伯虎解讀趨勢之王ETF產品:今日(2020年2月17日)晚19:00,BitSG幣星創始人唐伯虎通過社群與用戶深度探討了其最近推出的交易衍生品ETF,并與現貨、杠桿、合約等投資方式進行對比,剖析了在趨勢行情中ETF得天獨厚的優勢:一鍵多空、比現貨賺、比合約穩、永不爆倉,完美平衡了收益與風險,唐伯虎認為ETF產品應用于主流數字貨幣市場擁有巨大優勢,將成為行業的下一個熱點投資渠道,BitSG幣星ETF產品的獨到設計融合了再平衡、復利等先進機制,將幫助投資者在趨勢行情中取得意想不到的超高回報率。

ETF全稱為Exchange Traded Fund,含義是可交易型基金。ETF在傳統金融中主要應用于投資標的指數跟蹤,并將底層資產的價格波動,按約定的杠桿反應在基金凈值上,使投資者更便捷、更有效的獲得價格波動產生的收益,是一種低操作門檻、高應用覆蓋的成熟金融衍生品。[2020/2/17]

針對已有的編程語言如Solidity,Move語言在很多細節設計考慮的比較周到,如最為突出的特點是資源類型方面,即面向資源的編程;此外并行處理也會帶來擴展性提升。因此,基于Move語言的基礎區塊鏈有著不一樣的系統邏輯和潛力——突出表現為并行性和更靈活的共識協議。本文從并行處理和共識協議創新兩個角度來分析典型的Move基礎區塊鏈的特點,如Aptos和SUI。

Aptos的并行處理能夠提升擴展性,并行處理的流程充分體現了Move生態的靈活性,進一步地,存儲和執行GAS費分開計算的方式會進一步解放網絡資源的潛力。SUI對單寫者事務進行簡單快速處理和異步共識協議在系統效率提升方面也很有特色。

Aptos使用新的并行處理系統和Move編程語言,來拓展單片鏈的局限。該節主要介紹其共識機制、Move語言、數據模型、移動模塊、并行化等方面的改進。

2.1Aptos的并行處理

在交易執行方面,Move的并行處理的特點相較Solidity帶來區塊鏈擴展性的極大提升。并行執行(PE)是通過識別獨立交易并同時執行(非關聯交易),這極大提升了區塊鏈的擴展性。Solidity并不支持并行處理,如以太坊上的交易按順序執行,其他交易置于暫停(排序)狀態——因此產生了mempool(內存池)和MEV市場。對于兩個不關聯的交易,如果能夠并行處理,則高效且可擴展。

分析 | 幣安中簽解讀:最新中簽率顯示持倉逐步分散 機構投資者或有一定撤離:據TokenGazer觀察BNB最新的中簽信息,TokenGazer猜測機構投資者可能已經有一定程度撤離。

本次elrond中簽率僅為11.07%,大幅度低于one的30%和matic的58%;

總簽數10833,共計鎖定978.5萬BNB,約占BNB總體供應的10%,遠遠高于之前鎖定2%左右的量,說明BNB的持倉已經有了一定程度的分散。

而幣安自6月中宣布在9月隔離美國用戶后出現較大幅度的跌幅,時間點上和本次Launchpad抽簽時間段重合,可能說明機構投資者對監管有所顧慮已經出現一定程度撤離。[2019/7/2]

如下圖,將Block-STM與區塊按交易順序執行進行了比較。每個區塊包含一萬筆交易,賬戶數量決定了區塊處理的交易的競爭復雜程度。在低競爭和高競爭情況下,Block-STM比順序執行的方案實現了8-16倍的加速。當交易任務是順序的情況下,Block-STM的消耗也更小。由此可見,Move帶來的并發性能是非常突出的。

由此可見,在L2(二層網絡)之前,主鏈的并行處理能力亦是區塊鏈擴容積極考慮的方案。這為Move系基礎鏈的生態帶來更多的可能性。

2.2Aptos:存儲和執行成本分開的Gas模型

以太坊作為去中心化網絡,應用在驅動網絡的算力資源運行智能合約程序時需要消耗GAS費作為燃料——GAS費的大小與驅動智能合約程序的復雜程度、GAS單價有關。但無論如何,以太坊網絡GAS費的計算模型比較簡單(主要以驅動智能合約的量作為衡量),甚至并不能反應用戶對合約程序需求的市場價值——也就是說,GAS費的大小并不能很好衡量合約應用市場價值的高低(比如發送一筆0 ETH轉賬的價值可能是較低的,但依舊需要驅動智能合約,GAS費未必很低)。顯然,Aptos區塊鏈對算力、存儲和網絡之間成本進行權衡,充分考慮到用戶或開發者的需求。如前一節所述,Aptos區塊鏈執行過程中是分階段、獨立、批量化運行的,這給GAS費的市場定價帶來更多優化、細化的潛在空間,于是產生了存儲和執行成本分開的GAS費模型。

Aptos網絡GAS費計算的主要原則是:操作的成本應該與對CPU、內存、網絡、存儲等資源消耗直接相關。在執行過程中,費用模型如下:

聲音 | 李少平解讀最高法“五五改革綱要”: 要推動區塊鏈存證等科技創新手段深度運用:據中國之聲《央廣新聞》消息,《最高人民法院關于深化人民法院司法體制綜合配套改革的意見》,即《人民法院第五個五年改革綱要(2019—2023)》今日發布。最高人民法院副院長李少平在對該文件進行解讀時表示,“五五改革綱要”在前期工作基礎上,提出要構建中國特色社會主義現代化智慧法院應用體系,不斷破解改革難題、提升司法效能。其中,要推動語音識別、圖文識別、語義識別、智能輔助辦案、區塊鏈存證、常見糾紛網上數據一體化處理等科技創新手段深度運用。[2019/2/27]

1)固定成本,固定基數加上大額交易的額外費用;

2)執行成本,用于執行Move指令的費用;

3)讀取成本,用于從持久存儲讀取數據;

4)寫入成本,用于將數據寫入持久存儲。

這個模型將區塊鏈合約執行的流程充分細化,從執行任務的金融價值、數據量、算力資源消耗等角度充分考慮到合約執行的市場價值。除此之外,考慮到進一步降低系統I/O的成本負擔,Aptos 團隊還將會提供支持存儲費用返還的框架,進一步降低存儲的負擔。

這種將執行費用和存儲費用分離的做法很有想象空間,這更符合當前區塊鏈網絡的資源消耗需求。舉一個最簡單的例子,在以太坊網絡,用戶想要發步一篇文章寫入去中心化的區塊中,必然需要發送一筆交易——當然,這筆交易轉賬金額可以是0ETH,但仍舊需要承擔GAS費;而GAS費則與當前網絡的負擔有關。無論如何,轉賬金額和GAS費都不能體現文章的價值、存儲空間的消耗和用戶的需求價值。無意義的文章和有一定價值意義的文章,在不同網絡負擔狀態下,GAS費可能是不同的。而Aptos將執行費用和存儲費用分開則很方便用戶對自身事務執行的價值作出很好地衡量。以太坊生態在后續模塊化的探索中,也注意到了存儲與交易執行分開這一點。

我們所熟悉的區塊鏈如以太坊,通常作為一個去中心化的狀態共享機器,隨著時間的推移,系統用戶狀態以區塊的方式累加——即絕對的串行交易排序。我們在本系列的前兩篇報告層對Move語言并行處理進行過分析,以Aptos、SUI為代表的Move系基礎鏈都有各自的并行處理模式,這依賴新的共識協議——由于Move語言的特點,Aptos的共識協議與交易執行解耦的模式,以及SUI的單一編寫者和異步共識協議都為區塊鏈交易的共識提供了更多的靈活性——前者將交易執行流程細分進行獨立、批量處理,而后者則充分考慮到驗證節點的算力負擔,試圖將一些簡單交易從驗證節點解放出來。

分析 | 2100ETH交易手續費事件不宜過分解讀:據獵豹區塊鏈安全中心輿情數據監控顯示,2100ETH交易手續費事件引起了超過20余家主流媒體關注報道。獵豹區塊鏈安全中心研究員對2月19日以太坊上的交易全面分析后發現,剔除這5筆異常交易后,平均交易手續費(總交易手續費/交易筆數)為0.000906ETH,約為0.13美元,與最近7日的數據相比沒有明顯異常。[2019/2/20]

3.1Aptos:共識協議與交易執行解耦

交易流程批量化執行進一步挖掘擴展性潛力。在Move語言并發執行的基礎上,在交易執行流程方面,Aptos嘗試進一步挖掘并發執行的吞吐量和擴展性,其區塊鏈上的交易處理被分階段并行處理——也就是說,交易執行流程被分為幾個階段,每個階段都是完全獨立且單獨可并行化、批量化——如果說Move的并行處理相當于把Solidity的一條包裝流水線變成了并行的N條流水線,Aptos在此基礎上將N條流水線進一步細化分工,包裝工序每個階段都互相獨立、在階段層面進一步批量化處理。帶來性能優化的同時,可以在客戶端本地快速執行交易,降低驗證節點的壓力,這種特點帶來了更多的互動和靈活性。如在一批交易中,一些特定的、持久有效的交易可以立即提交,且可以在客戶端本地執行,而不必等遠端的驗證節點執行。就好比包裝工序中一些確定的、持久有效的流程(比如印logo),可以在流水線排隊的時候外部獨立進行。

需要說明的是,這里提到的處理方式,與Aptos將共識協議與交易執行分開的特點有關,這將在后面詳述。Aptos這種批量化、模塊化的并行執行為系統的升級和新版本發布帶來更多的靈活性、縮短系統演進周期。因為更新可以僅僅針對單個模塊進行,此外這種模塊化特點將驗證者節點擴展更多的客戶端節點算力,這些非驗證節點資源可以提供額外的計算、網絡和存儲資源。

同于SUI的異步共識協議,Aptos的共識協議本質上是最終同步的平行執行引擎,將相互依賴的執行層和共識層解耦,從而實現擴展。上面提到,交易傳播、交易執行、存儲和賬本認證等環節都是批量、獨立運行的,基礎便是執行層和共識層解耦。在交易傳播過程中,交易被每個驗證者分組為批次,而在共識過程中,批次再次被合并為區塊——這其中與協議無關的交易流程可以不必通過一般區塊鏈的節點驗證過程(根據不可能三角,共識過程會降低效率),極大提升了效率。將這些非協議相關的任務從共識階段解耦出來,進行排序將消耗極小的算力資源(僅限區塊元數據和證明,如前區塊哈希值、梅克爾樹數據、時間戳等),從而實現交易高吞吐量和最小化延遲。共識協議接受節點提議的交易順序,在關聯性的甄別后,非協議相關的交易驗證可以在遠離關鍵路徑的不同協議中執行交易,驗證節點會對最終交易排序和執行結果達成一致。通過消除共識和執行之間的相互依賴性,可以實現更高的吞吐量和延遲。

今晚朱濤做客《金色講堂》解讀區塊鏈產業生態:4月12號晚20:00,《金色講堂》邀請中國高科技產業化研究會區塊鏈產業聯盟理事長、世界區塊鏈組織副總干事朱濤先生前來對目前區塊鏈技術的國際化出路進行講解,針對區塊鏈如何有效實現產業應用的方向進行分享,讓學員深入了解技術的的最終歸宿是什么。[2018/4/12]

上面提到,在批量化執行方面,執行、存儲和賬本認證階段也分批工作,以便在重新排序、減少操作(例如,重復計算或簽名驗證)和并行執行之間權衡機會。目前Aptos 區塊鏈利用了Diem項目共識協議BFTv4的最新迭代版本,在執行分發之前等待200毫秒來累積一批交易,并通過領導者信譽機制對有缺陷的驗證者進行動態調整。

我們可以這樣理解Aptos這種最終同步的平行共識引擎,如果區塊就像火車車廂,那么在最開始貨物包裝、分發過程中,都是獨立、批量運行的,首先根據貨物的包裝特點進行分類,如只需要印Logo的流程(類似于非協議相關的流程)可以在外部進行(如客戶端本地,分擔驗證節點的運算壓力),然后,這些貨物最終都會被再次裝入車廂(區塊),形成區塊鏈條。

3.2SUI:單寫者和異步共識協議

我們在報告《Web3.0程序該跑在哪里?》中提到:“以以太坊為代表的公鏈在基礎性能方面的限制,光靠共識機制方面的創新是不夠的,靠多鏈之間的跨接亦不足以承載web3.0的數據和計算。于是以太坊2.0的分片、L2、波卡平行鏈等各類擴展方案成為當下現實的解決方案。這些方案細節盡不相同,但最終都傳遞了一種市場共識:即,Web3.0數據和計算不會都跑在底層區塊鏈這個獨木橋上,大量數據和計算處理會在主鏈之外實現(可以是L2、平行鏈,甚至可以是其他非區塊鏈方式)。也就是說,脫(主)鏈計算(off-chain)已經成為行業的共識,尤其是對于大量的數據處理和計算,會在主鏈之外完成。”

鏈上存在著很多簡單交易需求,如用戶只是想將資產發送給收件人,這種簡單交易通常只與發件人相關。如我們前兩篇報告所述,Move的資產是一種資源類型,SUI區分了兩種類型的資產: i)只能由其特定所有者修改的資產,如發送資產給收件人;ii)沒有特定所有者而是由多個用戶修改的共享對象資源——這類資源的操作流程比較復雜。很顯然第一類是非常簡單的交易類型,這種區別使得SUI可以通過對第一類簡單事務簡化共識來實現非常低的延遲的設計。

簡單的“單寫者”發送的交易確定是獨立的,與其他用戶無關,因此完全可以將計算委托為發送者,而不必浪費驗證者算力,這樣計算即可在驗證者本地進行。來自單寫者的單交易會經過以下步驟:

1)發送者向網絡廣播簡單交易事務的數據;

2)驗證者將共識協議投票結果發回給發送者;

3)發送者對驗證者收到的所有投票進行統計,一旦符合要求,就會創建一個“驗證證書”,并發送回驗證者;

4)驗證者收到證書后會檢查其有效性后立即完成交易。

簡單來說,這類單寫者的簡單交易事務就像公司流程的請假會簽——類似休年假這種申請只與個人相關的簡單事務,請假人可以將申請文檔分別發給流程會簽的領導,然后將他們的簽字統一匯總到一份最終的請假書上,相當于申請者(單寫者)自己承擔了驗證計算過程,而不需要公司各級領導湊在一起開會決定(相當于共識驗證計算),這極大提高了效率。區塊鏈共識協議決定驗證者之間無需相互通信,因此上述流程幾乎不會增加驗證者的計算負擔,而證書機制也進一步確保交易安全。特別需要注意的是,簡單事務的計算負擔幾乎由發送者本地承擔,分擔了SUI區塊鏈主網的計算負擔,進一步提升擴展性。

為識別簡單事物交易,SUI使用基于拜占庭一致性廣播算法(Byzantine Consistent Broadcast)。這種簡單算法是的SUI在處理非關聯的簡單交易時,只對相關數據而不是整個鏈進行鎖定(或“停止區塊鏈世界”,如以太坊出塊延遲那樣),或者簡單理解為對這類非關聯簡單交易事務脫離交易排序進行特別處理——即識別單一作者應用程序( Sui Single-Writer-Friendly (SWF) Apps),官方文檔列有24類簡單事務的示例列表(如簡單的P2P2交易、公共信息公告),這些單一作者事務可以使用該算法進簡單快速處理。

Move強大的資源類型模型,助力SUI靈活地處理多種類型的交易,這些交易可能明確以來其他發送者等多個因素。明確交易者的依賴關系,SUI將多通道方法應用于交易驗證,確保這些獨立的交易流程可以獨立進行。SUI的并行性還體現在單獨驗證交易,而不是將它們分批寫入區塊中。這種方法的主要優勢是低延遲,一筆交易一旦成功即得到網絡的確認,而不像以太坊那樣需要等整個區塊得到全網確認。SIO交易的過程的核心是辨別交易之間是否關聯,具體來說需要驗證者投票進行辨別交易所是否獨立。

SUI除對簡單的單寫者交易進行了優化,當然也有全局共識機制(類似以太坊狀態機的工作模式),可處理更復雜的交易,并定期檢查區塊鏈的全局狀態。SUI使用名為Narwhal 和Tusk的異步共識協議。這是一種有向無環圖數據結構的共識引擎,兩個部分的職責分工如下:

1)Narwhal內存池,充當管家角色,負責檢查待處理的共識交易,確認數據的可用性;

2)Tusk是確保共識交易有序進行的協議,使數據的特定排序達成一致。

本質上,Narwhal會聚合一批待處理交易(這里有些類似以太坊的交易內存池Mempool),在等待處理時對它們進行“圖形化”。即Narwhal會為交易標記上版本號,以及指向先前交易版本號,形成類似文件樹的有向無環圖(DAG)。Tusk也是HotStuff共識協議(HotStuff 是一個三階段投票的BFT類共識協議,該算法總結了PBFT、Tendermint等共識算法的特點,實現了一個既有安全性(safety)、活性(liveness),又有響應性(responsiveness)的共識算法)的修改版本,它針對Narwhal提供的DAG結構進行了優化,專注于減少網絡驗證者之間的通信障礙。Sui 共識引擎算法達到每秒超過125000筆交易的吞吐量,延遲為兩秒。

采用這種異步共識協議的好處是:SUI通過使用“因果順序(causal ordering)”對交易的共識做了篩選,與大部分區塊鏈共識協議不同,SUI并不會對所有交易進行排序,或者說,有些交易并不需要SUI的全網共識——如上面提到的單寫者發起的簡單事務,SUI只需要對交易進行因果排序。因此SUI可以利用單寫者本地的算力,且可以同時執行多種任務。

值得注意的是,SUI也會利用遠端的非驗證節點執行部分計算,但SUI最終是異步共識,而在Aptos區塊鏈中,這些非驗證節點的計算部分最終也會合并進入區塊,所以Aptos是最終同步的平行共識。

風險提示

區塊鏈商業模式落地不及預期:區塊鏈、密碼學等相關技術和項目處于發展初期,存在商業模式落地不及預期的風險;Move生態發展不及預期。

監管政策的不確定性:區塊鏈項目實際運行過程中涉及到多項金融、網絡及其他監管政策,目前各國監管政策還處于研究和探索階段,并沒有一個成熟的監管模式,所以行業面臨監管政策不確定性的風險。

本文節選自國盛證券研究所已于2023年2月16日發布的報告《Web3底層語言(三):Move生態有哪些亮點?》,具體內容請詳見相關報告。

前兩期內容:《Web3底層語言:Solidity問題重重,MOVE如何“乘虛而入”?》

《Move語言分析:如何避免閃電貸重入攻擊?》

原文:《Web3底層語言(三):Move生態有哪些亮點?》

作者:宋嘉吉 任鶴義

來源:panewslab

PANews

媒體專欄

閱讀更多

金色早8點

金色財經

Odaily星球日報

歐科云鏈

澎湃新聞

Arcane Labs

深潮TechFlow

MarsBit

BTCStudy

鏈得得

Tags:區塊鏈SUITOSAptos區塊鏈dapp開發pdfSUIA幣BAPTOS幣

MEXC
STR:解讀Nostr:抗審查的去中心化社交協議_ASTRA幣

作者:十四君 社交是明珠,是互聯網各賽道護城河最深的品類,這是因為他具有強大的網絡效應把信息保存一億年左右的方法,他們強調,這是目前已知的唯一可行的方法,它就是——”羅輯把拐杖高舉過頭.

1900/1/1 0:00:00
NFT:金色早報 | 本周NFT銷售額增長18.43%_FBTC

▌本周NFT銷售額增長18.43%,以太坊鏈上NFT以2.385億美元銷售額居首位2月12日消息,本周NFT銷售額增長18.43%,超過200個發行NFT的項目的銷售總額達到2.7268億美元.

1900/1/1 0:00:00
GPT:ChatGPT真能取代搜索引擎嗎_CHAT

想象一下,當你遇到問題時,有一個可以與你交談的搜索機器人,它可以讓你更容易找到答案(如果它不撒謊的話),這是多么方便的一件事。微軟、谷歌、百度和其他公司都在致力于此.

1900/1/1 0:00:00
OIN:金色早報 | 加密做市商GSR再次裁員至少5%_Bitcoin SB

▌加密做市商GSR再次裁員至少5%金色財經報道,據知情人士報道,加密貨幣做市商 GSR 已實施進一步裁員,影響 5% 至 10% 的員工。其中兩位消息人士稱,削減幅度接近 5%,而不是 10%.

1900/1/1 0:00:00
CHA:ChatGPT兩個月引爆萬億新賽道 國內外有哪些AI玩家能突出重圍?_CHAT

去年11月,OpenAI發布ChatGPT引爆全球對人工智能的廣泛關注,這一殺手級應用成為了眾人茶余飯后討論的話題,并在2個月內達到了1億月活用戶,成為了史上增長最快的消費者應用.

1900/1/1 0:00:00
SMA:技術分析:BTC和ETH已經進入下一個牛市?_SmartCoin

現在 1 月份的數字資產反彈已經過去,我們可以研究它對長期技術指標的影響,以確定BTC和ETH下一步可能走向何方。一個月前,我們發布了一份報告,稱比特幣和以太坊市場觸底.

1900/1/1 0:00:00
ads