Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference. - Pranay Anchuri; Matteo Campanelli; Paul Cesaretti; Rosario Gennaro; Tushar M. Jois; Hasan S. Kayman; Tugce Ozdemir (CoRR, 2026)