Introdução

A blockchain e a indústria criptográfica revolucionaram o setor financeiro e o mundo. Várias start-ups geraram para ajudar o crescimento da indústria e criar o uso generalizado das criptomoedas. Muitos projetos criaram novas plataformas que apelam aos utilizadores comuns para atrair um público mais alargado.

Estes projetos são alimentados por vários mecanismos que asseguram a execução suave das operações, garantindo uma plataforma segura, segura e eficiente. Os contratos inteligentes, que são programas de computador, são um componente-chave uma vez que controlam as atividades e os eventos de um contrato. Para garantir isso, o contrato Move smart foi criado para ajudar os desenvolvedores a criar um software adaptável que facilita o desenvolvimento de programas.

Este artigo examinará as características, os usos, os componentes e o segredo por trás da sua popularidade recente.

O que é Mover?

Mover é uma linguagem do código de bytes praticável que implementa contratos inteligentes e transações personalizáveis. Foi desenvolvido para resolver os problemas gerais que afetaram as linguagens de programação em blockchain. Com a vantagem adicional de segurança e proteção, o Move cria uma avenida para os desenvolvedores criarem programas flexíveis que gerenciam e transferem ativos digitais com facilidade.

Embora tenha outros usos, o objetivo principal da equipe de desenvolvimento do Move era estabelecer uma linguagem que garanta que um determinado ativo digital possa ser gasto apenas uma vez e pode ser detido por apenas uma pessoa de cada vez.

Antecedentes de Move Programming Language

O Move foi desenvolvido como uma linguagem de programação segura e simples para a blockchain Diem desenvolvida 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 concebido para realizar transações em blockchain e permitir que os desenvolvedores construam aplicativos compatíveis com Libra.

Antes do final de 2020, a Libra enfrentava alguns problemas e folga dos membros económicos de diferentes países e questões com o seu nome e logotipo, que fizeram com que mudasse o nome para Diem. O lançamento da blockchain falhou em janeiro de 2022 devido às preocupações dos poderes globais sobre as questões de segurança e lavagem de dinheiro que o lançamento da Libra iria criar.

O movimento foi escrito usando a linguagem RUST; uma linguagem de programação popular multiparadigma muito procurada por programadores do mundo inteiro em 2018. A linguagem de programação de Ferrugem priorizava a segurança da memória e a prevenção de corridas de dados concorrentes. Foi desenvolvido por Graydon Hoare em 2006 enquanto ele trabalhava para a Mozilla Research.

Mover Objetivos de Design

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

Com isso em mente, os desenvolvedores da Move selecionaram objetivos de design específicos para apoiar o crescimento do programa e permanecem relevantes no futuro. Alguns dos objetivos de design incluem o seguinte:

Recursos de primeira classe

Mover permite que os usuários declarem um ativo personalizado como um tipo de recurso. A esses ativos chamam-se recursos de primeira classe e recebem privilégios especiais e segurança adicional. Os recursos de primeira classe também serão controlados pelo acesso automaticamente, portanto, apenas os utilizadores com o código de segurança correto poderão escalar através do ponto de acesso. O Move também tem módulos como o popular contrato inteligente Ethereum (Solidez). Estes módulos são blocos de código que contêm recursos e tipos e procedimentos diferentes.

A compilação especial do Move faz com que os recursos possam ser completamente transparentes nos módulos enquanto são opcos para invocações externas para o módulo. Outro recurso importante da Idioma Mover é que os recursos nunca podem ser copiados ou excluídos completamente. Só podem ser movidos de um local de armazenamento para o outro.

Flexibilidade

Os scripts de transação serão incluídos em cada transação Diem (Libra). Estes scripts de transação são usados num módulo para fazer chamadas e procedimentos de chamada. 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.

Mover módulos dá flexibilidade aos programadores com a oportunidade de construir códigos seguros. A mudança pode ser comparada a linguagem de programação orientada a objetos devido à sua relação idêntica entre “classes, métodos, objetos” e “módulos, procedimentos e recursos”.

Verificabilidade

As ferramentas de verificação fora da cadeia também são permitidas no MOVE, mesmo que já possua um sistema que permite a verificação em cadeia. Isto porque uma verificação na cadeia é imprópria para uma blockchain de alto nível. A introdução da verificação fora da cadeia vai reduzir o processo complexo de verificação em cadeia. Para conseguir isso, a linguagem de programação em movimento concentrar-se-ia em três designs distintos:

Sem Envio dinâmico

Isto é utilizado para evitar a construção complexa do gráfico de chamadas e permitir que os locais de chamadas sejam determinados estaticamente.

Modularidade

MOVE, com o auxílio de modularidade, consegue isolar módulos para verificação funcional. Mover módulos ajudaria com a abstração de dados e localização de operações de recursos importantes.

Mutabilidade limitada

Este design é decente para casos orientados para a utilização de tipos de referência que são semelhantes a C++. Permite um máximo de uma referência mutável em determinado ponto.

Segurança

Três propriedades de segurança são essenciais na linguagem de programação Move; segurança de tipos, segurança de recursos e segurança da memória. Existem diferentes abordagens possíveis O Move pode usar para garantir que não são aceites programas que não adiram a essas propriedades de segurança.

A primeira abordagem seria mover usar uma linguagem de programação de alto nível equipada com um compilador encarregado de passar pelas propriedades.

A segunda abordagem seria usar um conjunto de baixo nível sem tipo junto com verificações de segurança. Move assume as duas abordagens e depende da sua execução, que é um código de bytes digitado que é avançado em comparação com o código de bytes e não tão avançado como a linguagem de origem.

Como é que a Moverte Funciona?

A linguagem peculiar do Move foi desenvolvida usando 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 codificem tipos de recursos personalizados que não podem ser implicitamente apagados ou copiados, porque os tipos de recursos são tratados como de primeira classe.

O movimento emprega um sistema do tipo estatístico que define variáveis numa linguagem de programação como um determinado tipo (ou seja, um número ou uma palavra.) As medidas continuam a manter a segurança dos recursos mas deixa espaço suficiente para usá-los como qualquer outro recurso não de primeira classe. 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, podem ter um desempenho sem restrições. O código fornece um nível de segurança mas também pode ser utilizado para todas as outras operações facilmente. Esta é uma combinação perfeita para programas de blockchain à medida que resolve os problemas de segurança e escalabilidade enfrentados pela maioria das blockchains.

O que torna o Movimento Único?

A maior parte dos projetos de criptomoedas tem uma certa característica ou atributo assiste ao nome que os diferencia de todas as outras plataformas e concorrentes. A mudança não é diferente nesse aspeto. Equipou-se com certas características que fazem dela uma escolha melhor para os projetos existentes. Eis algumas características que diferenciam Mover do resto.

• O movimento da linguagem envolve políticas de controlo de acesso incorporadas na semântica da linguagem.
• O movimento não impõe um sistema do tipo padrão para ativos digitais como o Ether ou o Bitcoin.
• Em toda a língua, poderia localizar uma única representação de localização de ativos. Qualquer tipo de ativo personalizado, como fichas ERC20, deve ser examinado quanto aos recursos de segurança especificados pelo programador que criou os fichas.
• A mudança está livre dos problemas de limitações

Componentes do MOVE

As características únicas de mover não são todas as que fazem a linguagem de programação correr. Também inclui vários componentes adaptados aos processos do programa. Eis alguns componentes que os utilizadores podem encontrar no MOVE.

Tipos

No MOVE, isto refere-se aos tipos de dados primitivos suportados. Booleano, inteiros de 64 bits não assinados, matrizes de bytes de tamanho fixo e endereços de 256 bits são todos exemplos.

Escuta

Existem dois tipos de estrutura. O primeiro é chamado Tipo, que se refere a estruturas de recursos. O segundo, chamado irrestrito, refere-se à estrutura geral.

Procedimentos

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

Verificador de código de bytes

Este componente tem a tarefa de verificar os caracteres de segurança antes da publicação dos módulos. Os programas em movimento devem passar pelo verificador antes de serem libertados. A verificação é discriminada em fases diferentes.

• Verificação de que o tamanho da pilha ainda tem de ser modificado após a conclusão de todas as operações.
• Verificação de tipos
• Controlo do desenvolvimento de gráficos
• Verificação de referência
• Ligação de referências ao estado global para verificar a declaração e a conformidade do uso
• Verificação de recursos

Bytecode Intérprete

Uma vez concluído o processo de verificação, todos os programas devem passar pelo intérprete. A execução de programas pode ser comparada à Ethereum uma vez que ambas as plataformas usam parâmetros de gás, garantindo execuções infinitas de loop.

Mude a máquina virtual

A máquina virtual de Move não tem um desempenho diferente da sua média de blockchain. Compreende vários blocos contendo várias transações e cada transação, uma vez executada, cria um efeito de transação. Os efeitos criam o estado global atualizado da blockchain, separando efeitos das transições de estado.

Segredo atrás da popularidade recente do Move

Espera-se que o Move se tivesse tornado uma linguagem de programação popular agora mas devido aos problemas que a Diem (antiga Libra) enfrentou, o seu crescimento foi encurtado. Recentemente, teve um sabor da ribalta graças ao Aptos.

O Aptos é uma blockchain de camada um criada usando a linguagem de programação Move. Foi desenvolvido pela Meta developers que decidiram desenvolver a sua blockchain depois de Meta ter deixado cair o projeto de blockchain Diem (anteriormente Libra). Combina transações paralelas e a linguagem de programação Move para produzir uma velocidade teórica de transação de 100,00 transações por segundo.

A decisão do Aptos de usar a linguagem de programação Move criou uma plataforma que, teoricamente, consegue altas velocidades de transação e escalabilidade sem esquecer a segurança da blockchain. O Aptos preparou-se com componentes que ajudariam a blockchain a destacar-se do resto.

Move e outras linguagens de programação

[Mover não é a única linguagem de programação disponível; é frequentemente comparada a Solidez e Claridade. Estas três linguagens de programação são as mais utilizadas em várias plataformas no espaço da blockchain. Abaixo está uma análise da comparação do Move em comparação com os outros dois.

Mover vs. Solidez

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

O design da solidez permite aos desenvolvedores fazer script de aplicativos que façam uso da lógica de auto-imposição. Além disso, a Solidez fazer uso da sintaxe de javascript como inspiração levou a que o Javascript seja facilmente compreendido e implementado por desenvolvedores.

Tal como o Soliity, o Move foi criado a pensar em diferentes redes. A rede principal para implementar a linguagem Move foi a Diem, que acabou por ser dissolvida. A solidez, por outro lado, foi desenvolvida para a popular blockchain Ethereum, que ainda está a decorrer até hoje.

O nível de segurança face aos ataques de reentrada é uma grande diferença entre Move e Solidez. A solidez é geralmente conhecida por ser vulnerável a ataques de reentrada se o código criado com a linguagem for fraco. 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 controlo, digitação estática, genéricos, sistema de módulos e verificação formal.)

Por último, um fator chave para os desenvolvedores na escolha de uma linguagem de programação é a facilidade de uso. A solidez é conhecida como uma das línguas mais flexíveis lá fora e é por isso que ainda é utilizada popularmente hoje. Mover, infelizmente, não é tão flexível mas continua a ser fácil de usar.

Muda vs. Claridade

A Blockstack é uma plataforma que está criada para desenvolver a sua própria internet e fornecer serviços e facilidades com contratos inteligentes. Para facilitar isso, a Blockstack apresentou a Clarity como a linguagem de programação de contratos inteligentes para a sua própria Packs Blockchain. Claridade é uma linguagem de programação que permite aos utilizadores desenvolver os seus próprios termos especiais para o contrato em vez de pré-programados.

A clareza também elimina as chances de ocorrerem transações inesperadas, dando-lhe um nível de segurança extra. Uma das principais características de clareza é um aspeto de certeza que fornece uma linguagem de programação “decidível” que indica o que o computador fará com o código.

O Move é baseado no Diem, uma blockchain altamente escalável, segura e flexível, enquanto a Clarity é baseada 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 diferencia a Claridade. Move faz uso de um compilador para a execução dos seus códigos. Ao contrário do Move, a Clareza não usa um compilador enquanto executa um código.

Conclusão

O movimento mostrou ser um tipo especial de linguagem de programação que vai revolucionar a indústria do blockchain como um todo. Até agora, chamou a atenção dos novos Aptos de blockchain e só o tempo dirá o sucesso da combinação.