8658.0
167.68
344.58
57.999
107.83
0.2358
11.201
0.0455
3.6300
https://yobitex.net
bestchange.ru
cryptoreactor.ru
hashflare.io
https://yobitex.net/

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

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

Показать комментарии Обсудить на форуме

Подписывайтесь на новости и их анализ в нашем Telegram канале!

Калькулятор Bitcoin
Скорость, GH/s:
Сложность:
Курс BTC/USD:
Курс BTC/RUB:
в день в неделю в месяц
BTC
0.000017
0.000119
0.000511
USD
0.14729
1.0310
4.4187
RUB
9.1107
63.775
273.32
Расширенный калькулятор
yobit.net
Курсы криптовалют
Обновить
Статистика сети
Текущая сложность: 14776367535689
Следующая сложность: 15123644461049 (2.35%)
Блоков до пересчета: 814
Цена шары (PPS): 0.0000000000
Мощность сети (Th/s): 108259263.93
Блоков в сети: 614066
Блоков в час: 6.14
Блоков за последний час: 8
До 6.25 BTC/блок: 108.13 дней
(15934 блоков)
Лучше взять и изобрести завтрашний день, чем переживать о том, что вчерашний был так себе
Стив Джобс