Reconsidérer Marlin : Calcul vérifiable de l'IA pour la seconde moitié de l'année L0 "Nouvelle Infrastructure"

Le monde de la cryptographie ne manque jamais de nouveaux récits, mais ceux qui sont à la fois sexy et pratiques sont rares.

Par exemple, depuis le début de cette vague de narration super AI, bien que le cloud computing soit devenu la force motrice centrale de l'ère de l'économie numérique future, les géants traditionnels de la Web2 monopolisent les ressources de GPU et de puissance de calcul haut de gamme, tandis que les projets de la queue n'ont aucun pouvoir de négociation, ni autonomie, et des scénarios d'application de calcul verifiable plus larges sont également confrontés à une situation difficile.

Par conséquent, sous la vague de l'IA et de la crypto, des concepts tels que le chiffrement homomorphe complet (FHE) ont récemment été largement considérés comme l'une des meilleures solutions pour le calcul vérifiable et le traitement des données confidentielles de l'IA.

Cet article portera un regard sur Marlin, un vétéran du chiffrement axé sur l'infrastructure de cloud computing vérifiable, et explorera comment ce projet DeAI, qui couvre plusieurs récits tels que AI, MEV, Oracle, ZK, TEE, correspond réellement à la tendance actuelle de l'IA, et s'il peut apporter de nouvelles variables à la course "IA+Crypto".

La deuxième mi-temps de l'IA ne peut pas se passer de la "calcul en nuage vérifiable" ?

Comme on le sait, en dehors de l'expansion rapide du modèle AIGC, de nombreux scénarios d'IA tels que la santé, l'éducation, la conduite autonome, etc., qui sont encore à leurs débuts explosent rapidement et nécessitent tous des calculs massifs.

Mais pour ces scénarios spécifiques, les informations médicales, éducatives et de conduite autonome des utilisateurs sont toutes des données critiques pour l'économie et même la sécurité de la vie : des informations sur des dimensions telles que les soins de santé, les systèmes énergétiques, les réseaux à large bande, les véhicules connectés, etc., non seulement liées directement à la sécurité des données confidentielles des individus, mais également nécessitant une plus large partage et coopération des données pour promouvoir le développement du secteur.

Cependant, en même temps, le marché traditionnel des services cloud est dominé par les géants de l'Internet tels qu'Amazon Web Services (AWS), Microsoft Azure et Google Cloud Platform (GCP), qui détiennent ensemble plus de 60% de la part du marché de l'informatique en nuage, ce qui en fait clairement un marché vendeur.

Cette structure de marché présente clairement un problème majeur, à savoir la dépendance généralisée aux serveurs cloud centralisés, ce qui signifie que les développeurs/les porteurs de projets font fondamentalement confiance aux services cloud qu'ils utilisent, ce qui revient essentiellement à lier étroitement la réputation à une ou plusieurs grandes entreprises, ce qui équivaut à céder l'autonomie et la sécurité des données à des géants du Web2.

C'est pourquoi ces dernières années, les fournisseurs de services cloud ont connu de fréquentes fuites de données, entraînant de graves pertes pour les individus et les organisations. Par conséquent, quelle que soit la façon dont les développeurs/les parties prenantes du projet perçoivent la question centrale de la décentralisation dans le monde de la crypto, il vaut mieux concevoir des mécanismes qui empêchent le comportement malveillant plutôt que de simplement croire que les géants ne feront pas le mal (Don't Be Evil).

Dans ce contexte, si l'on analyse attentivement la direction de l'informatique en nuage de l'IA, on constate qu'il existe toujours un écart écologique entre les solutions de services d'informatique en nuage matures de base et de Web2, à savoir que la transformation de la technologie de calcul confidentiel est confrontée à des coûts élevés, donc il n'y a pas de solution particulièrement bonne pour permettre aux programmes de se déployer rapidement et en toute sécurité dans l'industrie, ce qui limite également le développement de la dynamique nécessaire aux applications AI+Web3, limitant ainsi son élan de développement.

Par conséquent, pour le dire simplement, le développement de la deuxième moitié du marché de l'IA et du cloud computing nécessite de toute urgence un ensemble complet d'outils de développement de blockchain orientés vers le Web3, afin de fournir une solution complète répondant aux besoins de la décentralisation, de la vérification, de la latence faible et du faible coût. Dans cette optique, la nécessité des services de cloud computing vérifiables et décentralisés commence également à émerger progressivement, comblant ainsi le vide dans ce domaine spécifique.

Dans ce contexte, la nécessité de services de cloud computing vérifiables et décentralisés émerge progressivement. En tant que solution qui utilise la technologie de chiffrement pour exécuter des calculs, elle permet de vérifier l'exactitude des résultats sans révéler les données sous-jacentes, évitant ainsi toute divulgation d'informations personnelles et garantissant la sécurité des données sensibles.

Tout cela correspond parfaitement aux cas d'utilisation de Web3, ce qui a suscité de nombreuses idées pour le calcul en nuage confidentiel dans l'industrie. Par conséquent, des domaines tels que la preuve de connaissance nulle (ZKP), le calcul multipartite (MPC) et le chiffrement homomorphe complet (FHE), qui ont récemment été très populaires, ont attiré une attention particulière sur le marché.

Et c'est aussi ce que Marlin veut faire - n'importe quelle application DePIN/Web2.5/AI qui a besoin de services de calcul à faible latence et haute puissance peut choisir de les déployer sur WeTEE pour obtenir une solution de calcul en nuage général similaire aux services cloud traditionnels.

Réinterprétation de Marlin : devenir vérifiable L0 dans le monde de l'IA

Si l'on devait résumer en une phrase la vision de Marlin dans le domaine de l'IA vérifiable, c'est en réalité de s'engager à aider directement les demandeurs de calculs d'IA ayant des besoins, à intégrer à tout moment et en tout lieu des services de calcul en nuage vérifiables dans leurs produits existants, sous forme de plug-ins au niveau de l'infrastructure, alors que l'apprentissage de modèles d'IA à grande échelle devient de plus en plus important.

Essentiellement, il s'agit de devenir un L0 générique vérifiable dans le monde de l'IA, donc il encapsule les fonctionnalités essentielles et fournit aux projets un service à appeler en un clic sur le réseau amélioré par les nœuds haute performance basés sur TEE et le réseau de communication vérifiable ZK :

Marlin utilise un environnement d'exécution de confiance (TEE) et un coprocesseur basé sur la preuve de connaissance nulle (ZKP) pour isoler les données et le code des autres processus au niveau matériel, garantissant ainsi la confidentialité des données et l'intégrité des calculs en cours, tout en assurant l'exactitude, la vérifiabilité et l'immutabilité des résultats des calculs.

En même temps, contrairement à la plupart des processeurs ZK conçus spécifiquement pour certains environnements (RISC-V, WASM ou MIPS) et capables de traiter uniquement des programmes écrits dans des langages compatibles, le marché de la preuve ZK de Marlin repose sur des circuits, donc indépendant du langage, permettant aux nœuds de choisir les circuits qu'ils souhaitent prendre en charge - ils peuvent directement porter des applications existantes en Python, C++ ou Go ou utiliser zkVM.

En même temps, l'architecture du réseau Marlin peut être globalement divisée en trois éléments : Oyster, Kalypso et le réseau de relais Marlin (Marlin Relay).

Oyster and Kalypso utilisent respectivement un environnement d'exécution de confiance (TEE) et des preuves de connaissance nulle (ZKP) pour garantir la correction et la sécurité des calculs, tandis que le réseau relais, grâce à sa fonction d'incitation intégrée, est chargé de garantir que les nœuds non dignes de confiance peuvent contribuer aux ressources du réseau sans compromettre leur sécurité :

• Oyster, en tant que service hors chaîne fourni par TEE, a pour vision principale de permettre aux utilisateurs de déployer leurs propres back-ends ou d'étendre les contrats intelligents sur le réseau de calcul en nuage Marlin avec le moins de modifications possibles, l'un de ses principaux avantages étant donc sa nature sans serveur - les utilisateurs n'ont pas besoin de configurer des nœuds et de choisir des nœuds spécifiques à utiliser, les résultats peuvent être facilement retournés aux utilisateurs ;
• Kalypso représente l'intégration flexible de Marlin avec les preuves de connaissance nulle (ZKP), sachant que l'optimisation matérielle avec FPGA, GPU et ASIC peut considérablement accélérer la génération des preuves ZK, réduisant ainsi le temps et les coûts. Le réseau Marlin s'appuie sur des nœuds avec GPU et FPGA pour externaliser la génération de preuves ZK, permettant ainsi de traiter efficacement les demandes des clients et de renvoyer les preuves générées.
• Marlin Relay est un réseau relais sans permission indépendant de la blockchain, avec une fonction d'incitation intégrée, et peut être intégré à plusieurs blockchains en même temps. Cette structure incitative garantit que les nœuds non fiables peuvent contribuer aux ressources du réseau sans compromettre sa sécurité ;

Il convient de noter que chaque nœud du réseau Marlin est équipé d'un TEE pour assurer la confidentialité des informations lors du calcul et du stockage des données, tout en permettant la création d'un environnement sécurisé et isolé dans le système de stockage appelé Enclave. Ces mesures garantissent que les informations ne sont ni espionnées ni divulguées.

Et chaque nœud peut prouver à l'autre partie qu'une déclaration est vraie en utilisant le protocole ZK, sans révéler de données spécifiques sur cette déclaration, ce qui protège l'intégrité des informations des entités de données et garantit également l'exactitude des faits.

Dans l'ensemble, Marlin, en tant que système L0 de calcul en nuage vérifiable pour l'IA, offre un large éventail de possibilités. Il peut fournir des services de puissance de calcul et de stockage basés sur un réseau de nœuds distribués décentralisés pour des scénarios tels que les oracles, les systèmes de preuve ZK, l'IA, etc., et devient ainsi le fondement de la protection des données pour de nombreuses applications combinant chiffrement et IA.

L'espace d'imagination de Marlin et de "AI World L0"

Dans cette perspective, Marlin joue en fait un rôle clé dans l'infrastructure de la deuxième moitié d'AI+Web3 - l'essentiel est d'amener réellement le calcul vérifiable dans le monde de l'AI et de Web3.

Par exemple, avec le service de composant de cloud computing vérifiable avec son propre attribut « L0 », Marlin peut aller plus loin et se transformer en une « brique Lego » et devenir un composant clé de l’infrastructure du service AI « Verifiable Computing + », permettant aux produits DApp dans diverses pistes d’atteindre des propriétés de calcul entièrement vérifiables.

Le scénario d'application le plus direct est que Marlin peut, dans le contexte actuel de l'importance croissante de l'entraînement de gros modèles d'IA, fournir un environnement sécurisé pour l'entraînement et le calcul des modèles d'IA basé sur le coprocesseur TEE Trust Execution Environment, ce qui signifie que, outre ChatGPT, différents grands projets de modèles peuvent intégrer Marlin ou être construits sur la base de Marlin pour former un middleware de calcul vérifiable convivial pour une insertion et une utilisation amicales, permettant ainsi une autonomisation à travers la forme de « calcul vérifiable + ».

Ce qui est encore plus crucial, c'est de construire un environnement incitatif décentralisé, transparent et vérifiable, qui transforme le réseau de nœuds distribués en un réseau de services de location de puissance de calcul décentralisée, et réalise ainsi une logique métier DePIN plus étendue en réduisant le coût des services de cloud computing par incitation par jeton.

En rassemblant la puissance de calcul inutilisée, à faible coût et avec des configurations de déploiement plus flexibles, il aide les entrepreneurs à former des modèles d'IA plus personnalisés et de petite taille, ce qui permet une utilisation maximale des ressources.

Ce n'est là que la pointe de l'iceberg de ce que Marlin peut apporter en tant que middleware de calcul vérifiable aux scénarios d'application de l'IA.

Résumé

En bref, l'espace d'imagination le plus important que Marlin peut apporter à l'AI+Web3 est en tant qu'infrastructure de couche L0, permettant aux différents projets d'IA de développer des produits et services de calcul vérifiables natifs (c'est-à-dire considérés comme des middleware de calcul vérifiable).

En fait, en tant que composant essentiel de l'ère de l'IA+Web3, il s'agit en quelque sorte de l'infrastructure clé de l'industrie :

Du jumelage de l'offre et de la demande de capacité de calcul au niveau de la base, à la fourniture de données par l'oracle, en passant par les services frontaux décentralisés basés sur le stockage distribué, etc., il est essentiellement possible de former une boucle logique, permettant ainsi aux utilisateurs et aux applications d'obtenir à faible coût et de manière flexible des services de calcul vérifiables, pour une utilisation efficace et la valorisation des données, jetant ainsi les bases de scénarios d'application diversifiés.

Il est clair que, dans la seconde moitié de l'IA, la piste de calcul vérifiable a encore un énorme potentiel de valeur à explorer, en particulier l'ajout du concept de "calcul vérifiable+" basé sur Web3 en chaîne, qui pourrait contenir des éléments encore plus vastes.

Pas seulement l'IA, mais aussi le divertissement, les réseaux sociaux, les jeux et presque toutes les applications que nous pouvons imaginer peuvent étendre davantage l'espace de l'imagination des services de calcul vérifiables/confidentiels.

Dans ce processus de construction progressif, Marlin pourrait devenir l'infrastructure sous-jacente clé pour les applications AI+Web3 de toutes sortes à l'avenir, ce qui représente probablement l'espace d'imagination le plus important pour le calcul vérifiable dans l'ère AI+Web3.