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

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

Опубликовано

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 пользователей онлайн

    • Ни одного зарегистрированного пользователя не просматривает данную страницу
  • Похожие топики

    • Certik: Убытки криптоплатформ превысили $2,5 млрд

      За первую половину года хакеры совершили 290 краж у криптовалютных платформ и похитили активы на $2,5 млрд, сообщила компания Certik, специализирующаяся на безопасности блокчейнов. Сумма превысила потери, зафиксированные за весь 2024 год, уточнили в Certik. Наибольшая доля убытков приходится на взломанные криптокошельки: в ходе 34 хакерских атак было похищено более $1,7 млрд. На фишинговые атаки приходится 132 случая и более $410 млн. Уязвимостями в коде хакеры воспользовались 114 раз, при

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

    • Компания Circle выпустила 250 млн стейблкоинов USDC на блокчейне Solana

      Американская компания Circle выпустила дополнительно 250 млн стейблкоинов USDC на блокчейне Solana, увеличив общее количество эмитированных с начала года токенов до 8 млрд, сообщили аналитики Spot On Chain. Только за последние семь дней Circle выпустила 1 млрд USDC, а на январь пришлось 6 млрд USDC на Solana, сообщили а Spot On Chain. Предложение стейблкоинов Circle на Solana резко выросло из-за растущей активности рынка децентрализованных финансов (DeFi) и значительных объемов торговли. Р

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

    • CertiK: Потери криптосервисов в декабре снизились до минимальных $28,6 млн

      По данным компании CertiK, работающей в сфере кибербезопасности, в декабре потери криптокомпаний от эксплойтов, взломов и мошенничества достигли минимального месячного показателя за 2024 год — $28,6 млн. Аналитики сообщили, что самый большой финансовый ущерб криптосервисы понесли в ходе эксплойтов — $26,7 млн. Потери, возникшие из-за мгновенных займов и экзит-скамов, составили $1,7 млн и $200 000 соответственно. Одними из самых громких атак с использованием мгновенных займов стали инциденты

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

    • Certik: За три месяца хакеры украли криптовалюту на $750 млн

      Аналитики компании CertiK заявили, что в третьем квартале года злоумышленники украли криптовалюту на $753 млн за 155 хакерских атак. Это на 9,5% больше объема потерянных во втором квартале активов, — хотя тогда количество инцидентов было на 27 меньше. Специалисты CertiK отметили, что кибербезопасность остается критической проблемой криптопроектов, поскольку хакеры стали применять все более изощренные атаки. С начала года хакеры присвоили криптоактивы почти на $2 млрд. Фишинг стал самым приб

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

    • Словения выпустила цифровые суверенные облигации для Еврозоны

      Министерство финансов Словении в сотрудничестве с платформой BNP Paribas выпустило первые цифровые облигации в рамках эксперимента ЕЦБ по созданию трансграничной системы оптовых расчетов с использованием токенизированных активов. Эмиссия цифровых ценных бумаг была осуществлена на базе частной платформы для токенизации BNP Paribas. Номинальный размер суверенных облигаций, выпущенных 25 июля, составил 30 млн евро (около $32,5 млн) с купоном 3,65% и датой погашения 25 ноября.   Участник

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

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