Анализ языка Move: новая парадигма разработки Блокчейн

Move является языком программирования на основе Rust, специально разработанным для приложений Блокчейн. Он нацелен на решение ограничений существующих языков смарт-контрактов, обеспечивая дефицитность, детерминированность и проверяемость. Move акцентирует внимание на безопасности и эффективности, обладая независимыми от платформы характеристиками, поддерживающими кросс-Блокчейн библиотеки, инструменты и сообщество разработчиков.

Преимущества языка Move

Move имеет несколько преимуществ на основе существующих языков Блокчейн. Его ресурсно-ориентированная модель программирования и встроенные функции безопасности делают его идеальным выбором для создания безопасных и высокопроизводительных приложений Блокчейн. Дизайн Move направлен на предотвращение распространенных проблем Web3, таких как повторный вход, токсичные токены и поддельные одобрения токенов. Цифровые активы рассматриваются как ресурсы, которые не могут быть произвольно скопированы или уничтожены.

Объектно-ориентированное и активное программирование

Move — это объектно-ориентированный и основанный на активах язык программирования. В Sui Move объекты являются ключевыми, что позволяет осуществлять тонкую настройку контроля доступа. Глобальная структура хранения сопоставляет идентификаторы объектов с объектами, поддерживая эффективную обработку транзакций и точное представление доступа. Модель возможностей Move гарантирует, что у объектов есть определенные права, предотвращая несанкционированные операции, такие как копирование или удаление объектов.

Использование Move Prover для формальной верификации

Move Prover — это инструмент проверки, который помогает разработчикам писать формальные спецификации для ключевых функций приложений и проверять правильность выполнения кода за 30 секунд. Этот инструмент имеет решающее значение для предотвращения распространенных ошибок смарт-контрактов и позволяет задавать предусловия, постусловия и инварианты данных. Move Prover интегрирован с системой сборки Move, что позволяет разработчикам легко проверять свой код.

Управление и сообщество

Развитие Move теперь включает разнообразные команды из различных учреждений, включая академические круги и сообщество безопасности. Принципы проектирования языка сосредоточены на простоте и кроссплатформенной применимости, что обеспечивает его гибкость и удобство как для опытных разработчиков смарт-контрактов, так и для новичков в Web2. Метод управления Move направлен на избегание спорных решений путем сосредоточения на основных принципах и расширения языка только в случае необходимости.

Ранние экосистемы Move

Суй

Sui — это децентрализованный блокчейн с доказательством доли, обладающий горизонтально масштабируемой пропускной способностью и хранилищем. Его команда состоит из специалистов передовых отделов разработки блокчейнов, которые работали над блокчейном Diem и языком программирования Move. Ожидается, что Sui сможет обрабатывать более 120 000 TPS, обрабатывать независимые транзакции за доли секунды и более сложные транзакции за 3 секунды.

Aptos

Aptos является блокчейном первого уровня, целью которого является создание универсального и справедливого доступа к децентрализованным активам для миллиардов людей. В настоящее время Aptos может обеспечить пропускную способность до 10,000 TPS, теоретическая максимальная пропускная способность составляет 160,000 TPS. Большинство транзакций проверяются после двух сетевых трансляций, а окончательное время подтверждения составляет 250 миллисекунд.

Лаборатории движения

Movement Labs — это команда разработчиков Блокчейн, занимающаяся интеграцией Блокчейн-сетей для поддержки самых быстрых и безопасных Layer 2 решений на Ethereum. Их флагманский L2 связывает Rollup с Move Stack, вводя MoveVM в Ethereum.

Решение вопросов безопасности

Movement Labs стремится построить модульную экосистему Блокчейн на основе Move, начиная с M2, который является первым Layer 2 MoveVM для Эфириума. Они вводят новую среду выполнения, предназначенную для обработки более 30 000 транзакций в секунду. Move-EVM позволяет разработчикам развертывать проверенный код во время выполнения, предотвращая повторные входы и другие векторы атак.

интеграция Move с модульной системой

Ядром философии дизайна Movement Labs является модульная интеграция. Путем разбиения стека Блокчейн на модульные компоненты с четкими интерфейсами достигается бесшовная интеграция, настройка и обновление. Разработчики могут комбинировать модули для настройки своего стека.

Параллельный EVM и Move

Параллельный EVM является развитием, направленным на улучшение масштабируемости и производительности Эфириума. Move и Solidity служат различным целям и могут сосуществовать и дополнять друг друга. В Movement Labs разработчики могут выбрать язык, который наилучшим образом соответствует их требованиям.

Будущая дорожная карта

В краткосрочной перспективе разработчики могут ожидать развертывания первого смарт-контракта Move на тестовой сети Ethereum. Movement Labs также выпустит набор инструментов и ресурсов Move для поддержки разработчиков. Долгосрочная цель - реализовать полное развертывание Rollup в основной сети, чтобы принести мощь Move в экосистему Ethereum.

Movement Labs ценит Азиатско-Тихоокеанский регион и продолжит поддерживать разработчиков Move в Азии, предоставляя необходимые ресурсы, образование и возможности для содействия росту экосистемы Move.