GKR + Hyrax 用於裝置端 ZK-ML 的工程考量

🔑 增強重點摘要

• •Remainder 採用 XZZ+19 技巧，將 sumcheck 證明時間從二次降至線性於 ML 層大小，提升證明效率。
• •Remainder 用於 World 用戶在本地執行 ML 模型於私人資料，並產生 ZK 證明，例如從圖像升級虹膜碼而無需重訪 Orb。
• •Remainder GitHub 提供完整開源程式碼，包括自訂電路前端、證明器與驗證器，伴隨詳細 Remainder Book 說明。
• •World 生態擁有約 3800 萬用戶，其中 1780 萬經 Orb 驗證人類，涵蓋 160 多國並處理數億交易。

🛠️ 技術深入

• •Remainder 實現多種 claim-reduction 策略，如對 RHS 多項式的 sumcheck 協議。
• •使用 XZZ+19 優化，避免循環遍歷所有時間步驟，將證明時間降至線性於層大小。
• •sumcheck 最後輪次驗證需 prover 提供多項式限制至隨機點，並進行單一 sumcheck 驗證等式。
• •針對多項式度數膨脹（degree blow-up）實施優化，降低 claim aggregation 複雜度，並支援替代聚合方式。

🔮 前景展望基於引用來源的 AI 分析

⏳ 時間線