CertiK запустила основную сеть CertiK Chain

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

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

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

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

ориентирован на совместимость с другими сетями – он использует оракулы безопасности, которые обеспечивают анализ смарт-контрактов в других сетях в режиме реального времени. Эта функция может использоваться смарт-контрактами в других сетях для оценки безопасности узлов. Если оракул сочтет целевой смарт-контракт небезопасным, разработчики сразу могут отказаться от взаимодействия с ним.

Оракулы будут работать через систему клиентов и операторов. Конечные пользователи или разработчики, которые хотят оценить уровень безопасности конкретного контракта, отправят запрос, финансируемый собственным криптоактивом CertiK Chain (CTK). Затем операторы оракулов проведут анализ и опубликуют результаты в сети. Компания также запустит механизм страхования CertiKShield для покрытия любых денежных потерь в результате взлома.

Источник


Свежие новости криптовалют на сегодня ...

Альфа-банк первым в России присоединился к платформе торгового финансирования на блокчейне Contour, бета-тестирование которой успешно завершилось в прошлом месяце. Согласно ...
Подробнее ...
/
Региональный советник Управления ООН по борьбе с распространением наркотиков и преступностью Дэвид Робинсон считает, что блокчейн поможет правительствам разных стран ...
Подробнее ...
/
Биржа криптовалютных деривативов FTX выразила готовность разместить токенизированные ETH на основе заблокированных в депозитном контракте Эфириума 2.0 сигнальной цепи Beacon ...
Подробнее ...
/
Биржа Binance вернет пользователям криптоактивы, которые пытались украсть организаторы мошеннического проекта DeFi Wine Swap, запущенного на Binance Smart Chain. Binance ...
Подробнее ...
/
Очередной проект децентрализованного финансирования (DeFi) подвергся взлому. На этот раз жертвой хакеров стал Pickle Finance, в результате взлома которого хакеры ...
Подробнее ...
/
Курс первой криптовалюты продолжает расти. На этом фоне растут и альткоины – так, цена ETH превысила $500 впервые с июля ...
Подробнее ...
/
Gazprombank Ltd, швейцарское подразделение Газпромбанка, получило лицензию от местного регулятора на предоставление кастодиальных услуг для цифровых активов, а также торговлю ...
Подробнее ...
/
Биржа криптовалютных деривативов BitMEX объявила о партнерстве с фирмой Eventus Systems для отслеживания подозрительных сделок и соблюдения правил по борьбе ...
Подробнее ...
/
По данным Crystal Blockchain, с 2011 года преступники смогли украсть около $7.7 млрд в криптовалютах. Всего было совершено 113 взломов ...
Подробнее ...
/
Комиссия по ценным бумагам и биржам США (SEC) оштрафовала промоутеров ICO FLiK, проведенного в 2017 году, на $130 000 за ...
Подробнее ...
/