預言機至行動迴圈:即時執行器與硬體綁定懲罰機制

預言機至行動迴圈:即時執行器與硬體綁定懲罰機制

ethresear.ch·大約 7 小時前

本技術規範提出了一種遞迴的預言機至行動(O2A)迴圈,使區塊鏈能夠在透過日誌樹檢測到性能故障時,藉由即時執行器物理性地撤銷硬體存取權限。

動機:賦予「程式碼即法律」執行力

目前的「工業級」區塊鏈在很大程度上是被動的觀察者。它們記錄日誌,但無法阻止失效的服務提供商(DSP)繼續向 DAO 計費或污染數據池。為了實現經濟終局性(Economic Finality),網絡必須從「報告」轉向「執行」。

我們提出了 Oracle-to-Action (O2A) 迴路:這是一種遞歸機制,基於 Based Rollup (L2/L3) 利用 logtrees 檢測性能故障(mPoW),並觸發 即時(JIT)執行器 來物理性地撤銷硬體訪問權限。

架構:閉環執行

該迴路由三個階段組成:審計(Audit)裁決(Verdict)執行(Actuation)

  • 審計(logtree 探針): 受限設備(6LoWPAN/NR+)將性能指標(log N)串流傳輸至 Based Rollup。

  • 裁決(Based 罰沒器): L2 上一個與 Zodiac 兼容的**罰沒模組(Slasher Module)**監控這些指標。如果 DSP 的性能低於預定義閾值(例如:工業網格中的封包丟失率 >10%),罰沒器將生成一個「撤銷證明」。

  • 執行(JIT 斷路器): 該證明被廣播至 JIT 執行器,這是一個專用的硬體模組(例如 nRF9160 或 ESP32-S3),整合在 DSP 的電源軌或網絡網關中。

技術規範:JIT 執行器模板

執行器是一個具有以下屬性的「物理智能合約」:

  • 硬體信任根: 使用 ARM TrustZone 存儲 DAO 「權限密鑰」的副本。

  • 僅監聽模式: 為了節省電池(WiFi HaLow / NR+),設備保持在低功耗「監聽」狀態,僅在驗證由 L1/L2 礦工簽名的傳入「罰沒封包」時才喚醒。

  • 原子級跳脫(< 1秒): 在驗證有效的罰沒封包後,執行器會物理性地中斷電路。在工業場景中,這可以:

    • 從 6LoWPAN 網格中斷開流氓傳感器。
    • 關閉聯邦 DSP 集群中的伺服器機架。
    • 鎖定物流樞紐的物理閘門。

透過 mPoW 解決「預言機問題」

傳統的預言機容易受到操縱。我們通過使用 mPoW(可驗證性能) 作為觸發器來解決這個問題。

  • 直接證明: 執行器不依賴「價格餵價」。它依賴於礦工提供的 logtree 根。如果礦工達成共識認為「工作 = 錯誤(Work = False)」,執行器將對數學的物理現實做出反應。

  • 非零和罰沒: 當一個設備被罰沒時,其「質押保證金」(存放在 L2 Safe 中)會部分重新分配給 Miner-DAO緊急財庫,將單個節點的失敗轉化為其餘節點安全性的提升。

總結:從位元到斷路器

特性傳統預言機Oracle-to-Action (O2A)
邏輯「通知鏈」「執行鏈」
延遲區塊時間 + 人為干預亞秒級 (JIT)
執行法律 / 社會物理 / 硬體
完整性多簽 / 聲譽logtree 數學 + TEE
        1 則貼文 - 1 位參與者

        [閱讀完整主題](https://ethresear.ch/t/specification-the-oracle-to-action-loop-jit-actuation-and-the-hardware-bound-slasher/24646)
https://ethresear.ch/t/specification-the-oracle-to-action-loop-jit-actuation-and-the-hardware-bound-slasher/24646