Introducción al lenguaje Move

Move es un lenguaje de programación basado en Rust, diseñado específicamente para aplicaciones de blockchain. 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 admite bibliotecas, herramientas y comunidades de desarrolladores intercadena.

Principales características del lenguaje Move

Move tiene múltiples ventajas sobre las lenguas de blockchain existentes:

1. Modelo de programación orientado a recursos
2. Características de seguridad integradas
3. Diseño orientado a objetos y basado en activos
4. Control de acceso de grano fino
5. Procesamiento de transacciones eficiente
6. Prevención de problemas comunes de Web3 ( como vulnerabilidades de reentrada, tokens tóxicos, etc. )

El modelo de capacidad de Move garantiza que los objetos tengan permisos específicos, evitando operaciones no autorizadas como la copia o eliminación de objetos.

Herramienta de verificación formal Move Prover

Move Prover es una herramienta de verificación que ayuda a los desarrolladores:

• Escribir especificaciones de formulario para las funciones clave de la aplicación
• Verificar la corrección de la ejecución del código en un corto período de tiempo
• Establecer condiciones previas, condiciones posteriores y inmutabilidad de los datos
• Prevenir errores comunes en contratos inteligentes

Move Prover se integra con el sistema de construcción Move, lo que permite a los desarrolladores verificar su código fácilmente.

Ecosistema Move

Sui

Sui es una blockchain de prueba de participación descentralizada que tiene las siguientes características:

• Escalabilidad horizontal de la capacidad de procesamiento y almacenamiento
• Puede manejar más de 120,000 TPS
• Procesar transacciones independientes en milisegundos
• Procesar transacciones complejas en 3 segundos ( objeto compartido )
• Usar el protocolo de consenso Narwhal & Tusk

Sui ha realizado algunas optimizaciones en las funciones centrales de Move para mejorar el rendimiento de la red y reducir el tiempo de confirmación de las transacciones.

Aptos

Aptos es una blockchain de Capa 1 con las siguientes características:

• Actualmente se puede lograr una capacidad de hasta 10,000 TPS.
• La capacidad máxima teórica es de 160,000 TPS
• El tiempo de confirmación final es de 250 milisegundos
• Lograr alto rendimiento a través de la ejecución en paralelo y Block-STM
• Uso del motor de consenso HotStuff adaptado de Diem

Aptos ha ampliado las funciones centrales de MoveVM a través de una capa de adaptación, incluyendo paralelismo, tablas de almacenamiento a gran escala y desacoplamiento de almacenamiento de alta granularidad.

Movement Labs

Movement Labs es un equipo de desarrollo dedicado a integrar redes de blockchain, con el objetivo de introducir MoveVM en el ecosistema de Ethereum. Su trabajo principal incluye:

1. Desarrollar el primer MoveVM Layer 2 en Ethereum (M2)
2. Introducción de un nuevo entorno de ejecución de alto rendimiento
3. Crear Move-EVM, que permite desplegar código verificado
4. Lanzamiento de Move Stack, un marco de capa de ejecución compatible con los marcos de Rollup existentes.

El concepto de diseño de Movement Labs enfatiza la integración modular, permitiendo a los desarrolladores personalizar la pila de blockchain. También están desarrollando un traductor de Solidity a Move para aumentar la compatibilidad.

Desarrollo futuro

A corto plazo, los desarrolladores pueden esperar desplegar el primer contrato inteligente Move en la red de prueba de Ethereum. El objetivo a largo plazo es implementar un lanzamiento completo de Rollup en la red principal, llevando las ventajas de Move a todo el ecosistema de Ethereum. Movement Labs también continuará apoyando a los desarrolladores de Move en la región de Asia-Pacífico, proporcionando los recursos y oportunidades necesarios para promover el desarrollo global del ecosistema Move.