Введение

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

В этих проектах задействовано несколько механизмов, которые обеспечивают бесперебойную работу, гарантируя безопасную, надежную и эффективную платформу. Умные контракты, которые представляют собой компьютерные программы, являются ключевым компонентом, поскольку они контролируют действия и события контракта. Чтобы обеспечить это, был создан смарт-контракт 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 включает в себя встроенные политики контроля доступа в семантику языка.
• Move не применяет систему по умолчанию для таких цифровых активов, как Ether или Bitcoin.
• Во всем языке Вы можете найти только одно представление о размещении активов. Любой вид настраиваемого актива, например, токены ERC20, должен быть проверен на наличие функций безопасности, указанных программистом, создавшим токены.
• Перемещение свободно от проблем, связанных с ограничениями

Компоненты MOVE

Уникальные возможности Move - это не все, что обеспечивает работу языка программирования. Он также включает в себя несколько компонентов, адаптированных к процессам программы. Вот несколько компонентов, которые пользователи могут найти в MOVE.

Типы

В MOVE это относится к поддерживаемым примитивным типам данных. Примерами являются булевы числа, 64-битные беззнаковые целые числа, массивы байтов фиксированного размера и 256-битные адреса.

Структура

Существует два типа структур. Первый называется Kind, который относится к структурам ресурсов. Второй, называемый неограниченным, относится к общей структуре.

Процедуры

В рамках этого компонента у нас есть два основных метода, а именно: общественный и внутренний. Ациклическая зависимость модулей помогает предотвратить повторяющиеся атаки.

Верификатор байткода

Задачей этого компонента является проверка признаков безопасности перед публикацией модулей. Программы, находящиеся в движении, должны пройти через верификатор перед выпуском. Проверка разбита на различные этапы.

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

Интерпретатор байткода

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

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

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

Секрет недавней популярности Move

Можно было бы ожидать, что Move уже стал популярным языком программирования, но из-за проблем, с которыми столкнулся Diem (ранее Libra), его рост был прерван. Недавно он получил известность благодаря Аптосу.

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

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

Move и другие языки программирования

[Move - не единственный доступный язык программирования; его часто сравнивают с Solidity и Clarity. Эти три языка программирования являются наиболее используемыми на различных платформах в пространстве блокчейн. Ниже приведен анализ сравнения Move с двумя другими.

Движение против твердости

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

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

Как и Solidity, Move был создан с учетом особенностей различных сетей. Главной сетью по внедрению языка Move была Diem, которая в конечном итоге была распущена. Solidity, с другой стороны, была разработана для популярного блокчейна Ethereum, который работает и по сей день.

Уровень безопасности перед лицом re-entrance атак - это большая разница между Move и Solidity. Общеизвестно, что Solidity уязвим для атак re-entrance, если код, построенный на этом языке, слаб. Move, с другой стороны, не страдает от атак повторного входа благодаря своим функциям безопасности активов (определение ресурсов и разделение полномочий управления, статическая типизация, дженерики, система модулей и формальная проверка).

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

Движение против ясности

Blockstack - это платформа, которая настроена на развитие собственного интернета и предоставление услуг и сервисов смарт-контрактов. Чтобы облегчить эту задачу, Blockstack представил Clarity в качестве языка программирования смарт-контрактов для своего собственного блокчейна Stacks Blockchain. Clarity - это язык программирования, который позволяет пользователям разрабатывать свои собственные специальные условия для договора, а не заранее запрограммированные.

Ясность также исключает вероятность неожиданного проведения транзакций, что придает ей дополнительный уровень безопасности. Одним из основных признаков ясности является аспект определенности, который обеспечивает "решаемый" язык программирования, утверждающий, что компьютер будет делать с кодом.

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

Компиляция Move также отличает его от Clarity. Move использует компилятор для выполнения своих кодов. В отличие от Move, Clarity не использует компилятор во время выполнения кода.

Заключение

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