Question 1

À quel projet ATA correspond-il ?

Accepted Answer

ATA est le jeton du projet Automata. Le positionnement central d’Automata est celui d’une couche de preuve machine : elle permet de vérifier l’état du matériel et des logiciels sur lesquels un service s’exécute, afin que les utilisateurs ou les contrats intelligents ne dépendent pas uniquement des affirmations de l’opérateur. Ce positionnement ne signifie pas qu’ATA constitue lui-même une preuve de calcul. Les preuves sont assurées par les environnements d’exécution de confiance et les éléments de preuve cryptographiques qu’ils génèrent ; dans la documentation d’Automata 2.0, ATA est lié à la gouvernance et à la conception économique du protocole, ce qui doit être distingué des droits de jeton effectivement mis en œuvre.

Question 2

Quel est le rôle des environnements d’exécution de confiance d’Automata ?

Accepted Answer

Un environnement d’exécution de confiance (TEE) est un environnement informatique isolé par le matériel, tel qu’Intel SGX ou TDX. Il peut produire une attestation à distance, c’est-à-dire une preuve cryptographique concernant le matériel utilisé, le code exécuté et son état de sécurité. Le rôle d’Automata est de rendre ce type de preuve, initialement produit par le matériel, exploitable sur la chaîne : les contrats intelligents peuvent vérifier l’attestation plutôt que de croire directement les déclarations de l’opérateur du service. La preuve porte ici sur un environnement et un état de code spécifiques ; elle ne doit pas être comprise simplement comme une garantie inconditionnelle de tous les résultats métier du service.

Question 3

Comment une preuve machine devient-elle une information vérifiable on-chain ?

Accepted Answer

Le processus clé est le suivant : le TEE exécute d’abord le code dans un environnement isolé et génère une attestation à distance ; cette attestation contient des informations cryptographiques permettant d’identifier le matériel et l’état du code ; le composant de preuve on-chain d’Automata vérifie ensuite cet élément de preuve, ce qui permet aux contrats intelligents de déterminer si le service s’exécute dans l’environnement attendu. Ce qui change est le mode de vérification. Auparavant, un contrat ne pouvait accepter que les résultats soumis par un service off-chain ou s’appuyer sur la réputation de son opérateur ; après intégration de preuves vérifiables, le contrat peut faire de la conformité au matériel et à l’état de code attendus une condition de sa logique ultérieure. L’adoption d’une preuve par une application donnée dépend toujours de l’intégration de son résultat de vérification dans les règles de cette application.

Question 4

Quelles capacités Automata fournit-il en matière de confiance machine ?

Accepted Answer

La documentation d’Automata énumère notamment la vérification de preuves on-chain, des outils opérationnels de maintenance des éléments nécessaires aux preuves, ainsi que des builds reproductibles. L’objectif des builds reproductibles est de prouver qu’un programme binaire publié a bien été compilé à partir d’un code source audité, plutôt que de prouver uniquement qu’un serveur exécute un programme quelconque. Ces capacités peuvent être utilisées lorsque l’intégrité du calcul doit être vérifiée : d’une part pour confirmer l’environnement d’exécution et l’état du code, d’autre part pour permettre aux applications on-chain de lire les résultats de vérification. Elles ne rendent pas automatiquement fiables tous les calculs off-chain ; l’application doit toujours choisir explicitement l’identifiant de code à vérifier, les règles de vérification et le traitement en cas d’échec.

Question 5

Quel rôle ATA joue-t-il dans la conception d’Automata 2.0 ?

Accepted Answer

Dans la conception d’Automata 2.0, ATA est lié à la gouvernance du protocole et à la répartition de la valeur créée par les frais du protocole. Le document décrit l’idée selon laquelle les détenteurs d’ATA participant à la gouvernance peuvent participer à la répartition de la valeur des frais du protocole à hauteur de leur part de participation. Cela doit être compris comme une conception économique de la version 2.0, et non comme un rendement garanti ou automatique. La génération effective de frais, les usages comptabilisés comme frais de protocole, les conditions précises de participation à la gouvernance et la mise en œuvre effective de cette conception détermineront tous le résultat réel ; cette conception ne peut pas être présentée directement comme un rendement fixe actuel d’ATA.

Prix de Automata (ATA)