Введение в язык Move

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

Основные характеристики языка Move

Move имеет несколько преимуществ на основе существующих языков блокчейна:

1. Модель программирования, ориентированная на ресурсы
2. Встроенные функции безопасности
3. Объектно-ориентированное и основанное на активах проектирование
4. Тонкая настройка управления доступом
5. Эффективная обработка сделок
6. Предотвращение распространенных проблем Web3 (, таких как уязвимость повторного входа, токсичные токены и т.д. )

Модель способности Move обеспечивает наличие у объектов определенных прав, предотвращая несанкционированные операции, такие как копирование или удаление объектов.

Инструмент формальной проверки Move Prover

Move Prover — это инструмент проверки, который помогает разработчикам:

• Написание формальных спецификаций для ключевых функций приложения
• Проверка правильности выполнения кода за короткое время
• Установить предварительные условия, постусловия и неизменность данных
• Предотвращение распространенных ошибок смарт-контрактов

Move Prover интегрирован с системой сборки Move, что позволяет разработчикам легко проверять свой код.

Экосистема Move

Суй

Sui - это децентрализованный блокчейн с доказательством доли, обладающий следующими характеристиками:

• Горизонтально масштабируемая пропускная способность и хранение
• Может обрабатывать более 120 000 TPS
• Обработка независимых сделок за доли секунды
• Обработка сложных транзакций за 3 секунды ( общий объект )
• Использование консенсусного протокола Narwhal & Tusk

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

Аптос

Aptos — это блокчейн уровня 1 с следующими характеристиками:

• В настоящее время можно достичь пропускной способности до 10 000 TPS
• Теоретическая максимальная пропускная способность составляет 160,000 TPS
• Время окончательного подтверждения составляет 250 миллисекунд
• Достижение высокой производительности с помощью параллельного выполнения и Block-STM
• Использование движка консенсуса HotStuff, адаптированного от Diem

Aptos расширил основные функции MoveVM через адаптационный слой, включая параллелизм, масштабируемые таблицы хранения и тонкую декомпозированную систему хранения.

Лаборатории движения

Movement Labs — это команда разработчиков, стремящаяся интегрировать блокчейн-сети и внедрить MoveVM в экосистему Ethereum. Их основная работа включает в себя:

1. Разработка первого MoveVM Layer 2 на Ethereum (M2)
2. Введение новой высокопроизводительной среды выполнения
3. Создание Move-EVM, позволяющее развертывание проверенного кода
4. Запуск Move Stack, фреймворка уровня исполнения, совместимого с существующими Rollup фреймворками.

Дизайнерская концепция Movement Labs подчеркивает модульную интеграцию, позволяя разработчикам настраивать стек блокчейна. Они также разрабатывают переводчик с Solidity на Move для повышения совместимости.

Будущее развитие

В краткосрочной перспективе разработчики могут ожидать развертывания первого Move смарт-контракта в тестовой сети Ethereum. Долгосрочная цель заключается в полном запуске Rollup в основной сети, чтобы принести преимущества Move в экосистему Ethereum в целом. Movement Labs также продолжит поддерживать разработчиков Move в Азиатско-Тихоокеанском регионе, предоставляя необходимые ресурсы и возможности для содействия глобальному развитию экосистемы Move.