À propos du service
TraduitJe développe et vérifie des contrats intelligents pour la blockchain Tezos à tous les niveaux de la pile. Michelson est un langage de bas niveau que la machine virtuelle Tezos exécute réellement, et il est conçu pour être propice à la vérification formelle. J'écris des contrats directement en Michelson lorsque le contrôle précis sur les gaz, le stockage et les opérations de pile est nécessaire, et j'utilise des langages de niveau supérieur LIGO et SmartPy lorsque un chemin plus rapide et plus lisible vers le même bytecode est plus important. Peu importe par quel bout nous commençons, je lis et analyse le Michelson compilé afin que vous sachiez exactement ce qui entre dans le réseau.
Ce que vous obtenez : un contrat fonctionnel avec un schéma de stockage réfléchi et des points d'entrée ; normes de jetons FA2 et FA1.2 correctement mises en œuvre ; tests modulaires et de propriété ; révision des coûts de gaz et de stockage ; un rapport avec une répartition de chaque point d'entrée, branche d'échec et vérification des autorisations. Je teste dans le bac à sable et sur Ghostnet avant le lancement sur le mainnet et documente les étapes d'origine et de mise à jour afin que votre équipe puisse redéployer sans moi.
J'audite également des contrats prêts à l'emploi : je construis une carte de stockage, trace chaque point d'entrée, recherche la réentrance, le débordement d'entier, le contrôle d'accès défaillant et les appels externes non sécurisés, et fournis une liste priorisée des constatations avec des corrections. Envoyez-moi une spécification ou un code actuel — je répondrai avec le périmètre de travail, un prix fixe et un calendrier.
Ce que vous obtenez : un contrat fonctionnel avec un schéma de stockage réfléchi et des points d'entrée ; normes de jetons FA2 et FA1.2 correctement mises en œuvre ; tests modulaires et de propriété ; révision des coûts de gaz et de stockage ; un rapport avec une répartition de chaque point d'entrée, branche d'échec et vérification des autorisations. Je teste dans le bac à sable et sur Ghostnet avant le lancement sur le mainnet et documente les étapes d'origine et de mise à jour afin que votre équipe puisse redéployer sans moi.
J'audite également des contrats prêts à l'emploi : je construis une carte de stockage, trace chaque point d'entrée, recherche la réentrance, le débordement d'entier, le contrôle d'accès défaillant et les appels externes non sécurisés, et fournis une liste priorisée des constatations avec des corrections. Envoyez-moi une spécification ou un code actuel — je répondrai avec le périmètre de travail, un prix fixe et un calendrier.
