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

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

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

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

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

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

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

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

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

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

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

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

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

    • CertiK: Мы имеем отношение к скандалу с кражей $3 млн у биржи Kraken

      Эксперты по криптобезопасности компании CertiK признались, что были теми самыми белыми хакерами, нашедшими уязвимость у американской биржи Kraken и обвиненными в краже криптоактивов на $3 млн. В среду, 19 июня, директор службы безопасности Kraken Ник Перкоко (Nick Percoco) сообщил, что группа выдававших себя за белых хакеров анонимов, принадлежность которых не раскрывается, незаконно завладела цифровыми активами на сумму около $3 млн. По выражению Ника Перкоко, попытки администрации Kraken

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

×
×
  • Create New...