以太坊證明服務(EAS)(@eas_eth) 已成為結構化聲明的通用、無權限註冊表。 缺少的是 EAS 和我們已經擁有的專門驗證引擎之間的標準化層,例如用於去中心化仲裁的 Kleros、UMA 的樂觀預言機、零知識證明驗證器等。 我提議社區探索一個新的 EIP,建立一個圍繞兩個核心概念構建的可驗證證明協議: 證明路由器 – 一個標準化的鏈上合約(可以實現為 EAS 解析器),能夠聚合和路由來自多個來源的證明。路由器的邏輯將由每個任務提供的機器可讀的驗證規範驅動。 模組化驗證處理器 – 一個可插拔驗證模組的通用介面,無論是人驅動的(Kleros、UMA)、加密的(ZK 證明驗證器)還是數據驅動的(物聯網預言機數據)。 EAS 已經提供了通用帳本。Kleros、UMA、ZK 驗證器和 DONs 已經成熟,可以作為驗證模組。一個標準化的證明路由器 + 處理器介面將把這些部分連接成一個連貫的“真相層”,用於客觀和主觀驗證。
9.14K