Polyhedra与伯克利RDI合作推出生产级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 安全性和可信度提供了全新的解决方案。