Новая перспектива общественных цепей движением: можно ли внедрить движение в EVM и переопределить Ethereum и 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, копирование, распространение или плагиатирование переведенных статей запрещено.