Jump to content

Recommended Posts

Posted

certik_zapustila_osnovnuyu_set_certik_chain.jpg

 

Специализирующаяся на кибербезопасности компания CertiK запустила основную сеть CertiK Chain с системой аудита смарт-контрактов в режиме реального времени.

В блокчейне CertiK Chain наибольшее внимание уделяется безопасности – статический процесс анализа смарт-контрактов преобразован в систему защиты в режиме реального времени. Генеральный директор CertiK и профессор компьютерных наук Колумбийского университета Ронхуи Гу (Ronghui Gu) сказал:

 

«Времена, когда мы полагались на автономный анализ безопасности и статические отчеты аудита безопасности, а также страдали от ненужных потерь времени и денег, закончились. CertiK Chain устанавливает новый отраслевой стандарт в протоколах безопасности блокчейнов».

 

CertiK Chain использует собственный язык программирования смарт-контрактов DeepSEA, демо-версия которого была выпущена ранее в этом году. DeepSEA автоматизирует формальную проверку – математическое доказательство того, что код работает правильно.

 

 

Подробнее: https://bits.media/certik-zapustila-osnovnuyu-set-certik-chain/

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

    • Криптобиржа Lighter запустила собственный токен

      Децентрализованная биржа Lighter выпустила собственный токен Lighter Infrastructure Token (LIT). Проект базируется в США, а токен выпускается напрямую от американской C‑Corp, которая продолжит управлять протоколом на безубыточной основе. На момент официального запуска во вторник, 30 декабря, токен LIT торговался на уровне $2,34 в паре со стейблкоином USDC. Однако позже Lighter пошел вверх: по данным биржи Binance, к 12:00 МСК его цена достигла $3,89.     Как заявляют разработчик

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

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

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

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

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

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

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

    • Binance запустила сервис для восстановления удаленных учетных записей

      Крупнейшая по объемам торгов криптобиржа Binance объявила о запуске сервиса Deleted Account Service Tool, позволяющего клиентам площадки восстанавливать ранее удаленные аккаунты. В Binance подчеркнули, что сервис предназначен для пользователей, по ошибке или добровольно удаливших свою учетную запись, а затем решивших восстановить утраченный аккаунт.   Клиентам не потребуется обращаться в службу поддержки, ждать ответа или выполнять дополнительные действия. Необходимо только ввести адр

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

    • Bitwise запустила биржевой фонд на Dogecoin

      Компания Bitwise Asset Management запустила биржевой фонд (ETF), привязанный к криптовалюте Dogecoin. ETF торгуется под тикером BWOW на фондовой бирже NYSE Arca. BWOW собирается взимать комиссию за управление в размере 0,34%, однако в первый месяц комиссия останется нулевой — или пока объем вложений в фонд не достигнет $500 млн. Запуск ETF последовал после долгого рассмотрения заявки Bitwise Комиссией по ценным бумагам и биржам США (SEC) — регулятор переносил вынесение решения.   BWOW

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

×
×
  • Create New...