以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > 世界幣 > Info

StarkNet 性能路線圖_STA

Author:

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

原文:StarkWare?由DeFi之道編譯

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

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

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

排序器的并行化

為Cairo虛擬機提供Rust語境下的實現

在Rust語境下的排序器

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

簡介

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

Coinbase推出的“Stand with Crypto”NFT鑄造量已突破13萬枚:金色財經報道,據Coinbase首席執行官Brian Armstrong在社交媒體發布的“Stand with Crypto”NFT 最新鑄造信息顯示,截至目前該 NFT 鑄造量已經超過 13 萬枚。“Stand with Crypto”NFT 采用藍色盾牌標識,意味保護和促進加密生態集體立場,用戶可免費鑄造。[2023/6/7 21:21:02]

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

區塊限制:ValidityRollups與L1

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

數據:StarkNet橋接存儲總價值突破5萬枚ETH,過去一個月增長150%:金色財經報道,Dune Analytics最新數據顯示,以太坊Layer 2擴容解決方案StarkNet跨鏈橋接存儲總價值已突破5萬枚ETH,本文撰寫時為50,244 ETH(按照當前ETH價格計算超9200萬美元),參與橋接交易的用戶量為368,297個。歷史數據顯示,StarkNet跨鏈橋接存儲總價值于今年3月24日突破2萬枚 ETH,這意味著該指標在過去一月內已增長150%。[2023/4/24 14:24:19]

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

為什么L1吞吐量有限

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

StarkWare擴容引擎Stark Ex升級至v4.5版本:金色財經消息,StarkWare擴容引擎Stark Ex現已升級到v4.5版本,該版本支持混合??鏈上和鏈下數據解決方案Volition,允許用戶在每次交易時自行選擇將數據存儲至鏈上或者鏈下。另外,新版本還完全支持ERC-1155代幣,包括L1和L2 Vault。[2022/5/24 3:38:51]

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

上述問題為什么不會出現在ValidityRollups之上?

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

Stanhope Financial Group獲得1000 萬美元 A 輪融資:金色財經報道,Stanhope Financial Group 是一家總部位于愛爾蘭的全球金融科技公司,為企業提供全套銀行服務,已為其 A 輪融資籌集了超過 1000 萬美元。由風險投資公司 Gate Ventures 牽頭的這筆資金將用于開發該集團的產品,加強管理團隊,增加其市場份額,并為啟動公司即將成立的附屬數字資產部門 SH Digital 做準備。該公司的 SH Capital 部門在迪拜 DIFC 獲得許可,允許機構和家族辦公室在所有資本市場獲得優質的全球投資產品。其附屬公司 SH Digital 提供加密貨幣流動性和交易服務。Stanhope Financial Group 還獲得了立陶宛銀行和迪拜金融服務管理局 (DFSA) 授予的金融服務許可證。(finextra)[2022/5/11 3:05:21]

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

StarkWare的編程語言Cairo探索投票類應用場景:3月1日消息,由零知識證明研究機構StarkWare推出的專用編程語言Cairo宣布正在開發一種簡單投票機制的應用,可以支持大規模的用戶以安全的方式投票并保存在區塊鏈上,去中心化組織(DAO)也將受益于該功能。該應用會收集用戶的選票,驗證每次投票的簽名,累計在一起后更新至默克爾樹,同時將生成一個STARK證明以確保本輪投票的有效性。最后這些數據會被發送到一個鏈上的STARK驗證器智能合約,然后生效,應用的智能合約就可以驗證并更新至最新狀態。[2021/3/1 18:03:17]

StarkNet的未來性能路線圖

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

排序器并行化

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

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

TxA:將USDC兌換ETH

TxB:為某款NFT支付ETH費用

TxC:將USDT兌換BTC

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

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

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

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

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

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

Rust語境下的Cairo-VM實現

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

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

Rust語境下的排序器

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

證明者

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

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

Tags:STAARKSTARKSTARSTAR價格ARKS幣Stark ChainStartupersCoin

世界幣
晚間必讀 | 淺析美債暴跌是否會導致USDC/USDT暴雷?_區塊鏈

1.Web3項目如何設計成熟的商業模式和代幣經濟?最近由FTX暴雷引發的加密市場崩潰揭示了Web3項目商業模式和代幣設計的脆弱性.

1900/1/1 0:00:00
過去幾輪熊市是怎么牛回來的?這輪熊市的出路又在哪里?_比特幣

作者:木沐 上月底,是中本聰發布“白皮書”14周年紀念日,至此不少人已經穿越了多輪加密牛熊了,但更多人正在經歷第一輪牛熊,特別是當下"寒氣逼人"的熊市,可以說是最難熬的時候.

1900/1/1 0:00:00
NFT代幣模式對商業影響重大 如何做出正確的選擇?_NFT

編輯|Skye 在大家一股腦兒地沖向NFT爆發的時候,我們看到大量無用的代幣最后都走向了項目方跑路的結局,倒也不是都割了一大把韭菜,很多只是因為沒有目標或與實際價值掛鉤導致實在推進不下去了.

1900/1/1 0:00:00
NFTFi 的抽象敘事:流動性難題、新角色的引入、風險置換_NFT

原文標題:《NFTFi的抽象敘事:流動性難題、新角色的引入、風險置換及其延伸|ZONFFInsight》原文來源:Kylo.

1900/1/1 0:00:00
財聯社創投通:11月Web3.0市場融資10.34億美元 中國市場環比增長4倍_元宇宙

文:徐賜豪 據財聯社創投通統計,11月份全球Web3.0領域融資總數量為71筆,融資總額為10.34億美元,環比增長21.65%.

1900/1/1 0:00:00
金色觀察丨監管將至 加密行業進入“洗牌期”_FTX

11月6日,CZ發布了一條推特,令所有人無法想象的是,這條推特居然成為導火索,引爆了FTX這顆加密行業史無前例的大“雷”。爆炸后的FTX,帶來的動蕩余波隨著時間傳遞,已經蔓延到行業的所有角落.

1900/1/1 0:00:00
ads