Введение в язык Move: новое средство для кросс-чейн смарт-контрактов

robot
Генерация тезисов в процессе

Введение в язык 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 является децентрализованной блокчейном на основе доказательства доли (PoS), обладающим горизонтально масштабируемой пропускной способностью и хранилищем. Ожидается, что Sui сможет обрабатывать более 120 000 TPS, обрабатывая независимые транзакции за доли секунды и более сложные транзакции за 3 секунды. Sui оптимизировала основные функции Move, особенно в области глобальных операторов хранения и ключевых возможностей, чтобы повысить производительность сети и сократить время подтверждения транзакций.

Aptos

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

Введение в Movement Labs

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

Фон

Соучредитель Movement Labs с детства увлекается распределенными системами и сетевой безопасностью. После выявления проблем с пользовательским опытом и уязвимостями смарт-контрактов в текущей инфраструктуре блокчейна в 2022 году они основали Movement Labs. Их цель — ускорить инновации в криптосфере, позволяя разработчикам создавать следующее значительное приложение на блокчейне.

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

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

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

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

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

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

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

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

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

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

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

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

MOVE-6.82%
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 9
  • Поделиться
комментарий
0/400
gas_fee_therapyvip
· 07-24 07:01
смарт-контракты тоже должны быть безопасными
Посмотреть ОригиналОтветить0
CryptoComedianvip
· 07-24 06:39
Снова пришла новая игрушка, будут играть для лохов, на этот раз с оригинальным подходом.
Посмотреть ОригиналОтветить0
PretendingToReadDocsvip
· 07-23 20:58
move кто понимает, убивает меня
Посмотреть ОригиналОтветить0
ContractFreelancervip
· 07-21 07:38
Наконец-то можно попрощаться со смарт-контрактами?
Посмотреть ОригиналОтветить0
LiquidityWizardvip
· 07-21 07:38
статистически говоря, на 84.3% более безопасен, чем solidity
Посмотреть ОригиналОтветить0
ApeDegenvip
· 07-21 07:34
Этот move слишком вычурный
Посмотреть ОригиналОтветить0
Whale_Whisperervip
· 07-21 07:33
Проект действительно многообещающий.
Посмотреть ОригиналОтветить0
HalfPositionRunnervip
· 07-21 07:25
Что за язык такой Move? Заверни его!
Посмотреть ОригиналОтветить0
AirdropHarvestervip
· 07-21 07:18
Ситуация с ETH сейчас критическая
Посмотреть ОригиналОтветить0
Подробнее
  • Закрепить