Re-comprendre Marlin : calcul vérifiable L0 Nouvelle infrastructure dans la seconde moitié de l'IA

Il ne manque jamais de nouveaux récits dans le monde de la cryptographie, mais seule une poignée d’entre eux peuvent être décrits à la fois comme sexy et pragmatiques.

Par exemple, depuis l’essor de ce cycle de super récit de l’IA, bien que le cloud computing soit devenu le cœur de la productivité de la future ère de l’économie numérique, les géants traditionnels du Web2 ont monopolisé les GPU hautes performances de haute qualité et les ressources de puissance de calcul, tandis que les projets de milieu et de fin de chaîne n’ont aucun pouvoir de négociation ni aucune autonomie, et les scénarios d’application informatique vérifiables plus larges sont également confrontés au dilemme de ne pas avoir de nourriture à manger.

Par conséquent, dans le cadre de la tendance IA+Crypto, des concepts tels que le cryptage entièrement homomorphe (FHE) sont progressivement devenus populaires ces dernières années et sont 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 se concentrera sur Marlin, un développeur cryptographique vétéran qui se concentre sur l'infrastructure de cloud computing vérifiable, et explorera comment le projet DeAI, qui aborde de multiples récits tels que l'IA, MEV, Oracle, ZK et TEE, s'intègre dans l'engouement actuel pour l'IA, et s'il peut apporter de nouvelles variables à la piste AI+Crypto.

La deuxième moitié de l’IA ne peut pas se passer du « cloud computing vérifiable » ?

Comme nous le savons tous, en plus de l’expansion rapide du grand modèle AIGC, d’innombrables scénarios d’IA aux premiers stades d’une épidémie, tels que les soins médicaux, l’éducation et la conduite intelligente, sont rapidement déployés, ce qui nécessite tous des calculs massifs.

Mais pour ces scénarios segmentés, les informations médicales, éducatives et de conduite intelligente des utilisateurs sont toutes des données clés liées à l'économie et même à la sécurité des personnes : les données d'information dans des dimensions telles que les soins de santé, les systèmes énergétiques, les réseaux à bande passante et les véhicules connectés ne sont pas seulement directement liées à la sécurité des données personnelles confidentielles, mais nécessitent également un partage de données et une coopération plus étendus pour promouvoir le développement des pistes.

Mais dans le même temps, le marché traditionnel des services cloud est dominé par des géants de l'Internet tels qu'Amazon Web Services (AWS), Microsoft Azure et Google Cloud Platform (GCP). Ces trois sociétés représentent ensemble plus de 601 TP9T de parts de marché du cloud computing, ce qui constitue un marché clairement vendeur.

Le problème le plus évident de cette structure de marché est la dépendance généralisée aux serveurs cloud centralisés, ce qui signifie que la confiance des développeurs/parties prenantes du projet dans les services cloud qu’ils utilisent est essentiellement liée à la réputation d’un ou de plusieurs géants, ce qui équivaut à céder l’autonomie et la sécurité des données aux géants du Web2.

De ce fait, les fournisseurs de services cloud ont fréquemment connu des incidents de fuite de données ces dernières années, entraînant de graves pertes pour les particuliers et les institutions. Par conséquent, quelle que soit la façon dont les développeurs/parties prenantes du projet considèrent la décentralisation, le problème central du monde de la cryptographie, il est de loin préférable de les rendre incapables d'être mauvais (Cant Be Evil) du point de vue de la conception du mécanisme plutôt que de croire que les géants ne seront pas mauvais (Dont Be Evil).

Dans ce contexte, si nous analysons attentivement l'orientation du cloud computing IA, nous constaterons qu'il existe encore un fossé écologique entre les solutions de services de cloud computing sous-jacentes et matures du Web2. En d'autres termes, la transformation de la technologie informatique confidentielle est confrontée à des coûts élevés. Par conséquent, il n'existe pas de solution particulièrement efficace dans l'industrie pour déployer rapidement et en toute sécurité des programmes, ce qui rend impossible la réalisation de la série de fonctions d'application requises par AI+Web3, et cela limite également sa dynamique de développement.

Par conséquent, pour le dire franchement, le développement de la seconde moitié du marché du cloud computing IA nécessite de toute urgence un ensemble complet d'outils de développement de blockchain pour le Web3, afin de fournir une solution complète qui réponde aux exigences de décentralisation, de vérifiabilité, de faible latence et de faible coût. De ce point de vue, la nécessité de services de cloud computing décentralisés et vérifiables est progressivement apparue, ce qui ne fait que combler le vide dans cette direction de segmentation :

Dans ce contexte, la nécessité de services de cloud computing décentralisés et vérifiables est progressivement apparue. En tant que solution qui utilise la technologie de cryptage pour effectuer des calculs, elle permet l'exactitude des résultats de calcul doit être vérifiée sans révéler les données sous-jacentes, évitant ainsi toute fuite d'informations privées et garantissant que des données clés ne soient pas divulguées.

Tout cela est parfaitement cohérent avec les scénarios d'application du Web3, ce qui a suscité beaucoup d'imagination parmi les utilisateurs du secteur en matière de cloud computing confidentiel. Par conséquent, des pistes telles que la preuve à connaissance nulle (ZKP), le calcul multipartite (MPC) et le cryptage entièrement homomorphe (FHE) récemment populaire ont reçu une attention particulière du marché.

C’est ce que Marlin souhaite faire : toute application DePIN/Web2.5/AI, tant qu’il existe une demande pour des services informatiques à faible latence et à haute puissance de calcul, peut réellement choisir de la déployer sur WeTEE et obtenir la même solution de cloud computing générale que les services cloud traditionnels.

Re-comprendre Marlin : devenir un L0 vérifiable dans le monde de l'IA

Si la vision de Marlins dans le domaine du calcul vérifiable de l'IA peut être résumée en une phrase, c'est qu'à une époque où la formation de grands modèles d'IA devient de plus en plus importante, elle s'engage à aider directement les demandeurs de calcul d'IA dans le besoin sous la forme de plug-ins de couche d'infrastructure pour intégrer des services de cloud computing vérifiables dans leurs produits existants à tout moment et en tout lieu :

Il s'agit essentiellement d'un L0 universel vérifiable dans le monde de l'IA, il encapsule donc les fonctions principales et fournit des services appelables en un clic aux parties du projet sur la base du réseau amélioré de nœuds hautes performances TEE et du réseau de communication vérifiable ZK :

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

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

Dans le même temps, l'architecture du réseau Marlin dans son ensemble peut être divisée en trois chevaux : Oyster, Kalypso et le réseau relais (Marlin Relay).

Oyster et Kalypso utilisent des environnements d'exécution de confiance (TEE) et des preuves à connaissance nulle (ZKP) pour garantir respectivement l'exactitude et la sécurité des calculs, tandis que le réseau relais est chargé de garantir que les nœuds non fiables peuvent contribuer aux ressources du réseau sans nuire à sa sécurité grâce à des incitations intégrées :

• En tant que service hors chaîne fourni par TEE, la vision principale d'Oysters est pour permettre aux utilisateurs de déployer leur propre backend ou d'implémenter des extensions de contrats intelligents sur le réseau de cloud computing Marlin avec un minimum de modifications. Par conséquent, l’un de ses plus grands avantages est sa fonctionnalité sans serveur : les utilisateurs n’ont pas besoin de configurer des nœuds ni de sélectionner des nœuds spécifiques à utiliser, et les résultats peuvent être facilement renvoyés aux utilisateurs ;

• Kalypso représente l'intégration flexible de preuves à connaissance nulle (ZKP) de Marlin. L'optimisation matérielle à l'aide de FPGA, GPU et ASIC peut accélérer considérablement la génération de preuves ZK, réduisant ainsi le temps et les coûts. Le réseau Marlin s'appuie sur des nœuds dotés de GPU et de FPGA pour externaliser la génération de preuves ZK, qui peuvent traiter efficacement les demandes des clients et renvoyer les preuves générées.

• Marlin Relay est un réseau de relais indépendant de la blockchain et sans autorisation avec des incitations intégrées qui peuvent être intégrées à plusieurs blockchains simultanément. Cette structure d’incitation garantit que les nœuds sans confiance peuvent contribuer aux ressources du réseau sans nuire à sa sécurité.

Il convient de noter que chaque opération et maintenance de nœud dans le réseau de nœuds Marlins est équipée de TEE, et un environnement Enclave sécurisé et isolé peut être intégré dans le système de stockage pour garantir que les informations ne sont pas espionnées ou divulguées lors du calcul et du stockage des données.

Grâce au protocole ZK, chaque nœud peut prouver à l'autre partie qu'une déclaration est vraie sans révéler aucune donnée spécifique sur la déclaration. Cela protège la sécurité des informations de la personne concernée tout en garantissant l'exactitude des faits.

En général, Marlin, en tant que cloud computing vérifiable orienté IA L0, est applicable à un large éventail de scénarios. Basé sur un système de réseau de nœuds distribués décentralisé, il peut fournir des services de ressources réseau tels que la puissance de calcul et le stockage des nœuds pour des scénarios d'application tels qu'Oracle Oracle, le système ZK Prover et l'intelligence artificielle AI, devenant ainsi la pierre angulaire de la protection des données de nombreuses applications de cryptage + IA.

Marlin et l'espace imaginaire d'AI World L0

De ce point de vue, Marlin joue en réalité un rôle clé dans l’infrastructure de la seconde moitié de l’IA+Web3 – l’essence même étant d’apporter véritablement une informatique vérifiable au monde de l’IA et du Web3.

Par exemple, avec l'aide de son propre service de composants de cloud computing vérifiables L0, Marlin peut aller plus loin et se transformer en bloc Lego, devenant ainsi un composant d'infrastructure clé du service + informatique vérifiable de l'IA, permettant aux produits DApp dans diverses pistes d'atteindre des propriétés informatiques entièrement vérifiables.

Le scénario d'application le plus direct est que Marlin peut fournir un environnement de formation et de calcul de modèles sécurisé pour la formation de modèles d'IA basé sur le coprocesseur d'environnement d'exécution de confiance TEE à un moment où la formation de grands modèles d'IA devient de plus en plus importante. Cela signifie qu'en plus de ChatGPT, Différents projets de modèles de grande envergure peuvent intégrer Marlin ou être construits sur la base de Marlin pour former un middleware informatique vérifiable qui peut être branché et utilisé de manière conviviale, le permettant ainsi sous la forme d'un calcul vérifiable +.

En même temps, et plus important encore, il peut également créer un environnement d'incitation décentralisé, transparent et vérifiable, de sorte que le réseau de nœuds distribués puisse être transformé en un réseau de services de location de puissance de cloud computing décentralisé, c'est-à-dire pour réaliser une gamme plus large de logique commerciale DePIN et réduire le coût des services de cloud computing grâce à des incitations symboliques :

En collectant la puissance de calcul inutilisée et en utilisant des coûts faibles et des configurations de déploiement plus flexibles pour aider les entrepreneurs à former des modèles d’IA de petite et moyenne taille plus personnalisés, cela améliore considérablement l’utilisation des ressources.

Ce n’est là que la pointe de l’iceberg des scénarios d’application de l’IA que Marlin peut permettre en tant que middleware informatique vérifiable.

résumé

En bref, l’espace d’imagination le plus important que Marlin peut apporter à AI+Web3 est qu'en tant qu'infrastructure de la couche L0, elle permet à diverses parties prenantes du projet d'IA de développer des services de produits informatiques vérifiables natifs (c'est-à-dire qu'elle est considérée comme un middleware informatique vérifiable).

En fait, en tant que composant essentiel indispensable à l’ère de l’IA + Web3, cela équivaut dans une certaine mesure à l’infrastructure clé de l’industrie :

De la mise en correspondance sous-jacente de l'offre et de la demande de puissance de calcul à la fourniture de données oracle, en passant par les services frontaux décentralisés basés sur le stockage distribué, etc., une boucle fermée peut être formée de manière logique, permettant aux utilisateurs et aux applications d'obtenir des services de plug-in informatiques vérifiables à faible coût et avec flexibilité, d'utiliser et de mettre en valeur efficacement la valeur des données, et ainsi de jeter les bases de scénarios d'application diversifiés.

Ce qui est clair, c'est que dans la seconde moitié de l'IA, la piste du calcul vérifiable a encore un énorme potentiel de valeur qui attend que nous l'explorions, en particulier lorsque le concept de calcul vérifiable + basé sur la chaîne du Web3 est superposé, le contenu lui-même peut être encore plus grandiose.

Non seulement l’IA, mais presque toutes les applications auxquelles nous pouvons penser, telles que le divertissement en chaîne, les réseaux sociaux, les jeux, etc., peuvent encore élargir l’espace d’imagination des services de calcul vérifiable/de données confidentielles.

Dans ce processus de construction étape par étape, Marlin est susceptible de devenir l’infrastructure sous-jacente clé pour les applications IA+Web3 globales à l’avenir. Il pourrait également s’agir du plus grand espace d’imagination pour l’informatique vérifiable à l’ère de l’IA+Web3.

Cet article provient d'Internet : Re-comprendre Marlin : Calcul vérifiable L0 Nouvelle infrastructure dans la seconde moitié de l'IA

Connexes : Analyse des avalanches (AVAX) : cette croix de la mort pourrait prolonger la correction

En bref Le prix des avalanches poursuivra potentiellement sa baisse continue alors que Death Cross se déroulera sur un graphique de 12 heures. Les indicateurs de prix suggèrent également que les signaux baissiers se renforcent. Les investisseurs ne semblent pas non plus très optimistes, étant donné leur sentiment plutôt pessimiste. Le prix de l’Avalanche (AVAX) fait partie des rares altcoins montrant des signes de nouvelle baisse au cours de la reprise. Ce qui rend la tâche encore plus difficile pour l’altcoin, c’est que même les investisseurs AVAX ne s’attendent pas à un rallye. L’avalanche est-elle vouée à se corriger ? Au moment de la rédaction de cet article, le prix d'Avalanche se négocie sous $40, suite à des corrections et une légère reprise au cours des deux derniers jours. Alors que l’espoir d’une nouvelle hausse des prix surgit sur le marché, ce n’est pas le cas d’AVAX. C'est parce que le…