Перейти к содержанию

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


News Bot

Рекомендуемые сообщения

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/

Ссылка на комментарий
Поделиться на другие сайты

Для публикации сообщений создайте учётную запись или авторизуйтесь

Вы должны быть пользователем, чтобы оставить комментарий

Создать учетную запись

Зарегистрируйте новую учётную запись в нашем сообществе. Это очень просто!

Регистрация нового пользователя

Войти

Уже есть аккаунт? Войти в систему.

Войти
  • Последние посетители   0 пользователей онлайн

    • Ни одного зарегистрированного пользователя не просматривает данную страницу
  • Similar Topics

    • Certik: Количество краж закрытых ключей пугающе выросло

      Аналитики по кибербезопасности компании Certik сообщили о резком всплеске финансовых потерь среди держателей цифровых активов на фоне компрометации закрытых криптоключей. Только с 12 по 16 марта потери пользователей по причине компрометации закрытых ключей составили около $22,96 млн. В Certik отмечают: разовые потери держателей цифровых активов превышали $1 млн.   Например, 31 января 2024 года Крис Ларсен (Chris Larsen), соучредитель и исполнительный председатель Ripple, потерял активы

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

    • Санкт-Петербургская биржа выпустила ЦФА

      Санкт-Петербургская биржа стала оператором информационных систем (ОИС), который разместил первый выпуск цифровых финансовых активов (ЦФА) в формате гибридных цифровых прав (ГЦП). Сумма тестового выпуска составила 16 200 рублей. Приобретение гибридных цифровых прав дает покупателям право на получение «зеленых» сертификатов. С помощью таких сертификатов коммерческие потребители создают экологичный имидж и снижают углеродный след товаров. Эмитентом тестового выпуска стала компания «Карбон Зиро

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

    • Эксперты компании CertiK предупредили о сбросе токенов SAI Pro на $1,7 млн

      Эксперты по криптобезопасности компании CertiK предупредили криптосообщество о факте мошенничества с использованием социального токена SAI Pro в сети Binance Smart Chain. Речь идет о реализации так называемой rugpull-схемы. По данным системы оповещения Skynet CertiK, разработчик SAI одномоментно сбросил токены на сумму около $1,7 млн.     Затем активы были переведены в EOA 0x23f, что, по мнению экспертов по кибербезопасности, подтверждает признаки «мошенничества с выходом» (ru

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

    • Компания CertiK выявила критическую уязвимость смартфонов Solana Saga

      Эксперты компании CertiK обнаружили уязвимость загрузчика смартфона Solana, которая позволяет получить неограниченный доступ к данным устройства. В ходе тестов команда CertiK смогла разблокировать bootloader — программу, которая запускается в самом начале работы устройства и подгружает необходимые компоненты для работы операционной системы. После открытия доступа к загрузчику смартфона исследователи безопасности Solana Saga смогли получить пропуск ко всем данным мобильного устройства.  

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

    • Certik: Взломы сделали последний месяц худшим для ряда криптопроектов

      Сентябрь 2023 года оказался самым мрачным месяцем для рынка криптовалют из-за взломов, говорят аналитики компании CertiK. За последний месяц зафиксирован огромный рост числа эксплойтов, взломов и мошенничеств, связанных с криптовалютой. По данным CertiK, в результате незаконной деятельности за сентябрь было потеряно в общей сложности около $332 млн.   Специалисты CertiK считают наиболее значительной атаку на Mixin Network 23 сентября. Проект взломали, украв $200 млн. Проблема была св

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

×
×
  • Создать...