Modèles de confiance EigenCloud. La vision d'EigenCloud est de permettre aux développeurs de choisir le modèle de confiance qu'ils souhaitent pour le calcul hors chaîne. Entre les extrêmes du cloud et de la chaîne, il existe une gamme d'options, chacune avec un compromis différent sur la programmabilité.

Liveness. Dans l'un de ces scénarios, nous avons besoin de garanties de liveness. Pour cela, le nœud exécutant EigenCompute ou EigenAI doit être staké sur EigenLayer et écrire des données sur EigenDA. Si le nœud se déconnecte, le nœud est pénalisé, un nouveau nœud peut staker, télécharger les données depuis EigenDA et redémarrer le calcul. Ainsi, le calcul reste inarrêtable.

ZK pour la sécurité. ZK est le mécanisme le plus puissant pour la sécurité, mais nécessite d'écrire un prouveur ainsi que de payer le coût du prouveur. Le coût du prouveur peut atteindre jusqu'à 100 000 fois le coût du calcul direct. Ainsi, il reste peu pratique pour faire fonctionner un jeu MMORPG, un algorithme de recommandation Twitter, ou pour faire fonctionner le meilleur agent d'IA.

Sécurité cryptoeconomique. Pour obtenir une sécurité cryptoeconomique objective, nous avons besoin de a) réexécution déterministe, b) DA onchain et c) preuves de fraude onchain. Si l'une de ces conditions n'est pas satisfaite, nous n'obtenons pas une cryptoeconomie objective complète. Pour obtenir une sécurité intersubjective à partir de EIGEN staké, nous avons besoin de a) réexécution déterministe et b) EigenDA pour DA.

Sécurité TEE. TEE, selon son modèle de confiance, peut garantir l'exécution correcte des programmes, y compris les importations de données correctes et le stockage des clés privées. Aucun autre mode ne peut garantir la justesse pour a) le calcul non déterministe, b) les importations de données variant dans le temps et c) le calcul privé.

Principes de lancement de Mainnet Alpha. Nous avons lancé EigenCompute et EigenAI sur Mainnet Alpha. L'objectif de ce lancement alpha est de fournir aux développeurs un accès précoce et autorisé à ces fonctionnalités puissantes afin que nous puissions prioriser les fonctionnalités en fonction des retours des développeurs. Dans le compromis entre la programmabilité et la vérifiabilité, nous commençons avec la version la plus programmable et augmentons progressivement le niveau de confiance et de vérifiabilité. Ces deux produits devront passer par des audits approfondis avant d'ouvrir l'accès sans autorisation.

EigenCompute Parce qu'un des principaux cas d'utilisation est de lancer des agents d'IA vérifiables, et que ces agents ont besoin de fonctionnalités comme la recherche approfondie - qui sont variables dans le temps et ne peuvent être gérées que dans le mode TEE, nous lançons avec le mode TEE pour EigenCompute. L'écosystème EigenLayer dispose de coprocesseurs très puissants avec une vérifiabilité déterministe déjà incluant Layer WAVS et Brevis (qui comprend à la fois des preuves cryptoeconomiques et des preuves ZK). Nous allons bientôt étendre EigenCompute à d'autres modes.

EigenAI Pour exécuter l'inférence sur les modèles open source les plus puissants, nous avons besoin de la capacité d'exécuter l'inférence AI sur plusieurs GPU. Le premier résultat majeur pour EigenAI est une nouvelle pile qui peut obtenir une réexécution déterministe sur l'exécution multi-GPU sans aucune réduction de la vitesse d'inférence. Ce déterminisme nécessite un type de GPU fixe (comme le H100) pour réexécuter. Nous notons qu'il est possible d'exécuter l'inférence sur un CPU déterministe (comme Cartesi VM ou RiscV), mais cela nécessitera un ralentissement massif rendant impossible l'exécution de modèles à la pointe de la technologie. Ainsi, dans l'esprit de maximiser la programmabilité, nous utilisons la sécurité cryptoeconomique. Bien que le modèle initial nécessitera une vérification intersubjective, il est possible d'écrire des preuves de fraude on-chain pour créer des modèles entièrement déterministes pour la réexécution. Pour obtenir une sécurité on-chain complète, nous notons que les résultats d'inférence peuvent également devoir être écrits dans un DA on-chain.

Feuille de route Au fil du temps, nous remplirons l'ensemble du graphique entre la programmabilité et la vérifiabilité pour EigenCompute et EigenAI afin que les développeurs puissent avoir un choix complet pour tout calcul hors chaîne. EigenLayer dispose d'un écosystème florissant de partenaires qui construisent ces différentes modalités et nous compterons sur l'écosystème pour offrir ces multiples options dans un court laps de temps.