CertiK, компания, занимающаяся безопасностью программного обеспечения, работающая в секторе блокчейн, объявила о выпуске в основной сети собственного пользовательского блокчейна CertiK Chain.
В новом блокчейне большое внимание уделяется безопасности, превращая ранее статический процесс анализа смарт-контрактов в систему защиты в реальном времени.
Профессор Рунхуэй Гу, генеральный директор CertiK, сказал: «Прошли те времена, когда полагались на автономный анализ безопасности, статические отчеты аудита безопасности и ненужные потери времени и денег».CertiK Chain «устанавливает новый отраслевой стандарт в протоколах безопасности блокчейн», – добавил он.
В блокчейне есть специальный язык программирования DeepSEA, который спроектирован для проведения формальной проверки – математической демонстрации того, что код делает то, что он должен, – в в значительной степени автоматизированный процесс.
Блокчейн также ориентирован на совместимость благодаря концепции оракулов безопасности, которые обеспечивают анализ смарт-контрактов на других блокчейнах в реальном времени.Компания заявляет, что эта функция может использоваться смарт-контрактами на других блокчейнах для оценки безопасности своих сверстников.Если оракул сочтет целевой смарт-контракт небезопасным, разработчики могут отказаться от взаимодействия с ним на лету.
Оракулы будут работать через систему клиентов и операторов.Конечные пользователи или разработчики, которые хотят понять уровень безопасности конкретного контракта, отправят запрос, финансируемый токенами CTK блокчейна.Затем операторы, стоящие за оракулами, проведут анализ и опубликуют результаты в сети.
Наконец, компания также организует механизм страхования для покрытия любой потери средств в результате взлома, который называется CertiKShield.
Запуск основной сети произойдет после запуска тестовой сети в марте 2020 года. Ранее в феврале проект выпустил демонстрацию языка DeepSEA.CertiK – один из самых активных аудиторов безопасности в этой сфере, недавно выбранный в качестве партнера для аудита Binance Smart Chain и проектов, построенных на этой платформе.
Термины в новости
- Смарт-контракт
- Программа в блокчейне, которая автоматически выполняет заданные условия: переводит средства, выпускает токены, выдаёт займы. Её код нельзя тайно изменить.
- Оракул
- Сервис, который передаёт в блокчейн внешние данные: курсы валют, результаты событий. Самый известный — Chainlink.
- Блокчейн
- Распределённая база данных из последовательно связанных блоков с транзакциями. Копию хранят тысячи участников, поэтому изменить записи задним числом практически невозможно.
- Мейннет (mainnet)
- Основная сеть блокчейна, в которой проходят реальные транзакции с настоящими монетами. Запуск мейннета — ключевой этап нового проекта.
