Source · Tier C · Blog / articleSource · DeepProve-1: The First zkML System to Prove a Full LLM Inference
DeepProve-1: The First zkML System to Prove a Full LLM Inference
Lagrange Labs. 2025. Lagrange blog.
| Original | https://lagrange.dev/blog/deepprove-1 |
|---|---|
| Accessed | 2026-09-25 |
| Note | Developer's announcement of a zero-knowledge proof of full GPT-2 inference, with GGUF model import, sumcheck techniques and a Basefold commitment that the post says produces large proofs and slow verification. Gives no timings. Supports only "Lagrange reports" statements. |