Хотите всегда оставаться в курсе событий? Подписывайтесь на @cryptochan и получайте новости в нашем Telegram канале.
×
Главная » #STREAM » Новости криптовалют за 28.02.2020
07:28

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

Блокчейн-компания CertiK, специализирующаяся на кибербезопасности, выпустила демо-версию и справочное руководство для своего языка программирования смарт-контрактов DeepSEA. CertiK и связанные с ней проекты научных исследований и разработок ранее получали финансирование от Binance Labs, Ethereum Foundation и Qtum. Демо-версия, компилятор и справочное руководство по языку DeepSEA, выпущенные на этой неделе, призваны дать разработчикам всестороннее и практическое представление о DeepSEA. Функциональный язык программирования смарт-контрактов DeepSEA был создан в исследовательской лаборатории профессора Чжун Шао (Zhong Shao), заведующего кафедрой компьютерных наук в Йельском университете. Он основал CertiK вместе со старшим преподавателем компьютерных наук Колумбийского университета Ронхуи Гу (Ronghui Gu). DeepSEA, первоначально разработанный для внедрения в системное программное обеспечение, впоследствии был переориентирован на использование для формальной проверки, а также аудита смарт-контрактов и протоколов блокчейна. Разработчики утверждают, что существующие языки не подходят для формальных процедур проверки, необходимых для надлежащей защиты от высоких рисков. Эти риски связаны с самовыполнением и неизменяемостью смарт-контрактов. Профессор Гу в прошлом обосновывал необходимость DeepSEA, указывая на его более ранние реализации в критически важных аппаратных системах, например, NASA Mars Rover. Исследователи CertiK критиковали языки Solidity и Move, утверждая, что DeepSEA значительно безопаснее. Разработчики утверждают, что благодаря использованию математических доказательств они могут гарантировать, что инфраструктура блокчейна «безошибочна и устойчива к атакам хакеров». Релиз языка смарт-контрактов предшествует запуску основной сети CertiK Chain 1.0 весной 2020 года.  Напомним, что бета-версия конфиденциального блокчейна была запущена в прошлом году. Основная сеть будет полностью совместима с Эфириумом, что позволит без проблем запускать существующие смарт-контракты на Solidity, а также с Cosmos. Профессор Гу рассказал, что разработчики планируют интегрировать DeepSEA с блокчейном CertiK уже в этом году.

Обсудить в чате
Похожие новости
  • 22 Фев, 11:19

    Проект Libra получит собственный язык программирования смарт-контрактов

    Проект Libra социальной сети Facebook не планирует использовать существующие языки для разработки смарт-контрактов. Разработчики создают новый язык программирования под названием Move. Как рассказал глава цифрового направления Calibra Бен Маурер (Ben...

  • 21 Фев, 08:52

    Биржа Kuna запустила бета-версию криптогривны

    «Для поддержания стабильности и обеспеченности токена UAX мы применяем метод, позволяющий поддерживать единое резервное соотношение между токеном криптовалюты UAX и связанным с ним активом в фиатной валюте. Этот метод получил свое название Proof-of-R...

  • 13 Фев, 08:26

    ФК «Барселона» выпустит собственный фанатский токен на блокчейне

    Испанский футбольный клуб «Барселона» вступил в сотрудничество с блокчейн-стартапом Chiliz для выпуска своих собственных токенов Barca Fan Token (BAR). Как сообщили в стартапе, предложение обсуждалось на протяжении 17 месяцев и потребовало одобрения ...

В мире за неделю

Pro banner