以太坊缺失的驗證原語

以太坊缺失的驗證原語

ethresear.ch·

AI 生成摘要

本文主張雖然以太坊在數據承諾與共識方面表現出色，但仍缺乏一種標準化且獨立於系統的驗證原語，導致在不依賴特定應用邏輯的情況下，無法將外部產物與鏈上數據進行關聯驗證。

摘要

以太坊通常被描述為一個去中心化的「世界計算機」——一個具有全球複製狀態的共享執行環境。

雖然以太坊提供了一種強大的機制來在鏈上提交數據（Commitment），但對於獨立第三方來說，並沒有一種標準且可移植的方法來驗證外部產物是否與該提交相對應，而無需依賴特定於應用程式的驗證系統。

在實踐中，這意味著：

驗證並非全球自給自足的——它依賴於特定系統的環境。

本文認為，以太坊並未標準化一種獨立於系統的驗證原語，而這一缺失引入了一種微妙但重要的張力：

即使在共享的全球執行環境中，驗證仍然依賴於碎片化的、應用層級的系統。

這凸顯了一個差距：以太坊標準化了「提交」（Commitment），但沒有標準化獨立驗證提交的「介面」。

隨著越來越多的系統依賴鏈下產物——媒體、AI 輸出、日誌和文件——這一差距變得越來越明顯。

以太坊做對了什麼

以太坊成功地提供了：

  • 提交 (Commitment) —— 任何數據都可以被雜湊（Hash）並錨定在鏈上

  • 共識與最終性 (Consensus & Finality) —— 提交在全域範圍內是有序且帶有時間戳的

  • 共享執行層 (Shared Execution Layer) —— 合約定義了確定性的計算

這支持了被廣泛接受的模式：

「將其雜湊並將雜湊值存儲在鏈上。」

這是正確的——但並不完整。

模型在哪裡失效

問題並非出在「提交」階段，而是出在「驗證」階段。

當第三方詢問：

「這個產物是否對應於那個鏈上提交？」

以太坊並沒有定義一個標準的方法來回答這個問題。

相反，驗證被委託給了：

  • 前端

  • SDK

  • API

  • 自定義腳本

  • 特定於應用程式的邏輯

隱藏的依賴層

儘管有去中心化的共識和共享執行，今天的驗證仍需要：

通過定義驗證運作方式的特定系統來運行。

這產生了依賴性：

  • 產物必須被正確解析

  • 雜湊值必須被正確重建

  • 交易必須被正確引用

  • 邏輯必須與原始系統匹配

結果：

驗證僅在產生它的系統語境下才有效。

後果：驗證並非獨立於系統

這引出了一個關鍵觀察：

即使在全球共享的執行系統中，驗證仍然是局部化的。

在實踐中：

  • 驗證邏輯是碎片化的

  • 證明格式是不一致的

  • 系統之間不具備互操作性

這意味著：

  • 驗證不是通用的

  • 驗證不是可移植的

  • 驗證不是獨立於系統的

相反：

驗證被特定於應用程式的環境所限制。

核心問題

今天存在著：

沒有標準的方法讓獨立第三方在不依賴特定系統假設的情況下，針對鏈上提交驗證任意產物。

每個系統都定義了自己的：

  • 編碼方式

  • 雜湊過程

  • 證明格式

  • 交易引用

  • 驗證程序

結果：

證明本質上與產生它們的系統綁定。

這導致驗證過程依賴於原始系統的持續可用性和正確性——這是在驗證層的一種軟性中心化形式。

可觀察的失敗案例

兩個系統：

  • 提交相同的數據

  • 產生有效的證明

然而：

  • 證明不可互換

  • 驗證邏輯不可重複使用

  • 第三方驗證需要自定義集成

例如，由一個系統生成的證明通常需要該系統的 SDK 或特定的重建邏輯才能驗證。沒有該邏輯訪問權限的第三方無法獨立驗證該產物，即使底層提交已在鏈上。

缺失的層級：驗證原語

缺失的不是「提交」。

缺失的是一個標準化的驗證邊界。

定義

驗證原語提供：

一個最小化、可移植的產物，允許任何獨立驗證者確認特定的字節序列已在鏈上提交，而無需依賴產生它的系統。

這意味著需要一種標準化的驗證產物——一個將外部觀察與鏈上提交綁定在一起的可移植對象。

最小驗證不變量

其核心在於：

H' = hash(o)

檢查：

  • H’ == H

  • H 包含在交易 T 中（例如：calldata 或發出的日誌）

重新計算 → 比較 → 確認包含

這能實現什麼

共享驗證層可以實現：

  • 獨立於系統的驗證

  • 可移植的證明

  • 跨應用程式的互操作性

  • 長期可審計性

最重要的是：

驗證不再依賴於原始系統。

與證明系統 (Attestation Systems) 的關係

這並非要取代像 EAS 這樣的系統。

  • EAS —— 聲明、模式、身份

  • 驗證層 —— 產物 ↔ 提交的對應關係

非目標

此層明確排除：

  • 身份

  • 作者身份

  • 簽名

  • 語義

  • 數據可用性

它僅專注於：

對應關係的機械式驗證

證偽框架

主張：

如果任何字節發生變化，驗證必須失敗。

o ≠ o' → hash(o') ≠ hash(o)
→ 驗證失敗

如果一個系統可以將修改後的產物驗證為有效，則該模型已失效。

核心張力

以太坊提供：

一個具有全球複製狀態的共享執行環境

但在實踐中：

驗證依賴於特定於應用程式的系統。

張力：

全球執行模型與局部化的驗證依賴共存。

核心主張

以太坊提供了一個提交原語，但沒有標準化一個獨立於系統的驗證原語。

開放性問題

驗證應該保持：

  • 特定於系統的

  • 碎片化的

  • 綁定於應用程式的

還是以太坊應該定義：

一個最小化、可移植的驗證層，使驗證本身獨立於系統？

結語

「只要雜湊它」解決了提交問題。

但它沒有解決驗證問題。

如果沒有獨立於系統的驗證：

世界計算機在驗證外部產物時，仍將依賴於局部系統。

1 則貼文 - 1 位參與者

閱讀完整主題

— ethresear.ch

相關文章

其他收藏 · 0

收藏夾