★ 2ZK-LLM 下的比特：面向可验证隐私推理的量化研究论文首次系统研究面向零知识证明的 LLM 量化，形式化定义 ZK 友好量化并评测 9 个模型（含 Qwen2.5-14B、Qwen3-30B-A3B）。结果显示激活精度比权重精度更敏感，非线性查找表近似是主要效用损失来源，RMSNorm 逆平方根查找是常见瓶颈；降低位宽并不必然带来成比例的证明开销…arXiv cs.AI33 天前