Вступ до мови Move

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

Переваги мови Move

Move має кілька переваг на основі існуючих мов блокчейну. Його ресурсно-орієнтована модель програмування та вбудовані функції безпеки роблять його ідеальним вибором для створення безпечних, високопродуктивних блокчейн-додатків. Дизайн Move зосереджений на безпеці, щоб уникнути поширених проблем Web3, таких як повторні атаки, токсичні токени та підроблені затвердження токенів. У Move цифрові активи розглядаються як ресурси, які не можуть бути довільно скопійовані або знищені.

Об'єктно-орієнтоване та активне програмування

Move був спроектований як об'єктно-орієнтована та заснована на активах мова програмування. У Sui Move об'єкти є основою, що дозволяє здійснювати детальний контроль доступу. Глобальна структура зберігання відображає ідентифікатори об'єктів на об'єкти, підтримуючи ефективну обробку транзакцій та точне представлення доступу. Модель можливостей Move забезпечує наявність у об'єктів певних прав, запобігаючи несанкціонованим операціям, таким як копіювання або видалення об'єктів.

Використання Move Prover для формальної верифікації

Move Prover — це інструмент перевірки, який допомагає розробникам писати формальні специфікації для ключових функцій додатків і перевіряти правильність виконання коду за короткий проміжок часу. Цей інструмент є вкрай важливим для запобігання поширеним помилкам у смарт-контрактах, дозволяючи визначати передумови, післяумови та незмінність даних. Move Prover інтегрований з системою побудови Move, що дозволяє розробникам легко перевіряти свій код.

Управління та спільнота

Розвиток Move зараз залучає різноманітні команди з різних установ, включаючи академічні кола та безпекову спільноту. Принципи дизайну мови зосереджені на простоті та крос-платформенній застосовності, що забезпечує її гнучкість і зручність для досвідчених розробників смарт-контрактів та новачків у Web2. Метод управління Move спрямований на уникнення суперечливих рішень шляхом зосередження на основних принципах і розширення мови лише за необхідності.

Екосистема Move

Суй

Sui є децентралізованим блокчейном на основі доказу частки, який має горизонтально масштабовану пропускну здатність і зберігання. Sui очікує, що зможе обробляти понад 120 000 TPS, обробляючи незалежні транзакції за підсумковий час менше ніж за секунду, а більш складні транзакції – за 3 секунди. Sui оптимізував деякі ключові функції Move, особливо в частині глобальних операторів зберігання та критичних можливостей, щоб підвищити продуктивність мережі та зменшити час підтвердження транзакцій.

Aptos

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

Ознайомлення з Movement Labs

Movement Labs є командою розробників блокчейну, яка прагне інтегрувати блокчейн-мережі для підтримки найшвидших і найбезпечніших рішень Layer 2 на Ethereum. Їхнє завдання полягає в поєднанні безпеки смарт-контрактів і паралелізації з ліквідністю та користувацькою базою EVM.

Фон

Співзасновники Movement Labs з дитинства були захоплені розподіленими системами та безпекою мереж. Вони заснували Movement Labs у 2022 році, виявивши проблеми з користувацьким досвідом та вразливостями смарт-контрактів в існуючій блокчейн-інфраструктурі. Їхня мета - прискорити інновації в криптосфері, щоб розробники могли створювати наступні великі застосунки на ланцюгу.

Вирішення проблем безпеки

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

Інтеграція Move з модульною архітектурою

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

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

Movement Labs надає паралельне EVM та Move середовище, що дозволяє розробникам вибрати найбільш підходящу для їхніх потреб мову. Завдяки реалізації MoveVM у середовищі виконання Ethereum, можна суттєво підвищити пропускну здатність, що дозволяє розробникам створювати нові типи Ethereum додатків.

Децентралізований сортувальник

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

Сумісність Move та Solidity

Movement розробив перекладач для Solidity, що дозволяє смарт-контрактам, написаним на Solidity, використовувати принципи об'єктно-орієнтованого програмування на Movement. Однак, перекладені контракти можуть стикатися з деякими інженерними викликами.

Майбутній розвиток

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