比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > 屎幣 > Info

StarkNet性能路線圖:如何攻克排序器難題?_ARK

Author:

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

原文:《StarkNet Performance Roadmap》

編譯:wesely

路線圖中的并行化、Rust 等改進,都是為接下來 StarkNet 提升 TPS 所做的準備。

rollups 的有效性不受限于L1的吞吐量,使得 L2 的 TPS 可以很高。

在 StarkNet 的性能路線圖中,解決了系統中的一個關鍵因素——排序器。

性能的改進主要有以下幾點:

排序器(Sequencer)的并行化

為 Cairo 虛擬機(Cairo-VM)提供 Rust 語境下的實現

在 Rust 語境下的排序器

證明者(Provers)并不是瓶頸,他們可以處理比現在更多的東西。

大約一年前,StarkNet Alpha 正式上線了以太坊主網,這時,我們將重心放在了功能的構建上,現在,我們決定將重點轉移到提高性能之上,并計劃通過一系列的步驟來提高 StarkNet 上的用戶體驗。

Chainlink上線Chainlink Staking (v0.1) 測試版:金色財經報道,去中心化預言機網絡Chainlink宣布推出質押功能,Chainlink Staking (v0.1)測試版已在以太坊主網上線。Staking最初對節點運營商以及有資格獲得早期訪問權限的社區成員開放,用戶最多可以抵押7,000個LINK代幣并開始獲得獎勵,并且有9-12個月的鎖定期。質押池將于美國東部時間2022年12月8日中午12點向一般訪問者開放。

Chainlink表示,該池的上限為2500萬個LINK代幣,約占LINK總供應量的2.5%,價值1.775億美元。Chainlink計劃在未來允許對其他服務進行質押,并使用此測試版來測試和改進未來的發布。[2022/12/7 21:26:44]

在這篇文章中,我將解釋為什么有很多優化措施只適用于有效性匯總(Validity Rollups),并分享 StarkNet 實施這些措施的計劃和步驟,其中一些計劃已經在 StarkNet Alpha 0.10.2 中實現,在討論具體的細節之前,讓我們先來回顧一下限制鏈上性能的原因。

Morningstar Ventures 收購投資組合器 Coin.fyi:11月10日消息,專注數字資產和區塊鏈技術的投資公司 Morningstar Ventures 宣布收購投資組合追蹤器和新聞聚合器應用 Coin.fyi。Morningstar Ventures 表示,Coin.fyi 于 2017 年推出,到目前為止已經創建了超過 20 萬個投資組合,月活躍用戶數超過 3 萬。Morningstar Ventures 還表示此次收購是一次戰略收購,未來將擴展 Coin.fyi 的功能,使其不再僅是一個投資組合器應用。[2021/11/10 6:43:05]

提高區塊鏈可擴展性和 TPS 的方法之一是:在解除區塊的限制(比如GAS和區塊大小的限制)同時,保持區塊生成時間的不變。這需要區塊生產者(L1 上的驗證器,L2 上的排序器)提供更高效的服務,因此就需要更有效地執行這些組件,因此,我們將重點轉移到 StarkNet 排序器的優化之上,在下文會詳述具體內容。

這里會有一個問題,為什么對排序器的優化僅僅對 Validity Rollups 有效,換句話說,為什么我們不能在 L1 上以相同的方法改進,避免有效性匯總(Validity Rollups) 有復雜性?在下一節內容中,對這一問題將進行回答。

Standard Protocol將于今日21點在Polkastarter進行IDO:韓國首個Web3.0基金會Grant項目Standard Protocol將于UTC時間4月29日13點(北京時間21點)在Polkastarter進行IDO。Standard計劃籌集32.5萬美元,以提供彌合加密和傳統金融之間鴻溝的產品。[2021/4/29 21:11:16]

如果 L1 的區塊限制被解除,會遇到一個很大的問題,因為鏈的高吞吐帶來了鏈上區塊的高增長率,為了確保不同的節點跟上最新的全鏈狀態,就需要增加了更多的全節點。又由于 L1 全節點必須記錄所有歷史記錄,區塊大小的大幅增加會給全節點運營者帶來巨大壓力,并導致部分全節點因為機器性能落后而退出系統,結果,能夠運營全節點的都是一些比較大的實體,最終就是用戶無法以無信任的姿態驗證狀態并參與網絡。

這也讓我們明白,從某種意義上來說正是 L1 吞吐量的限制,成就了一個真正去中心化的和相對安全的網絡系統。

只有在考慮全節點的問題時,我們才能看到有效性匯總(Validity Rollups)的優勢。正常情況下,一個L1全節點需要重新執行整個鏈的歷史以確保當前狀態的正確性,而 StarkNet 節點只需要驗證 STARK 證明,而且這種驗證需要的計算資源呈指數級下降。重點是,鏈上全節點狀態的驗證同步沒有涉及到執行;一個節點可以從另一個全節點那里接受當前狀態的轉儲,只需通過 STARK 證明來驗證這個狀態是否有效即可。這讓我們在增加網絡的吞吐量的同時,不用增加全節點的數量。

庫幣將上線DeFi投票上幣優勝項目ORN 并開啟Staking服務:據庫幣KuCoin交易所消息,庫幣新一期投票上幣活動Defi專場結果已經出爐,Orion Protocol (ORN)在社區投票中獲得上幣權,庫幣將于7月25日18:00上線Orion Protocol (ORN)并支持ORN/USDT交易服務。此外,Pool-X平臺已于22日上線Orion Protocol (ORN)鎖倉挖礦產品“ORN-Staking”。

Orion Protocol是鏈接多個交易所的流動性聚合平臺,能夠作為通用的交易網關直接接入各種各類去中心化的交易市場、流動性池以及以及中心化的交易平臺。 庫幣數字貨幣交易所,為來自207個國家的500萬用戶提供幣幣、法幣、合約、礦池、借貸等一站式服務。[2020/7/22]

因此,在 L2 上,通過對排序器的優化可以對整個系統的性能進行提升,但這在L1上不能實現的。

這一部分,我們將討論目前有哪些計劃用于對 StarkNet 排序器的優化。

性能路線圖的第一步是為交易執行引入并行化。這個提議是在 StarkNet alpha 0.10.2 中正式引入的,該版本于11月29日在以太坊主網上發布,我們現在來深入探討下什么是并行化。

穩定幣項目xDai(STAKE)上線BitMax以來漲逾5倍:據BitMax官網顯示,截止今日15:20其平臺上STAKE 24小時漲幅達55.76%,自上線以來STAKE累計漲幅達553.48%。

xDai Chain是一個由MakerDAO基金會與POA Network聯合推出的美元穩定幣區塊鏈,也是一個與以太坊兼容的側鏈,通過STAKE代幣,借助獨特的權益證明算法—POSDAO來進行記賬和治理。更多詳情請至BTMX.com官網查詢。[2020/7/7]

一般來說,并行執行多個交易區塊是不可以的,因為不同的交易可能是相互依賴的。以下方示例中進行說明,我們假設有一個包含來自同一用戶的三筆交易的區塊:

Tx A(交易A,下同):將USDC兌換ETH

Tx B:為某款NFT支付ETH費用

Tx C:將USDT兌換BTC

顯然,交易A必須發生在交易B之前,但交易C完全獨立于兩者,是可以并行執行的。如果每個交易需要1秒執行,那么通過引入并行化處理之后,區塊生產時間可以從3秒減少到2秒。

問題的關鍵在于,我們事先并不知道不同交易之間的依賴性。在實踐中,只有當我們執行到示例中的 Tx B 時,我們才會發現它是依賴于 Tx A所做的改變。更準確地說,這種依賴性源于Tx B 從Tx A 寫入的存儲單元中讀取這一動作。我們可以把不同的 Tx 看成是一個依賴圖,其中存在從交易 A 到交易 B 的一條邊,當且僅當 A 寫入一個由 B 讀取的存儲單元時,B 才可能執行。下圖顯示了這種依賴之間的關系:

在上面的示例中,每一列都可以并行執行。

為了克服事先無法確定不同交易事件之間的依賴關系,我們根據 Aptos Labs 推出的BLOCK-STM,將 OP 并行化(optimistic parallelization)引入到 StarkNet 排序器中。在這種模式下,會以樂觀地方式并行地處理事務,并在發現碰撞時重新執行。比如在上述示例圖中,我們可以并行執行 TX1-4,但事后發現 Tx 4 依賴于 Tx1,因此這次執行是無效的(應該在 Tx1 執行后運行 Tx 4 ),在這種情況下,將重新執行Tx4。

請注意,在上述這種樂觀并行化的基礎上我們也增加一些優化措施。例如,與其等待每個執行的結束,可以在發現一個使之運行結果無效的依賴關系時就中止執行。

另一個優化的例子是選擇哪些事務來重新執行。假設由上述示例圖的所有事務組成的區塊被送入一個擁有五核CPU的排序器。首先,我們嘗試并行執行 tx 1-5,如果完成的順序是Tx2、Tx3、Tx4、Tx1,最后是Tx5,那么我們將在 Tx4 已經執行后才發現依賴關系Tx1→Tx4,這表明它應該被重新執行。直觀地說,考慮到Tx4的重新執行,Tx5也需要重新執行,然而,我們可以遍歷由執行已經結束的事務構建的依賴圖,只重新執行依賴于Tx4的事務,而不是將失效Tx4之后的事務都重新執。

StarkNet 中的智能合約是通過 Cairo 語言編寫的,并在 Cairo-VM 虛擬機中執行。目前,排序器正在使用python語言在 Cairo-VM 上運行。為了優化虛擬機的實現性能,我們之前發起了用 Rust 重寫 Cairo-VM 虛擬機的工作。

目前,cairo-rs可以執行原生 Cairo 代碼,下一步是處理智能合約的執行和與 pythonic 排序器的集成,一旦與 cairo-rs 集成,排序器的性能有望進一步提高。

通過 python 到 rust 的轉變以提高網絡性能,不僅限于 Cairo-VM,StarkNet 用 Rust 重寫了排序器相關的代碼。除了 Rust 的內部優勢之外,這還為排序器的其他優化提供了可能,比如,可以集合 cairo-rs 的優勢,而無需 python-rust 通信的開銷,也可以完全重新設計狀態的存儲和訪問方式。

在整篇文章中,沒有提到有效性匯總(Validity Rollups)中核心元素之一——證明者(Provers)。作為可以說是架構中最復雜的組件,證明者(Provers)算是瓶頸,也是優化的重點。但現在,StarkNet 的瓶頸是更加“標準”的組件,特別是對于遞歸證明,可以將當前測試網/主網上的更多交易放入證明中。事實上,StarkNet 區塊與 StarkEx 交易一起得到有效的市場證明,后者有時會有數十萬 NFT 的鑄造事件。

總之,并行化、Rust 等改進,都是為接下來 StarkNet 提升 TPS 所做的準備。

DeFi之道

個人專欄

閱讀更多

金色早8點

金色財經

去中心化金融社區

CertiK中文社區

虎嗅科技

區塊律動BlockBeats

念青

深潮TechFlow

Odaily星球日報

騰訊研究院

Tags:STASTARARKSTARKSTARCHAINDOGEStarterpoolFragments of arkerSTARK價格

屎幣
Web3 遲早也是印度人的?_WEB

撰文:0xmin 最近,印度人成為了全球舞臺上的明星。繼印度人占領硅谷之后,最近,他們又接管了英國。42 歲的蘇納克成為了英國首位印度裔首相,印裔精英不斷出圈.

1900/1/1 0:00:00
詳解區塊鏈模塊的性能瓶頸及挑戰:網絡模塊、共識模塊及執行模塊_以太坊

原文作者:Chenxing Li區塊鏈的性能優化是一個很熱的話題。然而,由于區塊鏈系統的復雜性,系統性理解性能優化門檻很高,這就為「性能虛標」提供了空間.

1900/1/1 0:00:00
你需要知道的 DeFi 原語和技術棧_DEX

原文標題:《DeFi Ecosystem: Primitives and Technology Stack》撰文:Aw Kai Shin編譯:ChinaDeFi隨著社區繼續構建新的原語、資產和軌.

1900/1/1 0:00:00
若 DCG 問題加劇 Gemini 客戶將面臨怎樣處境?_GENES

撰文:Ram Ahluwalia,lumidawealth 首席執行官 編譯:Yvonne 注:本文來自 lumidawealth 首席執行官 Ram Ahluwalia 推文.

1900/1/1 0:00:00
Acala聯合創始人回應平臺恢復情況和未來計劃_CAL

自 8 月 14 日的 aUSD 錯誤鑄造事件已經過去了三個多月,前不久,Acala 在社區直播中闡述了該事件的經過和原因。在這段時間里,Acala 團隊采取了各項平臺恢復措施.

1900/1/1 0:00:00
Layer2 Token經濟學:除了治理 還應該具備什么價值?_TIM

原文標題:《Layer2 Token經濟學:除了治理,還應該具備什么價值?》原文作者:Michael Nadeau原文來源:The DeFi Report任何在 2021 年期間使用以太坊的人都.

1900/1/1 0:00:00
ads