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