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

以太坊2.0:“無狀態性”的重要性_區塊鏈

Author:

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

大家在閱讀本譯文前,可以先了解一下狀態膨脹以及無狀態性的背景知識,推薦一篇文章:《觀點 | 狀態膨脹和無狀態性》?

當前的以太坊1.0鏈最大的問題在于其狀態大小。約為 10-100 GB (具體取決于其存儲方式),對于許多節點來說,將其保存在工作內存中是不切實際的,因此會選擇慢速固定存儲。然而,硬盤速度過慢難以與以太坊區塊保持同步 (或是從創世區塊開始同步),因此必須使用更加昂貴的 SSD。這么說吧,當前的狀態大小還不是最大的問題,而是狀態的增長成本相對較低,并且會一直增長,即時我們提高狀態增長的成本,也無法使狀態占用者為網絡實際受到的影響付費,而該影響是永恒存在的。

目前出現的解決方案主要圍繞兩個方向:

? 狀態租金:為了使狀態保持在活動內存中,持續進行付費

? 無狀態性:區塊保留所有的證明 (witness),例如默克爾證明,因此在驗證區塊有效性的時候不再需要狀態

在“無狀態性”方向中,又有不同的概念值得探索:

? 部分無狀態性:只需要對某些 (陳舊) 狀態提供見證,減少驗證區塊所需的狀態數量

? 弱無狀態性:驗證區塊無需狀態,但是提議區塊需要完整狀態

Vitalik 在這篇文章中提出了如何將這些概念梳理成一個通用的框架,并且表示了部分無狀態性和狀態租金非常相似,因為兩者在對活躍狀態進行修改時都需要進行某種形式的支付,以及一份重新激活陳舊狀態的證明。

迪拜Citizens School接受比特幣和以太坊支付學費:3月29日消息,Watcher.Guru發推稱,迪拜一所名為Citizens School的學校成為中東地區第一所接受比特幣和以太坊支付學費的學校。[2022/3/29 14:23:52]

如果你是 Eth1 的用戶,那么你可能覺得只保留 1 GB 或者甚至是 100 MB 的活躍狀態的部分無狀態性是一項巨大成就,那為什么還要這么費勁地實現完全的無狀態性?我認為完整 (弱) 無狀態性釋放了巨大的潛能,而這是部分無狀態性無法做到的,因此我們要竭盡全力實現完全無狀態性。

理解 Eth2 驗證者

Eth1 在過去一直被詬病其對硬件的要求非常高,雖然這些斥責并不都是公平的 (經過挑選后的中等消費級硬件也可以運行 Eth1 節點),但我們需要重視這些事實,尤其是希望在不損害去中心化的前提下對以太坊進行擴容。對于 Eth2 來說,我們樹立了非常宏大的目標:能夠在低成本的硬件上運行 Eth2 節點和驗證者,甚至是樹莓派或智能手機。

這條通向擴容性的路徑并不輕松。其他項目 (例如 EOS 和 Solana) 則需要更高性能的硬件和網絡連接。但我認為要保障去中心化,降低共識節點以及 P2P 節點的門檻是必要的。

在 Eth2 中,共識節點是驗證者。Eth1 和 Eth2 的共識節點存在非常重要的區別:

? Eth1 的共識節點是礦工。要為區塊鏈“投票”,你必須要生產區塊。也就是說,共識節點和區塊生產者是不可分割的。

以太坊錢包MetaMask月活躍用戶達到2100萬:金色財經報道,ConsenSys今天宣布,其以太坊錢包MetaMask現在每月有2100萬人使用。此前在4月份,當DeFi活動激增且NFT狂熱全面爆發時,MetaMask有500萬月活躍用戶,在七個月內增長了420%。MetaMask運營主管Jacob Cantele表示,最近的大部分增長都是由垂直游戲的增長推動的。[2021/11/18 6:57:26]

? Eth2 或是當前的第一個階段 (信標鏈) 中,提議區塊和形成共識是兩種不同的機制:每 12 秒由一個隨機擇出的驗證者來提議區塊,而共識是通過證明 (attestation) 形成的,每個驗證者在每個 epoch (每 6.4 分鐘) 對區塊鏈進行投票。現在每幾分鐘都有超過十萬的驗證者在投票形成共識。區塊生產者對共識 (幾乎)沒有影響,他們只能對區塊內包含的內容進行選擇。

解除區塊提議者與共識的關聯開啟了一個重要的設計空間。信標鏈從驗證者集中隨機選擇區塊提議者,而對于分片鏈,則不必如此:

? 對于分片 (尤其是 Eth1 執行分片) 來說一種有趣的可能性在于,驗證者能夠進入生產區塊的列表。這類驗證者可能需要更高性能的硬件,可能也需要具有“完整”狀態。

? 另一個可能性也是我們目前正在為數據分片加以實現的,任何人都可以被選中提議區塊,但是區塊的具體內容不由提議者決定,不同的參與者可以通過競價使其打包的區塊被提議。

Tether在以太坊網絡新增印鈔10億枚USDT(已授權未發行):Whale Alert數據顯示,Tether在以太坊網絡新增印鈔10億枚USDT。對此,Tether首席技術官Paolo Ardoino表示,以太坊網絡補充了10億枚USDT的庫存。這是一筆已授權但未發行的交易,意味著該金額將用作下一次發行請求和鏈互換的庫存。[2021/8/20 22:27:17]

在這兩種情況中,弱狀態驗證意味著所有其他的驗證者 (不生產區塊或決定區塊內容的驗證者) 并不需要狀態。這一點與 Eth1 截然不同:在 Eth1 中,對形成共識的節點 (即礦工) 的要求非常高,因此使他們保留完整狀態似乎沒有問題。但是在 Eth2 中,我們可能會大幅降低參與門檻,并且我們應該利用這一點來保障去中心化和安全性。

提議者成本較高可以理解

還有一點重要的反對觀點可能是,如果區塊提議的成本過高,那么去中心化也會受到損害,即使我們降低了驗證者和 P2P 節點的門檻。但事情并非如此,“提議者”和“驗證者”之間存在重要的差異:

? 對于驗證者,我們需要絕大多數是誠實的,即所質押的 ETH 中需要超過 2/3。P2P 節點的情況可能類似,但是就我所知并不需要一定比例的 P2P 節點必須是誠實的,但是為了確保總是能收到有效的鏈,每個人都需要連接至少一個誠實的 P2P 節點,這個比例大概是 5%,在實踐中可能更高。

? 對于提議者,我們對于其是否誠實的要求低得多,與 Eth1 不同,Eth2 的提議者不審查過往的區塊 (因為他們不投票),只能決定他們所提議的區塊的內容。假設你的交易不是特別緊迫,如果 95% 的提議者嘗試對其進行審查,那么第 20 個提議者仍然可以將其安全打包 (但是低延遲的抗審查制度是另一回事,在實踐中更難實現)。

DeGate 發布發展藍圖,將優先實現基于零知識證明技術的以太坊二層訂單薄交易協議:據官方消息,以太坊二層交易協議 DeGate 發布最新發展藍圖,對原有的發展路線進行了調整,將優先上線訂單薄交易,并最終形成訂單薄交易、AMM 交易、保證金交易三者并存的產品架構。

DeGate 表示,隨著 Layer2、以太坊 2.0 等技術的落地,區塊鏈使用成本將大幅降低,因此更能滿足交易者需求、資金利用率更高的訂單薄交易有可能產生更大的市場需求。DeGate 的訂單簿交易系統將擁有即時掛單撤單、掛單撤單免手續費、maker 交易免手續費、taker 直接交易等功能或優勢。[2021/5/26 22:46:41]

這也是為什么相較驗證者,我并不那么擔心提高提議者的硬件要求。如果我們保持正常驗證者的要求較低,那么提議者需要 128GB RAM 的 PC 來存儲大型狀態也沒有問題。我擔心的是,如果一臺能夠滿足這些要求的 PC 價格為 10 萬美元,但如果我們將其控制在 5 千美元以下,一旦發現審查,如果社區沒有迅速引入更多提議者來做出反應是不合理的。

最后,還有一些其他的原因導致區塊提議者可能需要更好的硬件設備,并且在獲取 MEV 時也更有優勢。

此處我使用“提議者”來指代打包區塊的角色,這與正式簽名并驗證的角色并不一定是一致的,在 rollups 中他們可能是“序列器” (sequencer)。簡單起見,我在此處將其稱作提議者,因為如果僅向系統中引入一個只負責提議區塊的新角色,我認為系統不會因此受到根本上的破壞。

以太坊上穩定幣總發行量突破600億美元,創歷史新高:據最新數據顯示,以太坊區塊鏈上穩定幣總發行量突破600億美元,創歷史新高,本文撰寫時為610.9億美元,以太坊上的穩定幣是用于區塊鏈網絡中的法幣,通常和法幣價格鉚定,由第三方審計,有真實美元作為儲備或由復雜的算法來保障其價格。

按照發行量計算,目前排名前三的以太坊穩定幣分別是:1、USDT:25916047048美元,發行量占比42.43%;2、USDC:18149530825美元,發行量占比29.71%;3、BUSD:8168314933美元,發行量占比13.37%。

以太坊區塊鏈上的穩定幣總發行量在4月20日首次突破500億美元,這意味著在一個月內增長了100億美元。[2021/5/21 22:30:27]

實現無狀態的裨益

本文至此我還沒有論證過為什么無狀態性如此有力,在可執行信標鏈提案中,將狀態從 10 GB 縮減到 1 GB 或 100 MB 似乎能為驗證者節省許多開銷,那我們為什么還需要無狀態性?

如果我們順勢走下去,可執行的 Eth1 區塊可以成為一個分片。而在可執行信標鏈的提案中,所有的驗證者都必須保持運行完整的 Eth1 執行 (否則會面臨簽署無效區塊的風險)。而分片不應具備這一屬性,分片中簽署一個區塊只需要一個委員會 (因此是驗證者中的1/1024),并且其他人不需要信任該委員會的絕大部分驗證者是誠實的,只要有一個誠實驗證者在委員會嘗試作惡時吹哨。而這只有在 Eth1 具備無狀態性時才有可能:

? 我們希望所有驗證者的負載大致相等,并且沒有極端的峰值。因此長時間 (例如一個小時或一天) 派遣某個驗證者成為 Eth1 委員會成員,實際上是很糟糕的:這意味著就帶寬要求而言,驗證者的規模仍然必須能夠與完整的 Eth1 鏈保持一致。此外,如果長時間使用同樣的委員會 (例如通過賄賂攻擊),委員會變得更具攻擊性

? 我們希望能夠簡單地對 Eth1 區塊給出欺詐證明,因為其他驗證者將無法確定委員會是否正確完成了其工作。最簡單的方式是區塊成為其自身的欺詐證明:如果一個區塊是無效的,廣播區塊本身就能證明發生欺詐。

因此在 Eth1 具備完整無狀態性的前提下,Eth1 可以成為一個分片 (花費更少的資源來維護,例如1/100)。同時,只有這樣我們才能在數據分片之外引入更多的執行分片。

緩存不總是挺好的嗎?

那么如果我們進入完全無狀態卻引入了 10 MB 的緩存呢?或是1 MB?即使只想檢查一個區塊,也可以輕松下載,因為你已被分配到一個委員會,或者作為欺詐證明收到了該緩存?

你可以執行此操作,但是我們可以明顯看到,如果大多數驗證者僅驗證單個區塊,則不太可能是最佳的。假設我們的目標是 1 MB 的區塊,此外我們還有 1 MB 的緩存,這意味著每當驗證者想要驗證一個區塊時,他們都必須下載 2 MB 的數據 (包括區塊和緩存)。他們必須每次都下載緩存,除非他們下載所有區塊以保持最新的緩存,這正是我們要避免的事情。

這意味著,以 1 MB 大小的區塊和 1 MB 的緩存相同的代價,我們可以將緩存設置為 0 并允許區塊大小增加到 2 MB。

很明顯 2 MB 的區塊至少與 1 MB 的區塊 + 1 MB 的緩存一樣有效。原因是,如果這是我們認為的最佳選擇,那么 2 MB 的區塊可能只包含 1 MB 的緩存,我們只需在每個區塊上提交緩存,然后在下一個區塊中重新引入完整的緩存即可。這可能不是區塊中那 1 MB 的最佳用途,但是你可以這樣做。額外的 1 MB 可以被更好地利用,以允許引入更多的見證 (witness)。

二進制樹還是verkle trie?

我認為總的來說,力爭完整 (弱) 無狀態性的聲音壓倒了部分無狀態性或狀態租金方案。這對用戶的影響會更小:他們根本不必考慮狀態。他們唯一要做的就是添加見證 (以便 P2P 網絡能夠驗證有效交易)。創建見證的成本非常低,以至于可以想象到會有許多相關服務。實際上大多數錢包已經依賴外部服務,不需要用戶運行自己的節點。獲取見證也只是一個微小的功能。

部分無狀態性或狀態租金,在完全弱無狀態性的道路中增加了極大的用戶體驗障礙。但考慮到僅使用二進制默克爾樹嘗試實現無狀態是非常困難的,并且要允許默克爾樹證明需要對 gas 進行改動 ,而這會損害用戶體驗。

因此在我看來,我們現在應該往 verkle tries 的方向努力。這使得我們可以具有小于 1 MB 的可管理的證明,并且只有由 EIP-2929 提出的適度 gas 費用以及針對代碼塊收費。其缺點很容易得到控制,對用戶幾乎沒有實際影響:

? 開發者需要學習新的密碼學原語

? 添加更多非抗后量子密碼學。第二點聽起來很可怕,但是我們已經在 Eth2 中引入了 KZG 承諾以進行數據可用性采樣,并且無論如何我們都在使用基于橢圓曲線的簽名。需要對合并的 Eth1 和 Eth2 鏈進行一些后量子升級,目前沒有可實踐的后量子替代方案,因此我們不能停止前進。就采用而言,未來5年極為重要。擺在前面的道路就是竭盡所能,并在 5-10 年內,當 STARK 足夠強大時,我們將對所有原語進行完全的后量子升級。

總的來說,verkle tries 可以解決接下來五年的狀態問題。現在我們將能夠實現完全 (弱) 無狀態性,而對用戶和智能合約開發者幾乎沒有影響。我們將能夠提升 gas 上限 (因為驗證變得更快) 和更多的執行分片,所有這些幾乎都不會對安全性和去中心化產生影響。

最難啃的硬骨頭是讓每個人都理解 KZG 承諾和 verkle tries 的工作方式。由于 Eth2 將使用 KZG 承諾來保證數據的可用性,大多數以太坊開發者都需要進行相關工作。

幾乎沒有影響,因為現在進行了細微優化以提高對某些平衡攻擊 (balance attack) 的抵御能力,平衡攻擊確實使提議者能對分叉選擇產生短期影響。

確切地說,如果區塊生產者開始勾結并審查大量證明,可能會產生影響,但是單個區塊的生產者對共識造成的影響完全可以忽略不計。

不誠實的委員會作惡可能會影響整個網絡,并導致嚴重的延遲,但是引入無法無效/不可用的區塊

想要自己運行節點的用戶仍讓能夠借助外部服務來獲取見證。這種操作是免信任的,因為在知道最近的狀態根的前提下,見證就是它們自身的證

Tags:ETH以太坊ETH2區塊鏈Ether Tech以太坊最新價格ETH2.0價格區塊鏈適合什么人做

瑞波幣
早期發現藍籌 NFT 項目的 13 種方法_FIRE

  不得不說目前NFT市場魚龍混雜,同時還充斥著很多垃圾項目,這些項目只是成功藍籌股的盜版。每有一個偉大的項目出圈,都伴隨著一百個糟糕的項目走向歸零。想要在他們失敗前將其找出來非常困難.

1900/1/1 0:00:00
Azuki空投2萬個NFT 盤點Azuki交易額TOP10_NFT

Azuki 是今年1月12日上線的, 是1w個卡通動漫風圖片NFT。這兩天官方針對當前NFT持有者用戶空投了Something NFT,每個NFT可獲得2個,該空投NFT目前地板價是4.9ETH.

1900/1/1 0:00:00
Foresight Ventures:重新定義 NFT_ARW

概要 現狀: NFT 是所有權證明, 是你購買作品的收據, 不是作品本身. 萬物皆鏈接, NFT 就是其中一種鏈接.

1900/1/1 0:00:00
4.5億元天價藝術品再次帶火NFT 一文帶你了解NFT究竟是什么?_Maker

最近,加密藝術家Beeple的NFT作品《Everydays:The First 5000 Days》拍賣出了6900萬美元的天價,NFT隨之成為加密界的新“頂流”.

1900/1/1 0:00:00
BitMEX創始人關于NFT價值的思考:什么是藝術 什么是垃圾_BIT

注:原作者為Arthur Hayes,以下是全文編譯。采用NFT技術并在公共區塊鏈上托管的數字藝術品(以下簡稱NFT),引發了關于“什么是藝術,什么是垃圾?”這一問題的最新討論.

1900/1/1 0:00:00
一場前往神都的奇幻之旅《風起洛陽》首發數字藏品_HEE

馬伯庸的文字時常散發出致命且神秘的魅力,那些充滿奇思妙想的故事躍然紙上總是那樣閃閃發光著。而當這些文字穿越次元變成真人演繹的影視劇時,考究的置景道具與高度還原的人物服飾造型結合馬伯庸筆下的神奇故.

1900/1/1 0:00:00
ads