Polyhedra bekerja sama dengan Berkeley RDI untuk meluncurkan sistem bukti nol yang dapat diverifikasi untuk model bahasa besar (LLM) pertama. Seperti HTTPS yang membangun jaminan keamanan untuk komunikasi internet, sistem ini membangun infrastruktur verifikasi untuk bidang AI. Sistem ini dapat memverifikasi kinerja dan kepatuhan AI secara efisien tanpa perlu mengungkapkan model atau data, dengan kecepatan 20.000 kali lebih cepat daripada metode sebelumnya. Saat ini sudah dapat memverifikasi model bahasa besar termasuk Llama 3-8B dengan cepat. Sorotan utama sebagai berikut: - Teknologi inovatif Polyhedra: teknologi pembelajaran mesin dengan bukti nol (zkML) mirip dengan protokol HTTPS di internet, memungkinkan verifikasi kinerja dan kepatuhan sistem AI tanpa perlu mengungkapkan detail model atau data, menjaga privasi dan keamanan. - Performa luar biasa: Expander secara signifikan meningkatkan efisiensi verifikasi, kecepatan verifikasi single-thread 20.000 kali lebih cepat daripada metode yang ada, mendukung VGG-16 2,2 detik per gambar, Llama-3 150 detik per token. - Ramah pengembang: compiler zkPyTorch terintegrasi dengan mulus dengan PyTorch, menyediakan alat yang mudah digunakan bagi pengembang. Skenario aplikasi: - Jaminan kualitas layanan AI - Kepatuhan data pelatihan AI - Pasar perdagangan data adil otomatis - Alokasi tanggung jawab Agen AI - Kepatuhan Agen AI - Verifikasi kepatuhan layanan keuangan. Sistem ini tidak hanya menyelesaikan masalah kepatuhan dalam verifikasi model AI, tetapi juga menyediakan solusi baru untuk keamanan dan kepercayaan AI.

#AI