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. Questo sistema consente di verificare in modo efficiente le prestazioni e la conformità dell'IA senza dover divulgare il modello o i dati, con una velocità 20.000 volte superiore ai metodi precedenti. È ora 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 di verificare le prestazioni e la conformità dei sistemi IA senza rivelare dettagli sul modello o sui dati, proteggendo la sicurezza della privacy. - Prestazioni eccellenti: Expander migliora notevolmente l'efficienza di verifica, con velocità di verifica a thread singolo 20.000 volte più veloci rispetto ai metodi esistenti, 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 soluzione di continuità con PyTorch, fornendo agli sviluppatori strumenti semplici da usare. Scenari di applicazione: - Garanzia di qualità del servizio IA - Conformità dei dati di addestramento IA - Mercato di scambio automatico di dati equi - Assegnazione della responsabilità per gli agenti IA - Conformità degli agenti IA - Verifica della conformità dei servizi finanziari Questo sistema non solo affronta le sfide di conformità nella verifica dei modelli IA, ma fornisce anche una nuova soluzione per la sicurezza e l'affidabilità dell'IA.

#AI