3 месяца назад

Ethereum Foundation объявила о компиляции нового языка программирования для смарт-контрактов

Разработка Ethereum
Разработка Ethereum

По сообщению пресс-релиза, некоммерческая организация Ethereum Foundation выделила гранты исследователям Колумбийского и Йельского университетов, расположенных в США, для компиляции нового языка программирования смарт-контрактов с целью их дальнейшего использования в виртуальной машине Ethereum (EVM).

Бенефициаром гранта является проект DeepSEA. Исследования возглавляет профессор Жунхуэй Гу, доцент кафедры компьютерных наук Колумбийского университета, который будет работать в сотрудничестве с экспертами Йельского университета. Гу также является соучредителем компании по блокчейн-безопасности CertiK, которая была одним из участников проекта, собравшим «несколько миллионов» в рамках раунда финансирования, проведенного Binance Labs в октябре 2018.

Новый грант является частью пятой волны финансирования фонда в рамках общей программы Ethereum Foundation, направленной на поддержку усилий по разработке перспективных решений для Ethereum 2.0.

Хотя язык DeepSEA первоначально разрабатывался для реализации в рамках системного программного обеспечения, в пресс-релизе отмечается, что высокие риски, связанные с уязвимостями смарт-контрактов предоставили возможность для использования DeepSEA в этой области.

«Поскольку смарт-контракты являются самореализуемыми и выполняются на постоянной основе, крайне важно, чтобы операции этих контрактов проводились только так, как было задумано. Язык DeepSEA позволит программистам добавлять меры безопасности, чтобы гарантировать, что код точно соответствует спецификациям с помощью формальной проверки», — заявляет профессор Гу.

Напоминаем, что в самом конце февраля в сети Ethereum наконец состоялось промежуточное обновление Constantinople — St. Petersburg, что дает основания ожидать появления Ethereum 2.0 в текущем году.

Читайте также:

Ethereum-сообщество поддерживает внедрение ProgPow

Enterprise Ethereum (EEA) разрабатывает отраслевый стандарт токенизации

Стэнфордский университет и Visa Research предложили анонимный смарт-контракт Ethereum