草案 ERC：可驗證 AI 推論證明標準
我正在構思一個極簡標準，讓任何智能合約都能驗證 AI 推論證明，而無需在意是由哪種證明系統或廠商實作產生的，藉此解決目前 zkML、opML 和 TEE 等技術介面不相容的碎片化問題。
各位 Ethereum Magicians，
我一直在思考，當智能合約想要信任 AI 輸出時會發生什麼事。目前，答案是：它做不到——至少沒有任何標準化的方式。zkML 證明、opML 挑戰期、TEE 認證——每個解決這個問題的專案都有自己的介面、自己的證明格式和自己的信任假設。如果你希望你的協議使用經驗證的 AI 推論，你必須與每一個專案分別進行整合。
但還有第二層更難察覺的碎片化問題：即使在 zkML 領域，EZKL、Giza 和 Modulus Labs 雖然都使用零知識證明來驗證 AI 推論，但它們的證明格式、函數簽名和 calldata 佈局完全不相容。TEE 認證（Automata 的 DCAP vs Secret Network 的 SGX vs Chutes 的 Nitro Enclave）以及基於預言機的驗證（Chainlink CRE vs ORA）也是如此。一個整合「zkML」的協議仍然必須選擇一個供應商，並針對其介面進行硬編碼（hard-code）。
我一直在開發一個極簡標準，讓任何智能合約都能驗證 AI 推論證明，而無需在意是哪種證明系統或哪家供應商的實作產生的。透過一個註冊表（registry）將方法識別碼（method identifiers）映射到驗證者合約；調用者只需詢問「此輸出是否有效？」。無論證明是來自 EZKL 的 Halo2、Giza 的 Sierra、ORA 的 opML、TEE 認證服務，還是預言機提供者，該介面都同樣適用。
在正式提交到 EIPs 儲存庫之前，我想先徵求大家的意見。
1 則貼文 - 1 位參與者
[閱讀完整主題](https://ethereum-magicians.org/t/draft-erc-verifiable-ai-inference-proof-standard/28083)