Polyhedra hợp tác với Berkeley RDI ra mắt hệ thống chứng minh không kiến thức đầu tiên cho mô hình ngôn ngữ lớn (LLM) có thể xác minh. Giống như HTTPS thiết lập bảo mật cho giao tiếp trên Internet, hệ thống này xây dựng cơ sở hạ tầng xác minh cho lĩnh vực AI. Hệ thống này không cần công khai mô hình hoặc dữ liệu mà vẫn có thể xác minh hiệu suất và tính tuân thủ của AI một cách hiệu quả, nhanh hơn 20.000 lần so với các phương pháp trước đây. Hiện tại, đã có thể xác minh nhanh chóng các mô hình ngôn ngữ lớn, bao gồm Llama 3-8B. Những điểm nổi bật chính bao gồm: - Công nghệ đổi mới của Polyhedra: Công nghệ học máy không kiến thức (zkML) giống như giao thức HTTPS trong Internet, cho phép xác minh hiệu suất và tính tuân thủ của hệ thống AI mà không cần tiết lộ chi tiết mô hình hoặc dữ liệu, bảo vệ an toàn quyền riêng tư. - Hiệu suất xuất sắc: Expander nâng cao đáng kể hiệu quả xác minh, tốc độ xác minh đơn luồng nhanh hơn 20.000 lần so với các phương pháp hiện có, hỗ trợ VGG-16 mỗi hình ảnh 2.2 giây, Llama-3 mỗi Token 150 giây. - Thân thiện với nhà phát triển: Trình biên dịch zkPyTorch tích hợp liền mạch với PyTorch, cung cấp cho nhà phát triển công cụ đơn giản và dễ sử dụng. Các trường hợp ứng dụng: - Đảm bảo chất lượng dịch vụ AI - Tuân thủ dữ liệu đào tạo AI - Thị trường giao dịch dữ liệu công bằng tự động - Phân bổ trách nhiệm cho AI Agent - Tính tuân thủ của AI Agent - Xác minh tính tuân thủ dịch vụ tài chính. Hệ thống này không chỉ giải quyết các vấn đề về tính tuân thủ trong xác minh mô hình AI mà còn cung cấp giải pháp hoàn toàn mới cho an toàn và độ tin cậy của AI.