Vitalik Buterin 承認自 2017 年以來最大的設計錯誤——那麼你的 Ethereum 有風險嗎?

Vitalik Buterin 表示他不再認同自己 2017 年發布的推文,該推文淡化了用戶親自端到端驗證 Ethereum 的必要性。

本週,他主張網路應將自託管驗證視為不可妥協的逃生出口,因為其架構變得更輕量化和更模組化。

Buterin 最初的立場源於一場設計辯論,即區塊鏈應該在鏈上提交狀態,還是將狀態視為「隱含的」,只能通過重播有序交易來重建。

Ethereum 的方法是在每個區塊標頭中放置狀態根並支援 Merkle 式證明,讓用戶能夠證明特定餘額、合約代碼或儲存值,而無需重新執行所有歷史記錄,只要用戶在誠實多數假設下接受鏈的共識有效性。

在他的新文章中,Buterin 將這種權衡重新定義為實際上不完整的,因為它仍然可能迫使用戶在重播完整鏈或信任中介機構(如 RPC 營運商、檔案資料主機或證明服務)之間做出選擇。

Vitalik 在區塊鏈歷史個人驗證上的轉變

他將這一變化錨定在兩個轉變上:可行性和脆弱性。

關於可行性,Buterin 寫道,零知識證明現在提供了一條檢查正確性的路徑,而無需「真正重新執行每筆交易」。

在 2017 年,他認為這會將 Ethereum 推向更低的容量,以保持驗證在可及範圍內。

這種轉變很重要,因為 Ethereum 的公開路線圖越來越將 ZK 視為可驗證性原語,ethereum.org 將零知識證明定義為一種在減少驗證者必須計算的內容的同時保留安全屬性的方法。

關於「ZK 輕客戶端」方向的工作也指向一種模型,在該模型中,設備可以使用緊湊證明進行同步,而不是信任始終在線的閘道。

關於脆弱性,Buterin 列出了處於乾淨威脅模型之外的故障模式:退化的 p2p 網路、長期運行的服務關閉、驗證者集中改變了「誠實多數」的實際含義,以及將「呼叫開發人員」變為最後防線的非正式治理壓力。

他引用了圍繞 Tornado Cash 的審查壓力作為中介機構如何縮小存取範圍的例子,認為用戶的最後選擇應該是「直接使用鏈」。

這種框架與關於加固 Ethereum 基礎層和限制變動的更廣泛討論相一致,同時推動協議「固化」。

在 Buterin 的敘述中,「山中小屋」不是一種預設的生活方式。

它是一個可信的後備方案,可以改變激勵機制,因為用戶可以退出的知識降低了任何單一服務層的影響力。

當 Ethereum 減少普通節點預期儲存的內容時,這個論點出現了,而網路的驗證故事必須跟上步伐。

Ethereum 客戶端使用和歷史

執行客戶端正朝著部分歷史到期的方向發展,Ethereum 基金會表示,用戶可以通過刪除合併前的區塊資料來減少約 300-500 GB 的磁碟使用量,使節點能夠在 2 TB 磁碟上運行。

同時,輕客戶端已經反映了一個針對低資源設備優化的正式化信任模型,依賴於每 1.1 天左右選擇的 512 個驗證者組成的同步委員會。

這些參數使輕客戶端驗證在規模上可行。

然而,當條件惡化時,它們也將用戶體驗集中在正確資料的可用性和行為良好的中繼器上。

Ethereum 的長期「無狀態」工作旨在減少節點持有大型狀態的需求,同時保持區塊驗證完整。

Ethereum.org 警告說「無狀態」是一個用詞不當,將較弱的形式與仍在研究中的更強設計區分開來,包括狀態到期。

Verkle 樹位於該計劃中,因為它們減少了證明大小,並被定位為在不本地儲存大型狀態的情況下進行驗證的關鍵促成步驟。

隨著更多儲存負擔向外轉移,無論是專業化的歷史主機還是其他資料網路,安全故事變得不再是誰能儲存所有內容,而是當預設路徑失敗時,誰能獨立檢查正確性並檢索他們需要的內容。

這對未來意味著什麼

在接下來的 12-36 個月中,實際問題是隨著 Ethereum 外部化更多儲存負擔,驗證是否會向外擴散,還是信任會聚集在新的服務瓶頸周圍。

一條路徑是錢包和基礎設施從「信任 RPC」轉向「驗證證明」,而證明生成整合到一小組難以複製的優化堆疊中,將依賴從一類提供商轉移到另一類。

另一條路徑是基於證明的驗證變得普通,具有冗餘的證明實作和工具,讓用戶在端點審查、降級或消失時可以切換提供商或本地驗證,與旨在輕量級驗證流程的努力保持一致。

第三條路徑是修剪和模組化的進展快於驗證 UX,在中斷或審查事件期間為用戶留下更少可行的選擇。

這將使「山中小屋」在營運上僅對網路的一小部分真正可行。

Buterin 將小屋框架為 Ethereum 的 BATNA,很少使用但始終可用,因為自力更生選項的存在限制了中介機構施加的條款。

他最後認為,維持該後備方案是維持 Ethereum 本身的一部分。

這篇文章「Vitalik Buterin 承認自 2017 年以來最大的設計錯誤——那麼你的 Ethereum 有風險嗎?」最先出現在 CryptoSlate 上。