/ JSTprove 是我們的 zkML 工具包，用於生成 ONNX 模型的機器學習推理的零知識證明。 您提供一個 ONNX 模型。JSTprove 通過一個簡單的 CLI 協調量化、電路生成、見證創建、證明和驗證，底層由 Expander/ECC 提供支持。

1/ JSTprove V2 現已推出。 這是我們 zkML 堆疊的一次重大升級，擁有更快的電路、更多支持的層、更廣泛的模型兼容性，以及更好的開發者體驗。 邁向實用的、可驗證的機器學習的一大步。

我們很高興能與 @VXVHub 合作，將可驗證的 AI 引入現實世界的預測市場。 VentureVerse 建立應用層。Inference Labs 提供模型和推理的驗證。 我們共同在自動化市場系統中建立信任。