Preprint
Jul 2026
Agree on the Model, Verify the Inference: GKR Protocols for HND-Based Transformer Inference
GKR-HND, a registered-model protocol for verifying the polynomial backbone of Homomorphic--Nonhomomorphic Decomposition Transformers is presented, a registered-model protocol for verifying the polynomial backbone of Homomorphic--Nonhomomorphic Decomposition Transformers.
Xiaolong Liang, Juanjuan Li, Rui Qin et al.
· 0 citations