以太坊並未消滅暴雪—它只是將控制權轉移到了驗證層

以太坊並未消滅暴雪—它只是將控制權轉移到了驗證層

ethresear.ch·

雖然以太坊解決了中心化執行控制的問題,但它並未將驗證過程標準化,這意味著真相仍然受到非標準化的索引器和解釋層的調解。

當暴雪娛樂(Blizzard Entertainment)更改《魔獸世界》的規則時,它揭示了一個根本的事實:

如果一個系統控制了規則,它就控制了現實。
以太坊在執行層解決了這個問題。

執行是確定性的

狀態轉換是可驗證的

共識是分散式的

那個問題被解決了。


原本不存在的問題

以太坊保證:

執行遵循規則
但它並不保證:

獨立第三方可以使用標準且獨立於系統的方法,來驗證關於發生了什麼事的聲明


驗證堆疊

現今的驗證並非一種原語(primitive)。

它是從疊加在原始鏈數據之上的解釋堆疊中產生的:

RPCs

索引器(Indexers)

解碼邏輯

證明格式

交易引用

驗證實現

這些並沒有壞掉。

但它們是:

非標準化且依賴於環境的


結果

驗證不具備可移植性——在沒有共享假設的情況下,同樣的聲明無法在不同系統間獨立重現。
是的——你可以運行自己的節點。

但這並未解決:

不同系統如何就「驗證什麼」以及「如何驗證」達成一致


一個簡單的例子

三個系統嘗試驗證同一個聲明:

一個從 calldata 中提取哈希值

一個從日誌(logs)中提取

一個依賴於索引器

它們可能會根據以下因素返回不同的答案:

編碼假設

提取規則

解析邏輯

區塊鏈本身沒有分歧。

是驗證過程產生了分歧。


這意味著什麼

要回答:

「這項數據是否已在鏈上提交?」
你通常取決於:

特定的節點或 RPC

特定的索引模型

應用程序定義的解碼

自定義的驗證邏輯

因此,雖然以太坊移除了對執行的中心化控制:

它從未將驗證標準化


權力的轉移

暴雪透過控制規則來控制結果。

以太坊移除了這一點。

但今天,系統仍然透過控制以下內容來控制理解

數據如何編碼

數據如何提取

數據如何解釋

數據如何驗證

這導致了一種新的依賴:

如果驗證取決於產生聲明的系統,那麼該系統仍然在調解真相。


缺失的屬性

以太坊標準化了:

執行

共識

狀態

但它沒有標準化:

一種可移植的、獨立於實現的驗證工件(artifact)
對於以下內容,不存在共享的不變量:

「這段精確的字節序列對應於這個鏈上承諾」


主張

如果驗證無法在不同實現之間獨立重現,那麼一個系統就不是完全去中心化的。


為什麼這很重要

隨著以太坊朝向以下方向發展:

Rollups

證明(Proofs)

數據最小化

我們正日益趨向:

驗證正確性,卻沒有保留對被驗證內容的可移植引用
這是:

缺乏引用性的驗證


開放性問題

現今的驗證在不同實現之間真的具有可移植性嗎?

或者:

我們是否仍然依賴於那些我們聲稱已經移除的系統?


結語

以太坊在執行層面移除了暴雪。

但如果驗證發生了什麼事仍然取決於客戶端、索引器或應用程序——

控制權並沒有消失。它轉移到了定義「什麼才算真相」的層級。
1 則貼文 - 1 位參與者

        [閱讀完整主題](https://ethresear.ch/t/ethereum-didn-t-kill-blizzard-it-moved-control-to-the-verification-layer/24733)

ethresear.ch

相關文章

  1. 以太坊缺失的驗證原語

    7 天前

  2. 為什麼以太坊需要一個具備動態可用性的協議

    大約 1 個月前

  3. 以太坊基金會全新使命宣言

    Vitalik Buterin · 大約 1 個月前

  4. 透過分散式驗證者技術防範多數分叉:提升網路韌性的創新方法

    大約 2 個月前

  5. Vitalik Buterin:在 Real World Crypto 大會從第一性原理重新審視以太坊的價值

    Vitalik Buterin · 大約 1 個月前

其他收藏 · 0