挑戰破解：一個極簡且獨立於系統的驗證原語

你能破解這個嗎？

我是認真的。

不是要「回饋」。

不是要「想法」。

破解它。

---

以太坊正變得非常擅長兩件事：

證明運算 (ZK)

提供數據可用性 (DA)

但仍然存在一個缺口：

目前還沒有一種可移植的方式，能獨立於產生數據的系統之外，去驗證實際發生了什麼。

現在，驗證仍然依賴於：

Rollup

索引器 (Indexer)

工具鏈

這意味著你仍然在某種程度上向系統詢問什麼是真實的。

---

我一直在開發一個極簡的原語 (primitive) 來解決這個問題：

綁定 (Bind)：

執行 → 摘要 (digest) → 鏈上承諾 (on-chain commitment)

因此，驗證變成了：

重新運算 → 比對 → 確認包含在鏈上

無需 API

無需索引器

無需證明者 (prover)

只需要：

本地運算

公共帳本存取權

---

結果是一個可移植的驗證偽影 (portable verification artifact)

→ 任何人都可以獨立驗證的東西

→ 無需依賴原始系統

---

如果以太坊正成為一個結算層，這就不是選配。

沒有可移植的驗證偽影，就沒有一個穩定的參考來證明實際發生了什麼。

---

所以與其解釋更多……

我邀請你來破解它。

修改一個位元組

偽造一個證明

尋找邊緣案例

攻擊這些假設

如果它失敗了，我想知道。

如果它撐住了，那也很有趣。

---

現場演示：

https://observation-commitment-protocol.vercel.app/

        1 則貼文 - 1 位參與者

        [閱讀完整主題](https://ethresear.ch/t/break-this-a-minimal-system-independent-verification-primitive/24745)