2025

an archive of posts from this year

Oct 28, 2025	GKR for LLM Inference Proving — A New Era for Verifiable AI