TensorCommitments: A Lightweight Verifiable Inference for Language Models
TensorCommitments (TCs) is a tensor-native proof-of-inference scheme designed to verify that a large language model's computation was done correctly without rerunning it. TCs use multivariate polynomial commitments organized in Terkle Trees to bind the inference process securely, offering significant speedup and robustness for cloud-based LLM services.