смарт-контракты — это автоматически исполняемые протоколы на блокчейн-платформах, которые позволяют сторонам сделки проводить доверительные сделки напрямую, без посредников. Эти контракты содержат код функции, которая автоматически выполняется, когда выполняются предустановленные условия.
Концепция смарт-контрактов была предложена Ником Сабо в 90-х годах, но широко использовалась только с появлением Эфириума. Эфириум поддерживает развертывание и выполнение смарт-контрактов и считается блокчейном второго поколения.
Язык смарт-контрактов используется для написания смарт-контрактов, которые компилируются в байт-код и выполняются на виртуальной машине блокчейна. Хороший язык смарт-контрактов должен быть безопасным и эффективным, а также предоставлять инструменты для обработки транзакций и состояния блокчейна.
Классификация языков смарт-контрактов
Большинство разработчиков разрабатывают на 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.
Солана系
Солана известна своей механикой PoH и высокой производительностью. Солана называет смарт-контракты программами на блокчейне, которые в основном написаны на Rust, и используют уникальную виртуальную машину SVM и байт-код SBF.
Ключевой компонент SVM Sealevel реализует параллельную обработку смарт-контрактов. SBF основан на eBPF, обладает высокой производительностью и безопасностью.
Разработка контрактов на Solana в настоящее время поддерживает Rust и Solang. Rust - это универсальный язык, разработанный Mozilla, который отличается высокой производительностью и безопасностью памяти. Solang - это компилятор Solidity на основе LLVM, который упрощает переход разработчиков к Solana.
Система ### Move
Move изначально был разработан для проекта Diem компании Meta и обладает такими характеристиками, как защита ресурсов первого класса, гибкость и проверяемость. Aptos и Sui используют Move в качестве основного языка смарт-контрактов.
Компилятор, проверщик и виртуальная машина Move были спроектированы с нуля. Move Prover является инструментом формальной верификации.
По сравнению с Solidity, Move лучше подходит для формальной проверки, позволяя определить все пути контракта на этапе компиляции.
Инструменты для разработки
Для EVM-совместимых цепей Solidity является предпочтительным языком. Основные инструменты разработки включают Hardhat, OpenZeppelin и Foundry.
Solana является вторым выбором после Ethereum, но сложность разработки довольно велика. Фреймворк Anchor может упростить процесс разработки на Solana.
Язык Move имеет инновации в области безопасного дизайна, но в настоящее время экосистема и инструменты недостаточно развиты.
Итог
Оценка языков смарт-контрактов обычно учитывает удобство использования, безопасность и экосистемные ресурсы.
Solidity обладает наибольшим влиянием, имеет богатые инструменты разработки и библиотеки. Rust дополняет безопасность Solidity, экосистема Solana занимает второе место после Ethereum. Move добавляет больше механизмов безопасности, но экосистема все еще находится на ранней стадии.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
19 Лайков
Награда
19
8
Поделиться
комментарий
0/400
ZKProofster
· 07-14 01:15
движение? лол... покажи мне сначала формальную верификацию
Посмотреть ОригиналОтветить0
PoetryOnChain
· 07-13 00:26
Сначала я куплю Sol, а потом поговорим~
Посмотреть ОригиналОтветить0
StakeTillRetire
· 07-11 21:03
Учить какой-то контракт
Посмотреть ОригиналОтветить0
RumbleValidator
· 07-11 02:47
Скорость проверки - это ключевой момент, Solidity явно недостаточно.
Посмотреть ОригиналОтветить0
SlowLearnerWang
· 07-11 02:45
Это же не просто тонкая вуаль Solidity?
Посмотреть ОригиналОтветить0
CryptoCross-TalkClub
· 07-11 02:44
Не торопитесь учиться, медвежий рынок создает ямы, бычий рынок смеется, сначала надо заработать на хлеб, а потом говорить.
Посмотреть ОригиналОтветить0
ResearchChadButBroke
· 07-11 02:43
Я в шоке, все в напряжении!
Посмотреть ОригиналОтветить0
PretendingSerious
· 07-11 02:24
Интересно, сколько людей начали писать на Solidity и бросили это на нескольких строках.
Полный анализ языков смарт-контрактов: Сравнение EVM, Solana и Move систем
Обзор языков смарт-контрактов
смарт-контракты — это автоматически исполняемые протоколы на блокчейн-платформах, которые позволяют сторонам сделки проводить доверительные сделки напрямую, без посредников. Эти контракты содержат код функции, которая автоматически выполняется, когда выполняются предустановленные условия.
Концепция смарт-контрактов была предложена Ником Сабо в 90-х годах, но широко использовалась только с появлением Эфириума. Эфириум поддерживает развертывание и выполнение смарт-контрактов и считается блокчейном второго поколения.
Язык смарт-контрактов используется для написания смарт-контрактов, которые компилируются в байт-код и выполняются на виртуальной машине блокчейна. Хороший язык смарт-контрактов должен быть безопасным и эффективным, а также предоставлять инструменты для обработки транзакций и состояния блокчейна.
Классификация языков смарт-контрактов
Большинство разработчиков разрабатывают на 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.
Солана系
Солана известна своей механикой PoH и высокой производительностью. Солана называет смарт-контракты программами на блокчейне, которые в основном написаны на Rust, и используют уникальную виртуальную машину SVM и байт-код SBF.
Ключевой компонент SVM Sealevel реализует параллельную обработку смарт-контрактов. SBF основан на eBPF, обладает высокой производительностью и безопасностью.
Разработка контрактов на Solana в настоящее время поддерживает Rust и Solang. Rust - это универсальный язык, разработанный Mozilla, который отличается высокой производительностью и безопасностью памяти. Solang - это компилятор Solidity на основе LLVM, который упрощает переход разработчиков к Solana.
Система ### Move
Move изначально был разработан для проекта Diem компании Meta и обладает такими характеристиками, как защита ресурсов первого класса, гибкость и проверяемость. Aptos и Sui используют Move в качестве основного языка смарт-контрактов.
Компилятор, проверщик и виртуальная машина Move были спроектированы с нуля. Move Prover является инструментом формальной верификации.
По сравнению с Solidity, Move лучше подходит для формальной проверки, позволяя определить все пути контракта на этапе компиляции.
Инструменты для разработки
Для EVM-совместимых цепей Solidity является предпочтительным языком. Основные инструменты разработки включают Hardhat, OpenZeppelin и Foundry.
Solana является вторым выбором после Ethereum, но сложность разработки довольно велика. Фреймворк Anchor может упростить процесс разработки на Solana.
Язык Move имеет инновации в области безопасного дизайна, но в настоящее время экосистема и инструменты недостаточно развиты.
Итог
Оценка языков смарт-контрактов обычно учитывает удобство использования, безопасность и экосистемные ресурсы.
Solidity обладает наибольшим влиянием, имеет богатые инструменты разработки и библиотеки. Rust дополняет безопасность Solidity, экосистема Solana занимает второе место после Ethereum. Move добавляет больше механизмов безопасности, но экосистема все еще находится на ранней стадии.