Jump to content

Recommended Posts

Posted

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/

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
  • Recently Browsing   0 members

    • No registered users viewing this page.
  • Similar Topics

    • Bitget выпустила руководство по использованию rToken для институциональных клиентов

      Документ посвящен использованию rToken и Cross-Asset Unified Account в работе с обеспечением между несколькими классами активов. Руководство рассчитано на институциональных участников рынка. Криптовалютная биржа Bitget опубликовала руководство для институциональных клиентов по использованию rToken в качестве обеспечения между различными классами активов. В руководстве описаны заявленные Bitget варианты применения Cross-Asset Unified Account (UTA) при работе с криптовалютами и токенизированн

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

    • Число нападений на криптоинвесторов выросло на треть — CertiK

      За последние шесть месяцев произошло 52 публично известных нападения на криптоинвесторов с целью похитить криптовалюту. Это на 33,3% больше, чем за первое полугодие 2025-го (39 инцидентов), сообщили аналитики компании CertiK. Совокупный финансовый объем вымогательств, взломов и требований выкупа вырос с $10,53 млн в первой половине 2025 года до $124,18 млн за первые шесть месяцев этого. То есть объем вырос почти в 12 раз. В расчете на одно происшествие средний ущерб вырос с $270 000 до $2,3

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

    • Объем транзакций рублевым стейблкоином превысил $110 млрд — CertiK

      Совокупный объем ончейн‑транзакций с привязанным к российскому рублю стейблкоином A7A5 с момента запуска токена превысил $110 млрд, подсчитали специалисты по безопасности компании CertiK. С февраля прошлого года по май этого доля A7A5 на глобальном рынке недолларовых стейблкоинов достигла 43%, а число кошельков‑держателей выросло более чем вдвое, с 13 000 до 29 000.   Объем торгов в паре A7A5 с рублем составил $11,2 млрд, а в паре со стейблкоином USDT — $6,1 млрд, сообщила CertiK. Осн

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

    • Ущерб от криптоатак упал на 90% — исследование CertiK

      Потери крипторынка от атак хакеров составили в мае $68,3 млн. Это почти на 90% меньше, чем в апреле, когда ущерб превысил $650 млн, сообщили специалисты по безопасности компании CertiK Крупнейшим инцидентом мая стал взлом кроссчейн-моста Verus Protocol. В результате атаки злоумышленники похитили около $11,5 млн. Второе место по объему потерь занял протокол THORChain, который в середине месяца лишился $10,1 млн.    Основной причиной убытков в мае аналитики назвали ошибки и уязвимост

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

    • Metaplanet выпустила облигации на $50 млн для покупки биткоинов

      Японская инвестиционная компания Metaplanet, один из крупнейших корпоративных держателей биткоина, объявила о выпуске облигаций на сумму 8 миллиардов иен ($50 млн) для финансирования новых закупок первой криптовалюты. Согласно заявлению компании, весь выпуск выкупил фонд EVO Fund, зарегистрированный на Каймановых островах. Он уже выступал ключевым инвестором в предыдущих размещениях. Это двадцатый выпуск облигаций Metaplanet.   Компания продолжила привлечение капитала, несмотря на заф

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

×
×
  • Create New...