
以太坊並未消滅暴雪—它只是將控制權轉移到了驗證層
雖然以太坊解決了中心化執行控制的問題,但它並未將驗證過程標準化,這意味著真相仍然受到非標準化的索引器和解釋層的調解。
當暴雪娛樂(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)
相關文章
其他收藏 · 0