Обзор языка Move и развитие его экосистемы

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

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

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

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

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

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

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

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

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

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

Суй

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

Aptos

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

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

Movement Labs – это команда разработчиков блокчейна, которая стремится интегрировать блокчейн-сети для поддержки самых быстрых и безопасных решений второго уровня на Ethereum. Их цель – ускорить инновации в области криптовалют, позволяя разработчикам создавать следующие значимые приложения на блокчейне.

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

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

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

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

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

Movement Labs позволяет разработчикам выбирать язык, который наилучшим образом соответствует их потребностям. Реализация MoveVM в исполняемой среде Ethereum может значительно повысить пропускную способность, что позволяет разработчикам создавать новые типы приложений на Ethereum.

Финансы

25 апреля Movement Labs завершила раунд финансирования A на сумму 38 миллионов долларов, в котором участвовали несколько известных инвестиционных учреждений.

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

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