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

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

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

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

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 Labs завершила раунд фінансування серії A на 38 мільйонів доларів 25 квітня, лідирує Polychain Capital, участь взяли кілька відомих інвестиційних установ.

Майбутня дорожня карта

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