買以太坊 買以太坊
Ctrl+D 買以太坊
ads

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

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-2MB/秒的專用數據空間。本文檔描述了對該方案的實用操作方法,從而盡快為rollup釋放充足的數據空間,并逐漸增加額外的空間和提高安全性。

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

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

與Vitalik Buterin相關的地址向0x9e92開頭地址轉入3500枚以太坊:5月10日消息,據Lookonchain監測,與Vitalik Buterin相關的0xD04d開頭地址向0x9e92開頭地址轉入3500枚以太坊,Vitalik Buterin從2022年12月30日至今已向0x9e92開頭地址轉入17800枚以太坊,價值約3300萬美元。[2023/5/11 14:55:48]

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

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

第二步:少數分片

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

動態 | EOS 的Activity指數為43,721,037 排名第一:據IMEOS報道,截止12月16號11點,blocktivity.info上顯示,排名第一的 EOS 的Activity指數為43,721,037 ,排名第二、第三分別為 TLOS 和 IOST 。Acitivity指數為最近24小時內在區塊鏈上執行的操作數量。[2019/12/16]

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

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

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

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

公告 | OKEx已完成VITE主網切換并開放VITE充提:據官方消息,OKEx已完成VITE主網切換,于2019年09月26日11:30(HKT)開放VITE的充提。[2019/9/26]

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

第三步:N個分片,由委員會提供安全保障

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

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

第四步:數據可用性采樣(dataavailabilitysampling,DAS)

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

聲音 | Vitalik:以太坊2.0信標鏈正式上線時間或略有推遲:金色財經現場報道,6月29日,在北京舉行的2019以太坊技術及應用大會上,以太坊聯合創始人Vitalik Buterin以及以太坊核心研究員Hsiao-Wei Wang在接受采訪時表示,按照正常的開發進度,以太坊2.0計劃在2020年初正式上線,Vitalik表示以太坊2.0信標鏈的上線時間或將略微推遲,更多要看社區進度,以太坊2.0測試網將于今年晚些時候上線。[2019/6/29]

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

分片機制下的Optimistic和ZKrollups

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

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

動態 | 以太坊創始人Vitalik Buterin被巴塞爾大學授予榮譽博士學位:據coindesk報道,以太坊創始人Vitalik Buterin剛被巴塞爾大學授予榮譽博士學位。[2018/11/30]

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

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

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

分片后誰來存儲歷史數據?

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

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

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

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

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

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

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

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

自愿存儲的個人和機構

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

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

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

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

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

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

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

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

作者|VitalikButerin

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

Tags:ROLLROL以太坊VITroll幣怎么用以太坊硬幣模版curriculum-vitae

以太坊交易
ETF:晚間必讀5篇 | 為什么跨鏈橋成為兵家必爭之地?_元宇宙數字虛擬人龍頭股

1.元宇宙熱潮持續:政府層面著手布局元宇宙不僅吸引了Facebook母公司Meta、微軟、英偉達、BATJ等大大小小的公司押注元宇宙領域,如今,政府層面也開始關注并有所布局.

1900/1/1 0:00:00
比特幣:一個鏈游一個傳銷 幾十個飛船仿盤上線就是幾十倍_超級比特幣SBTC最新消息

土狗項目熱度只增不減,啥概念都沒有都能炒的火熱,有的賺麻了,也有人虧麻了。隨著鏈游的火爆,資金開始轉移。現在很多土狗項目開始瞄準游戲。也是想借著游戲火爆來賺一波錢.

1900/1/1 0:00:00
DEFI:Web 3的創作者經濟和所有權經濟_DEF

原文標題:CYCWeeklyResearch:創作者經濟VS.所有權經濟Web2以平臺為核心,用戶被迫于中心化平臺的監管,甚至是政府的監控,并不能得到最大化利益.

1900/1/1 0:00:00
數字貨幣:現階段Web3.0身份系統的應用場景和案例_web3.0幣種有哪些

前段時間ENS空投引起了人們對中心化域名的關注,誠然去中心化域名可以作為一種Web3身份標識。然而,無論現實世界、Web2還是Web3中,除了身份標識以外,身份系統還包括身份驗證和管理.

1900/1/1 0:00:00
IGU:薩爾瓦多將創建 "比特幣城" 并計劃加購價值5億美元加密貨幣_IGUP價格

薩爾瓦多總統NayibBukele周六晚在薩爾瓦多比特幣周的演講中說,薩爾瓦多是唯一一個將比特幣作為法定貨幣的國家,接下來,他們將在最大的加密貨幣的基礎上建設整個城市.

1900/1/1 0:00:00
PAL:加密貨幣投資者無視監管不確定性以從隱私權中獲利_CRE

隨著商業變得日益全球化,金融體系不斷發展,數字資產在我們的生活中變得比以往任何時候都更加根深蒂固,監管機構正在采取更多限制措施來維持對行業的管控.

1900/1/1 0:00:00
ads