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

本文提出了一种名为GKR-HND的注册模型协议，用于验证基于同态-非同态分解（HND）的Transformer推理的正确性。在当前的AI服务中，客户通常将模型推理外包给第三方服务器，但面临模型被替换或推理未完全执行的风险。传统的直接重放验证

历史摘要 · 未重新核验 · arXiv cs.CR