Вступ

Блокчейн і криптоіндустрія зробили революцію у фінансовому секторі та світі. Кілька стартапів створили, щоб сприяти зростанню галузі та створювати широке використання криптовалюти. Багато проектів породили нові платформи, які звертаються до звичайних користувачів, щоб залучити ширшу аудиторію.

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

У цій статті розглядатимуться функції, використання, компоненти Move і секрет його недавньої популярності.

Що таке Move?

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

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

Основи мови програмування Move

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

До кінця 2020 року Libra зіткнулася з деякими проблемами та негативною реакцією з боку економічних учасників з різних країн, а також проблемами з назвою та логотипом, що змусило її змінити назву на Diem. Запуск блокчейна провалився в січні 2022 року через занепокоєння глобальних держав щодо проблем безпеки та відмивання грошей, які може створити запуск Libra.

Move було написано мовою RUST ; популярна багатопарадигмальна мова програмування, яка користується великим попитом серед програмістів у всьому світі у 2018 році. Мова програмування Rust віддає перевагу безпеці пам’яті та запобіганню одночасним перегонам даних. Його розробив Грейдон Хоар у 2006 році, коли він працював у Mozilla Research.

Перемістити цілі дизайну

Проект Move для блокчейну Diem був здебільшого зосереджений на тому, щоб зробити доступною безпечну та легко програмовану платформу. Щоб продемонструвати це, Move мав продемонструвати закони блокчейну Diem та його валюту простим, точним і таким, що можна перевірити способом.

Зважаючи на це, розробники Move вибрали конкретні цілі дизайну, щоб підтримувати розвиток програми та залишатися актуальною в майбутньому. Деякі з цілей дизайну включають наступне:

Першокласні ресурси

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

Спеціальна збірка Move робить так, що ресурси можуть бути повністю прозорими в модулях, водночас непрозорими для зовнішніх звернень до модуля. Іншою важливою особливістю мови Move є те, що ресурси ніколи не можна скопіювати або повністю видалити. Їх можна лише переміщувати з одного місця зберігання в інше.

Гнучкість

Скрипти транзакцій будуть включені в кожну транзакцію Diem (Libra). Ці сценарії транзакцій використовуються в модулі для здійснення викликів і процедур виклику. Єдину основну процедуру можна створити з настроюваного довільного коду. Один сценарій транзакції може викликати різні процедури.

Модулі переміщення дають програмістам гнучкість і можливість створювати безпечні коди. Move можна порівняти з об’єктно-орієнтованою мовою програмування через ідентичний зв’язок між «класами, методами, об’єктами» та «модулями, процедурами та ресурсами».

Перевіряемість

Інструменти перевірки поза ланцюгом також дозволені на MOVE, навіть якщо він уже містить систему, яка дозволяє перевірку в ланцюзі. Це пояснюється тим, що перевірка в ланцюжку є неприйнятною для блокчейну високого рівня. Запровадження оф-чейн перевірки скоротить складний процес перевірки в ланцюзі. Щоб досягти цього, мова програмування move буде зосереджена на трьох різних дизайнах:

Без динамічної відправки

Це використовується, щоб уникнути складної побудови графа викликів і дозволити статично визначати сайти викликів.

Модульність

MOVE за допомогою модульності може ізолювати модулі для функціональної перевірки. Модулі переміщення допоможуть з абстракцією даних і локалізацією важливих операцій із ресурсами.

Обмежена мінливість

Цей дизайн підходить для випадків, які орієнтовані на використання посилальних типів, схожих на C++. Це дозволяє максимум одне змінне посилання в точці.

Безпека

У мові програмування Move важливі три властивості безпеки; безпека типу, безпека ресурсів і безпека пам'яті. Існують різні можливі підходи, які Move може використовувати, щоб гарантувати, що програми, які не дотримуються цих властивостей безпеки, не приймаються.

Перший підхід полягав би в тому, щоб Move використовував мову програмування високого рівня, обладнану компілятором, якому доручено переглядати властивості.

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

Як працює Move?

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

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

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

Що робить Move унікальним?

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

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

Компоненти MOVE

Унікальні функції Move – це не все, що забезпечує роботу мови програмування. Він також містить кілька компонентів, адаптованих до процесів програми. Ось кілька компонентів, які користувачі можуть знайти в MOVE.

Типи

У MOVE це стосується підтримуваних примітивних типів даних. Прикладами є логічні, 64-розрядні цілі числа без знаку, масиви байтів фіксованого розміру та 256-розрядні адреси.

Структура

Існує два типи структури. Перший називається Kind, який відноситься до ресурсних структур. Другий, який називається необмеженим, відноситься до загальної структури.

Процедури

За цим компонентом ми маємо два основні методи, а саме публічний і внутрішній. Ациклічна залежність модуля допомагає запобігти повторним атакам.

Перевірка байт-коду

Завданням цього компонента є перевірка характеристик безпеки перед публікацією модулів. Програми на Move повинні пройти перевірку перед випуском. Перевірка розбита на кілька етапів.

• Перевірка того, що розмір стека ще не змінено після завершення всіх операцій.
• Перевірка типу
• Розробка контрольного графа
• Перевірка довідки
• Зв’язування посилань із глобальним станом для перевірки декларації та відповідності використання
• Перевірка ресурсу

Інтерпретатор байт-коду

Після завершення процесу перевірки всі програми повинні пройти через інтерпретатор. Виконання програм можна порівняти з Ethereum, оскільки обидві платформи використовують газові параметри, забезпечуючи виконання нескінченного циклу.

Перемістити віртуальну машину

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

Секрет недавньої популярності Move

Можна було очікувати, що Move вже стала популярною мовою програмування, але через проблеми, з якими зіткнувся Diem (раніше Libra), її зростання було призупинено. Нещодавно завдяки Aptos він отримав смак у центрі уваги.

Aptos — це блокчейн першого рівня, створений за допомогою мови програмування Move. Він був розроблений розробниками Meta, які вирішили розробити свій блокчейн після того, як Meta відмовилася від блокчейн-проекту Diem (раніше Libra). Він поєднує паралельні транзакції та мову програмування Move для отримання теоретичної швидкості транзакцій 100,00 транзакцій на секунду.

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

Move та інші мови програмування

[Move — не єдина доступна мова програмування; його часто порівнюють із твердістю та ясністю. Ці три мови програмування є найбільш використовуваними на різних платформах у просторі блокчейн. Нижче наведено аналіз порівняння Move з двома іншими.

Рух проти міцності

Solidity — це мова програмування, розроблена виключно для створення смарт-контрактів у мережі Ethereum. Таким чином, учасники блокчейну Ethereum зробили Solidity найкращим вибором для реалізації смарт-контрактів для віртуальних машин Ethereum, а також для платформ розробки блокчейнів, сумісних з EVM. Мова високого рівня у фігурних дужках черпала натхнення з інших мов програмування, таких як Javascript, C++ і Python.

Дизайн solidity дозволяє розробникам створювати сценарії додатків, які використовують логіку самозабезпечення. Крім того, Solidity використовує синтаксис javascript як джерело натхнення, завдяки чому розробники легко розуміють і впроваджують Javascript.

Як і Solidity, Move було створено з урахуванням різних мереж. Основною мережею для впровадження мови Move була Diem, яка з часом була розпущена. З іншого боку, Solidity був розроблений для популярного блокчейну Ethereum, який працює досі.

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

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

Рух проти чіткості

Blockstack — це платформа, яка налаштована на розробку власного Інтернету та надання послуг і засобів смарт-контрактів. Щоб полегшити це, Blockstack представив Clarity як мову програмування смарт-контрактів для свого власного блокчейну Stacks. Clarity — це мова програмування, яка дозволяє користувачам розробляти власні особливі умови контракту, а не попередньо запрограмовані.

Чіткість також усуває ймовірність несподіваних транзакцій, надаючи додатковий рівень безпеки. Однією з головних особливостей ясності є аспект визначеності, який забезпечує «вирішувану» мову програмування, яка визначає, що комп’ютер робитиме з кодом.

Move базується на Diem, високомасштабованому, безпечному та гнучкому блокчейні, тоді як Clarity базується на Stack 2.0, мережі з відкритим кодом для різних dApps, які використовують мережу Ethereum для створення нових.

Компіляція Move також відрізняє його від Clarity. Move використовує компілятор для виконання своїх кодів. На відміну від Move, Clarity не використовує компілятор під час виконання коду.

Висновок

Move показала себе як особливий тип мови програмування, який зробить революцію в індустрії блокчейну в цілому. Наразі він привернув увагу нового блокчейну Aptos, і лише час покаже, наскільки вдалою буде ця комбінація.