Introdução à linguagem Move e suas aplicações no Blockchain

Move é uma linguagem de programação baseada em Rust, projetada para aplicações de Blockchain. Tem como objetivo resolver as limitações das linguagens de contratos inteligentes existentes, oferecendo escassez, determinismo e verificabilidade. As características do Move incluem independência de plataforma, ênfase na segurança e eficiência.

Principais vantagens da linguagem Move

1. Modelo de programação orientado a recursos
2. Recursos de segurança integrados
3. Evitar problemas comuns do Web3 (como vulnerabilidades de reentrada, tokens tóxicos)
4. Ativos digitais como recursos que não podem ser copiados ou destruídos

Programação orientada a objetos e baseada em ativos

Move utiliza uma abordagem de programação orientada a objetos e baseada em ativos. Em certas implementações, os objetos são centrais, permitindo um controle de acesso de granularidade fina. A estrutura de armazenamento global mapeia IDs de objetos para objetos, suportando processamento eficiente de transações e representação precisa de acessos.

Move Prover Ferramenta de Verificação Formal

Move Prover é uma ferramenta de verificação que ajuda os desenvolvedores a escrever especificações formais para as funcionalidades críticas das aplicações e a verificar rapidamente a correção da execução do código. É crucial para prevenir erros comuns em contratos inteligentes, permitindo a definição de pré-condições, pós-condições e invariantes de dados.

Governação e Comunidade

O desenvolvimento do Move agora envolve uma equipa diversificada de várias instituições, incluindo o mundo académico e a comunidade de segurança. Os princípios de design da linguagem concentram-se na simplicidade e na aplicabilidade multiplataforma, garantindo que seja fácil de usar tanto para desenvolvedores de contratos inteligentes experientes quanto para novatos do Web2.

Desenvolvimento inicial do ecossistema Move

Sui

Sui é uma blockchain descentralizada de prova de participação, com alta capacidade de processamento e armazenamento escalável horizontalmente. Espera-se que possa processar mais de 120.000 TPS, processando rapidamente transações independentes e transações de objetos compartilhados mais complexas.

Aptos

Aptos é uma Blockchain de Layer 1, que tem como objetivo criar acesso a ativos descentralizados de forma universal e justa para bilhões de pessoas. Pode alcançar uma capacidade de até 10.000 TPS, com uma capacidade máxima teórica de 160.000 TPS.

A inovação dos Movement Labs

Movement Labs está comprometida em integrar redes de Blockchain, apoiando a solução Layer 2 mais rápida e segura no Ethereum. O seu objetivo é trazer o MoveVM para o Ethereum, combinando a segurança dos contratos inteligentes e a paralelização com a liquidez e a base de utilizadores do EVM.

Resolver problemas de segurança

Movement Labs constrói um ecossistema de blockchain modular baseado em Move, começando pelo M2 (o primeiro MoveVM Layer 2 do Ethereum). Eles introduziram um novo ambiente de execução, projetado para mais de 30.000 transações por segundo.

Integração Modular

Movement Labs adota uma abordagem de integração modular, dividindo a pilha de Blockchain em componentes com interfaces bem definidas, permitindo integração, personalização e atualização sem interrupções.

Compatibilidade entre Move e Solidity

Movement projetou um tradutor Solidity que permite que contratos inteligentes escritos em Solidity adotem princípios de programação orientada a objetos na Movement.

Desenvolvimento Futuro

A curto prazo, os desenvolvedores podem esperar implantar o primeiro contrato inteligente Move na rede de testes Ethereum. O objetivo a longo prazo é realizar o lançamento completo do Rollup na rede principal, trazendo as vantagens do Move para todo o ecossistema Ethereum.

Movement Labs dá especial importância ao desenvolvimento da região da Ásia-Pacífico, continuará a apoiar os desenvolvedores Move na Ásia, fornecendo os recursos, a educação e as oportunidades necessárias para promover o crescimento do ecossistema Move.