Odaily星球日报讯 Polyhedra ha collaborato con Berkeley RDI per lanciare il primo sistema di prova a conoscenza zero (ZKP) per modelli di linguaggio di grandi dimensioni (LLM) verificabili. Proprio come HTTPS ha stabilito garanzie di sicurezza per la comunicazione su Internet, questo sistema costruisce un'infrastruttura di verifica per il campo dell'IA. Il sistema consente di verificare in modo efficiente le prestazioni e la conformità dell'IA senza dover rivelare il modello o i dati, con una velocità 20.000 volte superiore rispetto ai metodi precedenti. Attualmente è possibile verificare rapidamente modelli di linguaggio di grandi dimensioni, incluso Llama 3-8B. I punti salienti principali sono i seguenti: - Tecnologia innovativa di Polyhedra: la tecnologia di apprendimento automatico a conoscenza zero (zkML) è simile al protocollo HTTPS su Internet, consentendo la verifica delle prestazioni e della conformità del sistema IA senza dover rivelare dettagli sul modello o sui dati, proteggendo la privacy e la sicurezza. - Prestazioni eccezionali: Expander aumenta notevolmente l'efficienza di verifica, con una velocità di verifica a thread singolo 20.000 volte più veloce rispetto ai metodi attuali, supportando VGG-16 a 2,2 secondi per immagine e Llama-3 a 150 secondi per Token. - Amichevole per gli sviluppatori: il compilatore zkPyTorch si integra senza problemi con PyTorch, fornendo agli sviluppatori strumenti semplici e facili da usare. Scenari applicativi: - Garanzia della qualità dei servizi IA - Conformità dei dati di addestramento IA - Mercato di scambio automatico di dati equi - Assegnazione delle responsabilità per gli agenti IA - Conformità degli agenti IA - Verifica della conformità dei servizi finanziari Questo sistema non solo risolve la problematica della conformità nella verifica dei modelli IA, ma offre anche una nuova soluzione per la sicurezza e l'affidabilità dell'IA.