BTC
7272.2
ETH
146.72
BCH
205.12
LTC
43.852
DASH
50.286
XRP
0.2204
EOS
2.6100
ADA
0.0361
BNB
14.624
https://yobitex.net
https://yobitex.net/
bestchange.ru
hashflare.io
cryptoreactor.ru

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.000020
0.000137
0.000586
USD
0.14138
0.98967
4.2414
RUB
9.0086
63.060
270.26
Расширенный калькулятор
yobit.net
Курсы криптовалют
Обновить
Статистика сети
Текущая сложность: 12876842089683
Следующая сложность: 13206667682261 (2.56%)
Блоков до пересчета: 1309
Цена шары (PPS): 0.0000000000
Мощность сети (Th/s): 94537009.64
Блоков в сети: 607523
Блоков в час: 6.15
Блоков за последний час: 5
До 6.25 BTC/блок: 152.28 дней
(22477 блоков)
Лучше взять и изобрести завтрашний день, чем переживать о том, что вчерашний был так себе
Стив Джобс