Introdução à linguagem Move

Move é uma linguagem de programação baseada em Rust, projetada especificamente para aplicações em blockchain. Tem como objetivo resolver as limitações das linguagens de contratos inteligentes existentes, oferecendo escassez, determinismo e verificabilidade. Move enfatiza segurança e eficiência, possui características independentes de plataforma e suporta bibliotecas, ferramentas e comunidades de desenvolvedores inter-blockchain.

Principais características da linguagem Move

Move tem várias vantagens sobre as linguagens de blockchain existentes:

1. Modelo de programação orientado a recursos
2. Características de segurança integradas
3. Design orientado a objetos e baseado em ativos
4. Controlo de acesso de granulação fina
5. Processamento de transações eficiente
6. Prevenir problemas comuns do Web3 ( como vulnerabilidades de reentrada, tokens tóxicos, etc. )

O modelo de capacidade do Move garante que os objetos tenham permissões específicas, evitando operações não autorizadas como copiar ou excluir objetos.

Ferramenta de Verificação Formal Move Prover

Move Prover é uma ferramenta de verificação que ajuda os desenvolvedores:

• Escrever especificações formais para funcionalidades chave da aplicação
• Verificar a correção da execução do código em um curto espaço de tempo
• Definir condições prévias, condições posteriores e a invariância dos dados
• Prevenir erros comuns de contratos inteligentes

Move Prover é integrado ao sistema de construção Move, permitindo que os desenvolvedores verifiquem seu código facilmente.

Ecossistema Move

Sui

Sui é uma blockchain de prova de participação descentralizada, com as seguintes características:

• Escalabilidade horizontal de throughput e armazenamento
• Capaz de processar mais de 120.000 TPS
• Processar transações independentes em sub-segundos
• Processar transações complexas em 3 segundos ( objeto compartilhado )
• Usar o protocolo de consenso Narwhal & Tusk

Sui fez algumas otimizações nas funcionalidades principais do Move para melhorar o desempenho da rede e reduzir o tempo de confirmação das transações.

Aptos

Aptos é uma blockchain Layer 1 com as seguintes características:

• Atualmente é possível alcançar uma taxa de transferência de até 10.000 TPS
• A taxa máxima teórica de transferência é de 160.000 TPS
• O tempo de confirmação final é de 250 milissegundos
• Alcançar alto desempenho através da execução paralela e Block-STM
• Utilizando o motor de consenso HotStuff, adaptado do Diem

Aptos expandiu as funcionalidades principais do MoveVM através de uma camada de adaptação, incluindo paralelismo, tabelas de armazenamento em larga escala e desacoplamento de armazenamento de granulação fina.

Movement Labs

Movement Labs é uma equipe de desenvolvimento dedicada à integração de redes de blockchain, com o objetivo de introduzir o MoveVM no ecossistema Ethereum. O seu trabalho principal inclui:

1. Desenvolver o primeiro MoveVM Layer 2 na Ethereum (M2)
2. Introduzir um novo ambiente de execução de alto desempenho
3. Criar Move-EVM, permitindo a implementação de código verificado
4. Lançamento do Move Stack, uma estrutura de camada de execução compatível com as estruturas Rollup existentes.

A filosofia de design do Movement Labs enfatiza a integração modular, permitindo que os desenvolvedores personalizem a pilha de blockchain. Eles também estão desenvolvendo um tradutor de Solidity para Move para aumentar a compatibilidade.

Desenvolvimento Futuro

Num curto prazo, os desenvolvedores podem esperar implementar o primeiro contrato inteligente Move na rede de testes do Ethereum. O objetivo a longo prazo é realizar um lançamento completo do Rollup na rede principal, trazendo as vantagens do Move para todo o ecossistema Ethereum. A Movement Labs também continuará a apoiar os desenvolvedores Move na região da Ásia-Pacífico, oferecendo os recursos e oportunidades necessários para promover o desenvolvimento global do ecossistema Move.