Qu'est-ce que la machine virtuelle Ethereum (EVM) et comment exécute-t-elle les contrats ?

Architecture de base de l'EVM

1. La machine virtuelle Ethereum fonctionne comme un environnement d’exécution déterministe en bac à sable intégré dans chaque nœud Ethereum.

2. Il est implémenté sous la forme d'une machine virtuelle basée sur une pile avec une taille de mot de 256 bits, optimisée pour les opérations cryptographiques et les transitions d'état.

3. Chaque instance EVM isole l'exécution du contrat du système hôte sous-jacent, empêchant ainsi l'accès direct aux systèmes de fichiers, aux réseaux ou aux processus externes.

4. La mémoire de l'EVM est volatile et organisée sous la forme d'un tableau linéaire adressable par octets, tandis que le stockage est persistant et mappé au tri d'état global de la blockchain.

5. L'exécution commence par une limite de gaz fixe attribuée par l'expéditeur de la transaction, et chaque opcode consomme un coût de gaz prédéfini pour éviter les boucles infinies et l'épuisement des ressources.

Compilation et déploiement de bytecode

1. Les contrats intelligents écrits dans des langages de haut niveau comme Solidity sont compilés dans le bytecode EVM à l'aide d'outils tels que solc.

2. Ce bytecode se compose d'opcodes (instructions de bas niveau comme PUSH1 , SSTORE et RETURN ) chacun mappé à un identifiant sur un seul octet.

3. Pendant le déploiement, la transaction de création déclenche l'EVM pour exécuter le code du constructeur, puis stocke le bytecode d'exécution résultant à une adresse nouvellement dérivée.

4. Le code du contrat déployé devient immuable ; tout appel ultérieur appelle ce bytecode stocké sans recompilation.

5. L'EVM vérifie la validité du bytecode avant l'exécution, rejetant les séquences contenant des opcodes non définis ou mal formés.

Flux d'exécution basé sur les transactions

1. Chaque interaction contractuelle provient d'un compte externe (EOA) initiant une transaction signée ciblant une adresse contractuelle spécifique.

2. L'EVM charge le bytecode du contrat cible et initialise un nouveau contexte d'exécution avec l'adresse de l'appelant, la valeur transférée, les données d'appel et le gaz restant.

3. L'exécution se déroule instruction par instruction : lecture des données d'appel, modification de la mémoire ou du stockage, exécution de l'arithmétique et branchement via des sauts conditionnels.

4. Si une opération échoue (par exemple une division par zéro, une panne de gaz ou une destination de saut non valide), l'EVM annule tous les changements d'état effectués au cours de cette transaction.

5. Une exécution réussie émet des journaux, met à jour le stockage et peut déclencher des appels imbriqués vers d'autres contrats, chacun étant confiné dans sa propre pile et son propre espace mémoire isolés.

Comptabilité du gaz et intégrité de l’État

1. Le gaz sert à la fois de mécanisme informatique de tarification et de frontière de sécurité ; chaque opcode déduit le gaz avant l'exécution, et une quantité insuffisante de gaz arrête immédiatement le traitement.

2. Les écritures de stockage entraînent des coûts de gaz nettement plus élevés que les opérations de mémoire, ce qui reflète leur permanence dans l'état du monde.

3. L'EVM applique un déterminisme strict : des entrées identiques, le même code de contrat et un pré-état identique produisent toujours un post-état et une sortie identiques.

4. Aucune valeur aléatoire ou basée sur le temps n’est accessible de manière native ; le numéro de bloc et l'horodatage sont des variables d'environnement en lecture seule injectées au moment de l'appel.

5. Toutes les modifications d'état sont regroupées et ne sont validées dans le processus d'état global qu'une fois l'exécution complète de la transaction terminée, sans exception.

Foire aux questions

Q : Le bytecode EVM peut-il être rétro-conçu pour devenir une source Solidity lisible ? R : La décompilation produit une logique approximative mais ne peut pas récupérer les noms de variables d'origine, les commentaires ou les abstractions de haut niveau en raison d'une perte irréversible de compilation.

Q : Pourquoi l'EVM utilise-t-il des mots de 256 bits au lieu de 64 ou 128 bits ? R : 256 bits s'aligne sur les primitives cryptographiques d'Ethereum (hachage Keccak-256, signatures ECDSA et preuves Merkle), toutes fonctionnant sur des morceaux de 32 octets.

Q : Que se passe-t-il lorsqu'un contrat s'autodétruit ? R : L'EVM supprime le code et le stockage du contrat du système d'État, rembourse le gaz restant et transfère la totalité de son solde à une adresse de bénéficiaire désignée.

Q : L'exécution d'EVM est-elle parallélisable sur tous les nœuds ? R : Non. Ethereum applique une exécution séquentielle et déterministe par bloc ; les nœuds rejouent les transactions une par une dans l'ordre canonique pour parvenir à un consensus sur l'état final.