Agree on the Model, Verify the Inference: GKR Protocols for HND-Based Transformer Inference

Xiaolong Liang, Juanjuan Li, Rui Qin +1

Outsourced Transformer inference exposes clients to model substitution and incomplete execution, while direct replay removes the computational benefit of delegation. We present GKR…