ZKP 距离高风险环境下的算力验证还有多远？

作者正在研究零知识证明（ZKP）用于 LLM 推理验证、以替代传统审计环境的可行性，目标是回答「ZKP 何时比审计环境更具成本效益」。基于对 Sun, Li, Zhang (2024) 论文中 zkLLM 的复现对比，作者测得 ZKP 生成所需计算量约为被证明推理本身的 1,694–3,777 倍。审计环境需在安全设施内运行并涉及信任对手硬件或第三方，而 ZKP 理想情况下可在不受信任设备上执行。