Огляд мови Move та її застосування в галузі Блокчейн

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

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

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

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

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

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

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

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

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

Move екосистема

Суї

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

Aptos

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

Лабораторії руху

Movement Labs - це команда розробників Блокчейн, яка прагне інтегрувати Блокчейн-мережі для підтримки найшвидших і найнадійніших рішень Layer 2 на базі Ethereum. Їхній флагманський L2 поєднує Rollup з Move Stack, вводячи MoveVM в Ethereum.

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

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

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

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

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

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

Перспективи

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