Move lenguaje: una nueva opción para la programación de contratos inteligentes seguros y eficientes en 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 resolver 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 admite bibliotecas, herramientas y comunidades de desarrolladores que cruzan cadenas de bloques.

Principales ventajas del lenguaje Move

Move tiene varias ventajas sobre los lenguajes de cadena de bloques existentes:

1. Un modelo de programación orientado a recursos y características de seguridad integradas ayudan a construir aplicaciones de cadena de bloques seguras y de alto rendimiento.
2. El enfoque del diseño está en evitar problemas comunes de Web3, como las vulnerabilidades de reentrada, los tokens tóxicos, etc.
3. Tratar los activos digitales como recursos, evitar la copia o destrucción arbitraria

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 fundamentales, permitiendo un control de acceso de grano fino. 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.

Herramienta de verificación formal Move Prover

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 a verificar rápidamente la corrección de la ejecución del código. Es crucial para prevenir errores comunes en contratos inteligentes, permitiendo establecer precondiciones, postcondiciones e invarianzas de datos. Move Prover se integra con el sistema de construcción Move, facilitando a los desarrolladores la verificación del código.

Ecosistema Move

Sui

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

Aptos

Aptos es una cadena de bloques de Capa 1, diseñada para crear acceso descentralizado a activos universal y justo para miles de millones de personas. Aptos actualmente puede lograr 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 transmisiones en la red, con un tiempo de confirmación final de 250 milisegundos.

La innovación de Movement Labs

Movement Labs se dedica a integrar redes de cadena de bloques, apoyando la solución Layer 2 más rápida y segura sobre Ethereum. Su L2 insignia conecta Rollup con Move Stack, introduciendo MoveVM en el ecosistema de Ethereum.

Mejora de la seguridad

Movement Labs construyó un ecosistema de cadena de bloques modular basado en Move, comenzando con el primer MoveVM Layer 2( de Ethereum. Introdujeron un nuevo entorno de ejecución, diseñado para más de 30,000 transacciones por segundo. Move-EVM permite implementar código verificado en tiempo de ejecución, previniendo reentradas y otros vectores de ataque.

) integración modular

Movement Labs adopta un enfoque de diseño modular e integrado, descomponiendo la Cadena de bloques en componentes modulares con interfaces claras. Este método permite una integración, personalización y actualización sin fisuras, y los desarrolladores pueden mezclar y combinar módulos para personalizar su pila tecnológica.

Compatibilidad entre Move y Solidity

Movement diseñó un traductor de Solidity que permite que los contratos inteligentes escritos en Solidity adopten principios de programación orientada a objetos en Movement. Sin embargo, los contratos traducidos pueden enfrentar algunos desafíos de ingeniería, como el acceso limitado a los objetos de Move o las diferencias en los estándares de tokens.

Desarrollo futuro

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

Movement Labs valora el desarrollo de 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.