30 июля была запущена вторая тестовая сеть Cardano для виртуальной машины IELE. IELE – это виртуальная машина с сопутствующим низкоуровневым языком, предназначенная для надежного и безопасного выполнения смарт-контрактов в блокчейне Cardano. IELE была разработана Runtime Verification в партнерстве с IOHK, которая финансирует проект.
IELE поддерживает компиляцию из Solidity. Основная цель запуска IELE – устранить проблемы безопасности и корректности выполнения смарт-контрактов, которые зачастую случались при написании смарт-контрактов Solidity в Ethereum (например, DAO и Parity). Предполагается, что в IELE нельзя будет выполнить небезопасный смарт-контракт. Кому интересно, есть видео (ссылка на youtube в конце текста, на английском языке), где демонстрируется сценарии выполнения одного и того же небезопасного смарт-контракта в EVM и IELE и видно, что небезопасный смарт-контракт, который выполняется в EVM, в виртуальной машине IELE запустить не удается.
Насколько с технической точки зрения качественно это реализовано оценивать не берусь, но если это будет работать в продуктиве, это будет очень круто. К примеру, в блокчейне Ethereum Classic на подобные проблемы обращают внимание и пытаются их решать. Но решать планируют "вручную". Я имею ввиду запуск проекта Callisto. Одной из задач Callisto объявила запуск экосистемы безопасности смарт-контрактов Ethereum. Команда аудиторов будет заниматься анализом кода смарт-контрактов и устранять ошибки. Для разработчиков смарт-контрактов эта услуга будет бесплатна, а работа аудиторов оплачиваться в криптовалюте Callisto (CLO). На этом фоне автоматический аудит смарт-контрактов в IELE выглядит действительно круто и продвинуто.
По мере развития IELE будут поддерживаться более высокоуровневые языки программирования, такие как, Javascript, Python и др., что позволит разработчикам интегрировать смарт-контракты в свои приложения.
Напомню, что 2 месяца назад была запущена первая тестовая сеть KEVM (https://golos.id/cardano/@alexvlg/v-blokcheine-cardano-zapushena-pervaya-set-s-podderzhkoi-smart-kontraktov).
@alexvlg Поздравляю! Вы получили личную награду!
Вы можете нажать на бейдж, чтобы увидеть свою страницу на Доске Почета.
@alexvlg, Поздравляю!
Ваш пост был упомянут в моем хит-параде в следующей категории:
@arcange, дареному коню, как говорится, в зубы не смотрят, но как так получается, вы пишете, что мой пост на 3-м месте, а в самом хит-параде его нет?)) и это уже не первый раз. это шутка такая что-ли?)))
Добрый день. Спасибо большое за отличную статью. Проголосовал за нее и подписался на ваш блог. Надеюсь на взаимность.
Ваш пост поддержали следующие Инвесторы Сообщества "Добрый кит":
vict0r, zivchakh, pulemetchi
Поэтому я тоже проголосовал за него!
Узнать подробности о сообществе можно тут:
Разрешите представиться - Кит Добрый
Правила
Инструкция по внесению Инвестиционного взноса
Вы тоже можете стать Инвестором и поддержать проект!!!
Если Вы хотите отказаться от поддержки Доброго Кита, то ответьте на этот комментарий командой "!нехочу"
dobryj.kit теперь стал Делегатом! Ваш голос важен для всего сообщества!!!
Поддержите нас:
@djimirji up!
💡 @alexvlg получил апвоут на 25% (VotingPower 8130.93).
Апайте посты блога: https://golos.id/@djimirji и будете получать апвоуты на 75%
Пост может попасть в двухдневный рейтинг и получить награду в случае АПА поста
Пост может попасть в еженедельный рейтинг.
Условия вызова бота:
@vik 100%