Introdução

Blockchain e a indústria criptográfica revolucionaram o setor financeiro e o mundo. Várias start-ups surgiram para ajudar no crescimento da indústria e criar um uso generalizado de criptomoedas. Muitos projetos geraram novas plataformas que atraem usuários convencionais para atrair um público mais amplo.

Esses projetos são alimentados por diversos mecanismos que garantem o bom andamento das operações, garantindo uma plataforma segura, protegida e eficiente. Os contratos inteligentes , que são programas de computador, são um componente chave, pois controlam as atividades e eventos de um contrato. Para garantir isso, o contrato inteligente Move foi criado para ajudar os desenvolvedores a criar um software adaptável que facilite o desenvolvimento de programas.

Este artigo examinará os recursos, usos, componentes do Move e o segredo por trás de sua recente popularidade.

O que é o Move?

Move é uma linguagem de bytecode viável que implementa contratos inteligentes e transações personalizáveis. Foi desenvolvido para resolver os problemas gerais que afetavam as linguagens de programação blockchain. Com a vantagem adicional de segurança e proteção, o Move cria um caminho para os desenvolvedores criarem programas flexíveis que gerenciam e transferem facilmente ativos digitais.

Embora tenha outros usos, o objetivo principal da equipe de desenvolvimento do Move foi estabelecer uma linguagem que garantisse que um determinado ativo digital pudesse ser gasto apenas uma vez e pudesse ser mantido por apenas uma pessoa por vez.

Histórico da linguagem de programação Move

O Move foi desenvolvido como uma linguagem de programação segura e simples para o blockchain Diem desenvolvido pelo Facebook. A Libra foi desenvolvida para ser uma blockchain fácil, barata e popularmente usada em todo o mundo. Foi desenvolvido como um ativo digital baseado em blockchain flexível e de baixo custo. Assim, o Move foi projetado para realizar transações blockchain e permitir que os desenvolvedores criem aplicativos compatíveis com Libra.

Antes do final de 2020, a Libra enfrentou alguns problemas e reações de membros econômicos de diferentes países e problemas com seu nome e logotipo, o que a fez mudar seu nome para Diem. O lançamento do blockchain falhou em janeiro de 2022 devido às preocupações das potências globais sobre os problemas de segurança e lavagem de dinheiro que o lançamento do Libra criaria.

Move foi escrito usando a linguagem RUST ; uma popular linguagem de programação multiparadigma muito procurada por programadores em todo o mundo em 2018. A linguagem de programação do Rust priorizou a segurança da memória e a prevenção de corridas de dados simultâneas. Foi desenvolvido por Graydon Hoare em 2006 enquanto ele trabalhava para Mozilla Research.

Mover metas de design

O design do Move para o blockchain Diem foi amplamente focado em disponibilizar uma plataforma segura e facilmente programável. Para mostrar isso, a Move teve que mostrar as leis da blockchain Diem e sua moeda de maneira simples, precisa e verificável.

Com isso em mente, os desenvolvedores do Move selecionaram metas de design específicas para apoiar o crescimento do programa e permanecer relevante no futuro. Alguns dos objetivos do projeto incluem o seguinte:

Recursos de primeira classe

Mover permite que os usuários declarem um ativo personalizado como um tipo de recurso. Esses ativos são chamados de recursos de primeira classe e recebem privilégios especiais e segurança adicional. Os recursos de primeira classe também terão acesso controlado automaticamente, portanto, apenas usuários com o código de segurança correto poderão escalar através do ponto de acesso. O Move também possui módulos como o popular contrato inteligente Ethereum (Solidity). Esses módulos são blocos de código que contêm recursos e diferentes tipos e procedimentos.

A construção especial do Move faz com que os recursos possam ser completamente transparentes em módulos enquanto são opacos para invocações externas ao módulo. Outra característica importante da linguagem Move é que os recursos nunca podem ser copiados ou completamente deletados. Eles só podem ser movidos de um local de armazenamento para outro.

Flexibilidade

Os scripts de transação serão incluídos em todas as transações Diem (Libra). Esses scripts de transação são usados em um módulo para fazer chamadas e chamar procedimentos. O procedimento principal único pode ser composto de código personalizável e arbitrário. Um único script de transação pode chamar vários procedimentos.

Os módulos Move oferecem flexibilidade aos programadores com a chance de criar códigos seguros. O Move pode ser comparado à linguagem de programação orientada a objetos devido ao seu relacionamento idêntico entre “classes, métodos, objetos” e “módulos, procedimentos e recursos”.

verificabilidade

Ferramentas de verificação off-chain também são permitidas no MOVE, mesmo que já possua um sistema que permite a verificação on-chain. Isso ocorre porque uma verificação on-chain é imprópria para um blockchain de alto nível. A introdução da verificação off-chain reduzirá o complexo processo de verificação on-chain. Para conseguir isso, a linguagem de programação move se concentraria em três designs distintos:

Sem Despacho Dinâmico

Isso é usado para evitar a construção complexa de gráficos de chamada e permitir que os locais de chamada sejam determinados estaticamente.

Modularidade

O MOVE, com o auxílio da modularidade, é capaz de isolar módulos para verificação funcional. Os módulos de movimentação ajudariam na abstração de dados e na localização de operações de recursos importantes.

Mutabilidade Limitada

Esse design é adequado para casos voltados para a utilização de tipos de referência semelhantes a C++. Permite no máximo uma referência mutável em um ponto.

Segurança

Três propriedades de segurança são essenciais na linguagem de programação Move; segurança de tipo, segurança de recurso e segurança de memória. Existem diferentes abordagens possíveis que o Move poderia usar para garantir que os programas que não aderem a essas propriedades de segurança não sejam aceitos.

A primeira abordagem seria o Move usar uma linguagem de programação de alto nível equipada com um compilador encarregado de examinar as propriedades.

A segunda abordagem seria usar um assembly não tipado de baixo nível junto com verificações de segurança. O Move aceita ambas as abordagens e depende de sua execução, que é um bytecode digitado que é avançado em comparação com o bytecode e não tão avançado quanto o idioma de origem.

Como funciona o Move?

A linguagem peculiar do Move foi desenvolvida com lógica linear, que limita o uso de recursos a uma única vez e faz com que os ativos digitais não possam ser excluídos ou duplicados. Isso permite que os desenvolvedores codifiquem tipos de recursos personalizados que não podem ser apagados ou copiados implicitamente porque os tipos de recursos são tratados como de primeira classe.

Move emprega um sistema de tipo estático que define variáveis em uma linguagem de programação como um determinado tipo (ou seja, um número ou uma palavra). O movimento ainda mantém a segurança dos recursos, mas deixa espaço suficiente para usá-los como qualquer outro recurso que não seja de primeira classe. Eles podem ser facilmente armazenados em estruturas de dados ou passados como valores em cálculos.

Isso significa que os recursos no Move são altamente protegidos e, ao mesmo tempo, capazes de funcionar sem restrições. O código fornece um nível de segurança, mas também pode ser usado para todas as outras operações facilmente. Esta é uma combinação perfeita para programas de blockchain, pois resolve os problemas de segurança e escalabilidade enfrentados pela maioria dos blockchains.

O que torna o Move único?

A maioria dos projetos de criptomoeda tem um certo recurso ou atributo além do nome que os diferencia de todas as outras plataformas e concorrentes. Move não é diferente nesse aspecto. Dotou-se de certas características que o tornam uma escolha melhor para projetos existentes. Aqui estão alguns recursos que diferenciam o Move do resto.

• Mover linguagem envolve políticas de controle de acesso incorporadas na semântica da linguagem.
• O Move não impõe um sistema de tipo padrão para ativos digitais como Ether ou Bitcoin .
• Em todo o idioma, você pode localizar uma única representação de localização de ativos. Qualquer tipo de ativo personalizado, como tokens ERC20 , deve ser examinado quanto aos recursos de segurança especificados pelo programador que criou os tokens.
• O Move está livre dos problemas de limitações

Componentes do MOVE

Os recursos exclusivos do Move não são tudo o que faz a linguagem de programação funcionar. Também compreende vários componentes adaptados aos processos do programa. Aqui estão alguns componentes que os usuários podem encontrar no MOVE.

tipos

No MOVE, isso se refere aos tipos de dados primitivos suportados. Booleanos, inteiros sem sinal de 64 bits, matrizes de bytes de tamanho fixo e endereços de 256 bits são exemplos.

Estrutura

Existem dois tipos de estrutura. O primeiro é chamado Kind, que se refere a estruturas de recursos. A segunda, denominada irrestrita, refere-se à estrutura geral.

Procedimentos

Sob este componente, temos dois métodos principais, ou seja, público e interno. A dependência do módulo acíclico ajuda a evitar ataques recorrentes.

Verificador de bytecode

Este componente tem a tarefa de verificar as características de segurança antes que os módulos sejam publicados. Os programas em Move devem passar pelo verificador antes de serem liberados. A verificação é dividida em diferentes etapas.

• Verificação de que o tamanho da pilha ainda não foi modificado após a conclusão de todas as operações.
• Verificação de tipo
• Desenvolvimento do gráfico de controle
• Verificação de referência
• Vinculação de referências ao estado global para verificar declaração e conformidade de uso
• Verificação de recursos

Interpretador de bytecode

Uma vez concluído o processo de verificação, todos os programas devem passar pelo interpretador. A execução de programas pode ser comparada ao Ethereum, pois ambas as plataformas usam parâmetros de gás, garantindo execuções de loop infinito.

Mover máquina virtual

A máquina virtual do Move não tem desempenho diferente do seu blockchain médio. É composto por vários blocos contendo múltiplas transações, e cada transação, uma vez executada, cria um efeito de transação. Os efeitos criam o estado global atualizado do blockchain, separando os efeitos das transições de estado.

Segredo por trás da recente popularidade do Move

Seria de se esperar que o Move tivesse se tornado uma linguagem de programação popular até agora, mas devido aos problemas enfrentados por Diem (anteriormente Libra), seu crescimento foi interrompido. Recentemente, experimentou os holofotes graças ao Aptos.

Aptos é um blockchain de camada um criado usando a linguagem de programação Move. Foi desenvolvido por desenvolvedores da Meta que decidiram desenvolver sua blockchain depois que a Meta abandonou o projeto blockchain Diem (anteriormente Libra). Ele combina transações paralelas e a linguagem de programação Move para produzir uma velocidade de transação teórica de 100,00 transações por segundo.

A decisão da Aptos de usar a linguagem de programação Move criou uma plataforma que teoricamente pode alcançar altas velocidades de transação e escalabilidade sem abrir mão da segurança do blockchain. A Aptos se preparou com componentes que ajudariam o blockchain a se destacar do resto.

Move e outras linguagens de programação

[Move não é a única linguagem de programação disponível; é freqüentemente comparado a Solidez e Clareza. Essas três linguagens de programação são as mais usadas em várias plataformas no espaço blockchain. Abaixo está uma análise da comparação do Move em comparação com os outros dois.

Movimento vs. Solidez

Solidity é uma linguagem de programação construída exclusivamente para criar contratos inteligentes na rede Ethereum. Como tal, os membros por trás da blockchain Ethereum fizeram da Solidity a principal escolha para implementar contratos inteligentes para máquinas virtuais Ethereum, bem como plataformas de desenvolvimento de blockchain compatíveis com EVM. A linguagem de colchetes de alto nível inspirou-se em outras linguagens de programação como Javascript, C++ e Python.

O design de solidez permite que os desenvolvedores criem scripts de aplicativos que fazem uso da lógica de autoaplicação. Além disso, o Solidity fazendo uso da sintaxe do javascript como inspiração levou o Javascript a ser facilmente compreendido e implementado pelos desenvolvedores.

Assim como o Solidity, o Move foi criado pensando em diferentes redes. A principal rede para implementar a linguagem Move foi a Diem, que acabou sendo dissolvida. O Solidity, por outro lado, foi desenvolvido para o popular blockchain Ethereum, que ainda está em execução até hoje.

O nível de segurança diante de ataques de reentrada é uma grande diferença entre o Move e o Solidity. Solidity é comumente conhecido por ser vulnerável a ataques de reentrada se o código construído com a linguagem for fraco. O Move, por outro lado, não sofre ataques de reentrada devido aos seus recursos de segurança de ativos (definição de recursos e separação de autoridade de controle, tipagem estática, genéricos, sistema de módulos e verificação formal).

Por fim, um fator chave para os desenvolvedores na escolha de uma linguagem de programação é a facilidade de uso. O Solidity é conhecido como uma das linguagens mais flexíveis que existem, e é por isso que ainda é popularmente usado hoje. O Move, infelizmente, não é tão flexível, mas ainda é fácil de usar.

Movimento vs. Clareza

Blockstack é uma plataforma que está definida para desenvolver sua própria internet e fornecer serviços e instalações de contratos inteligentes. Para facilitar isso, a Blockstack introduziu o Clarity como a linguagem de programação de contrato inteligente para seu próprio Stacks Blockchain. Clarity é uma linguagem de programação que permite aos usuários desenvolver seus próprios termos especiais para o contrato, em vez de termos pré-programados.

Clareza também elimina as chances de transações inesperadas, dando-lhe um nível extra de segurança. Uma característica importante da clareza é um aspecto de certeza que fornece uma linguagem de programação “decidível” que declara o que o computador fará com o código.

O Move é baseado no Diem, um blockchain altamente escalável, seguro e flexível, enquanto o Clarity é baseado no Stack 2.0, uma rede de código aberto para diferentes dApps que usam a rede Ethereum para criar novos.

A compilação do Move também o diferencia do Clarity. O Move faz uso de um compilador para a execução de seus códigos. Ao contrário do Move, o Clarity não usa um compilador ao executar um código.

Conclusão

O Move se mostrou um tipo especial de linguagem de programação que revolucionará a indústria de blockchain como um todo. Até agora, chamou a atenção do novo blockchain Aptos, e só o tempo dirá o quão bem-sucedida será a combinação.