Awesome GitHub RepositoriesContract Template Registries

Vyper est un langage de programmation typé et un compilateur axé sur la sécurité, conçu pour créer des contrats intelligents qui s'exécutent sur l'Ethereum Virtual Machine. Il utilise une syntaxe Pythonique pour définir la logique et l'état du contrat, servant de cible pour la vérification formelle afin de permettre des preuves de correction vérifiées par machine. Le langage se distingue par des contraintes architecturales strictes qui privilégient la prévisibilité et la sécurité. Il impose des graphes d'appels acycliques en interdisant la récursion et impose des boucles bornées pour assurer une prédiction statique du gaz. De plus, il dispose d'un type décimal à virgule fixe natif pour les calculs financiers afin d'éviter la perte de précision. Le projet fournit un ensemble complet de capacités pour le développement blockchain, y compris la gestion d'état fortement typée, des primitives cryptographiques pour la récupération de clés publiques et des protections intégrées contre la réentrance. Il prend en charge l'implémentation de normes de jetons industriels, d'outils de finance décentralisée et de systèmes de gouvernance en chaîne via un système modulaire d'interfaces et de déploiements de contrats. Le compilateur transforme le code source de haut niveau en bytecode ciblant l'EVM et en définitions ABI, tout en fournissant des outils pour les tests de contrats automatisés et la vérification de l'intégrité de la construction.