時間:2023-07-05|瀏覽:277
特別感謝Optimism和Flashbots大量人討論和思考這篇文章,以及KarlFloersch、PhilDaian和AlexObadia反饋和審查。
考慮到一般的大區塊鏈,即具有非常高的區塊頻率、非常大的區塊大小、每秒數千筆交易,但也非常集中的情況,我們如何在沒有信任和審查的情況下接受這樣的鏈?
這是一個合理的路線圖: 1. 增加第二層抵押,對資源要求低,以驗證分布式塊。一個塊中的交易分為100個桶,每個桶后面都有Merkle或Verkle樹根狀態。每個二級質押者被隨機分配到其中一個桶中。只有當分配給每個存儲桶的至少2/3驗證者簽署時,才會接受一個塊。引入欺詐證明或ZK-SNARK,讓用戶直接(便宜)檢查塊的有效性。 2. 引入數據可用性采樣,讓用戶檢查塊的可用性。使用DAS檢查,輕客戶端只能通過下載一些隨機選擇的塊來驗證塊是否已發布。 3. 增加二級交易渠道,防止審查。一種方法是允許二級抵押人提交下一個主區塊必須包含的交易列表。
完成這一切后,我們得到了什么?我們得到了一個區塊生產仍然集中的鏈,但區塊驗證是信任和高度分散的,特殊的反向審查魔法可以防止區塊生產者進行審查。即使每個主要利益相關者(區塊生產者)計劃攻擊或審查,他們能做的最壞的事情是完全離線,鏈停止接受交易,直到社區收集他們的資源,建立一個誠實的主要利益相關者節點。
現在,考慮總結一個可能的長期未來... 想象一下,一個特定的總結Arbitrum、Optimism、Zksync仍然是一件全新的事情。如果他們提供足夠強大的硬件,他們真的可以每秒處理1萬事務。原則上,這種技術是眾所周知的,多年前DanLarimer其他人已經意識到:將執行分為CPU線程,運行無與倫比但廉價的業務邏輯,以及大量其他線程運行昂貴的業務邏輯。以太坊通過數據可用性采樣實現了分片,并有空間將匯總鏈上的數據存儲在64分片之間。因此,每個人都搬到這里進行總結。那個世界會是什么樣子?
再一次,我們得到了一個世界。在這個世界上,區塊生產是集中的,區塊驗證是去信任和高度分散的,審查制度仍然被阻止。Rollup塊生產商必須處理大量的交易,因此很難進入市場,但他們無法推廣無效塊。匯總邏輯保證塊的可用性和有效性ZK由匯總SNARK確保只要有誠實的參與者在某個地方運行欺詐證明節點,樂觀的總結是安全的。此外,由于用戶始終可以選擇通過鏈上二級包含渠道提交交易,因此匯總排序器也無法有效審查。
現在,考慮另一個可能的長期未來......沒有一個總結能成功地與大多數以太坊活動保持一致。相反,它們都以每秒數百筆交易的速度達到最高水平。我們得到了以太坊對未來的更多總結,但在提供數據可用性和共享安全的基礎上。用戶通常依靠交叉匯總橋跳轉到不同的匯總之間,而不需要在主鏈上支付高成本。那個世界會是什么樣子的?
似乎我們可以