Бенефициар гранта - проект 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 млн ряду стартапов и разработчиков блокчейнов.
