Вступ до мови 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 – це децентралізований блокчейн на основі доказу частки, який має горизонтальну масштабованість пропускної спроможності та зберігання. Його команда походить з передового підрозділу розробки блокчейнів і займається розробкою блокчейну Diem та мови програмування Move. Sui очікує, що зможе обробляти понад 120,000 TPS, обробляти незалежні транзакції за частки секунди та більш складні транзакції за 3 секунди.

Aptos

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

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

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

Фон

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

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

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

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

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

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

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

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

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

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

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

Фінанси

Movement Labs завершила фінансування раунду A на суму 38 мільйонів доларів, у якому взяли участь кілька відомих інвестиційних установ.

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

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

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