Введение в язык Move и развитие его экосистемы

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

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

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

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

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

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

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

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

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

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

Суй

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

Aptos

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

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

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

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

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

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

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

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

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

Децентрализованный сортировщик

Movement является модульным L2, где M1 является уровнем исполнения цепочки, а M2 имеет интегрированный механизм узлов децентрализованной сортировки, предоставляя бесплатный газовый рынок для сети Movement.

Совместимость Move и Solidity

Movement разработал транслятор для Solidity, который позволяет смарт-контрактам, написанным на Solidity, использовать принципы ООП в Movement. Однако переведённые контракты могут столкнуться с инженерными проблемами.

Финансы

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

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

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

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