Modulus Labs a annoncé le lancement officiel de son prouveur d'apprentissage automatique sans connaissance (ZKML) Remainder. En appliquant le prouveur GKR à la production pour la première fois, Remainder a obtenu une efficacité 180 fois supérieure à celle du raisonnement traditionnel de l'IA dans des conditions matérielles égales. Cette technologie démontre non seulement un énorme potentiel en matière de protection de la confidentialité et de la sécurité des données, mais jette également les bases de l’application pratique de l’IA vérifiable.
Le développement de Remainder est basé sur des informations approfondies sur l'exploration des performances de preuves spécialisées à connaissance nulle (ZK) et améliore considérablement l'efficacité de la vérification du processus de raisonnement de l'IA en optimisant l'application du protocole GKR. De plus, le prouveur a complété silencieusement des centaines de milliers d’enregistrements de résultats d’IA sur Ethereum, prouvant sa stabilité et sa fiabilité dans des applications pratiques.
Pour approfondir la théorie derrière Remainder, Modulus Labs publiera cette année une série d'articles, le premier article "Intelligent Extension: Verifiable Decision Forest Reasoning using Remainder" détaillant une série de mesures d'optimisation qui prennent en charge Remainder. Le projet MEAP devrait être lancé au deuxième trimestre 2024, dans le but d'amener les participants à maîtriser complètement GKR, de la théorie à la pratique, et à construire et prouver des circuits dans Remainder.