Главная / Биржи / Ethereum Foundation выдал грант университетам для работы над языком смарт-контрактов

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

Adem

Ethereum Foundation выделил грант исследователям Колумбийского и Йельского университетов для компиляции нового языка программирования смарт-контрактов в Виртуальную машину Эфириума (EVM).

Бенефициар гранта – проект DeepSea, занимающийся исследованием и разработкой смарт-контрактов. Проект возглавляет профессор Жунхуэй Гу (Ronghui Gu), доцент кафедры информатики в Колумбийском университете. DeepSea осуществляется в сотрудничестве с исследователями из Йельского университета. Гу также является соучредителем блокчейн-стартапа для аудита смарт-контрактов CertiK, участвующего в проекте. Осенью прошлого года сообщалось, что CertiK получил «несколько миллионов» в рамках раунда финансирования, проведенного
Binance Labs.

DeepSea получил название в честь нового языка программирования смарт-контрактов, первоначально созданного в исследовательской лаборатории профессора Шао, заведующего кафедрой информатики в Йельском университете и который также является соучредителем CertiK. Хотя язык изначально был разработан для реализации системного программного обеспечения, в пресс-релизе отмечается, что высокие риски, связанные с уязвимостями смарт-контрактов, дали новый толчок к расширению «защитных функций» DeepSea в этой области. Гу заявляет:

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

Формальная верификация – «процесс использования математических доказательств для проверки правильности реализации кода» и, как сообщается, первоначально была реализована в NASA Mars Rover и других аппаратных системах, которые в пресс-релизе характеризуются как «критически важные».

По имеющимся сведениям, в настоящее время этот процесс был расширен для использования в программных системах, как, например, при аудите CertiK смарт-контрактов и блокчейн-протоколов, и может использоваться для предотвращения появления ошибок при компиляции DeepSea в EVM.

Новый грант выдан в рамках пятой волны финансирования Ethereum Foundation Grants Program, которая нацелена на поддержку создания решений Эфириум 2.0 и масштабирования второго уровня. В январе Ethereum Foundation выдал
грант на $5 млн Parity Technologies, а в октябре фонд выдал почти $3 млн ряду стартапов и разработчиков блокчейнов.

Источник

Смотрите также

Сеть Binance Chain успешно интегрировала обновление Galileo

Платформа Binance Chain отчиталась в Твиттере об успешной интеграции обновления Galileo. В заявлении разработчиков сети …

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *