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

    • Аналитики CertiK подсчитали потери крипторынка за январь

      Объем похищенных мошенниками криптовалют вырос в январе на 214% по сравнению с декабрем — с $117,8 млн до $370,3 млн, сообщили специалисты компании-аудитора безопасности блокчейнов CertiK. Показатель убытков стал максимальным за последние 11 месяцев и оказался на 277% выше уровня прошлого января, когда потери составляли $98 млн. Основная часть потерь начала года пришлась на один крупный инцидент фишинга — в результате атаки жертва лишилась около $284 млн.   Ущерб от фишинга достиг $31

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

    • Аудит CertiK изнутри

      Прошёл через полный цикл аудита CertiK с Security Token (ERC-1400) - 1,100 строк кода, 29 замечаний разной критичности, $10,500 за полный пакет Skynet Services. Делюсь опытом: что реально проверяет аудит, а что остаётся за бортом.   Это не критика CertiK - они делают свою работу хорошо. Но важно понимать границы того, что даёт аудит. Как устроен процесс: Многие думают, что аудит - это прогнали через сканер, получили отчёт В реальности это 2-4 недели работы:

      in Блокчейн и финтех

    • Эксперты CertiK рассказали об изменении стратегии криптохакеров

      Аналитики компании-аудитора безопасности блокчейнов CertiK сообщили, что за уходящий год хакеры похитили у криптопроектов $3,3 млрд. Мошенники изменили свою стратегию, перейдя от поиска ошибок в смарт-контрактах к фишингу и атакам на сетевую инфраструктуру. По словам экспертов, число атак хакеров уменьшилось, что может говорить о совершенствовании безопасности криптопроектов. Общее количество инцидентов сократилось на 162 случая год к году, несмотря на стремление мошенников атаковать более

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

    • Японская компания JPYC EX выпустила первый привязанный к йене стейблкоин

      Финтех-компания JPYC EX выпустила первый стейблкоин, привязанный к японской йене, который обеспечен депозитами в банках и гособлигациями в соотношении один к одному. Президент JPYC Норииши Окабэ (Noriyoshi Okabe) добавил, что компания ставит перед собой амбициозную цель: достичь объема эмиссии в 10 триллионов йен за три года, что позволит создать в Японии основу для новой социальной инфраструктуры на базе стейблкоина.     Он отметил, что JPYC зарегистрирована как поставщик усл

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

    • Компания Helius выпустила облигации на $500 млн для покупки Solana

      Компания Helius Medical Technologies, торгующаяся на американской фондовой бирже Nasdaq, выпустила корпоративные казначейские облигации на $500 млн. Доходы от продажи бумаг компания собирается потратить на покупку SOL, нативной криптовалюты Solana. В момент размещения бумаги будут стоить $6,88 за штуку. Инвесторам предложены купоны на покупку по $10,12 на ближайшие три года. Компания рассчитывает привлечь капитал на полмиллиарда долларов, однако при полной реализации всех купонов Helius смо

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

×
×
  • Create New...