Progress has been shared on a powerful cryptographic proof called a zkSNARK, which is uniquely suited to provable inference. The work advances cryptographic verification for large language model inference.