Repeated-Game Security for Restaking-Based Verifiable Inference

Zhenhang Shang, Yingzhe Yu, Kani Chen

Restaking-based protocols enable verifiable LLM inference without the high proving cost of zkML or the hardware trust assumptions of TEEs. Their security is commonly justified by a…