Cryptographic Proofs Enable Verifiable Inference for Large Language Models | HACKOBAR_