arXiv AI

SpliTEE: Improving LLM Inference on Trusted Hardware with Differentially Private GPU Outsourcing

SpliTEE extends the split‑inference architecture of Slalom to large language models by protecting intermediate GPU computations with differential privacy rather than encryption. The authors show that masking intermediate representations is essential, as a prompt‑reconstruction attack can recover prompts with about 80% accuracy. Their global sensitivity analysis bounds the noise needed, and they demonstrate that SpliTEE on Intel TDX achieves near‑double the speed of fully CPU‑based inference and outperforms encryption‑based Slalom while maintaining higher accuracy.

arXiv AI
Oct 2

TensorCommitments: A Lightweight Verifiable Inference for Language Models

TensorCommitments (TCs) is a lightweight, tensor-native proof‑of‑inference scheme that enables verifiable inference for large language models (LLMs) without requiring the verifier to rerun the model or possess a powerful GPU. By binding each inference to a commitment stored in multivariate Terkle Trees, TCs detect tampering with only a 0.97% overhead for the prover and 0.12% for the verifier on LLaMA2. The approach improves robustness against tailored LLM attacks by up to 48% compared to previous methods that needed a verifier GPU.

By Oguzhan Baser, Elahe Sadeghi, Eric Wang, Nico Vergauwen, Sam Kazemian, Hong Kang, Sandeep P. Chinchali, Sriram Vishwanath
arXiv AI
Oct 26

TensorCommitments: A Lightweight Verifiable Inference for Large Language Models

TensorCommitments (TCs) is a lightweight, tensor-native proof‑of‑inference scheme designed to enable verifiable inference for large language models (LLMs). It binds each LLM inference to a commitment using multivariate Terkle Trees, ensuring that any tampering breaks the commitment. For the LLaMA2 model, TC adds only 0.97% overhead for the prover and 0.12% for the verifier, while improving robustness to tailored attacks by up to 48% compared to prior work that requires a verifier GPU.

By Oguzhan Baser, Elahe Sadeghi, Eric Wang, Nico Vergauwen, Sam Kazemian, Hong Kang, Sandeep P. Chinchali, Sriram Vishwanath
arXiv Machine Learning
Jun 2

Bit-Exact AI Inference Verification Without Performance Tradeoffs

arXiv:2606. 00279v1 Announce Type: cross Abstract: Verifying claims about AI workloads is a pre- requisite for credible AI governance of covert adversaries (who comply with monitoring only when detection likelihood is high), yet the ap- parent non-determinism of GPU floating-point arithmetic forces auditors to accept approximate output matches.

By Naci Cankaya
arXiv AI
Oct 5

Cocoon: A System Architecture for Differentially Private Training with Correlated Noises

Cocoon is a system architecture designed to enable efficient differentially private training by managing correlated noise across training iterations. The framework stores and processes large noise histories across CPU, GPU, and a memory extension module, optimizes sparse embedding tables, and utilizes near‑memory processing devices. Experiments on an FPGA‑based NMP prototype show performance improvements ranging from 1.23× to 10.82× compared to existing approaches.

By Donghwan Kim, Xin Gu, Jinho Baek, Timothy Lo, Younghoon Min, Kwangsik Shin, Jongryool Kim, Jongse Park, Kiwan Maeng