" Происхождение языка программирования Move не связано с супер-шифропанком. Facebook* (теперь Meta*) создал Move после того, как команда Libra/Diem сравнила основные языки смарт-контрактов (Bitcoin Script, языки байт-кода для виртуальных машин Ethereum) и решила, что их выдающиеся технические таланты могут создать новый язык, который основан на многолетних исследованиях в частном и государственном секторах.
Первоначальная команда, включая основателей Мо Шейха, Эйвери Чинга и их команду инженеров, покинула Facebook*, чтобы продолжить работу в качестве полностью независимого проекта с открытым исходным кодом, возглавляемого Aptos Labs и поддерживаемого Aptos Foundation.
Важно отметить, что неудачный эксперимент Meta* с Libra позволил разработать язык программирования, который разработан специально для криптовалютного финансирования. Aptos теперь работает с открытым исходным кодом, а Aptos Foundation - это коммерчески ориентированная организация, которая приглашает разработчиков из всех слоев общества.
В настоящее время Move является лучшим языком программирования для проверки отсутствия ошибок, а также для проверки модификаций и утечек, с помощью которых происходит взлом большинства блокчейнов.
Эта проверка основана на двух ключевых особенностях Move on Aptos: (1) «обратной совместимости» и (2) концепции «аудитора во время выполнения».
Обратная совместимость означает уверенность в будущем
Переход на Aptos происходит быстро и дешево, что создает конкурентные возможности для пользователей, особенно для приложений децентрализованного финансирования (DeFi). Aptos стремится к высокой пропускной способности транзакций, а теоретические возможности достигают 160 000 транзакций в секунду (TPS) благодаря механизму параллельного выполнения Block-STM.
Благодаря быстродействию Aptos транзакции подтверждаются быстро, что повышает удобство работы пользователей в приложениях, требующих много времени.
Справедливости ради, другие сети также обладают этими качествами. Однако Move на Aptos спроектирован таким образом, чтобы обеспечить «обратную совместимость».
Будущие обновления не станут нарушать работу существующих проектов. Это помогает разработчикам чувствовать себя увереннее при создании долгосрочных решений, не беспокоясь о том, что что-то может сломаться из-за обновления Move.
Смарт-контракты Move разработаны таким образом, чтобы их можно было обновлять, не влияя на работу пользователей, что очень важно для массового внедрения. Это позволяет командам внедрять исправления ошибок и новые функции без каких-либо сбоев.
Благодаря специальным функциям безопасности Move on Aptos гибкость смарт-контрактов обеспечивает лучшую и быструю доставку продукта. Благодаря большей гибкости Move on Aptos может быстро адаптироваться к новым экосистемам.
Проверка «байт-кода» предотвращает утечки
Взломы контрактов на надежность были распространены на протяжении многих лет. При разработке технологии Web3 для рынков стоимостью в миллиарды или даже триллионы долларов очень важно иметь систему безопасности, которая защитит проекты от утечек ресурсов, несанкционированного доступа к памяти и других несанкционированных модификаций.
Поскольку изначально Move разрабатывался для проекта Meta* Diem, он обеспечивает безопасность, управление ресурсами и производительность, что делает его привлекательным для разработчиков, которые ищут безопасный и в то же время надежный язык для смарт-контрактов.
При развертывании кода с использованием Move код будет проверен на соответствие нескольким важным условиям, таким как надлежащее управление ресурсами, корректность ввода и безопасность ссылок. Независимо от того, что произойдет с кодом, сначала он будет проверен, чтобы предотвратить запуск любых ошибочных или вредоносных смарт-контрактов.
Проверка отсутствия ошибок в режиме реального времени
Известный пионер компьютерных наук Эдсгер Дейкстра отметил:
«Тестирование программ может использоваться для выявления наличия ошибок, но никогда для подтверждения их отсутствия!»
Возможности формальной проверки Move позволяют разработчикам на практике доказать, что в определенном коде нет ошибок в соответствии с заданными спецификациями.
MoveVM менее проверен в бою, чем виртуальная машина Ethereum, но, как объяснил основатель Movement Labs Руши Манч, Move требует гораздо меньшего количества проверок кода. Среда выполнения MoveVM может выступать в качестве «аудитора во время выполнения».
Верификатор внутри MoveVM гарантирует, что код транзакции не является вредоносным и он не может создавать, дублировать или уничтожать ресурсы, не разрешенные лицом, подписавшим транзакцию. Другими словами, MoveVM - это «аудитор во время выполнения», а не человек-аудитор смарт-контрактов.
На сегодняшний день Move on Aptos - это нечто большее, чем просто язык смарт-контрактов. Move on Aptos - это старейшая, наиболее узнаваемая и широко используемая версия Move, которая может похвастаться одним из самых быстрорастущих сообществ разработчиков и быстрорастущей экосистемой инфраструктуры, инструментов и проектов.
Быстрая проверка кода перед развертыванием создала условия для перехода к экосистеме Aptos. После неудачного запуска Web2, Move теперь нацелен на развитие DeFi.
Об авторе
Алекс Нгуен - генеральный директор VibrantX.
Эта статья предназначена для общего ознакомления и не должна восприниматься как юридическая или инвестиционная консультация. Взгляды, мысли и суждения, выраженные в этой статье, принадлежат только автору.
*Американская корпорация Meta Platforms и принадлежащие ей социальные сети Facebook и Instagram признаны экстремистскими и запрещены в РФ.
