Jump to content
Sign in to follow this  
News Bot

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

Recommended Posts

certik_vypustila_demo_versiyu_sobstvennogo_yazyka_smart_kontraktov_deepsea.jpg

 

Блокчейн-компания CertiK, специализирующаяся на кибербезопасности, выпустила демо-версию и справочное руководство для своего языка программирования смарт-контрактов DeepSEA.

CertiK и связанные с ней проекты научных исследований и разработок ранее получали финансирование от Binance Labs, Ethereum Foundation и Qtum. Демо-версия, компилятор и справочное руководство по языку DeepSEA, выпущенные на этой неделе, призваны дать разработчикам всестороннее и практическое представление о DeepSEA.

 

Функциональный язык программирования смарт-контрактов DeepSEA был создан в исследовательской лаборатории профессора Чжун Шао (Zhong Shao), заведующего кафедрой компьютерных наук в Йельском университете. Он основал CertiK вместе со старшим преподавателем компьютерных наук Колумбийского университета Ронхуи Гу (Ronghui Gu).

 

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

 

 

Подробнее: https://bits.media/certik-vypustila-demo-versiyu-sobstvennogo-yazyka-programmirovaniya-smart-kontraktov/

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
Sign in to follow this  

  • Recently Browsing   0 members

    No registered users viewing this page.

  • Similar Topics

    • IOTA Foundation выпустила новую версию Hornet v.0.4.0 для операторов узлов

      IOTA Foundation объявила о запуске новой версии программного обеспечения Hornet v.0.4.0 для операторов узлов, в результате чего пропускная способность сети увеличилась до 20 раз. Тестирование, проведенное совместно с сообществом IOTA, продемонстрировало стабильную работу 150 узлов, подтвердивших более 650 транзакций в секунду, что говорит о двадцатикратном увеличении пропускной способности сети. Кроме того, по сравнению с IRI, предыдущей версией клиента IOTA, Hornet использует в 10 раз мен

      in Новости криптовалют

    • Torus Labs выпустила инструмент аутентификации для dApp на любом блокчейне

      Torus Labs выпустила инструмент DirectAuth для входа в децентрализованные приложения на любом блокчейне. Его уже внедрили протокол децентрализованного хранения Arweave и социальная сеть Sapien. Torus Labs выпустила пакет программ для разработки приложений (SDK) для создания решений аутентификации в dApp на любом блокчейне. Ранее Torus запустила свой блокчейн и протокол входа в систему одним кликом.   По словам генерального директора и соучредителя Torus Labs Чжэня Юй Юна (Zhen Yu

      in Новости криптовалют

    • IOV Labs выпустила легкий клиент для «сети третьего уровня» Lumino

      IOV Labs запустила легкий клиент для мобильных устройств сети Lumino Payments Network, которая поддерживает смарт-контракты и должна составить конкуренцию Lightning Network. Light Client будет работать на мобильных устройствах через встроенные приложения кошельков. Год назад компания, ранее известная как RIF Labs, представила «сеть третьего уровня» для масштабируемых смарт-контрактов. Lumino работает на базе «федеративного» сайдчейна RSK на блокчейне Биткоина, с привязанным к биткоину ток

      in Новости криптовалют

    • Lightning Labs выпустила версию v0.10-beta реализации lnd

      Команда инженеров Lightning Labs выпустила бета-версию Lightning Network Daemon (lnd) v0.10, в которую добавлены многолучевые платежи (MPP) и частично подписанные транзакции (PSBT). Один из основных разработчиков Lightning Network, команда Lightning Labs, выпустила новую версию реализации lnd v0.10-beta. В нее вошли несколько важных улучшений для сети Lightning Network на блокчейне Биткоина.   Согласно пресс-релизу, новая версия v0.10-beta дает пользователям Lightning возможность

      in Новости криптовалют

    • Швейцарская ассоциация выпустила общие стандарты хранения криптовалют

      Швейцарская Ассоциация рынков и технологий (CMTA) выпустила общие индустриальные стандарты для компаний, предоставляющих кастодиальные услуги для цифровых активов. Генеральный секретарь CMTA Федор Поскряков, являющийся также партнером юридической фирмы Lenz & Staehelin, рассказал, что разработанный документ стал первым шагом швейцарской финансовой индустрии в сторону определения общих стандартов по хранению и управлению цифровыми активами.   «Это очень поможет развитию инфрас

      in Новости криптовалют

×
×
  • Create New...