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

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

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

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

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

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

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

Источник


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

С 8 по 11 декабря 2020 года состоится Decentralized Economy Global Summit 2020 – четырехдневная онлайн&офлайн конференция с участием более ...
Подробнее ...
/
Во время выступления на заседании дискуссионного клуба «Валдай» премьер-министр России Михаил Мишустин заявил, что криптовалюты могут угрожать государству и банковской ...
Подробнее ...
/
Согласно отчету Всемирного совета по золоту, криптовалюты – пятый по популярности инвестиционный инструмент в России после банковских вкладов, иностранной валюты, ...
Подробнее ...
/
Генеральный директор аналитической фирмы Global Macro Investor Рауль Пал разместил ордер на продажу всего имеющееся у него золота, чтобы вложиться ...
Подробнее ...
/
Аналитик финансового конгломерата JPMorgan Chase считает, что институциональные трейдеры сыграли большую роль в недавнем снижении курса биткоина, и могут подтолкнуть ...
Подробнее ...
/
Доход майнеров Эфириума от комиссий за транзакции в октябре упал более чем в два раза по сравнению с сентябрем на ...
Подробнее ...
/
Сооснователь Layer1 Яков Долич потребовал через суд запретить его компаньону продажу электростанции стоимостью $20 млн. Суд удовлетворил ходатайство Долича. Речь ...
Подробнее ...
/
Агентство защиты информационных систем обороны США (DISA) начало изучать принципы работы управляемого блокчейна и готово взаимодействовать с фирмами, работающими в ...
Подробнее ...
/
Криптовалютная биржа Gemini сообщила о разработке сервиса Wrapped Filecoin (wFIL), который позволит использовать токены FIL в блокчейне Эфириума. В сообщении ...
Подробнее ...
/
По данным аналитической компании CipherTrace, убытки от криптовалютного мошенничества снизились в этом году, однако число преступлений в индустрии DeFi выросло ...
Подробнее ...
/