CertiK, компания, занимающаяся безопасностью программного обеспечения, работающая в секторе блокчейн, объявила о выпуске в основной сети собственного пользовательского блокчейна CertiK Chain.
В новом блокчейне большое внимание уделяется безопасности, превращая ранее статический процесс анализа смарт-контрактов в систему защиты в реальном времени.
Профессор Рунхуэй Гу, генеральный директор CertiK, сказал: «Прошли те времена, когда полагались на автономный анализ безопасности, статические отчеты аудита безопасности и ненужные потери времени и денег».CertiK Chain «устанавливает новый отраслевой стандарт в протоколах безопасности блокчейн», – добавил он.
В блокчейне есть специальный язык программирования DeepSEA, который спроектирован для проведения формальной проверки – математической демонстрации того, что код делает то, что он должен, – в в значительной степени автоматизированный процесс.
Блокчейн также ориентирован на совместимость благодаря концепции оракулов безопасности, которые обеспечивают анализ смарт-контрактов на других блокчейнах в реальном времени.Компания заявляет, что эта функция может использоваться смарт-контрактами на других блокчейнах для оценки безопасности своих сверстников.Если оракул сочтет целевой смарт-контракт небезопасным, разработчики могут отказаться от взаимодействия с ним на лету.
Оракулы будут работать через систему клиентов и операторов.Конечные пользователи или разработчики, которые хотят понять уровень безопасности конкретного контракта, отправят запрос, финансируемый токенами CTK блокчейна.Затем операторы, стоящие за оракулами, проведут анализ и опубликуют результаты в сети.
Наконец, компания также организует механизм страхования для покрытия любой потери средств в результате взлома, который называется CertiKShield.
Запуск основной сети произойдет после запуска тестовой сети в марте 2020 года. Ранее в феврале проект выпустил демонстрацию языка DeepSEA.CertiK – один из самых активных аудиторов безопасности в этой сфере, недавно выбранный в качестве партнера для аудита Binance Smart Chain и проектов, построенных на этой платформе.
Бода-бодас — синоним жизни в Восточной Африке, а в шумных городах, таких как Найроби, Кампала…
Взлом Pike Finance привел к потере цифровых активов на сумму 1,68 миллиона долларов. Этот инцидент…
Китайские власти задержали человека, подозреваемого в подделке личных данных, связанном с воздушным сбросом StarkNet (STRK).Подозреваемый…
Арест раннего биткоин-инвестора и сторонника биткоин-наличных Роджера Вера по обвинению в уклонении от уплаты налогов…
EigenLayer — крупнейший протокол рестейкинга Ethereum — получил более 12 412 запросов на вывод средств…
Центральный банк Нигерии (CBN) поручил четырем финтех-компаниям прекратить привлекать новых клиентов на фоне продолжающихся усилий…