OpenGradient的HACA架構,我研究完發現它只解決了“驗證”,沒解決“好用”

OpenGradient一直在講HACA架構多先進——推理節點跑模型,全節點驗證證明,執行和驗證分離。快速路徑毫秒級返回結果,驗證路徑異步提交證明。這個設計確實比把整個AI推理搬上鍊聰明得多。

但我翻完技術文檔,發現一個問題:這套架構只解決了“AI推理結果可驗證”,沒解決“AI推理本身好用”。@OpenGradient

開發者想在OpenGradient上跑AI,要先選驗證模式。TEE靠Intel SGX硬件,安全但門檻高;ZKML密碼學上最優雅,但驗證延遲高到沒法商用;Vanilla最快最便宜,但不可驗證。三個選項各有利弊,官方讓你自己選。一個開發者連選哪種驗證模式都要自己試錯,這生態怎麼建?

更讓我沒底的是,主網上線兩個月了,OpenGradient說自己處理了超過200萬次可驗證推理、驗證了50萬份證明、部署了2000多個模型。但這個數據裏,有多少是真實開發者跑出來的生產級調用?有多少隻是測試網的免費流量?

HACA在紙面上是合理的。但它目前解決的是“可驗證”這個技術問題,還沒解決“好用”這個產品問題。開發者要的是低延遲、低成本、易接入。你告訴他“結果可驗證”,他問“延遲多少、成本多少、文檔在哪”,你給不了明確答案。

等哪天OpenGradient把不同驗證模式的性能對比數據公開、開發者文檔不再是天書、SDK不只是Python版,我再來認真看。現在它更像一個技術demo,不是一個開發者願意用的產品。
#opg $OPG