Новая перспектива общественных цепей движением: можно ли внедрить движение в EVM и переопределить Ethereum и Move?

Средний7/10/2024, 6:35:14 PM
В отличие от Aptos, Sui и Linera, которые все являются общедоступными цепями L1 на основе языка Move, новое поколение Movement сосредотачивается на L2. Оно запустило первый Ethereum L2 на основе языка Move, нацеливаясь на использование основных преимуществ исполнения и безопасности Move, а также на дальнейшую интеграцию экологических преимуществ EVM. Это позволяет разработчикам запускать проекты Solidity на M2 без написания кода Move.

Представьте, если бы любой разработчик Solidity мог создавать или переносить более безопасные и эффективные DApps на Move с минимальными барьерами. Разве это не потрясающе?

В 2019 году Либра, которая ненадолго встревожила всю технологическую индустрию, прежде чем быстро ушла в прошлое, вероятно, не ожидала, что после своего падения Аптос, Суи, Линера и Мувмент последовательно возьмут на себя мантию, толкая новые публичные цепочки на основе Move к новому пику.

Интересно, в отличие от Aptos, Sui и Linera, которые все являются общедоступными цепочками L1 на языке Move, новое поколение Movement направило свой взгляд на L2. Оно запустило первый Ethereum L2 на основе языка Move, с целью использования производительности выполнения Move и преимуществ безопасности, а также интеграции преимуществ экосистемы EVM. Это позволяет разработчикам запускать проекты на Solidity на M2 без написания кода Move.

Как первая новая общедоступная цепочка на основе Move, переходящая от "убийцы Ethereum" к "присоединению к Ethereum" с интегративным подходом, высокопроизводительная архитектура Movement на уровне L2, с безопасностью конечного состояния на основе основной сети Ethereum, обеспечила существенный раунд финансирования на уровне 38 миллионов долларов в апреле.

Итак, что именно стремится достичь движение и какую магию оно имеет, чтобы привлечь такие крупные инвестиционные институты, как Polychain Capital, Binance Labs, OKX Ventures и Hack VC, чтобы поставить на него ставку?

Движение: Интеграция Move в экосистему EVM

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

Как многие знают, Move - это новый язык смарт-контрактов, разработанный Facebook. Помимо его первоначального использования в проекте Libra (Diem) Facebook, продукты Web3, которые публично принимают язык Move, в основном находятся в новых экосистемах открытых цепочек, таких как Aptos и Sui.

С точки зрения публичной цепи, язык Move в основном предназначен для цифровых активов. По сравнению с языками программирования блокчейна, такими как Solidity, основная логика Move выделяет два основных аспекта: "безопасность активов" и "высокую производительность нативных ресурсов".

  • С одной стороны, он построен на Rust и разработан как объектно-ориентированный язык для написания смарт-контрактов с безопасным управлением ресурсами. Этот дизайн подчеркивает важность цифровых активов, позволяя разработчикам определять и управлять цифровыми активами на цепи более гибко и безопасно.
  • С другой стороны, Move IR, промежуточное представление языка Move, может отделить транзакционные скрипты от модулей, разделяя логику транзакций от смарт-контрактов. Это позволяет общественным сетям на основе Move достигать TPS (транзакций в секунду) часто в десятках тысяч или даже сотнях тысяч, что значительно превышает производительность общественных сетей на основе EVM.

Короче говоря, блокчейн-сети, построенные на Move, в своей основе обладают превосходной безопасностью и высокими преимуществами производительности по сравнению с общедоступными цепями, основанными на Solidity, предоставляя новым разработчикам лучшую отправную точку для создания приложений on-chain.

Однако для публичных блокчейнов техническая мощь часто не является основным полем битвы. Ключевым фактором успеха является то, смогут ли они привлечь достаточное количество пользователей и капитала. Вот почему термин "убийца Ethereum" редко упоминался в последние годы. По сравнению с непрерывными инновациями на уровне приложений Ethereum, большинство новых публичных блокчейнов страдают от "эффекта призракового города", с очень низкой активностью пользователей и ликвидностью на большинстве сетей.

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

Например, архитектуры общественных цепей M1 и M2 движения не только естественным образом обладают эффективными возможностями обработки транзакций, но также интегрируют виртуальную машину Ethereum (EVM). Это позволяет разработчикам запускать и внедрять зрелые DApps из экосистемы EVM на M2 без написания кода Move.

Иными словами, Movement может автоматически преобразовывать скрипты Solidity в опкоды, которые Move может понять, обеспечивая взаимодействие между Move и Ethereum, а также другими сетями EVM.

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

Модульный набор разработки: SDK для движения

SDK Movement - основной инструмент разработки для реализации основного видения «переноса Move в Ethereum».

Как модульный набор средств разработки, он в основном состоит из трех основных компонентов: MoveVM, Fractal и настраиваемых адаптеров (адаптеров) для сети секвенсора и служб доступности данных (DA).

MoveVM: Безопасная и эффективная среда выполнения

Во-первых, как ядро SDK Movement, MoveVM обеспечивает безопасную, эффективную и ресурсоориентированную среду выполнения для смарт-контрактов.

Эта возможность позволяет Movement SDK выполнять сложные смарт-контракты и управлять цифровыми активами, что делает его неотъемлемой частью сети M2 (как подробно описано ниже). Таким образом, MoveVM также является ключом к поддержке сети M2 в достижении ультравысокой пропускной способности транзакций и чрезвычайно быстрых времен ответа. Его основные особенности включают:

  • Программирование, ориентированное на ресурсы: MoveVM рассматривает активы как материальные, нереплицируемые ресурсы, обеспечивая более высокий уровень безопасности и целостности управления активами.
  • Строгие гарантии безопасности: Используя процесс верификации байткода, MoveVM обеспечивает соблюдение всех запущенных кодов строгих протоколов безопасности, минимизируя уязвимости и улучшая надежность блокчейн-системы.
  • Эффективное управление активами: MoveVM предоставляет контролируемую среду для точного управления цифровыми активами, обеспечивая выполнение транзакций с максимальной точностью и надежностью.
  • Безопасность типов и Формальная верификация: MoveVM подчеркивает безопасность типов с помощью строгой системы типов, которая выявляет ошибки на этапе компиляции. Совместно с методами формальной верификации это обеспечивает соблюдение умных контрактов установленных свойств и стандартов безопасности, снижая риск ошибок и уязвимостей.
  • Изоляция и инкапсуляция: В MoveVM активы и код инкапсулируются в модулях, обеспечивая строгий контроль доступа и изоляцию. Эта инкапсуляция предотвращает несанкционированный доступ и взаимодействие, обеспечивая работу каждого модуля в рамках его определенных параметров, тем самым повышая общую безопасность и целостность системы.
  • Проверка байткода: MoveVM использует тщательный процесс проверки байткода для тщательного изучения смарт-контрактов перед выполнением. Этот шаг гарантирует, что все контракты соответствуют стандартам безопасности и корректности платформы, что значительно снижает риск выполнения злонамеренного или ошибочного кода.

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

Последнее расширяет функциональность оригинального MoveVM до внешних сред, таких как EVM, создавая многофункциональную виртуальную машину, направленную на охват более широкой совместимой блокчейн-экосистемы.

Всего пару дней назад, старший инженер Move @artoriatech публично критиковалпроблемы фрагментации, с которым в настоящее время сталкивается экосистема Move, откровенно заявляя, что «разработчики сталкиваются с существенным сопротивлением при переходе с одной цепи Move на другую»:

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

Модульный MoveVM Movement, как многофункциональная виртуальная машина, стремится быть полностью совместимым с EVM и другими экосистемами Move, в настоящее время поддерживая развертывание кода Aptos и EVM, и вскоре также охватывая экосистему Sui.

Это означает, что DApps из экосистем Aptos, Ethereum и других экосистем EVM могут быть развернуты в течение 10 минут - разработчикам не нужно дополнительно учить Move, просто сохраните код в оригинальной языковой архитектуре, такой как Solidity, чтобы достичь параллельного развертывания.

Фрактал: мост между Solidity и MoveVM

Fractal - это в основном компилятор, который позволяет запускать смарт-контракты Solidity в среде MoveVM. Это создает безопасную среду, которая плавно соединяет языки Solidity и Move, позволяя разработчикам развертывать свои контракты Solidity на MoveVM (сеть M2).

Преимущества очевидны: разработчики могут воспользоваться гибкостью Solidity, используя при этом безопасность и высокую производительность Move, чтобы решить некоторые внутренние проблемы Solidity.


Процесс компиляции Fractal в основном разделен на следующие 5 шагов:

  • Токенизация и синтаксический анализ: Этот процесс сначала разбивает скрипт Solidity на токены, представляющие основные элементы скрипта (такие как переменные, функции и структуры управления). Анализ этих токенов включает в себя анализ синтаксической структуры кода Solidity и организацию элементов в Абстрактное Синтаксическое Дерево (AST), которое описывает логику и организацию кода;
  • Абстрактное Синтаксическое Дерево (AST): AST - это деревянное представление синтаксической структуры кода Solidity. Он подробно описывает иерархию операций и взаимосвязи между различными сегментами кода;
  • Промежуточный язык (IL): После построения AST код преобразуется в промежуточный язык (IL), сокращающий разрыв между высокоуровневым кодом Solidity и низкоуровневыми инструкциями, необходимыми для выполнения;
  • Опкоды MoveVM: Затем IL компилируется в операционные коды (опкоды) MoveVM, которые являются основными инструкциями, которые виртуальная машина понимает и выполняет, указывая конкретные операции, которые должен выполнить MoveVM;
  • Байт-код MoveVM: На последнем этапе опкоды преобразуются в байт-код MoveVM, исполнимое двоичное представление программы, полностью скомпилированное из исходного скрипта Solidity и готовое к выполнению в безопасной и ресурсоориентированной среде MoveVM.

Согласно официальному блогу, Fractal находится на стадии разработки, в настоящее время проходит комплексное тестирование и улучшения для расширения своих возможностей за пределами текущих функций.

Настроенные адаптеры

Настроенные адаптеры - это окончательный базовый компонент SDK Movement (по сути, описанная ниже архитектура M1), разработанный для обеспечения бесшовной интеграции с сетями сортировщиков и службами доступности данных (DA):

  • Службы доступности данных (DA): SDK Movement интегрируется с DA-сервисами, позволяя DA-сервисам работать непосредственно на L1 или функционировать как автономные выделенные DA-сервисы, обеспечивая надежный доступ к данным транзакций;
  • Поддержка Danksharding: Чтобы согласоваться с дорожной картой развития Ethereum, SDK Movement зарезервировал возможность сотрудничать с эксклюзивными поставщиками услуг DA, включая Celestia и EigenDA, которые обеспечивают гарантированную доступность данных;
  • Управление узлами валидатора и службы интеграции сортировщика: Пользовательские адаптеры в SDK движения также отвечают за стратегическое управление и переконфигурацию узлов валидатора. Взаимодействуя с механизмами консенсуса, такими как Snowman и Proof of Stake (PoS), SDK улучшает защиту блокчейна от атак Сибиля;
  • Инклюзивность на всех уровнях DA: Эти настраиваемые адаптеры могут поддерживать различные уровни DA, включая Ethereum-4844 и несколько суверенных решений DA, таких как Celestia, EigenDA и Avail, обеспечивая возможность пользователям выбрать уровень DA, который лучше всего соответствует их потребностям в приложениях;

В целом, SDK Movement предоставляет обширный комплект разработки, который включает в себя среду для развертывания и тестирования смарт-контрактов, компиляторы и адаптеры, направленные на упрощение процесса разработки. Это позволяет разработчикам, особенно разработчикам Solidity, строить, тестировать и оптимизировать DApps на основе языка Move.

Архитектура публичной цепи "M1+M2"

На основе SDK Movement, Movement Labs разработала архитектуру общедоступной цепочки, включающей M1 и M2.

M1 разработана как сеть, ориентированная на сообщество, способная обеспечить чрезвычайно высокую пропускную способность транзакций и мгновенную окончательность, предоставляя децентрализованную сортировочную сеть и уровень консенсуса. M2, с другой стороны, является решением ZK-Rollup L2 на основе M1 и Ethereum (поддерживающее как Sui Move, так и Aptos Move), интегрируя EVM для возможности запуска совместимых с Ethereum DApps на M2.

M1: Децентрализованная сеть заказчиков и слой консенсуса

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

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

Заметим, что благодаря принятию M1 улучшенного механизма консенсуса Snowman, который позволяет узлам достигать согласия путем имитации социальных взаимодействий (т. Е. «болтовни» между узлами), он естественно поддерживает более масштабное участие узлов и более быстрые скорости консенсуса, достигая высокой пропускной способности и эффективной сортировки транзакций.

На этой основе M1 служит сетью сортировщиков PoS и слоем консенсуса для M2. С одной стороны, это обеспечивает безопасность сети M2 через стейкинг, а с другой стороны, обеспечивает M2 эффективный механизм консенсуса. Чтобы стать сортировщиком в сети M1, необходимо поставить токены MOVE и использовать механизм Slash для предотвращения злонамеренной деятельности, улучшая безопасность и надежность сети.

В качестве сортировщика PoS сети для M2, M1 обеспечивает правильность, доступность и верифицируемость транзакций через услуги доступности данных (DA) и рынок доказателей.

M2: ZK-Rollup L2 на основе M1 и Ethereum

M2 можно рассматривать как «основную сеть» экосистемы движения. Он представляет собой архитектуру ZK-Rollup на основе Move, состоящую из MoveVM, Fractal и M1, отвечающую за развертывание конкретных приложений DApp.

Термин «ZK-Rollup архитектура на основе Move» используется потому, что M2 планирует использовать доказательства с нулевым разглашением для повышения конфиденциальности и безопасности (т.е. технология zk-Move). Это даст M2 не только преимущества в скорости обработки и экономичности, но и уникальные преимущества в защите конфиденциальности.

MoveVM и Fractal позволяют выполнять стандартные смарт-контракты EVM и поддерживать смарт-контракты, написанные на языке Move (Aptos Move, Sui Move). Используя язык Move и параллельную модель Sui, они могут обеспечивать высокую пропускную способность и низкую задержку для транзакций EVM.

Это означает, что разработчики, использующие языки, такие как Solidity, могут легко запускать безопасные, высокопроизводительные и высокопропускные приложения MoveVM Rollup, напрямую используя естественные преимущества языка Move.

Наконец, все транзакции, выполненные на M2, будут отсортированы сетью сортировщиков M1, с упаковкой данных транзакции и отправкой их обратно в Ethereum. Окончательность доказательств допустимости достигается через сеть zk-доказывателей Рынка Доказателей, с результатами ZK-доказательств, опубликованных на основной сети Ethereum. Подробные данные о транзакциях публикуются в Celestia, тем самым синхронизируя состояния данных между ними:

С помощью технологии Blobstream модульный слой доступности данных Celestia может быть передан в Ethereum, и разработчики могут интегрировать Blobstream для создания высокопроизводительных Ethereum L2s, так же как при разработке смарт-контрактов.

Простыми словами, M1 отвечает за уровень консенсуса и сортировку транзакций, M2 обрабатывает преобразование Solidity-Move и выполнение транзакций, в то время как Celestia/Ethereum гарантирует окончательную доступность данных и безопасность состояния. Эта модульная архитектура безусловно максимизирует высокую производительность и безопасность Move, а также преимущества для пользователя и трафика EVM.

сводка

Помимо технических аспектов, способность быстро создать крупную и процветающую экосистему с нуля имеет решающее значение.

В настоящее время Movement Labs разработала инструментальные средства, такие как Movement SDK, инфраструктура обмена сообщениями Hyperlane и Movement Shared Sorter (M1), чтобы предоставить разработчикам необходимые ресурсы для легкого создания и развертывания приложений на основе Move.

Согласно официальным раскрытиям, среда выполнения Move Stack от Movement Labs также начнет тестирование этим летом. Планируется, что в качестве каркаса выполнения она будет совместима с многими Rollup-фреймворками от компаний, таких как Optimism, Polygon и Arbitrum.

С этой точки зрения комбинация инструментов, таких как M1, M2 и Move Stack, потенциально может создать всеобъемлющую вселенную MoveVM, которая включает экосистему Solidity, а также экосистемы Aptos Move и Sui Move. Это позволило бы протоколам, не основанным на языке Move, использовать функциональные возможности Move, тем самым расширяя влияние языка Move.

Отказ от ответственности:

  1. Эта статья перепечатана с [LFG Лаборатории], Все авторские права принадлежат оригинальному автору [Лаборатории LFG]. Если есть возражения против этого перепечатывания, пожалуйста, свяжитесь сGate Learnкоманда, и они незамедлительно справятся с этим.
  2. Отказ от ответственности: Взгляды и мнения, выраженные в этой статье, являются исключительно точкой зрения автора и не являются инвестиционными советами.
  3. Переводы статьи на другие языки выполняются командой Gate Learn. Если не указано Gate, копирование, распространение или плагиатирование переведенных статей запрещено.

Новая перспектива общественных цепей движением: можно ли внедрить движение в EVM и переопределить Ethereum и Move?

Средний7/10/2024, 6:35:14 PM
В отличие от Aptos, Sui и Linera, которые все являются общедоступными цепями L1 на основе языка Move, новое поколение Movement сосредотачивается на L2. Оно запустило первый Ethereum L2 на основе языка Move, нацеливаясь на использование основных преимуществ исполнения и безопасности Move, а также на дальнейшую интеграцию экологических преимуществ EVM. Это позволяет разработчикам запускать проекты Solidity на M2 без написания кода Move.

Представьте, если бы любой разработчик Solidity мог создавать или переносить более безопасные и эффективные DApps на Move с минимальными барьерами. Разве это не потрясающе?

В 2019 году Либра, которая ненадолго встревожила всю технологическую индустрию, прежде чем быстро ушла в прошлое, вероятно, не ожидала, что после своего падения Аптос, Суи, Линера и Мувмент последовательно возьмут на себя мантию, толкая новые публичные цепочки на основе Move к новому пику.

Интересно, в отличие от Aptos, Sui и Linera, которые все являются общедоступными цепочками L1 на языке Move, новое поколение Movement направило свой взгляд на L2. Оно запустило первый Ethereum L2 на основе языка Move, с целью использования производительности выполнения Move и преимуществ безопасности, а также интеграции преимуществ экосистемы EVM. Это позволяет разработчикам запускать проекты на Solidity на M2 без написания кода Move.

Как первая новая общедоступная цепочка на основе Move, переходящая от "убийцы Ethereum" к "присоединению к Ethereum" с интегративным подходом, высокопроизводительная архитектура Movement на уровне L2, с безопасностью конечного состояния на основе основной сети Ethereum, обеспечила существенный раунд финансирования на уровне 38 миллионов долларов в апреле.

Итак, что именно стремится достичь движение и какую магию оно имеет, чтобы привлечь такие крупные инвестиционные институты, как Polychain Capital, Binance Labs, OKX Ventures и Hack VC, чтобы поставить на него ставку?

Движение: Интеграция Move в экосистему EVM

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

Как многие знают, Move - это новый язык смарт-контрактов, разработанный Facebook. Помимо его первоначального использования в проекте Libra (Diem) Facebook, продукты Web3, которые публично принимают язык Move, в основном находятся в новых экосистемах открытых цепочек, таких как Aptos и Sui.

С точки зрения публичной цепи, язык Move в основном предназначен для цифровых активов. По сравнению с языками программирования блокчейна, такими как Solidity, основная логика Move выделяет два основных аспекта: "безопасность активов" и "высокую производительность нативных ресурсов".

  • С одной стороны, он построен на Rust и разработан как объектно-ориентированный язык для написания смарт-контрактов с безопасным управлением ресурсами. Этот дизайн подчеркивает важность цифровых активов, позволяя разработчикам определять и управлять цифровыми активами на цепи более гибко и безопасно.
  • С другой стороны, Move IR, промежуточное представление языка Move, может отделить транзакционные скрипты от модулей, разделяя логику транзакций от смарт-контрактов. Это позволяет общественным сетям на основе Move достигать TPS (транзакций в секунду) часто в десятках тысяч или даже сотнях тысяч, что значительно превышает производительность общественных сетей на основе EVM.

Короче говоря, блокчейн-сети, построенные на Move, в своей основе обладают превосходной безопасностью и высокими преимуществами производительности по сравнению с общедоступными цепями, основанными на Solidity, предоставляя новым разработчикам лучшую отправную точку для создания приложений on-chain.

Однако для публичных блокчейнов техническая мощь часто не является основным полем битвы. Ключевым фактором успеха является то, смогут ли они привлечь достаточное количество пользователей и капитала. Вот почему термин "убийца Ethereum" редко упоминался в последние годы. По сравнению с непрерывными инновациями на уровне приложений Ethereum, большинство новых публичных блокчейнов страдают от "эффекта призракового города", с очень низкой активностью пользователей и ликвидностью на большинстве сетей.

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

Например, архитектуры общественных цепей M1 и M2 движения не только естественным образом обладают эффективными возможностями обработки транзакций, но также интегрируют виртуальную машину Ethereum (EVM). Это позволяет разработчикам запускать и внедрять зрелые DApps из экосистемы EVM на M2 без написания кода Move.

Иными словами, Movement может автоматически преобразовывать скрипты Solidity в опкоды, которые Move может понять, обеспечивая взаимодействие между Move и Ethereum, а также другими сетями EVM.

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

Модульный набор разработки: SDK для движения

SDK Movement - основной инструмент разработки для реализации основного видения «переноса Move в Ethereum».

Как модульный набор средств разработки, он в основном состоит из трех основных компонентов: MoveVM, Fractal и настраиваемых адаптеров (адаптеров) для сети секвенсора и служб доступности данных (DA).

MoveVM: Безопасная и эффективная среда выполнения

Во-первых, как ядро SDK Movement, MoveVM обеспечивает безопасную, эффективную и ресурсоориентированную среду выполнения для смарт-контрактов.

Эта возможность позволяет Movement SDK выполнять сложные смарт-контракты и управлять цифровыми активами, что делает его неотъемлемой частью сети M2 (как подробно описано ниже). Таким образом, MoveVM также является ключом к поддержке сети M2 в достижении ультравысокой пропускной способности транзакций и чрезвычайно быстрых времен ответа. Его основные особенности включают:

  • Программирование, ориентированное на ресурсы: MoveVM рассматривает активы как материальные, нереплицируемые ресурсы, обеспечивая более высокий уровень безопасности и целостности управления активами.
  • Строгие гарантии безопасности: Используя процесс верификации байткода, MoveVM обеспечивает соблюдение всех запущенных кодов строгих протоколов безопасности, минимизируя уязвимости и улучшая надежность блокчейн-системы.
  • Эффективное управление активами: MoveVM предоставляет контролируемую среду для точного управления цифровыми активами, обеспечивая выполнение транзакций с максимальной точностью и надежностью.
  • Безопасность типов и Формальная верификация: MoveVM подчеркивает безопасность типов с помощью строгой системы типов, которая выявляет ошибки на этапе компиляции. Совместно с методами формальной верификации это обеспечивает соблюдение умных контрактов установленных свойств и стандартов безопасности, снижая риск ошибок и уязвимостей.
  • Изоляция и инкапсуляция: В MoveVM активы и код инкапсулируются в модулях, обеспечивая строгий контроль доступа и изоляцию. Эта инкапсуляция предотвращает несанкционированный доступ и взаимодействие, обеспечивая работу каждого модуля в рамках его определенных параметров, тем самым повышая общую безопасность и целостность системы.
  • Проверка байткода: MoveVM использует тщательный процесс проверки байткода для тщательного изучения смарт-контрактов перед выполнением. Этот шаг гарантирует, что все контракты соответствуют стандартам безопасности и корректности платформы, что значительно снижает риск выполнения злонамеренного или ошибочного кода.

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

Последнее расширяет функциональность оригинального MoveVM до внешних сред, таких как EVM, создавая многофункциональную виртуальную машину, направленную на охват более широкой совместимой блокчейн-экосистемы.

Всего пару дней назад, старший инженер Move @artoriatech публично критиковалпроблемы фрагментации, с которым в настоящее время сталкивается экосистема Move, откровенно заявляя, что «разработчики сталкиваются с существенным сопротивлением при переходе с одной цепи Move на другую»:

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

Модульный MoveVM Movement, как многофункциональная виртуальная машина, стремится быть полностью совместимым с EVM и другими экосистемами Move, в настоящее время поддерживая развертывание кода Aptos и EVM, и вскоре также охватывая экосистему Sui.

Это означает, что DApps из экосистем Aptos, Ethereum и других экосистем EVM могут быть развернуты в течение 10 минут - разработчикам не нужно дополнительно учить Move, просто сохраните код в оригинальной языковой архитектуре, такой как Solidity, чтобы достичь параллельного развертывания.

Фрактал: мост между Solidity и MoveVM

Fractal - это в основном компилятор, который позволяет запускать смарт-контракты Solidity в среде MoveVM. Это создает безопасную среду, которая плавно соединяет языки Solidity и Move, позволяя разработчикам развертывать свои контракты Solidity на MoveVM (сеть M2).

Преимущества очевидны: разработчики могут воспользоваться гибкостью Solidity, используя при этом безопасность и высокую производительность Move, чтобы решить некоторые внутренние проблемы Solidity.


Процесс компиляции Fractal в основном разделен на следующие 5 шагов:

  • Токенизация и синтаксический анализ: Этот процесс сначала разбивает скрипт Solidity на токены, представляющие основные элементы скрипта (такие как переменные, функции и структуры управления). Анализ этих токенов включает в себя анализ синтаксической структуры кода Solidity и организацию элементов в Абстрактное Синтаксическое Дерево (AST), которое описывает логику и организацию кода;
  • Абстрактное Синтаксическое Дерево (AST): AST - это деревянное представление синтаксической структуры кода Solidity. Он подробно описывает иерархию операций и взаимосвязи между различными сегментами кода;
  • Промежуточный язык (IL): После построения AST код преобразуется в промежуточный язык (IL), сокращающий разрыв между высокоуровневым кодом Solidity и низкоуровневыми инструкциями, необходимыми для выполнения;
  • Опкоды MoveVM: Затем IL компилируется в операционные коды (опкоды) MoveVM, которые являются основными инструкциями, которые виртуальная машина понимает и выполняет, указывая конкретные операции, которые должен выполнить MoveVM;
  • Байт-код MoveVM: На последнем этапе опкоды преобразуются в байт-код MoveVM, исполнимое двоичное представление программы, полностью скомпилированное из исходного скрипта Solidity и готовое к выполнению в безопасной и ресурсоориентированной среде MoveVM.

Согласно официальному блогу, Fractal находится на стадии разработки, в настоящее время проходит комплексное тестирование и улучшения для расширения своих возможностей за пределами текущих функций.

Настроенные адаптеры

Настроенные адаптеры - это окончательный базовый компонент SDK Movement (по сути, описанная ниже архитектура M1), разработанный для обеспечения бесшовной интеграции с сетями сортировщиков и службами доступности данных (DA):

  • Службы доступности данных (DA): SDK Movement интегрируется с DA-сервисами, позволяя DA-сервисам работать непосредственно на L1 или функционировать как автономные выделенные DA-сервисы, обеспечивая надежный доступ к данным транзакций;
  • Поддержка Danksharding: Чтобы согласоваться с дорожной картой развития Ethereum, SDK Movement зарезервировал возможность сотрудничать с эксклюзивными поставщиками услуг DA, включая Celestia и EigenDA, которые обеспечивают гарантированную доступность данных;
  • Управление узлами валидатора и службы интеграции сортировщика: Пользовательские адаптеры в SDK движения также отвечают за стратегическое управление и переконфигурацию узлов валидатора. Взаимодействуя с механизмами консенсуса, такими как Snowman и Proof of Stake (PoS), SDK улучшает защиту блокчейна от атак Сибиля;
  • Инклюзивность на всех уровнях DA: Эти настраиваемые адаптеры могут поддерживать различные уровни DA, включая Ethereum-4844 и несколько суверенных решений DA, таких как Celestia, EigenDA и Avail, обеспечивая возможность пользователям выбрать уровень DA, который лучше всего соответствует их потребностям в приложениях;

В целом, SDK Movement предоставляет обширный комплект разработки, который включает в себя среду для развертывания и тестирования смарт-контрактов, компиляторы и адаптеры, направленные на упрощение процесса разработки. Это позволяет разработчикам, особенно разработчикам Solidity, строить, тестировать и оптимизировать DApps на основе языка Move.

Архитектура публичной цепи "M1+M2"

На основе SDK Movement, Movement Labs разработала архитектуру общедоступной цепочки, включающей M1 и M2.

M1 разработана как сеть, ориентированная на сообщество, способная обеспечить чрезвычайно высокую пропускную способность транзакций и мгновенную окончательность, предоставляя децентрализованную сортировочную сеть и уровень консенсуса. M2, с другой стороны, является решением ZK-Rollup L2 на основе M1 и Ethereum (поддерживающее как Sui Move, так и Aptos Move), интегрируя EVM для возможности запуска совместимых с Ethereum DApps на M2.

M1: Децентрализованная сеть заказчиков и слой консенсуса

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

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

Заметим, что благодаря принятию M1 улучшенного механизма консенсуса Snowman, который позволяет узлам достигать согласия путем имитации социальных взаимодействий (т. Е. «болтовни» между узлами), он естественно поддерживает более масштабное участие узлов и более быстрые скорости консенсуса, достигая высокой пропускной способности и эффективной сортировки транзакций.

На этой основе M1 служит сетью сортировщиков PoS и слоем консенсуса для M2. С одной стороны, это обеспечивает безопасность сети M2 через стейкинг, а с другой стороны, обеспечивает M2 эффективный механизм консенсуса. Чтобы стать сортировщиком в сети M1, необходимо поставить токены MOVE и использовать механизм Slash для предотвращения злонамеренной деятельности, улучшая безопасность и надежность сети.

В качестве сортировщика PoS сети для M2, M1 обеспечивает правильность, доступность и верифицируемость транзакций через услуги доступности данных (DA) и рынок доказателей.

M2: ZK-Rollup L2 на основе M1 и Ethereum

M2 можно рассматривать как «основную сеть» экосистемы движения. Он представляет собой архитектуру ZK-Rollup на основе Move, состоящую из MoveVM, Fractal и M1, отвечающую за развертывание конкретных приложений DApp.

Термин «ZK-Rollup архитектура на основе Move» используется потому, что M2 планирует использовать доказательства с нулевым разглашением для повышения конфиденциальности и безопасности (т.е. технология zk-Move). Это даст M2 не только преимущества в скорости обработки и экономичности, но и уникальные преимущества в защите конфиденциальности.

MoveVM и Fractal позволяют выполнять стандартные смарт-контракты EVM и поддерживать смарт-контракты, написанные на языке Move (Aptos Move, Sui Move). Используя язык Move и параллельную модель Sui, они могут обеспечивать высокую пропускную способность и низкую задержку для транзакций EVM.

Это означает, что разработчики, использующие языки, такие как Solidity, могут легко запускать безопасные, высокопроизводительные и высокопропускные приложения MoveVM Rollup, напрямую используя естественные преимущества языка Move.

Наконец, все транзакции, выполненные на M2, будут отсортированы сетью сортировщиков M1, с упаковкой данных транзакции и отправкой их обратно в Ethereum. Окончательность доказательств допустимости достигается через сеть zk-доказывателей Рынка Доказателей, с результатами ZK-доказательств, опубликованных на основной сети Ethereum. Подробные данные о транзакциях публикуются в Celestia, тем самым синхронизируя состояния данных между ними:

С помощью технологии Blobstream модульный слой доступности данных Celestia может быть передан в Ethereum, и разработчики могут интегрировать Blobstream для создания высокопроизводительных Ethereum L2s, так же как при разработке смарт-контрактов.

Простыми словами, M1 отвечает за уровень консенсуса и сортировку транзакций, M2 обрабатывает преобразование Solidity-Move и выполнение транзакций, в то время как Celestia/Ethereum гарантирует окончательную доступность данных и безопасность состояния. Эта модульная архитектура безусловно максимизирует высокую производительность и безопасность Move, а также преимущества для пользователя и трафика EVM.

сводка

Помимо технических аспектов, способность быстро создать крупную и процветающую экосистему с нуля имеет решающее значение.

В настоящее время Movement Labs разработала инструментальные средства, такие как Movement SDK, инфраструктура обмена сообщениями Hyperlane и Movement Shared Sorter (M1), чтобы предоставить разработчикам необходимые ресурсы для легкого создания и развертывания приложений на основе Move.

Согласно официальным раскрытиям, среда выполнения Move Stack от Movement Labs также начнет тестирование этим летом. Планируется, что в качестве каркаса выполнения она будет совместима с многими Rollup-фреймворками от компаний, таких как Optimism, Polygon и Arbitrum.

С этой точки зрения комбинация инструментов, таких как M1, M2 и Move Stack, потенциально может создать всеобъемлющую вселенную MoveVM, которая включает экосистему Solidity, а также экосистемы Aptos Move и Sui Move. Это позволило бы протоколам, не основанным на языке Move, использовать функциональные возможности Move, тем самым расширяя влияние языка Move.

Отказ от ответственности:

  1. Эта статья перепечатана с [LFG Лаборатории], Все авторские права принадлежат оригинальному автору [Лаборатории LFG]. Если есть возражения против этого перепечатывания, пожалуйста, свяжитесь сGate Learnкоманда, и они незамедлительно справятся с этим.
  2. Отказ от ответственности: Взгляды и мнения, выраженные в этой статье, являются исключительно точкой зрения автора и не являются инвестиционными советами.
  3. Переводы статьи на другие языки выполняются командой Gate Learn. Если не указано Gate, копирование, распространение или плагиатирование переведенных статей запрещено.
Начните торговать сейчас
Зарегистрируйтесь сейчас и получите ваучер на
$100
!