Команда разработчиков Cardano внедрит систему, которая позволит запускать в сети криптовалюты смарт-контракты, написанные на языке программирования Solidity.
В рамках совместимой виртуальной машины K Ethereum (KEVM) будет реализована сетевая система, которая сможет распознавать программы на базе Solidity и автоматически компилировать их на ассемблер (преобразовывать в машинный язык). Это позволит разработчикам определять или реализовывать формальную семантику языка программирования интуитивно понятным модульным способом.
Новая система также сможет генерировать исполняемый файл, преобразованный под виртуальную машину Cardano, из своей формальной спецификации, который будет достаточно быстрым и мощным для запуска реальных программ и смарт-контрактов.
Нововведение даст возможность разработчикам Solidity работать в экосистемах двух платформ одновременно.
текст: Иван Маличенко, фото: Shutterstock
