中国AI网报讯 Polyhedra 携手伯克利 RDI 推出首个可验证大语言模型（LLM）的零知识证明系统。正如 HTTPS 为互联网通信建立了安全保障，这一系统为 AI 领域构建了验证基础设施。该系统无需公开模型或数据，即可高效验证 AI 性能与合规性，速度比之前的方法快 20,000 倍。目前已经可以快速验证包括 Llama 3-8B 在内的大语言模型。核心亮点如下：- Polyhedra 创新技术：零知识机器学习（zkML）技术就像互联网中的 HTTPS 协议，使得无需泄露模型或数据细节即可验证 AI 系统的性能与合规性，保护隐私安全。-性能卓越：Expander 大幅提升验证效率，单线程验证速度比现有方法快 20,000 倍，支持 VGG-16 每张图像 2.2 秒、Llama-3 每个 Token 150 秒。-开发者友好：zkPyTorch 编译器无缝集成 PyTorch，为开发者提供简单易用的工具。应用场景：- AI 服务质量保证- AI 训练数据合规化-公平数据自动交易市场- AI Agent 责任分配- AI Agent 合规性-金融服务合规性验证这一系统不仅解决了 AI 模型验证中的合规难题，还为 AI 安全性和可信度提供了全新的解决方案。