Огляд мови 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

Aptos є блокчейном Layer 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.