Introduction au langage Move

Move est un langage de programmation basé sur Rust, conçu spécifiquement pour les applications blockchain. Il vise à résoudre les limitations des langages de contrats intelligents existants, en offrant rareté, déterminisme et vérifiabilité. Move met l'accent sur la sécurité et l'efficacité, possède des caractéristiques indépendantes de la plateforme, et prend en charge des bibliothèques, des outils et des communautés de développeurs inter-blockchains.

Principales caractéristiques du langage Move

Move présente plusieurs avantages par rapport aux langages de blockchain existants :

1. Modèle de programmation orienté ressources
2. Fonctionnalités de sécurité intégrées
3. Conception orientée objet et basée sur les actifs
4. Contrôle d'accès granulaire
5. Traitement des transactions efficace
6. Prévenir les problèmes Web3 courants ( tels que les failles de réentrance, les jetons toxiques, etc. )

Le modèle de capacité de Move garantit que les objets ont des permissions spécifiques, empêchant les opérations non autorisées telles que la copie ou la suppression d'objets.

Outil de vérification formelle Move Prover

Move Prover est un outil de vérification qui aide les développeurs :

• Rédiger des spécifications formelles pour les fonctionnalités clés de l'application.
• Vérifier la précision de l'exécution du code dans un court laps de temps
• Définir les préconditions, les postconditions et l'invariant de données
• Prévenir les erreurs courantes des contrats intelligents

Move Prover est intégré au système de construction Move, permettant aux développeurs de vérifier facilement leur code.

Écosystème Move

Sui

Sui est une blockchain décentralisée basée sur la preuve d'enjeu, avec les caractéristiques suivantes :

• Débit et stockage évolutifs horizontalement
• Peut traiter plus de 120 000 TPS
• Traiter des transactions indépendantes en sous-seconde
• Traiter des transactions complexes en 3 secondes ( objet partagé )
• Utiliser le protocole de consensus Narwhal & Tusk

Sui a apporté quelques optimisations aux fonctionnalités clés de Move pour améliorer les performances du réseau et réduire le temps de confirmation des transactions.

Aptos

Aptos est une blockchain de couche 1 avec les caractéristiques suivantes :

• Actuellement, un débit allant jusqu'à 10 000 TPS peut être réalisé.
• Le débit maximal théorique est de 160 000 TPS
• Le temps de confirmation final est de 250 millisecondes
• Réaliser des performances élevées grâce à l'exécution parallèle et Block-STM
• Utilisation du moteur de consensus HotStuff dérivé de Diem

Aptos a étendu les fonctionnalités de base de MoveVM grâce à une couche d'adaptation, y compris la parallélisation, le stockage massif de tables et le découplage fin du stockage.

Movement Labs

Movement Labs est une équipe de développement dédiée à l'intégration des réseaux blockchain, visant à introduire MoveVM dans l'écosystème Ethereum. Leur travail principal comprend :

1. Développer le premier MoveVM Layer 2 sur Ethereum (M2)
2. Introduction d'un nouvel environnement d'exécution haute performance
3. Créer Move-EVM, permettant de déployer du code vérifié.
4. Lancement de Move Stack, un cadre d'exécution compatible avec les cadres Rollup existants.

La philosophie de conception de Movement Labs met l'accent sur l'intégration modulaire, permettant aux développeurs de personnaliser la pile blockchain. Ils développent également un traducteur de Solidity vers Move pour augmenter la compatibilité.

Développement futur

À court terme, les développeurs peuvent s'attendre à déployer le premier contrat intelligent Move sur le réseau de test Ethereum. L'objectif à long terme est de réaliser un lancement complet de Rollup sur le réseau principal, apportant les avantages de Move à l'ensemble de l'écosystème Ethereum. Movement Labs continuera également à soutenir les développeurs Move dans la région Asie-Pacifique, en fournissant les ressources et les opportunités nécessaires pour favoriser le développement mondial de l'écosystème Move.