Программный язык Move готовится к росту DeFi

Мнение автора: Алекс Нгуен, генеральный директор VibrantX

Происхождение программного языка Move не совсем связано с киберпанком. Facebook (теперь Meta) разработала Move после того, как команда Libra/Diem сравнила основные языки смарт-контрактов (Bitcoin Script, байт-коды Ethereum Virtual Machine) и решила, что их технические ресурсы позволят создать новый язык на основе исследований в частном и государственном секторах.

Оригинальная команда, включая основателей Мо Шейка, Эвери Чинга и их инженеров, покинула Facebook, чтобы продолжить работу над проектом в виде полностью независимого, открытого проекта под руководством Aptos Labs и при поддержке фонда Aptos Foundation.

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

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

Эта проверка основана на двух ключевых функциях Move на базе Aptos: (1) "обратная совместимость" и (2) концепция "аудитора во время выполнения".

Обратная совместимость предусматривает защиту на будущее

Move на базе Aptos обеспечивает высокую скорость и низкую стоимость, создавая конкурентоспособный пользовательский опыт, особенно для приложений децентрализованных финансов (DeFi). Aptos нацелена на высокую скорость транзакций, с теоретической пропускной способностью до 160,000 транзакций в секунду (TPS) благодаря параллельному исполнению с использованием двигателя Block-STM.

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

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

Будущие обновления не приведут к сбоям в существующих проектах. Это способствует уверенности разработчиков в создании долгосрочных решений без боязни за стабильность своих продуктов при обновлении Move.

Смарт-контракты Move проектируются таким образом, чтобы быть обновляемыми без влияния на опыт пользователя, что важно для массового принятия. Это позволяет командам внедрять исправления и новую функциональность без нарушения работы.

Недавнее: Стартапы в сфере криптовалют не могут рассчитывать только на хорошую технологию для привлечения средств: OKX

Гибкость смарт-контрактов через Move на базе Aptos благодаря специфическим функциям безопасности позволяет быстрее и качественнее разрабатывать продукты. Благодаря своей гибкости, Move на базе Aptos может быстро адаптироваться для поддержки новых экосистем.

Проверка "байт-кодов" предотвращает утечки

Хаки смарт-контрактов на базе Solidity часто происходят в течение последних лет. При создании технологий Web3 для рынков, оцениваемых в миллиарды или даже триллионы долларов, крайне важно иметь систему безопасности, которая защитит проекты от утечек ресурсов, некорректного доступа к памяти и других несанкционированных изменений.

Первоначально разработанный для проекта Diem компании Meta, Move ориентирован на безопасность, управление ресурсами и производительность, что делает его привлекательным для разработчиков, ищущих безопасный и надежный язык для смарт-контрактов.

При развертывании кода с помощью Move, он будет проверен по нескольким критически важным условиям, таким как управление ресурсами, корректность типов и безопасность ссылок. Независимо от того, что случится с кодом, он будет сначала проверен, предотвращая выполнение ошибок или вредоносных смарт-контрактов.

Это сила встроенной проверки байт-кодов Move.

Реальная проверка отсутствия ошибок

Знаменитый пионер компьютерных наук Эдсгер Дейкстра отметил: "Тестирование программ может показать наличие ошибок, но никогда не их отсутствие!"

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

MoveVM менее испытана в сравнении с виртуальной машиной Ethereum, но, как объяснил Руши Манче, основатель Movement Labs, Move требует намного меньше проверки кода. Среда исполнения MoveVM может функционировать в качестве "аудитора во время выполнения".

Проверяющий агент внутри MoveVM гарантирует, что код транзакции не несет угрозы и не может создавать, дублировать или уничтожать ресурсы, не разрешенные подписчиком(ами) транзакции. Иными словами, MoveVM выступает в роли "аудитора во время выполнения" в отличие от человеческого аудитора смарт-контрактов.

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

Быстрая проверка кода перед развертыванием создала условия для экосистемы Move на базе Aptos. От неудачного начала в Web2, Move теперь готов расти в DeFi.

Мнение автора: Алекс Нгуен, генеральный директор VibrantX.

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