« La seule façon de garantir qu'un système d'IA fonctionne correctement est grâce à la sécurité cryptographique - les preuves à divulgation nulle de connaissance sur l'inférence sont la base de l'intelligence vérifiable. » - @Ismael_H_R, Fondateur de @lagrangedev Lors de l'événement Verifying Intelligence à @token2049, Ismael a expliqué comment DeepProve de Lagrange prouve mathématiquement qu'une inférence de modèle - le calcul réel qui génère une sortie - a été effectuée correctement, sans exposer les poids du modèle, les données propriétaires ou les entrées. Cela fait passer l'IA d'un modèle basé sur la confiance à un modèle vérifiable cryptographiquement, où la justesse, la confidentialité et l'équité peuvent être prouvées plutôt que supposées. ZK amène l'IA dans le même changement de paradigme que les blockchains ont apporté à la finance : passer de la confiance dans les institutions à la confiance dans les mathématiques. C'est ainsi que nous nous éloignons de l'IA « boîte noire » vers des systèmes qui peuvent être vérifiés de manière indépendante - une étape essentielle vers une autonomie sécurisée et auditable. Regardez le panel complet, en partenariat avec @googlecloud et @boundless_xyz, pour découvrir comment Lagrange et d'autres définissent la couche de vérification pour la prochaine génération de systèmes intelligents :