Proving LLMs at Scale

Attestable has published alpha results for a zero-knowledge prover that generates proofs for production-scale transformer inference, including Gemma 4 31B. On a single NVIDIA H100, the system produces proofs of 4.35 to 7.92 MiB that verify in 157 to 648 milliseconds on a CPU, without revealing model weights.