Розбір Move мови: нова парадигма розробки Блокчейн

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

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

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

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

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

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

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

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

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

Ранній екосистеми Move

Суї

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

Aptos

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

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

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

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

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

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

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