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 месяцев и потребовало одобрения ...
Cегодня
- 08:00 Гендиректор Binance Ричард Тенг: «Наша цель — вовлечь в криптовалюты один миллиард пользователей»
- 07:49 «Первый житель» Биткоин-Сити покинул Сальвадор От Bits.media
- 07:35 Саудовская Аравия присоединилась к международной цифровой платформе mBridge
- 07:10 Атаки с использованием социальной инженерии: как защитить свои криптовалюты
- 07:01 JPMorgan ожидает усиления контроля в США над эмитентами стейблкоинов
- 06:45 «Первый житель» Биткоин-Сити покинул Сальвадор
- 06:20 Мэр Москвы и Банк России намерены внедрить оплату проезда в транспорте цифровым рублем
- 02:30 30 стран стремятся присоединиться к БРИКС, заявляет российский посол в Китае
В мире за неделю
-
9 Июн, 21:01+4 Биткоин в 2024 году вырос на 70% благодаря притоку институционального капитала
-
9 Июн, 16:27+9 Notcoin сжигание, стейкинг и launchpad. Все твои токены сгорят? / Криптовалюты, NFT и финансы
-
7 Июн, 08:49+4 Подаренные Дурову монеты NOT выросли в 4 раза в цене
-
3 Июн, 17:16+4 В мае проекты в сфере Web3 и блокчейна привлекли более $1 млрд инвестиций