Un guide pour rédiger votre premier contrat intelligent dans Vyper

Comprendre la philosophie de conception de Vyper

1. Vyper donne la priorité à la sécurité et à l'auditabilité plutôt qu'à la richesse des fonctionnalités, en omettant délibérément les constructions complexes telles que l'héritage et les appels récursifs.

2. Le langage applique des déclarations de visibilité explicites pour toutes les fonctions et variables d'état, réduisant ainsi l'ambiguïté lors de la révision du contrat.

3. Il utilise une syntaxe de type Python mais se compile directement en bytecode EVM sans abstractions intermédiaires, minimisant ainsi la surface d'attaque.

4. La protection contre les dépassements entiers et les dépassements inférieurs est intégrée : aucun modèle SafeMath manuel n'est requis.

5. Tous les appels externes sont marqués du décorateur @external , ce qui rend les limites d'interaction immédiatement visibles dans le code source.

Configuration de l'environnement de développement

1. Installez Python 3.9+ et pip, puis exécutez pip install vyper pour obtenir le compilateur officiel.

2. Utilisez VS Code avec l'extension Vyper pour la coloration syntaxique et la prise en charge du peluchage de base.

3. Configurez un nœud testnet local via Anvil ou utilisez la commande anvil de Foundry pour simuler l'exécution d'Ethereum.

4. Intégrez-vous à pytest pour les tests unitaires : les contrats Vyper exposent des interfaces compatibles ABI que pytest peut appeler directement.

5. Stockez le bytecode compilé et l'ABI dans des fichiers JSON séparés après avoir exécuté vyper -f json my_contract.vy .

Rédaction d'un contrat de jeton minimal

1. Déclarez les variables de stockage à l'aide de modificateurs publics ou privés , tels que balance_of: public(HashMap[address, uint256]) .

2. Définissez le constructeur avec @external et initialisez l'offre totale et le solde du propriétaire dans un seul bloc atomique.

3. Implémentez une logique de transfert avec des contrôles stricts : suffisance du solde de l'expéditeur, adresse du destinataire non nulle et émission d'événements à l'aide du journal Transfer(...) .

4. Utilisez des instructions assert au lieu de chaînes de restauration pour appliquer des invariants : Vyper ne prend pas en charge les messages d'erreur personnalisés.

5. Évitez les boucles avec des itérations illimitées ; Seuls les réseaux de longueur fixe et les boucles For limitées sont autorisés pour éviter l'épuisement des gaz.

Compilation et déploiement sur Testnet

1. Compilez avec vyper -f Combined_json my_contract.vy pour générer à la fois le bytecode et l'ABI en une seule sortie.

2. Utilisez web3.py pour vous connecter à un point de terminaison RPC, instancier un objet de contrat et signer des transactions de déploiement avec une clé privée.

3. Vérifiez l'estimation du gaz avant de la soumettre : la compilation déterministe de Vyper permet une prévision précise des coûts du gaz avant le déploiement.

4. Confirmez le déploiement en interrogeant l'adresse du contrat sur l'explorateur Etherscan testnet et en vérifiant les événements émis.

5. Interagissez via les méthodes web3.eth.contract(), en vous assurant que tous les arguments correspondent aux types attendus définis dans la source Vyper.

Foire aux questions

Q : Vyper prend-il en charge l'arithmétique à virgule flottante ? R : Non. Vyper n'inclut pas les types natifs à virgule flottante. Les mathématiques à virgule fixe doivent être implémentées manuellement à l'aide de facteurs d'échelle entiers.

Q : Puis-je appeler un autre contrat Vyper depuis mon contrat ? R : Oui, mais seulement si l'interface du contrat cible est explicitement déclarée à l'aide de blocs d'interface et que l'appel est effectué via une variable typée.

Q : Comment les structures sont-elles gérées dans Vyper ? R : Les structures sont prises en charge en tant que regroupements nommés de champs, mais elles ne peuvent pas être imbriquées ou utilisées comme clés de mappage. Ils doivent être déclarés globalement avec le mot clé struct .

Q : Existe-t-il un moyen standard de gérer la logique basée sur le temps dans Vyper ? R : Oui. Utilisez block.timestamp directement : il est accessible en tant que constante globale et se comporte de manière identique à la version de Solidity.