Move язык: новая безопасная и эффективная альтернатива программированию смарт-контрактов в Блокчейн

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

Основные преимущества языка Move

Move имеет несколько преимуществ на основе существующих языков Блокчейн:

1. Ресурсно-ориентированная модель программирования и встроенные функции безопасности способствуют созданию безопасных и высокопроизводительных Блокчейн-приложений.
2. Основное внимание уделяется предотвращению распространенных проблем Web3, таких как уязвимость повторного входа, токсичные токены и т.д.
3. Рассматривать цифровые активы как ресурсы, предотвращая произвольное копирование или уничтожение

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

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

Инструмент формальной верификации Move Prover

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

Экосистема Move

Суй

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

Aptos

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

Инновации Movement Labs

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

Повышение безопасности

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

) Модульная интеграция

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

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

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

Будущее развитие

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

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