Comment rédiger un contrat intelligent économe en gaz en toute solidité ?

Optimiser la disposition du stockage

1. Regroupez les variables du même type pour minimiser l’utilisation des emplacements. 2. Utilisez uint256 au lieu de types plus petits, sauf si l'emballage est intentionnel. 3. Déclarez les variables d'état par ordre de taille décroissante : uint256 , uint128 , uint64 , uint32 , uint16 , uint8 . 4. Évitez d'utiliser le mappage pour de grands ensembles de données s'il existe des alternatives telles que des tableaux avec indexation hors chaîne. 5. Préférez l'immuable à la constante pour les valeurs connues au moment du déploiement mais calculées dynamiquement.

Minimisez les appels et les boucles externes

1. Les appels externes consomment beaucoup plus de gaz que les appels de fonction internes ; consolider la logique en une seule transaction lorsque cela est possible. 2. Ne parcourez jamais des tableaux illimités à l'intérieur de fonctions en chaîne : utilisez une pagination basée sur des événements ou un calcul hors chaîne. 3. Remplacez for (uint i = 0; i < array.length; i++) par des boucles de longueur fixe lorsque la longueur est prévisible. 4. Mettre en cache la longueur du tableau en mémoire avant de boucler : uint len ​​= array.length ; 5. Évitez entièrement les boucles imbriquées à moins que les deux dimensions ne soient strictement limitées et petites.

Tirer parti de l’assemblage pour les chemins critiques

1. L'assemblage en ligne peut contourner les contrôles de sécurité de Solidity et réduire les frais généraux liés à l'arithmétique et à l'accès à la mémoire. 2. Utilisez mstore et mload au lieu d'affectations de mémoire de haut niveau où les performances sont critiques. 3. Remplacez keccak256(abi.encodePacked(...)) par keccak256(bytes) lors du hachage de séquences d'octets pré-assemblées. 4. Accédez aux emplacements de stockage directement via sload et sstore uniquement lorsque vous êtes certain des index des emplacements et de la mutabilité. 5. N’utilisez jamais assembly pour un flux de contrôle complexe : maintenez la lisibilité et l’auditabilité de la logique métier principale.

Évitez les opérations coûteuses dans les Hot Paths

1. Les opérations de division et de modulo coûtent plus cher que le déplacement de bits ; utilisez x >> n au lieu de x / 2**n lors de la division par puissances de deux. 2. La concaténation de chaînes avec abi.encodePacked est moins chère que string.concat , mais les deux doivent être évitées dans les fonctions fréquemment appelées. 3. N'émettez pas d'événements à l'intérieur de boucles à moins que chaque émission ne transporte des données uniques et nécessaires. 4. Revenir avec des erreurs personnalisées au lieu de messages sous forme de chaîne : revert InvalidAmount(); permet d'économiser environ 2 000 essences par appel. 5. Utilisez des blocs non cochés uniquement lorsque le débordement/sous-dépassement est mathématiquement impossible, jamais dans une arithmétique impliquant une saisie utilisateur.

Pratiques de test et de mesure

1. Mesurez la consommation de gaz à l'aide du gasReporter de Hardhat ou du test de forge de Foundry --gas-report . 2. Comparez les coûts de base du gaz avant et après chaque optimisation pour éviter les micro-optimisations prématurées. 3. Simulez les pires scénarios : tableaux complets, profondeur de récursion maximale, entrées dans les cas extrêmes. 4. Le stockage de profils lit/écrit séparément à l'aide d'outils d'analyse de trace EVM tels que Tenderly ou Blockscout. 5. Auditez la sortie du bytecode avec solc --asm pour vérifier les optimisations du compilateur telles que le repliement constant et l'élimination du code mort.

Foire aux questions

T1. L'utilisation de fonctions view ou pure réduit-elle la consommation de gaz ? A1. Non. Ces modificateurs affectent le comportement des appels et la mutabilité de l'état, mais ne modifient pas le coût du gaz lors des appels externes. Ils n'éliminent les frais de gaz que lorsqu'ils sont appelés en interne ou hors chaîne.

Q2. Est-il plus sûr d'utiliser SafeMath dans les versions modernes de Solidity ? A2. Pas obligatoire. Solidity 0.8.0+ inclut des contrôles de débordement intégrés. SafeMath explicite ajoute des opcodes inutiles et augmente le gaz de déploiement.

Q3. Puis-je réduire le gaspillage en déployant des contrats avec un bytecode supprimé ? A3. Oui. L'utilisation de l'indicateur --via-ir avec solc permet des passes d'optimisation avancées, réduisant souvent la taille du bytecode d'exécution de 15 à 30 % et réduisant considérablement le gaz de déploiement.

Q4. Pourquoi l'émission d'un événement avec des paramètres indexés coûte-t-elle plus cher en gaz ? A4. Les paramètres indexés génèrent des hachages de rubrique stockés dans le tableau de sujets du journal, ce qui nécessite des calculs SHA3 supplémentaires et un stockage dans la structure du journal : chaque rubrique consomme un mot de 32 octets.