NanoZK

NanoZK 系统实现隐私保护的可验证 LLM 推理

研究人员开发了 NanoZK，这是一个新颖的零知识证明系统，旨在增强大型语言模型 (LLM) 推理中的隐私和可验证性。该系统将 LLM 推理分解为可独立证明的层，与以前的整体方法相比，显著减小了证明大小并提高了并行性。NanoZK 旨在允许客户端和审计员在不泄露敏感模型权重或中间激活的情况下验证 LLM 执行，同时还引入了一个用于提高效率的审计预算分类工具。