August 17, 2022

Що таке мова MOVE

Перемістити мову

Багато крипторозробників зацікавлені у використанні мови Move. Причинами цього є його висока безпека та нові варіанти використання, які зростатимуть, як тільки криптографічні та некриптографічні користувачі будуть об’єднані.

🧙‍♂️ Мова Move є найбезпечнішою мовою смарт-контрактів і, ймовірно, стане стандартом після Solidity.

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

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

Унікальні можливості, реалізовані в Move Language:

  • Контроль доступу . У Move будь-який актив, такий як токен, може бути оголошений як тип ресурсу, що робить його безпечним і контрольованим за замовчуванням. Ця функція дозволяє зберігати інформацію про володіння та привілеї цифрових активів у смарт-контрактах. Якщо актив надсилається до смарт-контракту, право власності не змінюється. Наприклад, якщо хакер отримає доступ до смарт-контракту Move, він не зможе вивести активи у власний гаманець, якщо ця функціональність не є функцією смарт-контракту.
  • Атомарна архітектура ресурсів — запобігає основним помилкам розробників, типовим для розробки смарт-контрактів, таким як помилки повторного входу або помилки подвійного витрачання коштів. У Move ресурси не можна копіювати або неявно відкидати, їх можна лише переміщати між місцями зберігання.
  • Модулі схожі на смарт-контракти, але більше схожі на банки, що використовують об’єктно-орієнтоване програмування. Кожен ресурс (об’єкт) зберігається в окремому сховищі, контрольованому обліковим записом власника. Операції з ресурсами обмежені функціями, які підтримуються конкретним модулем (класом), які можуть викликатися ззовні модуля. Розробники можуть розгортати нові модулі у мережі.
  • Скрипти . Кожна транзакція у мережі може містити скрипт, який може викликати кілька модулів або ініціювати кілька дій. Розробники можуть використовувати одну транзакцію для виконання різних дій, що значно скорочує кількість смарт-контрактів, необхідних додатку. Це призводить до більш безпечних програм, кращої взаємодії з користувачем і значно більшої гнучкості.
  • Верифікатор байт -коду — це невід’ємна частина Move, яка перевіряє нові модулі та скрипти з метою безпеки перед їхньою публікацією. Після перевірки модуль інтерпретатора байт-коду виконує код. Ця функція знижує кількість помилок під час виконання.
  • Формальна перевірка . Модулі можуть бути автоматично перевірені за допомогою формальної перевірки перед розгортанням.
  • Газова система . Подібно до системи використання газу Solidity, користувачі можуть встановлювати ціни на газ для своїх транзакцій, які будуть оброблятися валідаторами на конкурентній основі.

Оскільки мова Move дуже молода, про неї не так багато інформації, тому ми готові надати доступну документацію, щоб ви могли вивчати мову Move на прикладах та за допомогою існуючих книг/підручників.

Список рекомендованих ресурсів:

  • Move Documentation — офіційна документація з мови Move.

Сайт Pontem Network: https://pontem.network/

DEX Liquidswap: https://liquidswap.com/

Криптокошелек MultiMask: https://github.com/pontem-network/aptos-chrome-extension/releases

Міст Discord: https://discord.gg/9HCTddK2