Огляд мов смартконтрактів

смартконтракти є автоматичними протоколами на блокчейн-платформах, які дозволяють сторонам угоди здійснювати надійні транзакції без посередників. Ці контракти містять кодові функції, які автоматично виконуються, коли виконуються попередньо встановлені умови.

Концепція смартконтрактів була запропонована Ніком Сабо в 90-х роках, але широке застосування вона отримала лише з появою Ethereum. Ethereum підтримує розгортання та виконання смартконтрактів і вважається блокчейном другого покоління.

Мова смартконтрактів використовується для написання смартконтрактів, які компілюються в байт-код і виконуються на віртуальній машині блокчейну. Хороша мова смартконтрактів повинна бути безпечною і ефективною, а також надавати інструменти для обробки транзакцій та стану блокчейну.

Класифікація мов смартконтрактів

Більшість розробників розробляють на Ethereum та блокчейнах, що сумісні з EVM. Solana має найбільше розробників серед несумісних з EVM ланцюгів. Move був спеціально розроблений для безпечної розробки смартконтрактів.

Ця стаття розділяє мови смартконтрактів на EVM, Solana та Move.

EVM-система

EVM є ядром Ethereum, відповідальним за виконання смартконтрактів та обробку транзакцій. Ethereum використовує багаторівневу архітектуру, що включає байт-код, проміжну мову та мову високого рівня.

На блокчейнах Ethereum та сумісних з EVM найпопулярнішими мовами є Solidity та Vyper, а також Yul, Yul+, Fe та Huff.

Solidity був розроблений командою Ethereum, це об'єктно-орієнтована мова, яка під впливом C++, Python і JavaScript. Vyper був розроблений командою Віталіка Бутеріна, подібний до Python, з оптимізацією для безпеки та ефективності Gas.

Yul є мовою асемблера, що є частиною інструментального комплекту Solidity. Fe є мовою високого рівня, подібною до Rust. Huff є низькорівневою мовою асемблера, яка дозволяє вручну маніпулювати стеком.

90% смартконтрактів на Ethereum розробляються на Solidity. Yul та Yul+ зазвичай використовуються для оптимізації Gas, а Huff - для екстремальної оптимізації Gas.

Відділ Solana

Solana відома своєю механікою PoH та високою продуктивністю. Solana називає смартконтракти програмами на ланцюгу, які в основному написані на Rust, використовують унікальну віртуальну машину SVM та байт-код SBF.

Ключовий компонент SVM Sealevel реалізує паралельну обробку смартконтрактів. SBF на базі eBPF має високу продуктивність та безпеку.

Розробка контрактів Solana наразі підтримує Rust та Solang. Rust – це загальна мова, розроблена Mozilla, з високою продуктивністю та безпекою пам'яті. Solang – це компілятор Solidity на базі LLVM, який спрощує перехід розробників на Solana.

Система переїзду

Move спочатку був розроблений для проекту Diem компанії Meta, має такі характеристики, як захист типів ресурсів першого класу, гнучкість та перевіряність. Aptos та Sui використовують Move як основну мову смартконтрактів.

Компiлятор, валiдатор та віртуальна машина Move були спроектовані з нуля. Move Prover є його інструментом формальної верифікації.

У порівнянні з Solidity, Move більш підходить для формальної верифікації, оскільки дозволяє визначити всі шляхи контракту під час компіляції.

Інструменти для розробки

Для EVM-сумісних ланцюгів Solidity є мовою за замовчуванням. Основні інструменти для розробки включають Hardhat, OpenZeppelin та Foundry.

Solana є другим вибором після Ethereum, але складність розробки є більшою. Фреймворк Anchor може спростити процес розробки на Solana.

Мова Move має інновації в безпековому дизайні, але наразі екосистема та інструменти недостатньо розвинуті.

Підсумок

Оцінка мов смартконтрактів зазвичай враховує зручність використання, безпеку та екологічні ресурси.

Solidity має найбільший вплив, має багатий набір інструментів і бібліотек для розробки. Rust доповнює безпеку Solidity, екосистема Solana є другою після Ethereum. Move додає більше механізмів безпеки, але екосистема все ще на ранній стадії.