Move — это язык программирования, основанный на Rust, который изначально был разработан для проектов блокчейна. Он предназначен для решения ограничений существующих языков смарт-контрактов, обеспечивая редкость, определенность и проверяемость. В отличие от традиционных языков программирования, Move специально разработан для приложений блокчейна, подчеркивая безопасность и эффективность. Move обладает кроссплатформенными характеристиками, поддерживает библиотеки, инструменты и сообщество разработчиков, работающие на разных блокчейнах.
Преимущества языка Move
Move имеет множество преимуществ по сравнению с существующими языками блокчейна. Его ресурсно-ориентированная модель программирования и встроенные функции безопасности делают его идеальным выбором для создания безопасных и высокопроизводительных блокчейн-приложений. Дизайн Move акцентирует внимание на безопасности и нацелен на предотвращение многих распространенных проблем Web3, таких как повторные атаки, токсичные токены и поддельные одобрения токенов. Цифровые активы рассматриваются как ресурсы, что означает, что их нельзя произвольно копировать или уничтожать.
Объектно-ориентированное и основанное на активах программирование
Move была разработана как объектно-ориентированный и основанный на активах язык программирования. Объекты являются основой, что позволяет реализовывать детализированный контроль доступа. Глобальная структура хранения сопоставляет ID объектов с объектами, поддерживая эффективную обработку транзакций и точное представление доступа. Модель возможностей Move гарантирует, что объекты имеют определенные права, предотвращая несанкционированные действия, такие как копирование или удаление объектов.
Использование Move Prover для формальной верификации
Move Prover является инструментом проверки, который помогает разработчикам писать формальные спецификации для ключевых функций их приложений и быстро проверять правильность выполнения кода. Этот инструмент жизненно важен для предотвращения распространенных ошибок смарт-контрактов, позволяя устанавливать предварительные условия, постусловия и неизменяемость данных. Move Prover интегрирован с системой сборки Move, что позволяет разработчикам легко проверять свой код.
Управление и сообщество
Развитие Move теперь включает разнообразные команды из различных учреждений, включая академическое сообщество и сообщество безопасности. Принципы проектирования языка ориентированы на краткость и кроссплатформенность, что обеспечивает гибкость и простоту использования как для опытных разработчиков смарт-контрактов, так и для новичков из Web2. Методы управления Move направлены на избежание спорных решений, сосредоточившись на основных принципах и расширяя язык только в необходимых случаях.
Ранние экосистемы Move
Суй
Sui — это децентрализованный блокчейн с доказательством доли, обладающий горизонтально масштабируемой пропускной способностью и хранилищем. Sui ожидает, что сможет обрабатывать более 120 000 TPS, обрабатывать независимые транзакции за доли секунды и более сложные транзакции (с общими объектами) за 3 секунды. Зависимости транзакций отображаются перед выполнением, что позволяет обрабатывать независимые транзакции через согласованное широковещательное сообщение по византийскому соглашению, в то время как транзакции, связанные с общими объектами, обрабатываются консенсусным протоколом под названием Narwhal & Tusk.
Sui внес изменения в основные функции Move, особенно в отношении глобальных операторов хранения и ключевых возможностей. Эти изменения сохранили безопасность и гибкость Move, одновременно оптимизируя механизмы хранения и адресации, повышая производительность сети и сокращая время подтверждения транзакций.
Aptos
Aptos является блокчейном уровня 1, чья миссия заключается в создании универсального и справедливого доступа к децентрализованным активам для миллиардов людей. В настоящее время Aptos может обеспечивать пропускную способность до 10 000 TPS, теоретически максимальная пропускная способность составляет 160 000 TPS. Большинство транзакций подтверждаются после двух сетевых трансляций, а время окончательного подтверждения составляет 250 миллисекунд.
Aptos расширяет основные функции MoveVM через адаптационный уровень, включая параллелизм, реализованный с помощью Block-STM, параллельное выполнение транзакций без ввода пользователя, масштабируемое хранилище таблиц в учетной записи, а также детализированное развязывание хранилища, при этом объем данных в учетной записи влияет на GAS-расходы связанных транзакций.
Лаборатории движения
Movement Labs — это команда разработчиков блокчейна, которая стремится интегрировать блокчейн-сети для поддержки самых быстрых и безопасных решений второго уровня на Ethereum. Их миссия заключается в сочетании безопасности смарт-контрактов и параллелизации с ликвидностью и пользовательской базой EVM. Через их флагманский L2 они соединяют Rollup с Move Stack, вводя MoveVM в Ethereum.
Фон
Соучредитель Movement Labs Руши Манче с детства увлекался распределёнными системами и сетевой безопасностью. В 14 лет он начал работать в инженерной сфере и фрилансил на Solidity во время учёбы в университете. В этот период он встретил Купера Сканлона, и вместе они присоединились к ранней разработке экосистемы Move.
Решение вопросов безопасности
Чтобы решить проблему уязвимостей смарт-контрактов, Movement Labs стремится создать модульную блокчейн-экосистему на основе Move, начиная с M2, первого Layer 2 MoveVM для Ethereum. Они также внедрили новую среду выполнения, предназначенную для более чем 30 000 транзакций в секунду (TPS).
Move-EVM позволяет разработчикам развертывать проверенный код во время выполнения, предотвращая повторные входы и другие векторы атак. Этот "интегрированный подход" сочетает в себе совместную сортировку, встроенную формальную проверку, альтернативную доступность данных и расчет на Ethereum для повышения безопасности и производительности.
Интеграция Move с модуляцией
Модульная интеграция является основным принципом проектирования Movement Labs. Разделяя стек блокчейна на модульные компоненты с четкими интерфейсами, мы достигаем бесшовной интеграции, настройки и обновления. Разработчики могут комбинировать модули для настройки своего стека.
Параллельный EVM и Move
Параллельный EVM — это развитие, предназначенное для улучшения масштабируемости и производительности Ethereum. Move и Solidity служат различным целям, могут сосуществовать и дополнять друг друга. Move ориентирован на безопасность и выразительность, подходит для создания сложных смарт-контрактов и высокопроизводительных приложений. В то же время у Solidity есть огромная экосистема и сообщество разработчиков.
Децентрализованный сортировщик
Movement — это модульный L2, где M1 является уровнем исполнения цепочки, а M2 имеет интегрированный механизм децентрализованного узла сортировки, обеспечивая бесплатный газовый рынок для сети Movement.
Совместимость Move и Solidity
Movement разработал компилятор для Solidity, который позволяет смарт-контрактам, написанным на Solidity, применять принципы ООП (объектно-ориентированного программирования) на платформе Movement. Однако переведенные контракты могут столкнуться с инженерными проблемами, такими как ограниченный доступ к объектам Move при использовании Solidity или различия в стандартах токенов и NFT.
Финансы
25 апреля Movement Labs завершила раунд финансирования серии A в размере 38 миллионов долларов, в котором приняло участие несколько известных инвестиционных фондов.
Будущая дорожная карта
В краткосрочной перспективе разработчики могут ожидать развертывание первого смарт-контракта Move в тестовой сети Ethereum. Movement Labs также выпустит набор инструментов и ресурсов Move для поддержки разработчиков. Долгосрочной целью является полное развертывание Rollup в основной сети, чтобы принести мощь Move в экосистему Ethereum.
В рамках своей стратегии глобальной экспансии Movement Labs придает большое значение региону Азиатско-Тихоокеанского региона. Осознавая огромный потенциал и таланты в сообществе разработчиков Move, они будут продолжать поддерживать азиатских разработчиков Move, предоставляя необходимые ресурсы, образование и возможности, демонстрируя их выдающуюся работу и способствуя росту экосистемы Move.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Move язык: новый выбор для создания безопасных и эффективных Блокчейн приложений
Введение в язык Move
Move — это язык программирования, основанный на Rust, который изначально был разработан для проектов блокчейна. Он предназначен для решения ограничений существующих языков смарт-контрактов, обеспечивая редкость, определенность и проверяемость. В отличие от традиционных языков программирования, Move специально разработан для приложений блокчейна, подчеркивая безопасность и эффективность. Move обладает кроссплатформенными характеристиками, поддерживает библиотеки, инструменты и сообщество разработчиков, работающие на разных блокчейнах.
Преимущества языка Move
Move имеет множество преимуществ по сравнению с существующими языками блокчейна. Его ресурсно-ориентированная модель программирования и встроенные функции безопасности делают его идеальным выбором для создания безопасных и высокопроизводительных блокчейн-приложений. Дизайн Move акцентирует внимание на безопасности и нацелен на предотвращение многих распространенных проблем Web3, таких как повторные атаки, токсичные токены и поддельные одобрения токенов. Цифровые активы рассматриваются как ресурсы, что означает, что их нельзя произвольно копировать или уничтожать.
Объектно-ориентированное и основанное на активах программирование
Move была разработана как объектно-ориентированный и основанный на активах язык программирования. Объекты являются основой, что позволяет реализовывать детализированный контроль доступа. Глобальная структура хранения сопоставляет ID объектов с объектами, поддерживая эффективную обработку транзакций и точное представление доступа. Модель возможностей Move гарантирует, что объекты имеют определенные права, предотвращая несанкционированные действия, такие как копирование или удаление объектов.
Использование Move Prover для формальной верификации
Move Prover является инструментом проверки, который помогает разработчикам писать формальные спецификации для ключевых функций их приложений и быстро проверять правильность выполнения кода. Этот инструмент жизненно важен для предотвращения распространенных ошибок смарт-контрактов, позволяя устанавливать предварительные условия, постусловия и неизменяемость данных. Move Prover интегрирован с системой сборки Move, что позволяет разработчикам легко проверять свой код.
Управление и сообщество
Развитие Move теперь включает разнообразные команды из различных учреждений, включая академическое сообщество и сообщество безопасности. Принципы проектирования языка ориентированы на краткость и кроссплатформенность, что обеспечивает гибкость и простоту использования как для опытных разработчиков смарт-контрактов, так и для новичков из Web2. Методы управления Move направлены на избежание спорных решений, сосредоточившись на основных принципах и расширяя язык только в необходимых случаях.
Ранние экосистемы Move
Суй
Sui — это децентрализованный блокчейн с доказательством доли, обладающий горизонтально масштабируемой пропускной способностью и хранилищем. Sui ожидает, что сможет обрабатывать более 120 000 TPS, обрабатывать независимые транзакции за доли секунды и более сложные транзакции (с общими объектами) за 3 секунды. Зависимости транзакций отображаются перед выполнением, что позволяет обрабатывать независимые транзакции через согласованное широковещательное сообщение по византийскому соглашению, в то время как транзакции, связанные с общими объектами, обрабатываются консенсусным протоколом под названием Narwhal & Tusk.
Sui внес изменения в основные функции Move, особенно в отношении глобальных операторов хранения и ключевых возможностей. Эти изменения сохранили безопасность и гибкость Move, одновременно оптимизируя механизмы хранения и адресации, повышая производительность сети и сокращая время подтверждения транзакций.
Aptos
Aptos является блокчейном уровня 1, чья миссия заключается в создании универсального и справедливого доступа к децентрализованным активам для миллиардов людей. В настоящее время Aptos может обеспечивать пропускную способность до 10 000 TPS, теоретически максимальная пропускная способность составляет 160 000 TPS. Большинство транзакций подтверждаются после двух сетевых трансляций, а время окончательного подтверждения составляет 250 миллисекунд.
Aptos расширяет основные функции MoveVM через адаптационный уровень, включая параллелизм, реализованный с помощью Block-STM, параллельное выполнение транзакций без ввода пользователя, масштабируемое хранилище таблиц в учетной записи, а также детализированное развязывание хранилища, при этом объем данных в учетной записи влияет на GAS-расходы связанных транзакций.
Лаборатории движения
Movement Labs — это команда разработчиков блокчейна, которая стремится интегрировать блокчейн-сети для поддержки самых быстрых и безопасных решений второго уровня на Ethereum. Их миссия заключается в сочетании безопасности смарт-контрактов и параллелизации с ликвидностью и пользовательской базой EVM. Через их флагманский L2 они соединяют Rollup с Move Stack, вводя MoveVM в Ethereum.
Фон
Соучредитель Movement Labs Руши Манче с детства увлекался распределёнными системами и сетевой безопасностью. В 14 лет он начал работать в инженерной сфере и фрилансил на Solidity во время учёбы в университете. В этот период он встретил Купера Сканлона, и вместе они присоединились к ранней разработке экосистемы Move.
Решение вопросов безопасности
Чтобы решить проблему уязвимостей смарт-контрактов, Movement Labs стремится создать модульную блокчейн-экосистему на основе Move, начиная с M2, первого Layer 2 MoveVM для Ethereum. Они также внедрили новую среду выполнения, предназначенную для более чем 30 000 транзакций в секунду (TPS).
Move-EVM позволяет разработчикам развертывать проверенный код во время выполнения, предотвращая повторные входы и другие векторы атак. Этот "интегрированный подход" сочетает в себе совместную сортировку, встроенную формальную проверку, альтернативную доступность данных и расчет на Ethereum для повышения безопасности и производительности.
Интеграция Move с модуляцией
Модульная интеграция является основным принципом проектирования Movement Labs. Разделяя стек блокчейна на модульные компоненты с четкими интерфейсами, мы достигаем бесшовной интеграции, настройки и обновления. Разработчики могут комбинировать модули для настройки своего стека.
Параллельный EVM и Move
Параллельный EVM — это развитие, предназначенное для улучшения масштабируемости и производительности Ethereum. Move и Solidity служат различным целям, могут сосуществовать и дополнять друг друга. Move ориентирован на безопасность и выразительность, подходит для создания сложных смарт-контрактов и высокопроизводительных приложений. В то же время у Solidity есть огромная экосистема и сообщество разработчиков.
Децентрализованный сортировщик
Movement — это модульный L2, где M1 является уровнем исполнения цепочки, а M2 имеет интегрированный механизм децентрализованного узла сортировки, обеспечивая бесплатный газовый рынок для сети Movement.
Совместимость Move и Solidity
Movement разработал компилятор для Solidity, который позволяет смарт-контрактам, написанным на Solidity, применять принципы ООП (объектно-ориентированного программирования) на платформе Movement. Однако переведенные контракты могут столкнуться с инженерными проблемами, такими как ограниченный доступ к объектам Move при использовании Solidity или различия в стандартах токенов и NFT.
Финансы
25 апреля Movement Labs завершила раунд финансирования серии A в размере 38 миллионов долларов, в котором приняло участие несколько известных инвестиционных фондов.
Будущая дорожная карта
В краткосрочной перспективе разработчики могут ожидать развертывание первого смарт-контракта Move в тестовой сети Ethereum. Movement Labs также выпустит набор инструментов и ресурсов Move для поддержки разработчиков. Долгосрочной целью является полное развертывание Rollup в основной сети, чтобы принести мощь Move в экосистему Ethereum.
В рамках своей стратегии глобальной экспансии Movement Labs придает большое значение региону Азиатско-Тихоокеанского региона. Осознавая огромный потенциал и таланты в сообществе разработчиков Move, они будут продолжать поддерживать азиатских разработчиков Move, предоставляя необходимые ресурсы, образование и возможности, демонстрируя их выдающуюся работу и способствуя росту экосистемы Move.