Comment rédiger un contrat intelligent dans Rust pour Solana ?

Comprendre l'environnement d'exécution de Solana

1. Solana exécute des programmes sur une blockchain à haut débit qui repose sur le traitement des transactions parallèles à l'aide du runtime Sealevel.

2. Les programmes déployés sur Solana sont sans état et s'exécutent dans un environnement d'exécution contraint avec des limites strictes sur les unités de calcul.

3. Rust est le principal langage d'écriture de programmes Solana en raison de la sécurité de sa mémoire, de ses abstractions sans coût et de la forte prise en charge de son écosystème.

4. Chaque programme Solana doit être conforme au jeu d'instructions BPF (Berkeley Packet Filter) après compilation via les caisses solana-sdk et solana-program.

5. La présentation des données du compte suit des règles de sérialisation strictes ; les structures personnalisées nécessitent #[derive(BorshSerialize, BorshDeserialize)] pour garantir un codage déterministe.

Configuration de la chaîne d'outils de développement

1. Installez la CLI Solana à l'aide du script d'installation officiel pour gérer les validateurs de tests locaux et déployer des programmes.

2. Utilisez cargo-build-bpf pour compiler le code Rust en bytecode BPF compatible avec le runtime de Solana.

3. Intégrez la caisse du programme solana en tant que dépendance avec un alignement de version correspondant au temps d'exécution du cluster cible.

4. Configurez .cargo/config.toml pour appliquer les paramètres target = 'bpfel-unknown-elf' et de l'éditeur de liens pour la liaison BPF.

5. Initialisez une nouvelle caisse de bibliothèque Rust sans fonction principale car les programmes Solana n'ont pas de points d'entrée comme les binaires traditionnels.

Structurer un point d'entrée de programme de base

1. Définissez le point d'entrée à l'aide de la macro #[program] de la caisse du programme solana pour générer une logique de répartition standard.

2. Implémentez des gestionnaires d'instructions en tant que fonctions publiques annotées avec les attributs #[account(...)] pour déclarer les contraintes de compte requises.

3. Utiliser le contexte pour accéder aux comptes, à l'identifiant du programme et aux données d'instructions de manière sécurisée pendant l'exécution.

4. Validez explicitement la propriété du compte, la mutabilité, le statut de signataire et l'exonération de loyer avant d'effectuer des mutations d'état.

5. Renvoyez ProgramResult<()> où Ok(()) signale le succès et Err(ProgramError::Custom(x)) autorise les codes d'erreur personnalisés définis dans le programme.

Gestion des comptes et du stockage d'état

1. Toutes les données persistantes résident dans des comptes appartenant au programme, nécessitant une allocation et une initialisation explicites lors de la première instruction.

2. Utilisez AccountInfo::try_borrow_mut_data() pour accéder aux tampons d'octets mutables et sérialiser les données structurées à l'aide de Borsh.

3. Dérivez des PDA (Program Derived Addresses) à l'aide de graines et de l'ID de programme pour générer des adresses déterministes et non contrôlées par les signataires.

4. Appliquez les exigences de taille de compte au moment de la création avec SystemInstruction::create_account pour éviter les échecs d'exécution.

5. Suivez les modifications du compte au fil des instructions à l'aide des valeurs de départ et des compteurs incrémentiels stockés dans les données du compte.

Flux de travail de test et de déploiement

1. Écrivez des tests unitaires dans la caisse du programme en utilisant solana_program_test pour simuler l'exécution en chaîne avec des comptes fictifs.

2. Lancez un validateur de test local avec solana-test-validator pour vérifier le comportement de déploiement et d'interaction dans des conditions proches de la production.

3. Déployez le bytecode BPF compilé à l'aide du programme solana et confirmez l'enregistrement réussi avec le programme solana show.

4. Interagissez avec le programme déployé à l'aide de web3.js ou @solana/web3.js dans des applications frontales ou des outils CLI comme spl-token.

5. Surveillez les journaux de transactions et calculez l'utilisation du budget via Solana Explorer ou les appels RPC pour identifier les inefficacités ou les retours en arrière.

Foire aux questions

Q : Que se passe-t-il si un programme Solana dépasse son budget de calcul ? L'exécution s'arrête immédiatement et la transaction échoue avec l'erreur ComputeBudgetExceeded. Aucun changement d'état ne persiste et les frais sont toujours déduits.

Q : Puis-je appeler un autre programme depuis mon contrat intelligent Rust ? Oui, via Cross-Program Invocation (CPI). Vous devez construire une structure d'instruction et l'invoquer à l'aide de Program::invoke ou Program::invoke_signed.

Q : Pourquoi mon programme échoue-t-il avec InvalidAccountData lors de la désérialisation ? Cela se produit lorsque la désérialisation Borsh rencontre des octets mal formés ou tronqués. Assurez-vous que la longueur des données du compte correspond à la taille de structure attendue et initialisez correctement tous les champs.

Q : Comment gérer les erreurs renvoyées par les appels CPI ? Les invocations CPI renvoient ProgramResult<()>. Vous devez explicitement rechercher les erreurs et les propager ou les gérer. Dans le cas contraire, cela peut entraîner des incohérences d'état silencieuses.