由 @inference_labs 推出的 Sperse 採用實用的方法來處理 zkML,無需證明整個模型,僅驗證關鍵的運算片段。 這種針對性的驗證方式在降低成本和延遲的同時,仍能於至關重要的環節提供強有力的保證。