Introducción

Blockchain y la criptoindustria han revolucionado el sector financiero y el mundo. Se han generado varias empresas emergentes para ayudar al crecimiento de la industria y crear un uso generalizado de criptomonedas. Muchos proyectos han generado nuevas plataformas que atraen a los usuarios principales para atraer a una audiencia más amplia.

Estos proyectos están impulsados por varios mecanismos que aseguran el buen funcionamiento de las operaciones, asegurando una plataforma segura y eficiente. Los contratos inteligentes , que son programas de computadora, son un componente clave ya que controlan las actividades y eventos de un contrato. Para garantizar eso, se creó el contrato inteligente Move para ayudar a los desarrolladores a crear software adaptable que facilite el desarrollo de programas.

Este artículo examinará las características, los usos, los componentes y el secreto detrás de su reciente popularidad de Move.

¿Qué es Move?

Move es un lenguaje de código de bytes viable que implementa contratos inteligentes y transacciones personalizables. Fue desarrollado para abordar los problemas generales que afectaban a los lenguajes de programación de blockchain. Con la ventaja adicional de seguridad y protección, Move crea una vía para que los desarrolladores construyan programas flexibles que administren y transfieran activos digitales fácilmente.

Aunque tiene otros usos, el objetivo principal del equipo de desarrollo de Move era establecer un lenguaje que garantizara que un activo digital dado se pueda gastar solo una vez y que solo lo pueda tener una persona a la vez.

Antecedentes del lenguaje de programación Move

Move fue desarrollado como un lenguaje de programación simple y seguro para la cadena de bloques Diem desarrollada por Facebook. Libra se desarrolló para ser una cadena de bloques fácil, económica y de uso popular en todo el mundo. Fue desarrollado como un activo digital basado en blockchain flexible y de bajo costo. Por lo tanto, Move fue diseñado para realizar transacciones de cadena de bloques y permitir a los desarrolladores crear aplicaciones compatibles con Libra.

Antes de finales de 2020, Libra enfrentó algunos problemas y reacciones negativas de miembros económicos de diferentes países y problemas con su nombre y logotipo, lo que hizo que cambiara su nombre a Diem. El lanzamiento de blockchain fracasó en enero de 2022 debido a las preocupaciones de las potencias mundiales sobre los problemas de seguridad y lavado de dinero que crearía el lanzamiento de Libra.

Move fue escrito usando el lenguaje RUST ; un popular lenguaje de programación multiparadigma muy buscado por los programadores de todo el mundo en 2018. El lenguaje de programación de Rust priorizó la seguridad de la memoria y la prevención de carreras de datos simultáneas. Fue desarrollado por Graydon Hoare en 2006 mientras trabajaba para Mozilla Research.

Mover objetivos de diseño

El diseño de Move para la cadena de bloques de Diem se centró en gran medida en hacer disponible una plataforma segura y fácil de programar. Para mostrar eso, Move tuvo que mostrar las leyes de la cadena de bloques de Diem y su moneda de una manera simple, precisa y verificable.

Con esto en mente, los desarrolladores de Move seleccionaron objetivos de diseño específicos para respaldar el crecimiento del programa y seguir siendo relevantes en el futuro. Algunos de los objetivos de diseño incluyen lo siguiente:

Recursos de primera clase

Move permite a los usuarios declarar un activo personalizado como un tipo de recurso. Estos activos se denominan recursos de primera clase y se les otorgan privilegios especiales y seguridad adicional. Los recursos de primera clase también tendrán acceso controlado automáticamente, por lo que solo los usuarios con el código de seguridad correcto podrán escalar a través del punto de acceso. Move también tiene módulos como el popular contrato inteligente Ethereum (Solidity). Estos módulos son bloques de código que contienen recursos y diferentes tipos y procedimientos.

La construcción especial de Move hace que los recursos puedan ser completamente transparentes en los módulos mientras que son opacos a las invocaciones externas al módulo. Otra característica importante del lenguaje Move es que los recursos nunca se pueden copiar ni eliminar por completo. Solo se pueden mover de un lugar de almacenamiento a otro.

Flexibilidad

Los scripts de transacción se incluirán en cada transacción de Diem (Libra). Estos scripts de transacciones se utilizan en un módulo para realizar llamadas y procedimientos de llamada. El procedimiento principal único puede estar compuesto por código personalizable y arbitrario. Un solo script de transacción puede llamar a varios procedimientos.

Los módulos Move brindan flexibilidad a los programadores con la oportunidad de crear códigos seguros. Move puede compararse con un lenguaje de programación orientado a objetos debido a su relación idéntica entre "clases, métodos, objetos" y "módulos, procedimientos y recursos".

verificabilidad

Las herramientas de verificación fuera de la cadena también están permitidas en MOVE, aunque ya tiene un sistema que permite la verificación en la cadena. Esto se debe a que una verificación en cadena no es adecuada para una cadena de bloques de alto nivel. La introducción de la verificación fuera de la cadena reducirá el complejo proceso de verificación en la cadena. Para lograr esto, el lenguaje de programación de movimiento se centraría en tres diseños distintos:

Sin envío dinámico

Esto se utiliza para evitar la construcción compleja de gráficos de llamadas y permitir que los sitios de llamadas se determinen estáticamente.

Modularidad

MOVE, con la ayuda de la modularidad, puede aislar módulos para verificación funcional. Mover módulos ayudaría con la abstracción de datos y la localización de operaciones de recursos importantes.

Mutabilidad limitada

Este diseño es decente para los casos que están orientados hacia la utilización de tipos de referencia que son similares a C++. Permite un máximo de una referencia mutable en un punto.

Seguridad

Tres propiedades de seguridad son esenciales en el lenguaje de programación Move; seguridad de tipo, seguridad de recursos y seguridad de memoria. Hay diferentes enfoques posibles que Move podría usar para garantizar que no se acepten los programas que no cumplan con estas propiedades de seguridad.

El primer enfoque sería que Move usara un lenguaje de programación de alto nivel equipado con un compilador encargado de revisar las propiedades.

El segundo enfoque sería usar un ensamblado sin tipo de bajo nivel junto con comprobaciones de seguridad. Move elimina ambos enfoques y se basa en su ejecución, que es un código de bytes escrito que es avanzado en comparación con el código de bytes y no tan avanzado como el idioma de origen.

¿Cómo funciona Move?

El peculiar lenguaje de Move se desarrolló utilizando una lógica lineal, que limita el uso de los recursos a una sola vez y hace que los activos digitales no se puedan eliminar ni duplicar. Esto permite a los desarrolladores codificar tipos de recursos personalizados que no se pueden borrar o copiar implícitamente porque los tipos de recursos se tratan como de primera clase.

Move emplea un sistema de tipo estático que define las variables en un lenguaje de programación como un cierto tipo (es decir, un número o una palabra). Move aún mantiene la seguridad de los recursos, pero deja suficiente espacio para usarlos como cualquier otro recurso que no sea de primera clase. Pueden almacenarse fácilmente dentro de estructuras de datos o pasarse como valores en los cálculos.

Esto significa que los recursos en Move están altamente protegidos y, al mismo tiempo, pueden funcionar sin restricciones. El código proporciona un nivel de seguridad, pero también se puede utilizar fácilmente para todas las demás operaciones. Esta es una combinación perfecta para los programas de cadena de bloques, ya que resuelve los problemas de seguridad y escalabilidad que enfrentan la mayoría de las cadenas de bloques.

¿Qué hace que Move sea único?

La mayoría de los proyectos de criptomonedas tienen una determinada característica o atributo aparte del nombre que los diferencia de todas las demás plataformas y competidores. Move no es diferente en ese aspecto. Se equipó con ciertas características que lo convierten en una mejor opción para proyectos existentes. Aquí hay algunas características que distinguen a Move del resto.

• Move language implica políticas de control de acceso integradas en la semántica del lenguaje.
• Move no aplica un sistema de tipo predeterminado para activos digitales como Ether o Bitcoin .
• En todo el idioma, puede ubicar una sola representación de ubicación de activos. Cualquier tipo de activo personalizado, como los tokens ERC20 , debe examinarse en busca de las características de seguridad especificadas por el programador que creó los tokens.
• Move está libre de problemas de limitaciones

Componentes de MOVER

Las características únicas de Move no son todo lo que hace que el lenguaje de programación funcione. También comprende varios componentes adaptados a los procesos del programa. Aquí hay algunos componentes que los usuarios pueden encontrar en MOVE.

Tipos

En MOVE, esto se refiere a los tipos de datos primitivos admitidos. Los booleanos, los enteros sin signo de 64 bits, las matrices de bytes de tamaño fijo y las direcciones de 256 bits son ejemplos.

estructura

Hay dos tipos de estructura. El primero se llama Tipo, que se refiere a estructuras de recursos. El segundo, llamado sin restricciones, se refiere a la estructura general.

Procedimientos

Bajo este componente, tenemos dos métodos principales, a saber, público e interno. La dependencia del módulo acíclico ayuda a prevenir ataques recurrentes.

Verificador de código de bytes

Este componente tiene la tarea de verificar las características de seguridad antes de que se publiquen los módulos. Los programas en movimiento deben pasar por el verificador antes de ser lanzados. La verificación se divide en diferentes etapas.

• Verificación de que el tamaño de la pila aún no se ha modificado al finalizar todas las operaciones.
• Comprobación de tipo
• Desarrollo de gráficos de control
• Verificación de referencia
• Vinculación de referencias al estado global para verificar la conformidad de declaración y uso
• Comprobación de recursos

Intérprete de código de bytes

Una vez que se completa el proceso de verificación, todos los programas deben pasar por el intérprete. La ejecución de programas se puede comparar con Ethereum, ya que ambas plataformas utilizan parámetros de gas, lo que garantiza ejecuciones de bucle infinito.

Mover máquina virtual

La máquina virtual de Move no funciona de manera diferente a su cadena de bloques promedio. Comprende varios bloques que contienen múltiples transacciones, y cada transacción, una vez ejecutada, crea un efecto de transacción. Los efectos crean el estado global actualizado de la cadena de bloques, separando los efectos de las transiciones de estado.

Secreto detrás de la popularidad reciente de Move

Uno hubiera esperado que Move ya se hubiera convertido en un lenguaje de programación popular, pero debido a los problemas que enfrentó Diem (anteriormente Libra), su crecimiento se vio interrumpido. Recientemente ha probado el protagonismo gracias a Aptos.

Aptos es una cadena de bloques de capa uno creada con el lenguaje de programación Move. Fue desarrollado por los desarrolladores de Meta que decidieron desarrollar su cadena de bloques después de que Meta abandonara el proyecto de cadena de bloques Diem (anteriormente Libra). Combina transacciones paralelas y el lenguaje de programación Move para producir una velocidad de transacción teórica de 100.000 transacciones por segundo.

La decisión de Aptos de utilizar el lenguaje de programación Move creó una plataforma que, en teoría, puede lograr altas velocidades de transacción y escalabilidad sin renunciar a la seguridad de la cadena de bloques. Aptos se ha configurado con componentes que ayudarían a la cadena de bloques a destacarse del resto.

Move y otros lenguajes de programación

[Move no es el único lenguaje de programación disponible; se compara frecuentemente con la Solidez y la Claridad. Estos tres lenguajes de programación son los más utilizados en varias plataformas en el espacio blockchain. A continuación se muestra un análisis de la comparación de Move en comparación con los otros dos.

Movimiento vs. Solidez

Solidity es un lenguaje de programación creado únicamente para crear contratos inteligentes en la red Ethereum. Como tal, los miembros detrás de la cadena de bloques de Ethereum hicieron de Solidity la primera opción para implementar contratos inteligentes para máquinas virtuales de Ethereum, así como plataformas de desarrollo de cadenas de bloques compatibles con EVM. El lenguaje de paréntesis de alto nivel se inspiró en otros lenguajes de programación como Javascript, C++ y Python.

El diseño de solidez permite a los desarrolladores crear secuencias de comandos de aplicaciones que hacen uso de la lógica autoejecutable. Además, el hecho de que Solidity utilice la sintaxis de javascript como inspiración ha llevado a que los desarrolladores entiendan e implementen Javascript fácilmente.

Al igual que Solidity, Move se creó con diferentes redes en mente. La principal red para implementar el lenguaje Move fue Diem, que finalmente se disolvió. Solidity, por otro lado, se desarrolló para la popular cadena de bloques Ethereum, que todavía funciona hasta el día de hoy.

El nivel de seguridad frente a los ataques de reingreso es una gran diferencia entre Move y Solidity. Se sabe comúnmente que Solidity es vulnerable a los ataques de reingreso si el código creado con el lenguaje es débil. Move, por otro lado, no sufre ataques de reingreso debido a sus características de seguridad de activos (definición de recursos y separación de autoridad de control, tipificación estática, genéricos, sistema de módulos y verificación formal).

Por último, un factor clave para los desarrolladores a la hora de elegir un lenguaje de programación es la facilidad de uso. Solidity es conocido como uno de los lenguajes más flexibles que existen, y es por eso que todavía se usa popularmente en la actualidad. Move, desafortunadamente, no es tan flexible, pero sigue siendo fácil de usar.

Movimiento vs Claridad

Blockstack es una plataforma que se dedica a desarrollar su propia Internet y brindar servicios e instalaciones de contratos inteligentes. Para facilitar eso, Blockstack introdujo Clarity como el lenguaje de programación de contratos inteligentes para su propio Stacks Blockchain. Clarity es un lenguaje de programación que permite a los usuarios desarrollar sus propios términos especiales para el contrato en lugar de los preprogramados.

Clarity también elimina las posibilidades de que se produzcan transacciones inesperadas, lo que le otorga un nivel adicional de seguridad. Una característica importante de la claridad es un aspecto de certeza que proporciona un lenguaje de programación "decidible" que establece lo que la computadora hará con el código.

Move se basa en Diem, una cadena de bloques altamente escalable, segura y flexible, mientras que Clarity se basa en Stack 2.0, una red de código abierto para diferentes dApps que utilizan la red Ethereum para crear otras nuevas.

La compilación de Move también la distingue de Clarity. Move hace uso de un compilador para la ejecución de sus códigos. A diferencia de Move, Clarity no usa un compilador mientras ejecuta un código.

Conclusión

Move ha demostrado ser un tipo especial de lenguaje de programación que revolucionará la industria de la cadena de bloques en su conjunto. Hasta ahora, ha llamado la atención de la nueva cadena de bloques Aptos, y solo el tiempo dirá qué tan exitosa será la combinación.