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

Vitalik:通過調整 calldata 和增加分片進一步擴容 rollup 的漸進路線圖_ROL

Author:

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

在中短期、甚至長期來說,rollup 是以太坊唯一的去信任擴容解決方案。數月以來,L1 上的交易費變得如此高,以至于我們迫切需要做些什么來促進整個生態系統向 rollup 遷移。Rollup 已經為許多以太坊用戶極大地降低了交易費: ?根據 L2 交易費監測網站 l2fees.info 顯示,Optimism 和 Arbitrum 的交易費比以太坊基礎層的交易費要低大約 3-8 倍;而 ZK-rollup 擁有更好的數據壓縮并且不需要打包簽名,費用與基礎層相比要低 40-100 倍。

然而,即便有所擴容,這樣的費用對于用戶來說也還是太昂貴了。關于該問題早就已經寫過文章,解決目前形式 rollup 不足的長期解決方案為添加數據分片,這將為 rollup 增加約 1-2 MB/秒的專用數據空間。本文檔描述了對該方案的實用操作方法,從而盡快為 rollup 釋放充足的數據空間,并逐漸增加額外的空間和提高安全性。

第一步:調整交易 calldata 以實現擴容

目前現有的 rollup 需要使用交易 calldata。因此,如果我們想在不需要 rollup 團隊做任何額外工作的情況下,短期內提高 rollup 的吞吐量并降低成本,我們應該僅需要降低交易 calldata 的成本。目前區塊的平均大小還遠不足以大到威脅網絡的穩定性,因此可以安全地完成這一操作,盡管可能需要一些額外的邏輯來防止一些極度危險的邊緣情況。

輝瑞支持的VitaDAO投票決定創建營利性公司以資助長壽研究:金色財經報道,輝瑞支持的 VitaDAO 成員周三發布推文稱,為了彌補 VitaDAO 的資金缺口,目前正在討論建立一家美國營利性公司的提議,這將彌合研究和商業化之間的差距。該公司將作為 VitaDAO 的子公司或附屬公司運營。如果獲得批準,該提案將在 2023 年 4 月 3 日至 6 月 12 日之間進入為期 10 周的執行階段。據悉,這家名為 VitaTech 的公司將利用公共資金來許可美國大學開發的長壽技術,并支持它們的持續發展。[2023/4/6 13:46:54]

請閱讀:EIP 4488,或者另外一個 EIP (更簡單但效果更溫和) — EIP 4490。

理論上,EIP 4488 可以把 rollup 的數據可用空間最大增加到 ~1 MB/slot 并且成本降低大約 5 倍。這一步驟比下文提到的步驟可以更快地實施。

同時,我們可以開始開展一些工作以推出“專用”分片。以完整的形式實現專用分片可能需要很長時間,但我們可以做的是一片一片地實現,并從每一個分片中獲益。要實現的首個自然分片是分片規范中的“業務邏輯”,但想要避免網絡中的大部分困難,需要將初始分片數量維持在非常少的水平上 (例如 4 個分片)。每個分片將在自己的子網絡中進行廣播。驗證者將默認信任委員會;但是如果他們愿意,他們也可以選擇留在每個子網絡中。并且只有當他們看到信標區塊確認的任意分片區塊的完整主體時,才會接受這個信標區塊。

比升資本合伙人Vito:Filecoin礦工和算力要提供可靠存儲能力應對監管:金色財經現場報道,4月23日,數御未來——2021數據與存儲產業峰會在成都舉辦。在主題為《區塊鏈視角看分布式存儲的市場價值》的圓桌中,比升資本合伙人Vito指出,Filecoin賽道崛起的原因在于,從其自身發展來看,在FIL主網上線之前,已經有很多機構進場布局這個賽道;從散戶的角度來看,存儲和計算、通訊相比,認知門檻會更低,從社會現實來講,海量數據時代需要分布式存儲。

對于分布式存儲的監管問題,當海量數據進入后,一定會有專業合規的服務商來做這個事情。對于現在投資算力和礦工,所要做的是提供可靠的存儲能力。[2021/4/23 20:52:01]

分片規范本身并不是特別困難;這是個和最近發布的 Altair 硬分叉規模差不多的樣板代碼更改 (Altair 信標更改規范文件有 728 行代碼,而分片信標更改規范文件有 888 行代碼)。所以我們有理由相信它可以在 Altair 實現和部署的時間框架內實現。

為了使得分片數據能夠真正被 rollup 使用,rollup 需要能夠對分片數據進行證明。有兩個選項:

1. 添加BEACONBLOCKROOT操作碼;rollup 將添加這個代碼以驗證植根于信標鏈歷史區塊根中的默克爾證明。

VitalikButerin提議使用Flashbots系統實現“賬戶抽象”:3月11日消息,以太坊聯合創始人 Vitalik Buterin 在研究機構 Flashbots 的 GitHub 倉庫中提議利用 Flashbots 作為“賬戶抽象”的一種實現方式。“賬戶抽象”是以太坊社區中討論的改進提案之一,以實現交易不需要從私鑰控制的 EOA 賬戶發起,而是可以直接從智能合約發起,具體的用例包括智能合約錢包、Tornado.Cash 這類隱私保護工具等。Vitalik Buterin 認為 Flashbots 可以解決這個問題,通過搭建一個插件將其變成智能合約錢包的中繼器以實現。他表示該方案不需要對以太坊底層協議進行很多改動。

Flashbots是由五位區塊鏈行業人士發起成立的開放研究機構,旨在針對以太坊及各智能合約公鏈所面對的 MEV 問題進行研究,并實施解決方案。[2021/3/11 18:35:51]

2. 添加未來證明的狀態和歷史訪問預編譯 (future-proof state and history access precompiles),這樣的話,如果承諾機制 (commitment scheme) 在未來發生變化,rollup 就不需要更改其代碼。

聲音 | 江卓爾:分片提升容量難度大時間長 故而Vitalik提出使用BCH或者ETC作為以太坊數據層:7月25日消息,萊比特礦池CEO江卓爾表示,分布式系統(去中心化系統)有一個不可能三角,稱為分布式系統CAP定理,指的是在一個分布式系統中,Consistency(一致性)、 Availability(可用性)、Partition tolerance(分區容錯性),三者不可兼得。Vitalik提出用分片方法提升容量,但分片方法的難點是一致性,也就是CAP中的C,Consistency(一致性),這個是一個要挑戰不可能三角的開發,所以開發難度很大,時間長,所以Vitalik才提出使用BCH或者ETC作為以太坊數據層的短期方案,來解決ETH的燃眉之急。[2019/7/25]

這將使 rollup 的數據空間增加到大約2 MB/slot(每個分片擴展 250 KB * 4 個分片,再加上第一步中已擴展的 calldata)

將活躍分片的數量從 4 個增加至 64 個。現在分片數據將進入子網絡中,因此到這時,P2P 層必須已經足夠堅韌,可以將分片分成數量更多的子網絡。其中數據可用性的安全性將基于誠實的大多數,即依賴于委員會的安全性。

行情 | Activity 指數EOS排名第一:據blocktivity.info數據顯示,Activity 指數排名第一的EOS 現報為 6,101,280 ,排名第二的STEEM 的 Activity 指數為 1,122,576 ,排名第三的BTS的 Activity 指數為 949,526 ,排名第四的ETH 的 Activity 指數為 574,337 ,排名第五的BTC 的 Activity 指數為 183,026 。Acitivity 指數為最近 24 小時內在區塊鏈上執行的操作數量。[2018/8/26]

這將使得 rollup 的數據空間提高到大約 16 MB/slot (每個分片擴展 250 KB * 64 個分片);我們假設此時 rollup 已經從執行鏈中遷移出來。

添加數據可用性采樣,以確保提高安全水平,即使在遭遇大多數不誠實行為的攻擊下,也能保護用戶的資產。數據可用性采樣可以分階段推出:首先,以非強制的方式讓網絡進行測試;然后添加了 DAS 才能接受信標區塊;甚至可能先在某些客戶端上實現。

一旦完全引進了數據可用性采樣,分片就完成發布了。

分片機制下的 Optimistic 和 ZK rollups

分片世界和目前狀況的一個主要區別是,在分片世界中,一筆向智能合約提交 rollup 區塊的交易中將不可能包含 rollup 數據。相反,數據發布步驟和 rollup 區塊提交步驟將不得不分開:首先,在數據發布步驟中將數據發布至鏈 (發布到分片里);然后在提交步驟中,提交其區塊頭以及基礎數據的證明。

Optimism 和 Arbitrum 的 rollup 區塊提交已經使用了上面所說的兩步設計,所以這對它們來說只是一個小小的代碼修改。

但對于 ZK-rollup 來說,事情就有點棘手了,因為提交交易需要提供一個可以直接在數據上運行的證明。它們可以做一個 ZK-SNARK 的證明,證明分片中的數據與信標鏈上的承諾相符,但這樣很昂貴。幸好有更便宜的替代品。

如果 ZK-SNARK 是一個基于 BLS12-381 的 PLONK 證明,那么它們可以直接將分片數據承諾作為一個輸入。BLS12-381 分片數據承諾是一個 KZG 承諾,與 PLONK 中的承諾類型相同,因此它可以直接作為一個公共輸入傳入證明中。

如果 ZK-SNARK 使用不同的方案 (甚至只是一個擁有更強的信任設置的 BLS12-381 PLONK),它可以包含自己對于數據的承諾,并使用等價證明來驗證證明中的承諾和信標鏈中的承諾是對相同數據的承諾。

增加數據空間的一個必要共同條件是,移除以太坊核心協議負責永久保有其達成共識的所有數據這個屬性。數據量太大,根本不需要這樣做。例如:EIP-4488 導致理論上鏈的最大容量為大約 1,262,861 字節/ slot (12秒),或大約 3.0 TB 每年,盡管實際上,一開始更可能是大約 250—1000 GB 每年

4 個分片 ( 1 MB 每個 slot) 會每年增加額外 (幾乎可以確定) 大約 2.5 TB 的數據

64 個分片 ( 16 MB 每個 slot) 導致每年總共需要 (幾乎可以確定) 大約 40 TB 的存儲

大多數用戶的硬盤大小在 256 GB 到 2 TB 之間,1 TB 似乎是中位數。下圖是一組區塊鏈研究員的內部調查數據:

這意味著盡管用戶今天可以負擔得起運行一個節點,但如果這個路線圖的任何部分沒有進一步的修改,用戶將會負擔不起。大得多的驅動器是可以買到的,但用戶將不得不特地去購買它們,這大大增加了運行一個節點的復雜性。這方面的主要解決方案是 EIP 4444 (譯者注:可參閱《引介 EIP-4444:對執行層客戶端的歷史數據設限》),它使得節點運行者不再負責存儲超過 1 年的區塊或收據。在分片方面,這個期限可能會進一步縮短,節點將只負責它們積極參與的子網上的分片。

這就留下一個問題:如果以太坊核心協議將不再存儲這些數據,那么誰來存儲?

首先,重要的是要記住即使有了分片,數據量也不會變得異常地大。是的,每年 40 TB 的數據量的確是個人運行“一般”消費級硬件難以負荷的。但是,對于愿意投入資源和工作到存儲數據的個人來說,這是可以接受的。在 Best Buy 的一個 48 TB 硬盤售價 1729 美元,這里的 14 TB 硬盤售價大約 420 美元。運行一個 32 個 ETH 驗證者 slot 的人可以用質押獎勵來支付存儲實現分片后的整個區塊鏈的開銷。因此,從賬面上看,沒有人會存儲分片的歷史數據以致完全沒有人知道這些數據,這種情況似乎是不可能的。

那么誰將存儲這些數據呢?以下是一些可能的想法:

自愿存儲的個人和機構

區塊瀏覽器 (etherchain.org、etherscan.io、amberdata.io…) 肯定會存儲所有的數據,因為提供這些數據給用戶是它們的商業模式。

Rollup DAO 對存儲并提供與它們的 Rollup 相關的歷史數據的參與者進行提名與支付。

歷史數據可以通過 torrents 上傳和共享

客戶端可以自愿選擇各自存儲任意 0.05% 的鏈歷史數據 (因為使用糾刪碼,你需要很多客戶端同時離線才能丟失哪怕一個片段的數據)。

門戶網絡 (Portal Network) 里的客戶端可以存儲任意部分的鏈歷史數據,門戶網絡會自動把數據請求導向擁有這些數據的節點。

歷史數據的存儲可以得到協議內的激勵

像 TheGraph 這種協議可以創建有激勵的市場,其中的客戶端給提供歷史數據 (有默克爾證明確保其正確性)的服務器付費。這就給運行存儲歷史數據的服務器的個人和機構提供激勵,做到按需提供。

其中一些解決方案 (自愿的個人和機構、區塊瀏覽器) 已經存在了。特別是 p2p torrent,是由大型自愿者驅動的生態來存儲大量 TB 級內容的很好的例子。剩下的基于協議的解決方案更強大,因為它們提供激勵,但它們需要更長的開發時間。從長遠來看,通過這些第二層協議來訪問歷史數據會比今天通過以太坊協議更高效。

作者 | Vitalik Buterin

原文鏈接:https://notes.ethereum.org/@vbuterin/data_sharding_roadmap

Tags:ROLROLLVITITATROLL價格TROLLGravityTITA價格

PEPE
關于新型“數字人民幣”詐騙的疑問后續_Tezos

前不久,移動支付網就近日頻繁出現的數字人民幣詐騙案進行了分析(鏈接:所謂的新型“數字人民幣”詐騙,這里有幾個疑點!)并給出了幾個疑問,后續通過行業了解發現文章存在考慮不周的地方.

1900/1/1 0:00:00
美 SEC 委員剖析 DeFi 風險、監管和機遇:會助推負責任的創新和公平_SEC

美國證券交易委員會委員卡羅琳·A·克倫肖稱,「 DeFi 是一個共享的機遇和挑戰。一些 DeFi 項目完全符合我們的管轄范圍,而其他項目可能難以遵守當前適用的規則.

1900/1/1 0:00:00
一文看懂 Layer 2 如何解決區塊鏈「不可能三角」問題?_以太坊

區塊鏈行業存在一個“不可能三角”問題,即安全、可擴展性、去中心化,只能犧牲其中一個去實現另外兩個.

1900/1/1 0:00:00
數字人民幣進展跟蹤報告_數字貨幣

數字人民幣試點取得快速進展,個人錢包數量已突破1億個,交易金額快速增長。我國央行從2014年起開始研究法定數字貨幣,2019年年末開始試點,目前試點范圍為十個城市及2022北京冬奧會場(10+1.

1900/1/1 0:00:00
金色觀察 | 林俊杰宣布持有元宇宙虛擬地塊 他還有哪些NFT?_區塊鏈

2021年11月23日,著名華人歌手林俊杰在推特宣布持有三塊Decentraland虛擬地塊:Prime Gallery 1、Prime Gallery 2、NEAREST to GENESIS.

1900/1/1 0:00:00
加密貓的未來:實體化?數字藝術藏品?_TOK

玩家可以通過購買、交易和繁殖加密貓來創造玩家理想的加密貓特征。CryptoKitties是第一個建立在以太坊網絡上的游戲.

1900/1/1 0:00:00
ads