28 мая отметил запуск тестовой сети «KEVM» первых смарт-контрактов Cardano. Тестовая сеть развернута в версии виртуальной машины Ethereum (EVM) с правильной конструкцией в рамках K. Эта технология была разработана в сотрудничестве с Проверка во время выполнения при поддержке IOHK.

Это был первый случай создания формальной схемы виртуальной сети Ethereum (EVM)..

Это большое дело.

На протяжении десятилетий разработчики пытались разработать такую ​​структуру; первые формальные исследования, относящиеся к 60-е и 70-е годы. Релиз K framework показывает, что это не только теоретически, но и возможно.. Проф. Григоре Росул, отвечает за разработку KEVM, сам работает над фреймворком K более 15 лет..

Говоря о тестовой версии KEVM, Rosul заявил что это «звучит как сон, но не больше».

Что такое КЭВМ?

В K framework определяет формальное определение правил, которое позволяет вам определять эту семантику для вашего собственного языка программирования. Как только вы определите свой язык программирования на K, у вас будет ряд инструментов, доступных для вашего использования. Это заставит любой язык, определенный в структуре K, вести себя единообразно, гарантируя, что язык всегда будет вести себя правильным и предсказуемым образом..

Как только вы определите язык или виртуальную машину на K, вы получите доступ ко всем инструментам, которые может предложить фреймворк. Другие разработчики и команды предпринимали многочисленные попытки сделать что-то подобное, но K – первая из когда-либо созданных успешных рабочих моделей..

Следовательно, KEVM просто означает, что EVM был формально определен в K framework..

С помощью KEVM разработчики смогут запускать любое приложение, разработанное для EVM, но, кроме того, они будут иметь доступ ко всему множеству новых функций и безопасности, которые может предложить KEVM..

Тестовые сети KEVM и IELE в соответствии с дорожной картой Cardano

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

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

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

Почему мы заботимся?

Проф. Григоре Росуи заявил, что это огромный шаг вперед не только для Cardano, но и «навстречу обещанию блокчейнов третьего поколения».

В смарт-контракты написанные с использованием инфраструктуры K, включая существующие смарт-контракты на основе Ethereum, будут использовать сильные преимущества безопасности, предлагаемые KEVM, и, кроме того, позволит легко выполнять этапы оптимизации и анализа, что в конечном итоге сделает коды более безопасными..

Ошибки смарт-контрактов постоянно преследуют криптовалютный мир. В прошлом был ряд серьезных проблем, таких как печально известный DOA взлом, но даже сегодня хакеры используют причины слабости плохо написанного кода.

Возьмем, к примеру, прошлую неделю, когда была обнаружена потенциальная ошибка. выставлен в основной сети EOS, которые, если их не поймают, могли бы позволить хакерам захватить узлы, подключенные к сети. Или посмотрите на Verge, который в прошлом месяце цель хакеров минимум трижды.

Через платформу K смарт-контракт проверяется с использованием возможностей KEVM по построению. За счет реализации только наиболее безопасных функций EVM многие потенциальные проблемы безопасности и недостатки, обычно наблюдаемые в смарт-контрактах Ethereum, устраняются до того, как они возникнут.. 

Кардано: одна из ярких звезд криптовалюты

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

Эта тестовая сеть знаменует собой большое достижение не только для команды Cardano, но и для сообщества блокчейнов в целом..

Такого рода технологические усовершенствования – это то, чего мы должны ожидать от команды Кардано. Если не произойдет каких-либо серьезных технологических сбоев, виртуальная машина KEVM, а затем и виртуальная машина IELE будет внедрена в основную сеть Cardano. Это еще больше подтолкнет Cardano к роли крупного игрока в гонке платформ смарт-контрактов..

Дополнительные сведения о платформе Cardano и ее команде см. Дорожная карта Кардано и что нас ждет в будущем и Что такое Кардано?