Agree on the Model, Verify the Inference: GKR Protocols for HND-Based Transformer Inference
摘要
Outsourced Transformer inference exposes clients to model substitution and incomplete execution, while direct replay removes the computational benefit of delegation. We present GKR-HND, a registered-model protocol for verifying the polynomial backbone of Homomorphic--Nonhomomorphic Decomposition Transformers. The retained verifier checks the GKR transcript and registered-weight openings, but delegates expensive public evaluations to an assigned computation worker. Assuming an honest retained verifier and prover--worker non-collusion, the verifier accepts only when the worker's signed, request-bound response agrees with the proof claims. Experiments with pretrained HND models validate the proof path and the delegated public computation without dense-matrix replay.
正文
Outsourced Transformer inference exposes clients to model substitution and incomplete execution, while direct replay removes the computational benefit of delegation. We present GKR-HND, a registered-model protocol for verifying the polynomial backbone of Homomorphic--Nonhomomorphic Decomposition Transformers. The retained verifier checks the GKR transcript and registered-weight openings, but delegates expensive public evaluations to an assigned computation worker. Assuming an honest retained verifier and prover--worker non-collusion, the verifier accepts only when the worker's signed, request-bound response agrees with the proof claims. Experiments with pretrained HND models validate the proof path and the delegated public computation without dense-matrix replay. Authors: Xiaolong Liang, Juanjuan Li, Rui Qin, Yisheng Lv Categories: cs.LG, cs.CR PDF: https://arxiv.org/pdf/2607.21162v1 Comment: 24 pages, including 4 pages of supporting information; 2 figures
标签
- category:cs.cr
- category:cs.lg
- primary_category:cs.lg
- source:arxiv
- type:paper
扩展字段
{
"arxiv_id": "2607.21162v1",
"authors": [
"Xiaolong Liang",
"Juanjuan Li",
"Rui Qin",
"Yisheng Lv"
],
"categories": [
"cs.LG",
"cs.CR"
],
"comment": "24 pages, including 4 pages of supporting information; 2 figures",
"doi": null,
"entry_id": "https://arxiv.org/abs/2607.21162v1",
"pdf_url": "https://arxiv.org/pdf/2607.21162v1",
"primary_category": "cs.LG",
"search_query": "cat:cs.CR",
"updated_at": "2026-07-23T10:52:53+00:00"
}