L'inférence distribuée a déjà changé la courbe de performance de l'IA. Et la preuve distribuée changera le zkML de la même manière. Quels étaient les problèmes du zkML dans le passé ? Un validateur devait supporter l'ensemble du modèle, ce qui entraînait une explosion de la mémoire, un temps incontrôlable, et finalement, il ne pouvait rester qu'à l'étape expérimentale. Ce n'est pas que la théorie ne tient pas, mais que l'ingénierie ne fonctionne pas. Quelle est l'idée de DSperse ? Décomposer le modèle en tranches vérifiables, permettant à chaque nœud de ne s'occuper que de sa petite partie. Plus il y a de nœuds, plus la preuve est rapide ; moins la charge de chaque nœud est grande, plus les ressources sont stables. Avec le backend de preuve efficace de JSTprove, le système de sortie des résultats est plus contrôlable ; le temps de preuve diminue linéairement avec le nombre de nœuds, l'utilisation de la mémoire reste stable, la vitesse de vérification est proche du temps réel, et c'est la première fois que les conditions pour entrer dans un environnement de production sont réellement réunies. C'est ainsi que l'IA vérifiable peut atteindre une échelle industrielle. Ce n'est pas en possédant des machines plus grandes, ni en faisant porter tout le poids à un seul validateur, mais en permettant à plus de validateurs de se concentrer uniquement sur la partie vraiment importante. Le futur du zkML ne sera pas un moteur de preuve centralisé, mais un réseau de preuve distribué. DSperse + JSTprove, ont rendu ce chemin possible. #KaitoYap @KaitoAI #Yap @inference_labs