Нова перспектива на громадські ланцюжки рухом: Чи може введення руху в EVM переосмислити Ethereum та рух?

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

Уявіть, якщо будь-який розробник мови Solidity міг би будувати або мігрувати більш безпечні та ефективні додатки на Move з майже нульовими бар'єрами. Це було б дивовижно, чи не так?

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

Цікаво, на відміну від Aptos, Sui та Linera, які всі є громадськими ланцюжками рівня L1 на основі мови Move, нове покоління Movement спрямувало свою увагу на L2. Воно запустило перший Ethereum L2 на основі мови Move з метою використання виконавчої продуктивності та безпекових переваг Move, одночасно інтегруючи переваги екосистеми EVM. Це дозволяє розробникам запускати проекти Solidity на M2 без написання коду Move.

Як перший новий ланцюжок громадських рухів, який перейшов від 'вбивці Ethereum' до 'приєднання до Ethereum' з інтегративним підходом, високопродуктивна архітектура Movement на рівні L2, з безпекою останнього стану на основній мережі Ethereum, забезпечила значний раунд фінансування на рівні $38 мільйонів у квітні.

Так чого саме прагне досягти рух, і якою магією він має привернути увагу провідних інвестиційних установ, таких як Polychain Capital, Binance Labs, OKX Ventures та Hack VC, щоб зробити на нього ставку?

Рух: Інтеграція Move в екосистему EVM

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

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

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

  • З одного боку, вона побудована на Rust і розроблена як об'єктно-орієнтована мова для написання смарт-контрактів з безпечним управлінням ресурсами. Цей дизайн підкреслює важливість цифрових активів, дозволяючи розробникам визначати та управляти цифровими активами on-chain більш гнучко і безпечно.
  • З іншого боку, 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.

Іншими словами, Рух може автоматично перетворювати сценарії Solidity на опкоди, які Move може розуміти, забезпечуючи взаємодію між Move та Ethereum, а також іншими мережами EVM.

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

Модульний набір розробки: руховий SDK

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

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

Перемістіть VM: Безпечна та ефективна середовище виконання

По-перше, як ядро SDK Руху, MoveVM забезпечує безпечне, ефективне та ресурсозберігаюче середовище виконання для смарт-контрактів.

Ця можливість дозволяє SDK руху виконувати складні смарт-контракти та керувати цифровими активами, роблячи його невід'ємною частиною мережі M2 (як детально описано нижче). Таким чином, MoveVM також є ключем до підтримки мережі M2 в досягненні великої пропускної здатності та надзвичайно швидкого часу реакції. Його основні особливості включають:

  • Програмування, орієнтоване на ресурси: MoveVM розглядає активи як матеріальні, неповторні ресурси, забезпечуючи вищу безпеку та цілісність у керуванні активами.
  • Строгі гарантії безпеки: З використанням процесу перевірки байткоду MoveVM забезпечується дотримання всіх виконуваних кодів строгих протоколів безпеки, що мінімізує вразливості та підвищує надійність блокчейн-системи.
  • Ефективний управління активами: MoveVM забезпечує контрольоване середовище для точного управління цифровими активами, забезпечуючи виконання операцій з найвищою відтворюваністю та надійністю.
  • Безпека типів та формальне підтвердження: MoveVM підкреслює безпеку типів за допомогою строгої системи типів, яка виявляє помилки на етапі компіляції. У поєднанні з методами формального підтвердження це забезпечує дотримання умов у розумних контрактах та стандартів безпеки, зменшуючи ризик помилок та уразливостей.
  • Ізоляція та Інкапсуляція: У MoveVM активи та код ізольовані в межах модулів, які забезпечують строгий контроль доступу та ізоляцію. Ця інкапсуляція запобігає несанкціонованому доступу та взаємодії, забезпечуючи те, що кожен модуль працює в межах визначених параметрів, тим самим підвищуючи загальну безпеку та цілісність системи.
  • Перевірка байткоду: MoveVM використовує ретельний процес перевірки байткоду для докладного вивчення смарт-контрактів перед виконанням. Цей крок забезпечує виконання всіх контрактів згідно з вимогами безпеки та правильності платформи, що значно зменшує ризик виконання зловмисного або недосконалого коду.

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

Останнє розширює функціональність оригінального MoveVM до зовнішніх середовищ (таких як EVM), створюючи багатофункціональну віртуальну машину, спрямовану на охоплення широкої взаємодії в екосистемі блокчейну.

Лише кілька днів тому старший інженер Move @artoriatech публічно критикувавпроблеми фрагментації, з якими наразі стикається екосистема Move, відверто заявляючи, що “розробники зіткнуться зі значним опором при переході з однієї ланцюжка Move на іншу”:

Візьміть Sui Move та Aptos Move як приклади. Кожен ланцюжок є ізольованим екосистемою зі своїм унікальним VM та набором інструментів, з важливими відмінностями, які продовжують зростати при випуску нових функцій протоколом, до такої міри, що вони майже різні мови, і жоден проект не намагається зменшити ці відмінності.

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

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

Фрактал: Перетин Солідності та MoveVM

Фрактал - це, в основному, компілятор, який дозволяє розумним контрактам 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 (opcodes), які є базовими інструкціями, які розуміє та виконує віртуальна машина, вказуючи конкретні операції, які повинен виконати MoveVM;
  • Байт-код MoveVM: На заключному етапі опкоди перетворюються на байт-код MoveVM, виконавче двійкове представлення програми, повністю скомпільоване з оригінального скрипту Solidity і готове до запуску в безпечному та ресурсоорієнтованому середовищі MoveVM.

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

Користувацькі адаптери

Користувацькі адаптери - остання основна складова частина SDK Movement (фактично, архітектура M1, описана нижче), призначена для забезпечення безшовної інтеграції з мережами Sorter та службами доступності даних (DA):

  • Служби доступності даних (DA): SDK руху інтегрується зі службами DA, дозволяючи службам DA працювати безпосередньо на L1 або працювати як самостійні спеціалізовані служби DA, забезпечуючи надійний доступ до даних транзакцій;
  • Підтримка Danksharding: Для вирівнювання з дорожньою картою розвитку Ethereum, SDK Руху зберіг можливість співпрацювати з виключними постачальниками послуг DA, включаючи Celestia та EigenDA, які забезпечують гарантовану доступність даних;
  • Послуги управління вузлами перевірки та інтеграції сортування: Спеціальні адаптери в Movement SDK також відповідальні за стратегічне управління та переконфігурацію вузлів перевірки. Взаємодіючи з механізмами консенсусу, такими як Snowman і Proof of Stake (PoS), SDK підвищує захист блокчейну від атак Sybil;
  • Інклюзивність на різних рівнях DA: Ці спеціальні адаптери можуть підтримувати різні рівні DA, включаючи Ethereum-4844 і кілька суверенних рішень DA, таких як Celestia, EigenDA та Avail, що забезпечує користувачам можливість вибору DA, який найкраще відповідає їх потребам додатка;

В цілому набір розробки Movement SDK надає середовище для розгортання та тестування смарт-контрактів, компілятори та адаптери, спрямовані на спрощення процесу розробки. Це полегшує завдання розробників, особливо розробників Solidity, у створенні, тестуванні та оптимізації DApps на основі мови Move.

Архітектура публічного ланцюжка "M1+M2"

На основі SDK Movement, Movement Labs розробила архітектуру громадського ланцюжка, що включає в себе M1 та M2.

M1 розроблено як мережа, спрямована на спільноту, здатна досягати надзвичайної великої пропускної здатності та миттєвої остаточності, надаючи децентралізовану мережу сортування та шару згоди. M2, з іншого боку, є рішенням L2 ZK-Rollup на основі 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 можна розглядати як «mainnet» екосистеми Movement. Він використовує архітектуру 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-provers від Prover Marketplace, з результатами 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.

Disclaimer:

  1. Ця стаття розміщена з [ LFG Labs], Усі авторські права належать оригінальному автору [LFG Labs]. Якщо є зауваження до цього перепублікування, будь ласка, звертайтеся до Gate Навчаннякоманда, і вони оперативно впораються з цим.
  2. Відповідальність за відмову: Погляди та думки, висловлені в цій статті, є виключно тими автора і не становлять жодної інвестиційної поради.
  3. Переклади статті на інші мови виконуються командою Gate Learn. Якщо не зазначеноGate.io, копіювання, поширення або плагіатування перекладених статей заборонено.

Нова перспектива на громадські ланцюжки рухом: Чи може введення руху в EVM переосмислити Ethereum та рух?

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

Уявіть, якщо будь-який розробник мови Solidity міг би будувати або мігрувати більш безпечні та ефективні додатки на Move з майже нульовими бар'єрами. Це було б дивовижно, чи не так?

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

Цікаво, на відміну від Aptos, Sui та Linera, які всі є громадськими ланцюжками рівня L1 на основі мови Move, нове покоління Movement спрямувало свою увагу на L2. Воно запустило перший Ethereum L2 на основі мови Move з метою використання виконавчої продуктивності та безпекових переваг Move, одночасно інтегруючи переваги екосистеми EVM. Це дозволяє розробникам запускати проекти Solidity на M2 без написання коду Move.

Як перший новий ланцюжок громадських рухів, який перейшов від 'вбивці Ethereum' до 'приєднання до Ethereum' з інтегративним підходом, високопродуктивна архітектура Movement на рівні L2, з безпекою останнього стану на основній мережі Ethereum, забезпечила значний раунд фінансування на рівні $38 мільйонів у квітні.

Так чого саме прагне досягти рух, і якою магією він має привернути увагу провідних інвестиційних установ, таких як Polychain Capital, Binance Labs, OKX Ventures та Hack VC, щоб зробити на нього ставку?

Рух: Інтеграція Move в екосистему EVM

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

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

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

  • З одного боку, вона побудована на Rust і розроблена як об'єктно-орієнтована мова для написання смарт-контрактів з безпечним управлінням ресурсами. Цей дизайн підкреслює важливість цифрових активів, дозволяючи розробникам визначати та управляти цифровими активами on-chain більш гнучко і безпечно.
  • З іншого боку, 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.

Іншими словами, Рух може автоматично перетворювати сценарії Solidity на опкоди, які Move може розуміти, забезпечуючи взаємодію між Move та Ethereum, а також іншими мережами EVM.

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

Модульний набір розробки: руховий SDK

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

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

Перемістіть VM: Безпечна та ефективна середовище виконання

По-перше, як ядро SDK Руху, MoveVM забезпечує безпечне, ефективне та ресурсозберігаюче середовище виконання для смарт-контрактів.

Ця можливість дозволяє SDK руху виконувати складні смарт-контракти та керувати цифровими активами, роблячи його невід'ємною частиною мережі M2 (як детально описано нижче). Таким чином, MoveVM також є ключем до підтримки мережі M2 в досягненні великої пропускної здатності та надзвичайно швидкого часу реакції. Його основні особливості включають:

  • Програмування, орієнтоване на ресурси: MoveVM розглядає активи як матеріальні, неповторні ресурси, забезпечуючи вищу безпеку та цілісність у керуванні активами.
  • Строгі гарантії безпеки: З використанням процесу перевірки байткоду MoveVM забезпечується дотримання всіх виконуваних кодів строгих протоколів безпеки, що мінімізує вразливості та підвищує надійність блокчейн-системи.
  • Ефективний управління активами: MoveVM забезпечує контрольоване середовище для точного управління цифровими активами, забезпечуючи виконання операцій з найвищою відтворюваністю та надійністю.
  • Безпека типів та формальне підтвердження: MoveVM підкреслює безпеку типів за допомогою строгої системи типів, яка виявляє помилки на етапі компіляції. У поєднанні з методами формального підтвердження це забезпечує дотримання умов у розумних контрактах та стандартів безпеки, зменшуючи ризик помилок та уразливостей.
  • Ізоляція та Інкапсуляція: У MoveVM активи та код ізольовані в межах модулів, які забезпечують строгий контроль доступу та ізоляцію. Ця інкапсуляція запобігає несанкціонованому доступу та взаємодії, забезпечуючи те, що кожен модуль працює в межах визначених параметрів, тим самим підвищуючи загальну безпеку та цілісність системи.
  • Перевірка байткоду: MoveVM використовує ретельний процес перевірки байткоду для докладного вивчення смарт-контрактів перед виконанням. Цей крок забезпечує виконання всіх контрактів згідно з вимогами безпеки та правильності платформи, що значно зменшує ризик виконання зловмисного або недосконалого коду.

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

Останнє розширює функціональність оригінального MoveVM до зовнішніх середовищ (таких як EVM), створюючи багатофункціональну віртуальну машину, спрямовану на охоплення широкої взаємодії в екосистемі блокчейну.

Лише кілька днів тому старший інженер Move @artoriatech публічно критикувавпроблеми фрагментації, з якими наразі стикається екосистема Move, відверто заявляючи, що “розробники зіткнуться зі значним опором при переході з однієї ланцюжка Move на іншу”:

Візьміть Sui Move та Aptos Move як приклади. Кожен ланцюжок є ізольованим екосистемою зі своїм унікальним VM та набором інструментів, з важливими відмінностями, які продовжують зростати при випуску нових функцій протоколом, до такої міри, що вони майже різні мови, і жоден проект не намагається зменшити ці відмінності.

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

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

Фрактал: Перетин Солідності та MoveVM

Фрактал - це, в основному, компілятор, який дозволяє розумним контрактам 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 (opcodes), які є базовими інструкціями, які розуміє та виконує віртуальна машина, вказуючи конкретні операції, які повинен виконати MoveVM;
  • Байт-код MoveVM: На заключному етапі опкоди перетворюються на байт-код MoveVM, виконавче двійкове представлення програми, повністю скомпільоване з оригінального скрипту Solidity і готове до запуску в безпечному та ресурсоорієнтованому середовищі MoveVM.

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

Користувацькі адаптери

Користувацькі адаптери - остання основна складова частина SDK Movement (фактично, архітектура M1, описана нижче), призначена для забезпечення безшовної інтеграції з мережами Sorter та службами доступності даних (DA):

  • Служби доступності даних (DA): SDK руху інтегрується зі службами DA, дозволяючи службам DA працювати безпосередньо на L1 або працювати як самостійні спеціалізовані служби DA, забезпечуючи надійний доступ до даних транзакцій;
  • Підтримка Danksharding: Для вирівнювання з дорожньою картою розвитку Ethereum, SDK Руху зберіг можливість співпрацювати з виключними постачальниками послуг DA, включаючи Celestia та EigenDA, які забезпечують гарантовану доступність даних;
  • Послуги управління вузлами перевірки та інтеграції сортування: Спеціальні адаптери в Movement SDK також відповідальні за стратегічне управління та переконфігурацію вузлів перевірки. Взаємодіючи з механізмами консенсусу, такими як Snowman і Proof of Stake (PoS), SDK підвищує захист блокчейну від атак Sybil;
  • Інклюзивність на різних рівнях DA: Ці спеціальні адаптери можуть підтримувати різні рівні DA, включаючи Ethereum-4844 і кілька суверенних рішень DA, таких як Celestia, EigenDA та Avail, що забезпечує користувачам можливість вибору DA, який найкраще відповідає їх потребам додатка;

В цілому набір розробки Movement SDK надає середовище для розгортання та тестування смарт-контрактів, компілятори та адаптери, спрямовані на спрощення процесу розробки. Це полегшує завдання розробників, особливо розробників Solidity, у створенні, тестуванні та оптимізації DApps на основі мови Move.

Архітектура публічного ланцюжка "M1+M2"

На основі SDK Movement, Movement Labs розробила архітектуру громадського ланцюжка, що включає в себе M1 та M2.

M1 розроблено як мережа, спрямована на спільноту, здатна досягати надзвичайної великої пропускної здатності та миттєвої остаточності, надаючи децентралізовану мережу сортування та шару згоди. M2, з іншого боку, є рішенням L2 ZK-Rollup на основі 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 можна розглядати як «mainnet» екосистеми Movement. Він використовує архітектуру 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-provers від Prover Marketplace, з результатами 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.

Disclaimer:

  1. Ця стаття розміщена з [ LFG Labs], Усі авторські права належать оригінальному автору [LFG Labs]. Якщо є зауваження до цього перепублікування, будь ласка, звертайтеся до Gate Навчаннякоманда, і вони оперативно впораються з цим.
  2. Відповідальність за відмову: Погляди та думки, висловлені в цій статті, є виключно тими автора і не становлять жодної інвестиційної поради.
  3. Переклади статті на інші мови виконуються командою Gate Learn. Якщо не зазначеноGate.io, копіювання, поширення або плагіатування перекладених статей заборонено.
Empieza ahora
¡Registrarse y recibe un bono de
$100
!