Déplacer l'origine du langage de programmation n'est pas super cypherpunk

Facebook (maintenant Meta) a créé un déménagement après l'équipe Balance / Diem a comparé les principales langages de contrat intelligents (script bitcoin, langues bytecode de machine virtuelle Ethereum)

In the rapidly evolving landscape of blockchain technology, the choice of programming language can significantly influence the development and adoption of decentralized applications (apps). While Solidity has emerged as a dominant force in the Ethereum ecosystem, another programming language is quietly gaining momentum: Move.

Dans le paysage rapide de la technologie de la blockchain en évolution, le choix du langage de programmation peut influencer considérablement le développement et l'adoption d'applications décentralisées (APP). Alors que la solidité est devenue une force dominante dans l'écosystème Ethereum, un autre langage de programmation prend tranquillement de l'alluum: bouger.

Created by Facebook (now Meta) and later spun out as a fully independent, open-source project headed up by Aptos Labs and supported by the Aptos Foundation, Move is a new programming language designed for blockchain applications.

Créé par Facebook (maintenant Meta) et ensuite réparti en tant que projet open-source entièrement indépendant dirigé par Aptos Labs et soutenu par la Fondation Aptos, Move est un nouveau langage de programmation conçu pour les applications de blockchain.

The story begins with the Libra/Diem project, which set out to create a blockchain-based stablecoin. As the project progressed, the team made a comprehensive comparison of major smart contract languages, including Bitcoin Script and Ethereum Virtual Machine (EVM) bytecode languages.

L'histoire commence par le projet Balance / Diem, qui visait à créer un stablecoin à base de blockchain. Au fur et à mesure que le projet progressait, l'équipe a fait une comparaison complète des principaux langages de contrat intelligents, notamment Bitcoin Script et Ethereum Virtual Machine (EVM) Bytecode Languages.

After careful consideration, they reached the conclusion that their formidable in-house tech talent could develop a programming language specifically designed for crypto finance, drawing upon years of private and public sector research in programming language design.

Après un examen attentif, ils sont parvenus à la conclusion que leur formidable talent technologique interne pourrait développer un langage de programmation spécialement conçu pour la finance cryptographique, s'appuyant sur des années de recherche du secteur privé et public dans la conception du langage de programmation.

This programming language would be imbued with several critical properties:

Ce langage de programmation serait imprégné de plusieurs propriétés critiques:

* Fast and cheap transactions to create a competitive user experience, especially for decentralized finance (DeFi) applications. Aptos aims for high transaction throughput, with theoretical capabilities reaching up to 160,000 transactions per second (TPS) through its parallel execution engine, Block-STM.

* Transactions rapides et bon marché pour créer une expérience utilisateur concurrentielle, en particulier pour les applications de financement décentralisées (DEFI). APTOS vise un débit de transaction élevé, avec des capacités théoriques atteignant jusqu'à 160 000 transactions par seconde (TPS) via son moteur d'exécution parallèle, Block-STM.

* Sub-second finality to ensure swift transaction confirmation, enhancing the user experience in time-sensitive applications.

* Finalité inférieure à la seconde pour assurer une confirmation de transaction rapide, améliorant l'expérience utilisateur dans les applications sensibles au temps.

* Future upgrades that won’t disrupt existing projects. This helps developers feel more confident building long-term solutions without worrying about things breaking because of a Move upgrade.

* Les futures mises à niveau qui ne perturberont pas les projets existants. Cela aide les développeurs à se sentir plus confiants pour construire des solutions à long terme sans se soucier de la rupture des choses en raison d'une mise à niveau de mouvement.

* The ability to upgrade smart contracts without affecting the user experience, which is essential for mainstream adoption. This will allow teams to quickly implement bug fixes and new features with zero downtime.

* La possibilité de mettre à niveau les contrats intelligents sans affecter l'expérience utilisateur, ce qui est essentiel pour l'adoption traditionnelle. Cela permettra aux équipes d'implémenter rapidement les corrections de bogues et les nouvelles fonctionnalités avec zéro temps d'arrêt.

These factors are crucial for startups applying for venture capital funding.

Ces facteurs sont cruciaux pour les startups qui demandent un financement en capital-risque.

Move smart contracts are designed to be upgradeable without affecting the user experience, which is essential for mainstream adoption. This enables teams to implement bug fixes and new features quickly.

Déplacer les contrats intelligents sont conçus pour être mis à niveau sans affecter l'expérience utilisateur, ce qui est essentiel pour l'adoption grand public. Cela permet aux équipes d'implémenter rapidement les corrections de bogues et les nouvelles fonctionnalités.

Smart contract flexibility through Move on Aptos’ specific security features will result in better and faster product shipping. Being more flexible, Move on Aptos can quickly adapt to support new ecosystems.

La flexibilité des contrats intelligents jusqu'à déplacer les fonctionnalités de sécurité spécifiques d'Aptos entraînera une expédition meilleure et plus rapide de produits. Être plus flexible, se déplacer sur les aptos peut rapidement s'adapter pour prendre en charge les nouveaux écosystèmes.

As it was initially developed for Meta’s Diem project, Move is designed for safety, resource management and performance, making it attractive for developers looking for a secure yet robust language for smart contracts.

Comme il a été initialement développé pour le projet DIEM de META, Move est conçu pour la sécurité, la gestion des ressources et les performances, ce qui le rend attrayant pour les développeurs à la recherche d'un langage sécurisé mais robuste pour les contrats intelligents.

When deploying code using Move, the code will be verified across several crucial coding conditions like proper resource management, type correctness and reference safety. No matter what happens to the code, it will be verified first to prevent any faulty or malicious smart contracts from running.

Lors du déploiement du code à l'aide de déplacement, le code sera vérifié dans plusieurs conditions de codage cruciales comme la gestion appropriée des ressources, l'exactitude des types et la sécurité des références. Peu importe ce qui arrive au code, il sera d'abord vérifié pour empêcher tout contrat intelligent défectueux ou malveillant de s'exécuter.

This is the power of Move’s built-in bytecode verification.

Il s'agit de la puissance de la vérification de bytecode intégrée de Move.

Real-time verification of the absence of bugs

Vérification en temps réel de l'absence de bogues

Renowned computer science pioneer Edsger Dijkstra noted, “Program testing can be used to show the presence of bugs, but never to show their absence!”

Le célèbre pionnier de l'informatique Edsger Dijkstra a noté: «Les tests de programme peuvent être utilisés pour montrer la présence de bogues, mais pour ne jamais montrer leur absence!»

Move’s formal verification capabilities let developers actually prove that there are no bugs in specific code according to preset specifications.

Les capacités de vérification formelles de Move permettent aux développeurs de prouver qu'il n'y a pas de bogues dans le code spécifique en fonction des spécifications prédéfinies.

MoveVM is less battle-tested than Ethereum’s virtual machine, but as Rushi Manche, founder of Movement Labs, has explained, Move requires much less code auditing. The MoveVM runtime can act as an “auditor at runtime.”

MoveVM est moins testé au combat que la machine virtuelle d'Ethereum, mais comme l'a expliqué Rushi Manche, fondatrice de Movement Labs, Move nécessite beaucoup moins d'audit de code. Le movevm runtime peut agir en tant que «auditeur lors de l'exécution».

The verifier inside the MoveVM ensures that the transaction code is not harmful and that it cannot create, duplicate or destroy resources not allowed by the signer(s) of the transaction. In other words, MoveVM is an “auditor at runtime” rather than a human smart contract auditor.

Le vérificateur à l'intérieur du MOVEVM garantit que le code de transaction n'est pas nuisible et qu'il ne peut pas créer, dupliquer ou détruire les ressources non autorisées par le ou les signataires de la transaction. En d'autres termes, MoveVM est un «auditeur à l'exécution» plutôt qu'un vérificateur de contrat intelligent humain.

Today, Move on Aptos is more than just a smart contract language. Move on Aptos is the longest-standing, most recognized and widely used version of Move, boasting one of the fastest-growing developer communities and a rapidly growing ecosystem of infrastructure, tooling and projects.

Aujourd'hui, passer à APTOS est plus qu'une simple langue de contrat intelligent. Déplacer les Aptos est la version la plus ancienne, la plus reconnue et la plus utilisée de Move, avec l'une des communautés de développeurs à la croissance la plus rapide et un écosystème d'infrastructure, d'outillage et de projets en croissance rapide.

Quickly verifying code before deployment created the conditions for the Move on Aptos ecosystem. From a flawed Web2 beginning, Move is now primed to grow DeFi.

Vérifier rapidement le code avant le déploiement a créé les conditions de déplacement sur l'écosystème Aptos. D'après un début Web2 imparfait, le mouvement est maintenant prêt à grandir Defi.