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егодня
- 06:55 Японский банк Nomura и GMO Internet Group запускают проект по изучению стейблкоинов
- 05:15 Китай и ОАЭ высоко оценивают потенциальную роль ЦБЦ в трансграничной торговле
- 05:07 CryptoSlam: Объем NFT-торгов в мае обрушился на 54%
- 04:03 Farside: Рынок спотовых биткоин-ETF показал самый длительный рост с февраля
- 03:46 Google сотрудничает с Magic Leap для усиления потенциала технологий дополненной реальности
В мире за неделю
-
2 Июн, 13:40+8 Британский банк Kroo решил запретить своим клиентам совершать транзакции с криптовалютой
-
30 Май, 13:53+5 Криптоаналитик: DOGE может вырасти до $0,322 в одном случае От Happy Coin News
-
30 Май, 09:45+6 Виталик Бутерин назвал L2-решения «культурным продолжением» Ethereum
-
29 Май, 07:46+6 Суд приговорил экс-директора FTX Райана Саламе к 7,5 годам тюрьмы
-
27 Май, 04:22+4 В ОАЭ пригрозили штрафами на майнинг криптовалют на фермах
-
26 Май, 05:48+5 После легализации Ethereum-ETF ожидается то же самое для SOL
-
24 Май, 13:50+4 Материал Центробанк не видит массового инвестирования в криптовалюты, портал ПЛАС
-
24 Май, 06:28+4 Клиенты Bybit запаниковали и начали выводить десятки миллионов