GKR-HND Verifies Outsourced Transformer Inference Without Dense-Matrix Replay

arXiv 2607.21162·low signal

Liang, Li, Qin and Lv present a registered-model protocol that verifies the polynomial backbone of Homomorphic-Nonhomomorphic Decomposition Transformers, addressing the problem that outsourced inference exposes clients to model substitution and incomplete execution while direct replay destroys the economic point of delegating. The retained verifier checks the GKR transcript and registered-weight openings but delegates expensive public evaluations to an assigned computation worker, accepting only when the worker's signed, request-bound response agrees with the proof claims — under assumptions of an honest retained verifier and prover-worker non-collusion. Experiments with pretrained HND models validate both the proof path and the delegated computation.