Огляд мови Move та розвиток її екосистеми

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

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

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

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

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

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

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

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

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

Рання екосистема Move

Суй

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

Aptos

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

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

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

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

Movement Labs прагне побудувати модульну екосистему блокчейнів на базі Move, починаючи з M2, який є першим Layer 2 MoveVM для Ethereum. Вони також впроваджують нове середовище виконання, розроблене для обробки більше 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. Movement Labs також випустить набір інструментів та ресурсів Move для підтримки розробників. Довгострокова мета – реалізація повного запуску Rollup на основній мережі, щоб принести силу Move до всього екосистеми Ethereum.

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