À propos du service
TraduitJ'écris des contrats intelligents formellement vérifiables en Pact pour la blockchain Kadena qui font exactement ce que votre logique métier exige et rien de plus. Pact est le langage lisible par l'homme de Kadena, et il n'est intentionnellement pas complet de Turing : cela élimine à lui seul des classes entières de vulnérabilités qui affligent d'autres réseaux — pas de boucles infinies, de dépenses de gaz incontrôlées et de surprises de réentrance.
Au-delà de cela, j'utilise la vérification formelle intégrée de Pact (modèles de propriété et d'invariant) pour prouver mathématiquement que le contrat préserve des règles importantes pour vous : l'offre totale ne s'inflationne pas, les fonds ne circulent que par des gardes autorisés, les soldes ne deviennent jamais négatifs.
Ce que vous obtenez : un module soigné avec des capacités et des gardes pour le contrôle d'accès, une suite de tests complète, des propriétés vérifiées par machine et — puisque les contrats Pact sont mis à jour — un chemin sécurisé pour déployer des corrections et de nouvelles fonctionnalités sans redéploiement complet et sans migration de l'état utilisateur. Tâches typiques : tokens fongibles et non fongibles, places de marché, séquestre et vesting, vote DAO, logique arbitraire sur la chaîne.
Processus : nous fixons ensemble les invariants, j'implémente le module, prouve les propriétés, couvre avec des tests unitaires sur un devnet local et remets un code documenté, prêt pour l'audit avec des scripts de déploiement pour testnet et mainnet. Si vous passez de Solidity, je vous aiderai à porter le design vers le modèle plus sûr de Pact.
Au-delà de cela, j'utilise la vérification formelle intégrée de Pact (modèles de propriété et d'invariant) pour prouver mathématiquement que le contrat préserve des règles importantes pour vous : l'offre totale ne s'inflationne pas, les fonds ne circulent que par des gardes autorisés, les soldes ne deviennent jamais négatifs.
Ce que vous obtenez : un module soigné avec des capacités et des gardes pour le contrôle d'accès, une suite de tests complète, des propriétés vérifiées par machine et — puisque les contrats Pact sont mis à jour — un chemin sécurisé pour déployer des corrections et de nouvelles fonctionnalités sans redéploiement complet et sans migration de l'état utilisateur. Tâches typiques : tokens fongibles et non fongibles, places de marché, séquestre et vesting, vote DAO, logique arbitraire sur la chaîne.
Processus : nous fixons ensemble les invariants, j'implémente le module, prouve les propriétés, couvre avec des tests unitaires sur un devnet local et remets un code documenté, prêt pour l'audit avec des scripts de déploiement pour testnet et mainnet. Si vous passez de Solidity, je vous aiderai à porter le design vers le modèle plus sûr de Pact.
