Polyhedra s'associe à Berkeley RDI pour lancer le premier système de preuve à connaissance nulle (zk) pour les modèles de langage de grande taille (LLM) vérifiables. Tout comme HTTPS établit des garanties de sécurité pour les communications Internet, ce système construit une infrastructure de vérification pour le domaine de l'IA. Ce système permet de vérifier efficacement les performances et la conformité de l'IA sans avoir à divulguer le modèle ou les données, avec une vitesse 20 000 fois supérieure aux méthodes précédentes. Il est maintenant possible de vérifier rapidement des modèles de langage de grande taille, y compris Llama 3-8B. Les points forts sont les suivants : - Technologie innovante de Polyhedra : la technologie d'apprentissage automatique à connaissance nulle (zkML) fonctionne comme le protocole HTTPS sur Internet, permettant de vérifier les performances et la conformité des systèmes d'IA sans divulguer les modèles ou les détails des données, protégeant ainsi la sécurité de la vie privée. - Performance exceptionnelle : Expander améliore considérablement l'efficacité de vérification, avec une vitesse de vérification en monothread 20 000 fois plus rapide que les méthodes existantes, prenant en charge VGG-16 à 2,2 secondes par image et Llama-3 à 150 secondes par token. - Convivial pour les développeurs : le compilateur zkPyTorch s'intègre parfaitement à PyTorch, offrant aux développeurs des outils simples et faciles à utiliser. Scénarios d'application : - Garantie de qualité des services d'IA - Conformité des données d'entraînement de l'IA - Marché automatisé de transactions de données équitables - Attribution de responsabilité des agents IA - Conformité des agents IA - Vérification de la conformité des services financiers. Ce système résout non seulement les problèmes de conformité dans la vérification des modèles d'IA, mais offre également une nouvelle solution pour la sécurité et la fiabilité de l'IA.

#AI