Une excellente application d'IA n'est aussi puissante que ses inférences et résultats prouvés. Alors, vous vous demandez peut-être : comment puis-je vérifier mon modèle d'IA avec DeepProve ? Voici comment cela fonctionne. 🧵

2/ DeepProve commence à vérifier un modèle d'IA (à partir d'un fichier ONYX) avec quantification. Au cours de ce prétraitement, qui est une configuration unique, il convertit les points flottants de votre modèle en entiers. Il génère également des clés de prouveur/vérificateur.

3/ DeepProve exécute ensuite deux processus en parallèle : 1. L'inférence du modèle AI mais avec des entiers pour chacun des nœuds du réseau de neurones ("trace d'exécution") 2. Pour chaque nœud, il prouve que le calcul a été effectué correctement, puis le convertit en une seule preuve ZK succincte.

4/ Ensuite, la vérification est complétée en utilisant : → L'entrée et la sortie du modèle → L'engagement du modèle (qui représente de manière unique le modèle sans révéler les données sous-jacentes) → Les clés de vérification

5/ En termes simples, DeepProve fonctionne comme ceci : 1. Effectuer une configuration unique 2. Générer des preuves 3. Vérifier les inférences de l'IA n'importe où