Análisis del lenguaje Move: un nuevo paradigma en el desarrollo de la Cadena de bloques

Move es un lenguaje de programación basado en Rust, diseñado específicamente para aplicaciones de cadena de bloques. Su objetivo es abordar las limitaciones de los lenguajes de contratos inteligentes existentes, proporcionando escasez, determinismo y verificabilidad. Move enfatiza la seguridad y la eficiencia, tiene características independientes de la plataforma, y apoya bibliotecas, herramientas y comunidades de desarrolladores intercadena.

Ventajas del lenguaje Move

Move tiene varias ventajas sobre los lenguajes de cadena de bloques existentes. Su modelo de programación orientado a recursos y sus características de seguridad integradas lo convierten en una opción ideal para construir aplicaciones de cadena de bloques seguras y de alto rendimiento. El diseño de Move está destinado a evitar problemas comunes de Web3, como las vulnerabilidades de reentrada, los tokens tóxicos y las aprobaciones de tokens falsificadas. Los activos digitales se consideran recursos y no pueden ser copiados o destruidos arbitrariamente.

Programación orientada a objetos y basada en activos

Move es un lenguaje de programación orientado a objetos y basado en activos. En Sui Move, los objetos son el núcleo, lo que permite un control de acceso de alta granularidad. La estructura de almacenamiento global mapea los ID de los objetos a los objetos, soportando un procesamiento de transacciones eficiente y una representación de acceso precisa. El modelo de capacidades de Move asegura que los objetos tengan permisos específicos, previniendo operaciones no autorizadas como la copia o eliminación de objetos.

Uso de Move Prover para la verificación formal

Move Prover es una herramienta de verificación que ayuda a los desarrolladores a escribir especificaciones formales para las funciones clave de las aplicaciones y verifica la corrección de la ejecución del código en 30 segundos. Esta herramienta es crucial para prevenir errores comunes en contratos inteligentes, permitiendo establecer precondiciones, postcondiciones e invariantes de datos. Move Prover se integra con el sistema de construcción Move, lo que permite a los desarrolladores verificar su código fácilmente.

Gobernanza y comunidad

El desarrollo de Move ahora implica equipos diversos de varias instituciones, incluyendo el ámbito académico y la comunidad de seguridad. Los principios de diseño del lenguaje se centran en la simplicidad y la aplicabilidad multiplataforma, asegurando que sea flexible y fácil de usar tanto para desarrolladores experimentados de contratos inteligentes como para novatos de Web2. El enfoque de gobernanza de Move está diseñado para evitar decisiones controvertidas, centrándose en principios centrales y ampliando el lenguaje solo cuando sea necesario.

Ecosistema Move en sus inicios

Sui

Sui es una cadena de bloques de prueba de participación descentralizada, con un rendimiento y almacenamiento escalables horizontalmente. Su equipo proviene de un departamento avanzado de desarrollo de cadenas de bloques, dedicado a la cadena de bloques Diem y al lenguaje de programación Move. Sui se espera que pueda manejar más de 120,000 TPS, procesando transacciones independientes en subsegundos y transacciones más complejas en 3 segundos.

Aptos

Aptos es una Cadena de bloques de Capa 1, cuyo objetivo es crear acceso descentralizado a activos universal y equitativo para miles de millones de personas. Aptos actualmente puede alcanzar un rendimiento de hasta 10,000 TPS, con un rendimiento máximo teórico de 160,000 TPS. La mayoría de las transacciones se verifican después de dos difusiones de red, y el tiempo de confirmación final es de 250 milisegundos.

Movement Labs

Movement Labs es un equipo de desarrollo de Cadena de bloques, dedicado a integrar redes de Cadena de bloques para soportar las soluciones Layer 2 más rápidas y seguras en Ethereum. Su L2 insignia conectará Rollup con Move Stack, introduciendo MoveVM en Ethereum.

Resolver problemas de seguridad

Movement Labs se dedica a construir un ecosistema de cadena de bloques modular basado en Move, comenzando con M2, que es la primera capa 2 de MoveVM de Ethereum. Introducen un nuevo entorno de ejecución, diseñado para más de 30,000 transacciones por segundo. Move-EVM permite a los desarrolladores desplegar código verificado en tiempo de ejecución, previniendo la reentrada y otros vectores de ataque.

integrará Move con modularidad

La filosofía de diseño de Movement Labs se centra en la integración modular. Al descomponer la Cadena de bloques en componentes modulares con interfaces claras, se logra una integración, personalización y actualización sin interrupciones. Los desarrolladores pueden combinar módulos para personalizar su pila.

EVM paralelo y Move

EVM paralelo es un desarrollo que mejora la escalabilidad y el rendimiento de Ethereum. Move y Solidity sirven a diferentes propósitos, pueden coexistir y complementarse. En Movement Labs, los desarrolladores pueden elegir el lenguaje que mejor se adapte a sus necesidades.

Hoja de ruta futura

En el corto plazo, los desarrolladores pueden esperar desplegar el primer contrato inteligente Move en la red de pruebas de Ethereum. Movement Labs también lanzará un conjunto de herramientas y recursos Move para apoyar a los desarrolladores. El objetivo a largo plazo es lograr un lanzamiento completo de Rollup en la red principal, llevando el poder de Move a todo el ecosistema de Ethereum.

Movement Labs valora la región de Asia-Pacífico y continuará apoyando a los desarrolladores de Move en Asia, proporcionando los recursos, la educación y las oportunidades necesarias para fomentar el crecimiento del ecosistema Move.